1er cas d_2 et +R

2ème cas d_2 et -R

3ème cas d_1 et +R

4ème cas d_1 et -R

d: y = 0
C = (-3.9751497754195704, 3.4729388777588412)
cy = OrthogonalLine(C, d)
R = Point(cy)
C' = (-0.24278837059821165, 2.40654990495274)
u_R = Vector(C, R)
C'_R = Dilate(Translate[C', u_R], 0.999, C')
c'R' = Segment(C'_R, C')
R' = Point(c'R')
c = Circle(C, R)
c' = Circle(C', R')
E = Translate(R', u_R)
c'R = Circle(C', E)
D = Mirror(E, C')
c'y = OrthogonalLine(C', d)
d_{1} = Translate(d, u_R)
d_{2} = Translate(d, Vector[(-u_R)])
F = Intersect(c'y, d_{2})
cd = Line(C, D)
M = Intersect(d_{2}, cd)
cef = Circle(C, F, E)
Ocef = Center(cef)
pcd = OrthogonalLine(Ocef, cd)
P = Mirror(C, pcd)
hcM = Semicircle(Ocef, M)
T = Intersect(cef, hcM, 1)
MT = Segment(T, M)
cM = Circle(M, T)
B, B' = Intersect(cM, d_{2})
By = OrthogonalLine(B, d_{2})
O = Intersect(pcd, By)
H = Intersect(By, d)
Γ = Circle(O, H)
B'y = OrthogonalLine(B', d_{2})
O' = Intersect(pcd, B'y)
H' = Intersect(d, B'y)
Γ' = Circle(O', H')
f1 = true
D_2 = Translate(R', Vector[(-u_R)])
E_2 = Mirror(D_2, C')
c'R_2 = Circle(C', E_2)
f2 = false
cd_2 = Line(C, D_2)
cef_2 = Circle(C, E_2, F)
M_2 = Intersect(d_{2}, cd_2)
Ocef_2 = Center(cef_2)
hcM_2 = Semicircle(M_2, Ocef_2)
T_2 = Intersect(cef_2, hcM_2, 1)
cM_2 = Circle(M_2, T_2)
B'_2, B_2 = Intersect(cM_2, d_{2})
pcd_2 = OrthogonalLine(Ocef_2, cd_2)
B'y_2 = OrthogonalLine(B'_2, d_{2})
O'_{2} = Intersect(B'y_2, pcd_2)
H'_2 = Intersect(B'y_2, d)
Γ'_2 = Circle(O'_{2}, H'_2)
By_2 = OrthogonalLine(B_2, d_{2})
H_2 = Intersect(By_2, d)
O_{2} = Intersect(pcd_2, By_2)
Γ_2 = Circle(O_{2}, H_2)
f3 = false
f4 = false
F_3 = Intersect(c'y, d_{1})
ce = Line(C, E)
M_3 = Intersect(d_{1}, ce)
cdf_3 = Circle(C, D, F_3)
Ocdf_3 = Center(cdf_3)
hcM_3 = Semicircle(M_3, Ocdf_3)
T_3 = Intersect(cdf_3, hcM_3, 1)
cM_3 = Circle(M_3, T_3)
pce_3 = OrthogonalLine(Ocdf_3, ce)
B_3, B'_3 = Intersect(cM_3, d_{1})
By_3 = OrthogonalLine(B_3, d_{1})
O_3 = Intersect(By_3, pce_3)
H_3 = Intersect(By_3, d)
Γ_3 = Circle(O_3, H_3)
B'y_3 = OrthogonalLine(B'_3, d_{1})
O'_3 = Intersect(pce_3, B'y_3)
H'_3 = Intersect(d, B'y_3)
Γ'_3 = Circle(O'_3, H'_3)
ce_4 = Line(C, E_2)
M_4 = Intersect(d_{1}, ce_4)
cdf_4 = Circle(C, D_2, F_3)
Ocdf4 = Center(cdf_4)
pce_4 = OrthogonalLine(Ocdf4, ce_4)
hcM_4 = Semicircle(M_4, Ocdf4)
T_4 = Intersect(cdf_4, hcM_4, 1)
cM_4 = Circle(M_4, T_4)
B_4, B'_4 = Intersect(cM_4, d_{1})
By_4 = OrthogonalLine(B_4, d_{1})
B'y_4 = OrthogonalLine(B'_4, d_{1})
O_4 = Intersect(By_4, pce_4)
H_4 = Intersect(d, By_4)
Γ_4 = Circle(O_4, H_4)
O'_4 = Intersect(B'y_4, pce_4)
H'_4 = Intersect(d, B'y_4)
Γ'_4 = Circle(O'_4, H'_4)