Mostrar la construcción

A = (-1.92, -1.76)
B = (0.76, -1.48)
u = Vector(A, B)
C = (4.88, 5.64)
D = (-2.14, 3.12)
t_1 = Line(C, D)
E = (-0.56, 4.6)
F = (-1.54, 1.5)
t_2 = Line(E, F)
G = (-3.12, 1.38)
H = (6.22, -2.12)
t_3 = Line(G, H)
I = Intersect(t_1, t_2)
J = Intersect(t_2, t_3)
e = Line(I, u)
d = Line(J, t_1)
K = Intersect(d, e)
f = Line(K, t_3)
P_1 = Intersect(t_1, f)
g = Line(I, t_3)
L = Intersect(g, d)
h = Line(L, u)
P_2 = Intersect(t_2, h)
c = ParabolaDireccionEjePuntoTangenteEnPunto(u, P_1, t_2, P_2)
a = true

Tool: Parabola DireccionEje Punto TangenteEnPunto (command ParabolaDireccionEjePuntoTangenteEnPunto)
Dar un vector (dircción del eje), un punto, una tangente y el punto de tangencia
Input: u, P_1, t_P, P
Output: p

Dirección del eje

P = Point(t_P)
b = Line(P, u)
c = Line(P_1, u)
d = Circle(P_1, P)
E, F = Intersect(d, c)
e = AngularBisector(E, P_1, P)
G = Intersect(e, b)
H = Intersect(t_P, c)
f = Segment(H, G)
g = Line(P, f)
I = Intersect(e, g)
h = AngularBisector(P, P_1, F)
J = Intersect(b, h)
i = Segment(H, J)
j = Line(P, i)
K = Intersect(h, j)
k = AngularBisector(I, P_1, P)
L = Intersect(b, k)
l = Segment(H, L)
m = Line(P, l)
O = Intersect(k, m)
p = Conic(P_1, I, O, P, K)