Animez A

Passage de trois carrés à un carré

A_1 = (11.889840425531917, -1.7691489361702128)
B = (17.329840425531916, -1.7691489361702128)
poly1, a, b, c, d, C, D = Polygon(A_1, B, 4.0)
f = Line(D, C)
e = Circle(D, B)
E = Point(e)
g = CircleArc(D, B, E)
F = Intersect(g, f, 1.0)
h = LineBisector(D, F)
k = Semicircle(D, F)
G = Intersect(k, h, 1.0)
poly2, f_1, d_1, g_1 = Polygon(D, G, F)
H = Midpoint(D, B)
D'_1 = Rotate(D, 90.0*°, H)
G' = Rotate(G, 90.0*°, H)
F' = Rotate(F, 90.0*°, H)
poly2', f', d', g' = Polygon(D'_1, G', F')
D''_1 = Rotate(D'_1, 90.0*°, H)
G''_1 = Rotate(G', 90.0*°, H)
F''_1 = Rotate(F', 90.0*°, H)
poly2'', f'', d'', g'' = Polygon(D''_1, G''_1, F''_1)
D'''_1 = Rotate(D''_1, 90.0*°, H)
G'''_1 = Rotate(G''_1, 90.0*°, H)
F'''_1 = Rotate(F''_1, 90.0*°, H)
poly2''', f''', d''', g''' = Polygon(D'''_1, G'''_1, F'''_1)
i = Segment(G, G')
I = Intersect(g', i)
p = Semicircle(F', D)
A = Point(p)
α = Angle(A, I, F')
poly3, g'_1, f'_1, i_1 = Polygon(F', I, G')
I'_1 = Rotate(I, α, I)
F''_2 = Rotate(F', -(α), I'_1)
I'_2 = Rotate(I, -(α), I'_1)
G''_2 = Rotate(G', -(α), I'_1)
poly3'_1, g''_1, f''_1, i' = Polygon(F''_2, I'_2, G''_2)
F'' = Rotate(F', 90.0*°, H)
I' = Rotate(I, 90.0*°, H)
G'' = Rotate(G', 90.0*°, H)
poly3', g''_2, f''_2, i'_1 = Polygon(F'', I', G'')
F''' = Rotate(F'', 90.0*°, H)
I'' = Rotate(I', 90.0*°, H)
G''' = Rotate(G'', 90.0*°, H)
poly3'', g'''_1, f'''_1, i'' = Polygon(F''', I'', G''')
J = Rotate(F''', 90.0*°, H)
I''' = Rotate(I'', 90.0*°, H)
L = Rotate(G''', 90.0*°, H)
poly3''', l, j, i''' = Polygon(J, I''', L)
M = Rotate(F''_2, 90.0*°, H)
N = Rotate(I'_2, 90.0*°, H)
O = Rotate(G''_2, 90.0*°, H)
poly4, o, m, n = Polygon(M, N, O)
M' = Rotate(M, 90.0*°, H)
N' = Rotate(N, 90.0*°, H)
O' = Rotate(O, 90.0*°, H)
poly4', o', m', n' = Polygon(M', N', O')
M'' = Rotate(M', 90.0*°, H)
N'' = Rotate(N', 90.0*°, H)
O'' = Rotate(O', 90.0*°, H)
poly4'', o'', m'', n'' = Polygon(M'', N'', O'')
poly5, n''_1, l_1, d_2 = Polygon(L, D, N'')
L' = Rotate(L, 90.0*°, H)
D' = Rotate(D, 90.0*°, H)
N''' = Rotate(N'', 90.0*°, H)
poly5', n''', l', d'_1 = Polygon(L', D', N''')
L'' = Rotate(L', 90.0*°, H)
D'' = Rotate(D', 90.0*°, H)
P = Rotate(N''', 90.0*°, H)
poly5'', p_1, l'', d''_1 = Polygon(L'', D'', P)
L''' = Rotate(L'', 90.0*°, H)
D''' = Rotate(D'', 90.0*°, H)
P' = Rotate(P, 90.0*°, H)
poly5''', p', l''', d'''_1 = Polygon(L''', D''', P')
K = (0.4161234042553217, 5.343695744680851)
Q = Point(Circle[K, c])
q = Segment(K, Q)
poly6, q_1, k_1, r, s, R, S = Polygon(Q, K, 4.0)
poly7, s_1, r_1, t, a_1, T, U = Polygon(S, R, 4.0)
poly8, k_2, q_2, b_1, c_1, V, W = Polygon(K, Q, 4.0)
e_1 = Segment(T, S)
h_1 = Segment(K, V)