Mostrar la construcción

$a$

$b$

$F$

$P$

$c$

$F(2c)$

$P(2a)$

$Q$

$P(FQ)$

$F_2$

$F_1$

i = 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 = Point(a)
b = Segment(A, D)
F = (5.457280811062997, -3.451036050562962)
P = (11.08405572747636, -1.793835219016557)
q = Semicircle(C, A)
r = Circle(A, D)
G = Point(r)
s = CircleArc(A, G, D)
H = Intersect(q, s)
c = Segment(H, C)
c_1: sqrt(a^(2) - b^(2))
h = Circle(F, 2 * c_1)
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)
g = Circle(P, Segment[Q, E])
F_2, F_1 = Intersect(g, h)
k = Ellipse(F, F_1, P)
p = Ellipse(F_2, F, P)