$F$

$d$

1

ε

Eje focal

$D(1)$

$F(\epsilon)$

$M$

$N$

$A$

$\Gamma$

$\mbox{Polar de } A \mbox{ resp. a } \Gamma$

$A'$

$O$

$F'_2$

$F'$

Con objetos auxiliares

Elipse

Hipérbola

F = (-69.28113090291498, 29.91115190272283)
B = (-71.39095094949027, 27.417194448497426)
A_1 = (-71.37887181782042, 32.24573453382743)
d = Line(A_1, B)
C = (-72.86759117678585, 33.091597805966785)
D_1 = (-69.48413808822826, 33.159266867737934)
a = Ray(C, D_1)
E = Point(a)
e = Segment(C, E)
ε: Distance[C, E] / Distance[C, D_1]
texto1: "ε=" + ε + ""
c = OrthogonalLine(F, d)
D = Intersect(c, d)
f = Circle(D, 1)
g = Circle(F, ε)
G, M = Intersect(f, d)
d_1 = Line(F, d)
N, J = Intersect(g, d_1)
h = Segment(N, M)
A = Intersect(h, c)
K = Midpoint(F, D)
k = Circle(K, F)
i = Polar(A, k)
A' = Intersect(i, c)
O = Midpoint(A', A)
F'_2 = Dilate(F, ε, D)
p = Circle(F, Segment[D, F'_2])
L, M_1 = Intersect(p, d_1)
L' = Mirror(L, O)
F' = Mirror(F, O)
q = Conic(L, M_1, L', A, A')
j = true