Intersection

conjugué

F = Point(xAxis)
O = Intersect(xAxis, yAxis)
F' = Mirror(F, O)
S = Point(xAxis)
Γ = If(Distance[O, F] < Distance[O, S], Ellipse[F, F', S], Hyperbola[F, F', S])
R = Mirror(F, S)
d = Circle(F', R)
ff': y = 0
D = (-5.1666631902352815, 10.521438815227357)
D' = (6.70102141066841, -7.9195742928483)
Δ = Line(D, D')
F_1 = Mirror(F, Δ)
c_D = Circle(D, F)
A, B = Intersect(c_D, d)
ab = Line(A, B)
ff_1 = Line(F_1, F)
I = Intersect(ab, ff_1)
T = Intersect(d, Semicircle[I, F'])
IT = Segment(T, I)
T' = Mirror(T, Line[I, F'])
IT' = Segment(I, T')
f'r' = Line(F', T')
f't = Line(F', T)
P' = Intersect(f'r', Δ)
P = Intersect(f't, Δ)
a = false
b = false
M = Midpoint(P, P')
t_P' = LineBisector(F, T')
t_P = LineBisector(F, T)
J = Intersect(t_P', t_P)
Δ' = Line(J, O)
FT = Segment(T, F)
FT' = Segment(F, T')