2 →

a

b

c

b

1

A = (-0.22, -0.86)
B = (5.46, -0.9)
poly1, a, b, c, d, C, D = Polygon(A, B, 4)
E = Midpoint(C, A)
F = Point(poly1)
F' = Rotate(F, 90°, E)
F'' = Rotate(F', 90°, E)
F''' = Rotate(F'', 90°, E)
poly2, d_1, f', f = Polygon(F', F, D)
F''_1 = Rotate(F', 90°, E)
F'_1 = Rotate(F, 90°, E)
D' = Rotate(D, 90°, E)
poly2', d', f''_1, f'_1 = Polygon(F''_1, F'_1, D')
G = Rotate(F''_1, 90°, E)
H = Rotate(F'_1, 90°, E)
D'' = Rotate(D', 90°, E)
poly2'', d'', g, h = Polygon(G, H, D'')
G' = Rotate(G, 90°, E)
H' = Rotate(H, 90°, E)
D''' = Rotate(D'', 90°, E)
poly2''', d''', g', h' = Polygon(G', H', D''')
u = Vector(F, F''')
v = Vector(F', F)
e = 0 (slider from 0 to 1, step 0.01)
u' = Dilate(u, e, F)
v' = Dilate(v, e, F')
F''_2 = Translate(F', u')
F'_2 = Translate(F, u')
D'_1 = Translate(D, u')
poly2'_1, d'_1, f''_2, f'_2 = Polygon(F''_2, F'_2, D'_1)
I = Translate(F''_1, v')
J = Translate(F'_1, v')
D''_1 = Translate(D', v')
poly2''_1, d''_1, i, j = Polygon(I, J, D''_1)
k = OrthogonalLine(G, d)
L = Intersect(k, d)
l = OrthogonalLine(F, a)
K = Intersect(k, l)
m = Segment(L, K)
L' = Dilate(L, e, L)
K' = Dilate(K, e, L)
n = false