A = (3.8580052690871347, 5.576812221670119)
B = (-0.84, -0.28)
C = (6.31472893715531, -0.3198308476153039)
polígono1, c, a, b = Polygon(A, B, C)
d = Circle(A, B, C)
e = Line(B, C)
h = OrthogonalLine(A, e)
H_a = Intersect(e, h)
M_a = Midpoint(B, C)
X_4 = TriangleCenter(A, B, C, 4)
D = Midpoint(A, X_4)
f = Circle(D, A)
X_3 = TriangleCenter(A, B, C, 3)
g = Line(X_3, D)
A_1 = Mirror(A, g)
E = Midpoint(A_1, X_4)
k = Circle(E, A_1)
i = Line(X_3, E)
A_2 = Mirror(A_1, i)
p = Circle(H_a, A_2, M_a)
t_a = Tangent(A_2, k)
t_b = TangenteEnA2(B, C, A)
t_c = TangenteEnA2(C, A, B)
A' = Intersect(t_b, t_c)
B' = Intersect(t_a, t_c)
C' = Intersect(t_b, t_a)
b_1 = Line(A, A')
c_1 = Line(B, B')
d_1 = Line(C', C)
X = Intersect(c_1, d_1)
polígono2, b', a', c' = Polygon(A', C', B')

Tool: TrianguloETC
Dar el vértice A
Input: A_{etc}
Output: B_{etc}, C_{etc}, a, polígono1

c = Circle(A_{etc}, 13)
B_{etc} = Point(c)
d = Circle(A_{etc}, 9)
e = Circle(B_{etc}, 6)
C_{etc} = Intersect(d, e, 1)
polígono1, c_{etc}, a_{etc}, b_{etc} = Polygon(A_{etc}, B_{etc}, C_{etc})
a = Line(B_{etc}, C_{etc})

Tool: Coordenadas Trilineales (command CoordenadasTrilineales)
Dar los vértices de ABC y un  punto P
Input: A, B, C, P
Output: texto2, CoordTrilineales

q_1 = Segment(B, P)
e = Line(A, C)
E_1 = Intersect(e, q_1)
d = Line(C, B)
p_1 = Segment(A, P)
D_1 = Intersect(d, p_1)
ABC, c, a, b = Polygon(A, B, C)
e_1 = OrthogonalLine(P, a)
D = Intersect(e_1, d)
p = Segment(P, D)
α = If(Defined[D_1], -p, p)
f_1 = OrthogonalLine(P, b)
g = OrthogonalLine(P, c)
f = Line(A, B)
E = Intersect(f_1, e)
F = Intersect(g, f)
r_1 = Segment(P, C)
q = Segment(P, E)
r = Segment(P, F)
F_1 = Intersect(f, r_1)
β = If(Defined[E_1], -q, q)
γ = If(Defined[F_1], -r, r)
CoordTrilineales: {α, β, γ}
texto2: "" + CoordTrilineales + ""

Tool: Tangente En A2 (command TangenteEnA2)
Dar ABC
Input: A, B, C
Output: s

X_4 = TriangleCenter(A, B, C, 4)
D = Midpoint(A, X_4)
X_3 = TriangleCenter(A, B, C, 3)
g = Line(X_3, D)
Q = Mirror(A, g)
E = Midpoint(Q, X_4)
k = Circle(E, Q)
i = Line(X_3, E)
K = Mirror(Q, i)
s = Tangent(K, k)