GI= -2i tan(α) +  \sqrt{ 4 i² tan(α)² + 4 i n tan(α) } 

Sia 2m = TA + TB + TC +TJ - (AB + BC + CA)/2

Allora     AG = TA - m
              BI  = TB - m
              CK = TC - m

UK= -2i tan(β) +  \sqrt{ 4 i² tan(β)² + 4 i s tan(β) } 

A = (-2.9833333333333347, -11.533333333333333)
B = (20.650000000000027, -11.766666666666667)
a = Segment(A, B)
C = (-0.35, 4.766666666666667)
b = Segment(C, A)
c = Segment(C, B)
d, e = AngularBisector(a, b)
U_1, u, a_2, b_2 = Polygon(A, B, C)
f, g = AngularBisector(b, c)
h_1, i1 = AngularBisector(a, c)
D = Intersect(a, f)
j = Segment(C, D)
E = Intersect(c, e)
k_2 = Segment(A, E)
F1 = Intersect(b, h_1)
l = Segment(B, F1)
α = Angle(F1, B, A)
β = Angle(A, C, D)
F = Point(k_2)
m = OrthogonalLine(F, a)
G = Intersect(a, m)
i = Segment(F, G)
n = Segment(B, G)
o: ((-2 * i) * tan(α)) + sqrt(((4 * i^(2)) * tan(α)^(2)) + (((4 * i) * n) * tan(α)))
q = OrthogonalLine(F, b)
U = Intersect(b, q)
p = Segment(F, U)
s = Segment(C, U)
o_1: ((-2 * i) * tan(β)) + sqrt(((4 * i^(2)) * tan(β)^(2)) + (((4 * i) * s) * tan(β)))
t = Circle(G, o)
c_1 = Circle(U, o_1)
I, S = Intersect(t, a)
K_1, N = Intersect(c_1, b)
a_1 = OrthogonalLine(K_1, b)
b_1 = OrthogonalLine(I, a)
L = Intersect(j, a_1)
H = Intersect(l, b_1)
d_1 = Circle(F, G)
e_1 = Circle(H, I)
f_1 = Circle(L, K_1)
h = Segment(K_1, L)
k = Segment(H, I)
K = Intersect(j, k_2)
r = OrthogonalLine(K, a)
J = Intersect(r, a)
g_1 = Segment(K, J)
O = (-6, -15)
P = Point(Circle[O, i^(2)])
i2 = Segment(O, P)
Q = Point(Circle[P, k^(2)])
k2 = Segment(P, Q)
R = Point(Circle[Q, h^(2)])
h2 = Segment(Q, R)
i_1 = OrthogonalLine(K, b)
j_1 = OrthogonalLine(K, c)
M = Intersect(i_1, b)
T = Intersect(j_1, c)
k_1 = Segment(M, K)
l_1 = Segment(K, T)
m_1 = Segment(A, J)
v = Segment(A, J)
p_1 = Segment(J, B)
w = Segment(C, M)