$b$

$h_1$

$h_2$

$O$

eje focal

$M$

$A$

$O(OM)$

$F'$

$F$

A_1 = (-3.84, 5.62)
D = (4.9, 5.72)
a = Ray(A_1, D)
E = Point(a)
b = Segment(A_1, E)
C = (7.91672096822323, -0.5041101842716924)
B = (6.870070358046582, 4.288447872852957)
A_3 = (2.66, 1.78)
h_1 = Line(A_3, B)
h_2 = Line(A_3, C)
O = Intersect(h_1, h_2)
d = AngularBisector(B, A_3, C)
f = OrthogonalLine(A_3, d)
c = Circle(A_3, b)
F_1 = Intersect(c, f, 2)
e = Line(F_1, d)
M = Intersect(h_1, e)
g = OrthogonalLine(M, d)
A = Intersect(g, d)
h = Circle(A_3, M)
F', F = Intersect(h, d)
k = Hyperbola(F, F', A)