Animer E,F,G

Passage d'un côté entier (ici A'B=4)
 à un côté unité (ici AB=1)

B = (-3, -4)
C' = (0, -4)
u = Vector(B, C')
B'_1 = Translate(C', u)
B'' = Translate(B'_1, u)
C = Translate(B'', u)
A = (-2.034000000000001, -2.024)
C'_1 = Translate(A, u)
C''_1 = Translate(C'_1, u)
C''' = Translate(C''_1, u)
D = Translate(C''', u)
poly1, a, c, c', b = Polygon(B, A, C'_1, C')
poly2, b_1, c'_1, c'', b' = Polygon(C', C'_1, C''_1, B'_1)
poly3, b'_1, c''_1, c''', b'' = Polygon(B'_1, C''_1, C''', B'')
poly4, b''_1, c'''_1, d, b''' = Polygon(B'', C''', D, C)
e = Line(B, A)
f = Semicircle(A, C''_1)
v = Vector(B, A)
E = Point(f)
α = Angle(C''_1, C'_1, E)
B'_2 = Rotate(C', α, C'_1)
C'' = Rotate(C'_1, α, C'_1)
E_1 = Rotate(C''_1, α, C'_1)
F_1 = Rotate(B'_1, α, C'_1)
poly2', b'_2, c''_2, e_1, f_1 = Polygon(B'_2, C'', E_1, F_1)
D'_1 = Translate(A, v)
D''_1 = Translate(D'_1, v)
A' = Translate(D''_1, v)
D'' = Translate(D'_1, u)
G_1 = Translate(D''_1, u)
D' = Translate(A', u)
g = Segment(A', A)
h = Segment(C'', D')
i = Segment(A', D')
j = Segment(D''_1, G_1)
k = Segment(D'_1, D'')
p = Semicircle(D'_1, C''')
q = Semicircle(D''_1, D)
F = Point(p)
G = Point(q)
K = Midpoint(D'_1, C''')
L = Midpoint(D''_1, D)
β = Angle(C''', K, F)
M = Rotate(B'_1, β, K)
N = Rotate(C''_1, β, K)
O = Rotate(C''', β, K)
B'''_1 = Rotate(B'', β, K)
poly3', m, n, o, b'''_1 = Polygon(M, N, O, B'''_1)
γ = Angle(D, L, G)
B''' = Rotate(B'', γ, L)
I = Rotate(C''', γ, L)
C'_2 = Rotate(D, γ, L)
B' = Rotate(C, γ, L)
poly4', b'''_2, i_1, c'_2, b'_3 = Polygon(B''', I, C'_2, B')