$\Phi$

$\Psi$

Mostrar toda la construcción

A = (-1.9271106938476095, 9.937845736478032)
B = (-2.137488596983967, -5.174300305483571)
d = Line(A, B)
C = (-6.043855628387561, 3.402456175547111)
D = (14.061609944515553, 11.165050171440111)
t = Line(C, D)
P = Point(t)
P_1 = (2.3141078333813545, 1.6629815464480053)
M = Intersect(t, d)
E = Midpoint(M, P)
d_1 = Circle(E, P)
c = Line(P, P_1)
N = Intersect(d, c)
F = Midpoint(P_1, P)
e = Circle(F, P)
a = Polar(N, e)
L = Intersect(a, c)
G = Midpoint(L, N)
f = Circle(G, L)
F_2, F_1 = Intersect(f, d_1)
S_1 = Mirror(F_1, t)
b = Line(S_1, P)
g = OrthogonalLine(F_1, d)
F'_1 = Intersect(b, g)
h = Ellipse(F_1, F'_1, P_1)
k = Hyperbola(F_1, F'_1, P_1)
S_2 = Mirror(F_2, t)
i = OrthogonalLine(F_2, d)
j = Line(S_2, P)
F'_2 = Intersect(j, i)
p = Hyperbola(F_2, F'_2, P_1)
q = Ellipse(F_2, F'_2, P_1)
m = true