Mostrar la construcción

1

2

3

4

5

$\gamma$

e = true
A = (0.40715624480730384, 4.204329456836842)
B = (3.4561656614309944, 2.0869618064037216)
C = (4.32159006439281, 4.33425296732791)
D = (5.156718322740454, 2.192397447424959)
E = (2.449115770165414, 4.8203646308066155)
c = Conic(A, B, C, D, E)
P_0 = Point(c)
t = Tangent(P_0, c)
P = (2.2082798278534854, 1.44690083472674)
a = Line(A, P)
b = Line(B, P)
Q_1 = Intersect(c, a, 2)
Q_2 = Intersect(c, b, 2)
M = Intersect(t, a)
N = Intersect(t, b)
P_1 = InvolucionPuntoFIjoDosPuntos(a, M, A, Q_1, P)
P_2 = InvolucionPuntoFIjoDosPuntos(b, N, B, Q_2, P)
F = Intersect(c, t, 1)
d, G = ConicaCuatroPuntosTangente(t, P_0, P_1, P_2, P)

Tool: Involucion Punto FIjo Dos Puntos (command InvolucionPuntoFIjoDosPuntos)
Dar sobre una recta el punto fijo , dod conjugados y un punto. Se determina su conjugado
Input: a, P, A, A', M
Output: M'

M = Point(a)
P = Point(a)
A = Point(a)
A' = Point(a)
C = Midpoint(A, A')
c = Circle(C, A)
b = Polar(P, c)
P' = Intersect(a, b)
D = Midpoint(P', P)
d = Circle(D, P)
e = Polar(M, d)
M' = Intersect(e, a)

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)