Mostrar la construcción

$a$

Eje focal

$F$

$t$

$S$

$\pi_tF$

$\pi_tF(a)$

$O_2$

$O_1$

$S(2a)$

$F_1$

$F_2$

$P_1$

$P_2$

j = true
A = (-7.905957465307923, 6.044473095874766)
B = (9.3, 5.62)
a_1 = Ray(A, B)
C = Point(a_1)
a = Segment(A, C)
D = (-3.4548555788358075, -0.5605776846567702)
E = (9.385144421164187, -0.5405776846567703)
b = Line(D, E)
F = Point(b)
G = (-4.114392242659963, -1.7507728863524956)
H = (5.748980224648002, 4.3210343583075135)
t = Line(G, H)
S = Mirror(F, t)
c = Segment(S, F)
I = Intersect(t, c)
d_3 = Circle(I, a)
O_2, O_1 = Intersect(d_3, b)
f = Circle(S, 2 * a)
F_1 = Mirror(F, O_1)
F_2 = Mirror(F, O_2)
d = Line(S, F_1)
P_1 = Intersect(d, t)
J = Mirror(P_1, b)
M = Mirror(P_1, O_1)
h = Circle(O_1, a)
K, L = Intersect(h, b)
r = Conic(P_1, K, J, M, L)
i = Line(F_2, S)
P_2 = Intersect(i, t)
k = Circle(O_2, a)
N, O = Intersect(k, b)
P = Mirror(P_2, O_2)
Q = Mirror(P_2, b)
e = Conic(P_2, O, N, P, Q)