$t_{P_1}$

Mostrar la construcción

A = (-2.614571863623233, -0.7621199937370083)
B = (-0.18899601174373368, -0.7497446067376231)
u = Vector(A, B)
P_1 = (3.12, 3.9)
C = (-2.88, 4.36)
D = (5.1, -1.06)
t_P = Line(C, D)
P = Point(t_P)
a = Line(P, u)
c = OrthogonalLine(P, t_P)
a' = Mirror(a, c)
b = Line(P_1, u)
Q = Intersect(b, t_P)
M = Midpoint(P, Q)
d_1 = Line(M, P_1)
e = OrthogonalLine(P_1, d_1)
b' = Mirror(b, e)
F = Intersect(a', b')
S = Mirror(F, t_P)
d = OrthogonalLine(S, u)
f = Parabola(F, d)
g = true

Tool: Parabola Direccion_eje Punto Tangente_Punto (command ParabolaDireccion_ejePuntoTangente)
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)