Mostrar la construcción de P_2

Mostar construcción de P

o = false
t = true
A = (-1.744760417769111, -9.870510917892178)
B = (-1.744760417769111, 8.014904213113619)
t_1 = Line(A, B)
C = (-5.162355665731992, 8.12882405471238)
D = (16.59633407963168, -0.4721239859942279)
t_2 = Line(C, D)
E = (4.976510236557887, 11.888178827471561)
F = (9.191544375712107, -5.712436699537327)
t_3 = Line(E, F)
G = (-14.389862835231769, 5.7934673019377385)
H = (5.343672730403058, -7.552966588154392)
t_4 = Line(G, H)
P_1 = Point(t_1)
J = Intersect(t_2, t_1)
I = Intersect(t_3, t_2)
K = Intersect(t_3, t_4)
L = Intersect(t_4, t_1)
a = Line(P_1, I)
b = Line(J, K)
M = Intersect(a, b)
c = Line(L, M)
P_2 = Intersect(t_2, c)
d = Line(L, I)
O = Intersect(b, d)
e = Line(P_1, O)
P_3 = Intersect(t_3, e)
f = Line(P_1, K)
P_5 = Intersect(d, f)
g = Line(J, P_5)
P_4 = Intersect(t_4, g)
m = Line(P_1, P_3)
n = Line(P_2, P_4)
R = Midpoint(P_4, P_2)
p = Circle(R, P_2)
T = Intersect(m, n)
q = Polar(T, p)
U = Intersect(n, q)
δ = Line(P_1, U)
S = Intersect(t_3, δ)
i = Line(P_2, P_3)
V = Intersect(t_1, i)
j = Line(P_3, P_4)
W = Intersect(δ, j)
k = Line(V, W)
l = Line(P_4, P_1)
Z = Intersect(k, l)
s = Line(Z, P_2)
P = Intersect(δ, s)
h = Conic(P_1, P, P_2, P_3, P_4)

Tool: Conica Cuatro Tangentes Punto Contacto (command ConicaCuatroTangentesPuntoContacto)
Dar un tangente, su punto de contacto y tres tangentes más
Input: t_1, P_1, t_2, t_3, t_4
Output: h, P, P_2, P_3, P_4

P_1 = Point(t_1)
J = Intersect(t_2, t_1)
I = Intersect(t_3, t_2)
K = Intersect(t_3, t_4)
L = Intersect(t_4, t_1)
a = Line(P_1, I)
b = Line(J, K)
M = Intersect(a, b)
c = Line(L, M)
P_2 = Intersect(t_2, c)
d = Line(L, I)
O = Intersect(b, d)
e = Line(P_1, O)
P_3 = Intersect(t_3, e)
f = Line(P_1, K)
P_5 = Intersect(d, f)
g = Line(J, P_5)
P_4 = Intersect(t_4, g)
m = Line(P_1, P_3)
n = Line(P_2, P_4)
R = Midpoint(P_4, P_2)
p = Circle(R, P_2)
T = Intersect(m, n)
q = Polar(T, p)
U = Intersect(n, q)
r = Line(P_1, U)
i = Line(P_2, P_3)
V = Intersect(t_1, i)
j = Line(P_3, P_4)
W = Intersect(r, j)
k = Line(V, W)
l = Line(P_4, P_1)
Z = Intersect(k, l)
s = Line(Z, P_2)
P = Intersect(r, s)
h = Conic(P_1, P, P_2, P_3, P_4)