I (I_4)

A'

A

P

d: y = 0
D = (6.643855479854061, 7.159242294207557)
O = Intersect(yAxis, xAxis)
d' = Line(O, D)
C = (-0.34707818598972867, 1.8155975956028125)
cy = OrthogonalLine(C, d)
R = Point(cy)
c = Circle(C, R)
o_R = Circle(O, Segment[C, R])
p' = OrthogonalLine(O, d')
oy = OrthogonalLine(O, d)
R'_2, R'_1 = Intersect(o_R, p')
R_2, R_1 = Intersect(o_R, oy)
d'_1 = Line(R'_1, d')
d'_2 = Line(R'_2, d')
d_1 = Line(R_1, d)
d_2 = Line(R_2, d)
I_1 = Intersect(d'_1, d_1)
I_2 = Intersect(d'_1, d_2)
I_{3} = Intersect(d'_2, d_2)
I_{4} = Intersect(d'_2, d_1)
ci_1 = Line(I_1, C)
A_1, A'_1 = Intersect(o_R, ci_1)
r_1 = AffineRatio(I_1, A_1, C)
P_1 = Dilate(O, r_1, I_1)
ph_1 = OrthogonalLine(P_1, d)
H_1 = Intersect(d, ph_1)
Γ_1 = Circle(P_1, H_1)
r'_1 = AffineRatio(I_1, A'_1, C)
P'_1 = Dilate(O, r'_1, I_1)
ph'1 = OrthogonalLine(P'_1, d)
H'_1 = Intersect(ph'1, d)
Γ'_1 = Circle(P'_1, H'_1)
ci_2 = Line(I_2, C)
A_2, A'_2 = Intersect(o_R, ci_2)
r_2 = AffineRatio(I_2, A_2, C)
P_2 = Dilate(O, r_2, I_2)
ph_2 = OrthogonalLine(P_2, d)
H_2 = Intersect(ph_2, d)
Γ_2 = Circle(P_2, H_2)
r'_2 = AffineRatio(I_2, A'_2, C)
P'_2 = Dilate(O, r'_2, I_2)
ph'_2 = OrthogonalLine(P'_2, d)
H'_2 = Intersect(ph'_2, d)
Γ'_2 = Circle(P'_2, H'_2)
ci_3 = Line(I_{3}, C)
A_3, A'_3 = Intersect(o_R, ci_3)
r_3 = AffineRatio(I_{3}, A_3, C)
P_3 = Dilate(O, r_3, I_{3})
ph_3 = OrthogonalLine(P_3, d)
H_3 = Intersect(ph_3, d)
Γ_3 = Circle(P_3, H_3)
r'_3 = AffineRatio(I_{3}, A'_3, C)
P'_3 = Dilate(O, r'_3, I_{3})
ph'_3 = OrthogonalLine(P'_3, d)
H'_3 = Intersect(ph'_3, d)
Γ'_3 = Circle(P'_3, H'_3)
ci_4 = Line(I_{4}, C)
A_4, A'_4 = Intersect(o_R, ci_4)
r_4 = AffineRatio(I_{4}, A_4, C)
P_4 = Dilate(O, r_4, I_{4})
ph_4 = OrthogonalLine(P_4, d)
H_4 = Intersect(ph_4, d)
Γ_4 = Circle(P_4, H_4)
r'_4 = AffineRatio(I_{4}, A'_4, C)
P'_4 = Dilate(O, r'_4, I_{4})
ph'_4 = OrthogonalLine(P'_4, d)
H'_4 = Intersect(ph'_4, d)
Γ'_4 = Circle(P'_4, H'_4)
f = Segment(A'_4, O)
g = Segment(C, P'_4)
h = Line(O, I_{4})