Recta de Pascal

Mostrar la construcción

P = (0.8539255930402011, 2.4086550222209144)
A = (-0.36, 4.94)
B = (7.223195460846912, 4.400499417244107)
t_1 = Line(A, B)
C = (-0.78, -0.42)
D = (8.497049434408254, 1.82963048878394)
t_2 = Line(C, D)
P_1 = Point(t_1)
P_2 = Point(t_2)
δ = AngularBisector(P_1, P, P_2)
b = Line(P_1, P)
F = Intersect(b, t_2)
d = Line(P_2, P_1)
G = Intersect(δ, d)
e = Line(F, G)
H = Intersect(e, t_1)
f = Line(H, P_2)
X = Intersect(δ, f)
c, E = ConicaCuatroPuntosTangente(t_1, P_1, P, P_2, X)
a = true

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)