Mostrar la construcción

Recta de Pascal

a = true
A = (-11.14181075748215, -13.624330585889211)
B = (7.071032266997773, 19.499204662079457)
t_1 = Line(A, B)
P_1 = Point(t_1)
C = (-6.267332890229526, 2.926229296906004)
D = (10.759709335246871, -12.073395825114758)
t_2 = Line(C, D)
P_2 = Point(t_2)
E = (-13.216691608372267, -8.639183140542757)
F = (-2.8422873539216784, -16.504637998756053)
u = Vector(E, F)
G = Midpoint(P_1, P_2)
δ = Line(G, u)
c = Line(P_2, u)
H = Intersect(t_1, c)
d = Line(P_1, P_2)
K = Intersect(d, δ)
e = Line(H, G)
I = Intersect(e, t_2)
f = Line(P_1, I)
X = Intersect(δ, f)
g, X_1, L = ConicaTresPuntosDosTangentes(X, t_1, P_1, t_2, P_2)

Tool: Conica Cuatro Puntos Tangente (command ConicaCuatroPuntosTangente)
Dar una tangente, el punto de tangencia y tres puntos más
Input: t_P, P, P_1, P_3, P_2
Output: h, X

δ

Recta de Pascal

P = Point(t_P)
a = Line(P_2, P_3)
L = Intersect(a, t_P)
b = Line(L, P_1)
c = Line(P, P_2)
d = Line(P_3, P_1)
M = Intersect(c, d)
e = Line(M, L)
f = Line(P, P_3)
N = Intersect(e, f)
g = Line(P_2, N)
X = Intersect(b, g)
h = Conic(X, P_2, P, P_3, P_1)

Tool: Conica Tres Puntos Dos Tangentes (command ConicaTresPuntosDosTangentes)
Dar un punto, una tangente su punto de tangencia y otra tangente y su punto de tangencia
Input: P, t_1, P_1, t_2, P_2
Output: c, E, I

P_1 = Point(t_1)
P_2 = Point(t_2)
a = AngularBisector(P_1, P, P_2)
b = Line(P_1, P)
d = Line(P_2, P_1)
F = Intersect(b, t_2)
G = Intersect(a, d)
e = Line(F, G)
H = Intersect(e, t_1)
f = Line(H, P_2)
I = Intersect(a, f)
c, E = ConicaCuatroPuntosTangente(t_1, P_1, P, P_2, I)

Tool: TangentePunto TangentePunto DireccionAsintota (command TangentePuntoTangentePuntoDireccionAsintota)
Dar Dos Tangentes, sus Puntos de tangencia y un vector
Input: t_1, P_1, t_2, P_2, u
Output: g

Recta de Pascal

P_1 = Point(t_1)
P_2 = Point(t_2)
G = Midpoint(P_1, P_2)
δ = Line(G, u)
c = Line(P_2, u)
H = Intersect(t_1, c)
e = Line(H, G)
I = Intersect(e, t_2)
f = Line(P_1, I)
X = Intersect(δ, f)
g, X_1, L = ConicaTresPuntosDosTangentes(X, t_1, P_1, t_2, P_2)