I = (2, 0)
J = (8, 0)
poly1, a, b, c, d, F, E = Polygon(I, J, 4)
α_1 = 0.7853981633974483 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.7 (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(I, i)
p = Line(J, i)
G = Intersect(j, m)
q = Line(G, l)
D = Intersect(l, n)
K = Intersect(p, q)
s = Segment(H, G)
t = Segment(G, F)
a_1 = Segment(G, K)
b_1 = Segment(K, J)
c_1 = Segment(I, D)
d_1 = Segment(D, K)
e_1 = Segment(D, H)
f_1 = Ray(I, J)
X = Point(f_1)
α = Angle(X, J, K)
g_1 = Segment(J, X)
h_1 = Segment(I, J)
i_1 = Segment(J, F)
j_1 = Segment(F, E)
k_1 = Segment(E, I)