Mostrar la construcción

$a$

$b$

$F$

$P$

$c$

$F(2c)$

$P(2a)$

$Q$

$P(FQ)$

$F_1$

$F_2$

v = true
A = (-3.74, 5.26)
B = (9.46, 5.12)
a_1 = Ray(A, B)
C = Point(a_1)
a = Segment(A, C)
D = (-3.7371704472499783, 4.362351777139112)
G = (19.35348292855562, 4.326067863361502)
b_1 = Ray(D, G)
H = Point(b_1)
b = Segment(D, H)
F = (4.17251596360823, -2.772100547714995)
P = (12.41780120162786, -1.648429274773421)
c_1 = Circle(D, a)
h = OrthogonalLine(D, b)
I = Intersect(c_1, h, 1)
J = Intersect(c_1, b_1)
k = CircleArc(D, I, J)
c = Segment(I, H)
p = Circle(F, 2 * c)
d_1 = Ray(P, F)
d = Circle(P, 2 * a)
Q = Intersect(d, d_1, 1)
e = Circle(P, F)
f = Segment(P, Q)
E = Intersect(e, f)
P' = Mirror(P, Q)
i = Ray(Q, P')
K = Intersect(e, i)
g = Circle(P, Segment[K, Q])
F_1, F_2 = Intersect(p, g)
q = Hyperbola(F_1, F, P)
r = Hyperbola(F_2, F, P)