Mostrar la construcción

$t$

$F$

Eje focal

$B_2$

$b$

$\delta$

$R$

$P_1$

$S$

$F_1$

$B_1$

$A_p$

$N$

$F_p$

$Q$

$M$

$B$

$O$

$F'$

o = true
D = (12.165647192223261, -1.6909451207348762)
C = (4.934921986588982, 5.066151796320721)
t = Line(C, D)
A = (-9.021324916862334, -2.1645734093135394)
F = (8.875225621400485, -2.111788733293261)
a = Line(A, F)
l = OrthogonalLine(F, a)
E = (8.78, 5.58)
B_2 = (-9.400227547725274, 5.381903988706498)
b_1 = Ray(B_2, E)
G = Point(b_1)
b = Segment(B_2, G)
c = Circle(F, b)
H, I = Intersect(c, l)
δ = Line(I, a)
J = Intersect(t, δ)
R = Intersect(t, a)
f_1 = Segment(R, J)
P_1 = Point(f_1)
S = Mirror(F, t)
a_1 = Line(S, P_1)
F_1 = Intersect(a_1, a)
d_1 = LineBisector(F, F_1)
U = Midpoint(F_1, S)
c_1 = Circle(F, Segment[F_1, U])
B_1, W = Intersect(c_1, d_1)
e_1 = Ellipse(F, F_1, B_1)
A_p = Midpoint(R, F)
e = OrthogonalLine(F, t)
L = Intersect(t, e)
f = Circle(F, L)
M_1, N = Intersect(f, l)
n = OrthogonalLine(A_p, a)
g = Line(N, a)
O_1 = Intersect(n, g)
P = Midpoint(O_1, A_p)
h = Line(P, N)
i = OrthogonalLine(P, h)
F_p = Intersect(a, i)
Q' = Mirror(F_p, A_p)
r = OrthogonalLine(Q', a)
s = Parabola(F_p, r)
Q = Intersect(n, δ)
M = Midpoint(Q, A_p)
j = Line(F_p, M)
k = OrthogonalLine(M, j)
B = Intersect(δ, k)
m = OrthogonalLine(B, a)
O = Intersect(a, m)
F' = Mirror(F, O)
q = Line(S, F')
p = Ellipse(F, F', B)
T = Intersect(t, q)