A = (-8.422404535274296, 4.556740617548244)
B = (1.495640184820311, 4.296061208509463)
C = (-0.6402241973112615, 10.499112016916747)
t1, c, a, b = Polygon(A, B, C)
D = Midpoint(b)
E = Midpoint(a)
F = Midpoint(c)
f = Segment(B, D)
g = Segment(C, F)
t2, a_1, b_1, d = Polygon(B, D, A)
texto1 = LaTeX(t2, true, true)
texto2 = LaTeX(t1, true, true)
t3, c_1, b_2, d_1 = Polygon(B, D, C)
texto3 = LaTeX(t3, true, true)
G = Intersect(f, g)
H = (4.181344055557139, -4.790334679679076)
I = (5.682797327283702, 0.6445032193874883)
J = (10.736985101123823, -1.6816919903297183)
t4, j, h, i = Polygon(H, I, J)
k = OrthogonalLine(I, i)
l = OrthogonalLine(H, h)
m = OrthogonalLine(J, j)
K = Intersect(k, l)
L = (-7.851429347434615, -3.0139674286223004)
M = (-2.9875666362077196, 0.9617116570761983)
N = (-2.5434748234435247, -5.107543117367786)
t5, n, l_1, m_1 = Polygon(L, M, N)
O = Midpoint(l_1)
P = Midpoint(n)
Q = Midpoint(m_1)
p = OrthogonalLine(O, l_1)
q = OrthogonalLine(Q, m_1)
r = OrthogonalLine(P, n)
R = Intersect(p, q)
e = Circle(R, M)
S = (11.752052101727697, 2.8015205956707163)
T = (15.600847812350718, 6.798346910548462)
U = (17.334920605049003, 2.103662032755554)
t6, u, s, t = Polygon(S, T, U)
f_1, g_1 = AngularBisector(t, u)
h_1, i_1 = AngularBisector(u, s)
j_1, k_1 = AngularBisector(s, t)
V = Intersect(g_1, i_1)
n_1 = OrthogonalLine(V, u)
W = Intersect(n_1, u)
e_1 = Circle(V, W)