Mostrar parte de la construcción

$B$

$F$

$P$

$a$

$\Gamma$

$F(a)$

$N$

$M$

$\Phi$

$O_1$

$O_2$

$F_1$

$F_2$

O_1(a)

O_2(a)

$\Psi$

g = true
B = (-0.27343130798075094, 6.174274592620917)
F = (5.354036545570277, -0.8449326225609617)
P = (12.131202132642482, -2.2971823912192817)
a = Segment(F, B)
A = Midpoint(a)
d = Circle(A, B)
h = Circle(F, B)
b = Ray(F, P)
N = Intersect(h, b)
M = Midpoint(P, F)
e = Circle(M, N)
O_1, O_2 = Intersect(d, e)
F_1 = Mirror(F, O_1)
i = Line(O_1, F)
F_2 = Mirror(F, O_2)
j = Line(F, O_2)
k = Circle(O_1, a)
p = Circle(O_2, a)
D, E = Intersect(k, i)
G, H = Intersect(p, j)
P' = Mirror(P, O_2)
P'_1 = Mirror(P, O_1)
P'_2 = Mirror(P, i)
P'_3 = Mirror(P, j)
c = Conic(D, E, P, P'_2, P'_1)
f = Conic(G, P, H, P', P'_3)
q = Circle(A, 3 * a / 2)
l = Line(B, F)
C, J = Intersect(q, l)
r = Ellipse(F, B, C)