Copie de Théorème des 7 cercles (mobiles)

Déplacer les points bleus

G: (7, 0)
C_2 = Circle(G, 12)
B_3 = Point(C_2)
f = Segment(G, B_3)
d_5 = OrthogonalLine(B_3, f)
C_{19} = Point(C_2)
d_{13} = Segment(G, C_{19})
d_6 = OrthogonalLine(C_{19}, d_{13})
S = Intersect(d_6, d_5)
D_2 = Point(C_2)
b = Segment(G, D_2)
d_4 = Tangent(D_2, C_2)
C_{18} = Point(C_2)
d_3 = Tangent(C_{18}, C_2)
R = Intersect(d_3, d_4)
a = Segment(C_{18}, G)
D_1, J = Intersect(C_2, xAxis)
c_1 = Segment(D_1, G)
A_2 = Point(c_1)
d_2 = OrthogonalLine(D_1, xAxis)
B = Intersect(d_6, d_2)
b_1 = Segment(A_2, B)
A_5 = Mirror(D_1, b_1)
d_9 = Ray(A_2, A_5)
F = Intersect(d_{13}, d_9)
d = Segment(F, S)
A_6 = Mirror(C_{19}, d)
d_{11} = Ray(F, A_6)
E_1 = Intersect(f, d_{11})
C_8 = Circle(E_1, B_3)
E = Intersect(d_2, d_3)
a_1 = Segment(E, A_2)
M = Mirror(D_1, a_1)
d_1 = Line(A_2, M)
C_1 = Intersect(a, d_1)
c = Segment(C_1, R)
B_4 = Mirror(C_{18}, c)
d_{10} = Ray(C_1, B_4)
A_1 = Intersect(b, d_{10})
C_5 = Circle(A_1, D_2)
C_{14} = Circle(D_1, 20)
C_{17} = Mirror(C_8, C_{14})
O' = Center(C_{17})
A_7 = Mirror(B_3, C_{14})
C_{16} = Mirror(C_5, C_{14})
O = Center(C_{16})
d_8 = Line(O, O')
A_4 = Mirror(D_2, C_{14})
C_{12} = Semicircle(A_4, A_7)
m = Segment(A_4, A_7)
C_{15} = Mirror(C_2, C_{14})
B_2 = Intersect(C_{15}, d_8)
d_7 = Tangent(B_2, C_{12})
D = Intersect(C_{12}, d_7)
C_{13} = Circle(B_2, D)
P = Intersect(C_{13}, m)
e = Segment(D_2, C_{19})
g = Segment(C_{18}, B_3)
A_3 = Intersect(e, g)
d_{12} = Ray(D_1, G)
C_3 = Circle(A_2, D_1)
C_4 = Circle(C_1, C_{18})
C_9 = Circle(F, C_{19})
C_{10} = Semicircle(A_4, P)
C_{11} = Semicircle(P, A_7)
N = Intersect(C_{11}, C_{17}, 1)
C = Intersect(C_{10}, C_{16}, 2)
C_6 = Circle(P, C, N)
C_7 = Mirror(C_6, C_{14})
B_1, A, H, I = Intersect(C_7, C_2)
f_1 = Segment(D_1, B_1)
K = Intersect(C_2, C_3, 1)
L = Intersect(C_7, C_2, 1)