A = (2, 0)
B = (8, 0)
poly1, a, b, c, d, F, E = Polygon(A, B, 4)
α_1 = 0.8726646259971648 rad (slider from 0 to 180*°, step 0.08726646259971647)
F' = Rotate(F, α_1, E)
e = Segment(E, F')
f = Ray(E, F')
H' = Point(f)
g = Segment(E, H')
k = 0.5 (slider from 0 to 1, step 0.1)
r: (k * a)
h = Circle(E, r)
H = Intersect(h, g, 1)
i = Segment(E, H)
j = Line(H, c)
l = Line(H, d)
m = Line(F, i)
n = Line(A, i)
p = Line(B, i)
G = Intersect(j, m)
q = Line(G, l)
D = Intersect(l, n)
C = Intersect(p, q)
s = Segment(H, G)
t = Segment(G, F)
a_1 = Segment(G, C)
b_1 = Segment(C, B)
c_1 = Segment(A, D)
d_1 = Segment(D, C)
e_1 = Segment(D, H)
f_1 = Ray(A, B)
X = Point(f_1)
α = Angle(X, B, C)
g_1 = Segment(B, X)
I = Midpoint(F, G)
J = Midpoint(E, F)
K = Midpoint(B, F)
h_1 = Line(K, a)
i_1 = Line(J, d)
j_1 = Line(I, c)
k_1 = Line(J, i)
L = Intersect(h_1, i_1)
M = Intersect(j_1, k_1)
l_1 = Line(K, b_1)
m_1 = Line(I, b)
N = Intersect(l_1, m_1)
n_1 = Line(N, a)
p_1 = Line(M, d)
O = Intersect(n_1, p_1)
q_1 = Segment(A, B)
r_1 = Segment(A, E)
s_1 = Segment(E, J)
t_1 = Segment(J, M)
a_2 = Segment(M, I)
b_2 = Segment(I, G)
c_2 = Segment(J, L)
d_2 = Segment(L, K)
e_2 = Segment(K, B)
f_2 = Segment(K, N)
g_2 = Segment(N, I)
h_2 = Segment(L, O)
i_2 = Segment(O, N)
j_2 = Segment(O, M)
k_2 = Segment(E, F)
l_2 = Segment(G, F)
m_2 = Segment(B, F)