I_1

I_2

C = (5.82, 2.16)
B = (6.140000000000001, -1.5)
A = (0.9400000000000001, 0.38)
triangulo, b, a, c = Polygon(A, C, B)
xA: x(A)
xB: x(B)
xC: x(C)
yA: y(A)
yB: y(B)
yC: y(C)
x13: (((a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) + (a^(2) * c^(2)) + ((4 * b^(2)) * c^(2)) - (2 * c^(4)) + ((sqrt(3) * a^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * xA) + ((b^(4) + (b^(2) * c^(2)) - (2 * c^(4)) + (a^(2) * b^(2)) + ((4 * a^(2)) * c^(2)) - (2 * a^(4)) + ((sqrt(3) * b^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * xB) + ((c^(4) + (a^(2) * c^(2)) - (2 * a^(4)) + (b^(2) * c^(2)) + ((4 * a^(2)) * b^(2)) - (2 * b^(4)) + ((sqrt(3) * c^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * xC)) / (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) + (a^(2) * c^(2)) + ((4 * b^(2)) * c^(2)) - (2 * c^(4)) + ((sqrt(3) * a^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))) + b^(4) + (b^(2) * c^(2)) - (2 * c^(4)) + (a^(2) * b^(2)) + ((4 * a^(2)) * c^(2)) - (2 * a^(4)) + ((sqrt(3) * b^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))) + c^(4) + (a^(2) * c^(2)) - (2 * a^(4)) + (b^(2) * c^(2)) + ((4 * a^(2)) * b^(2)) - (2 * b^(4)) + ((sqrt(3) * c^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))))
y13: (((a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) + (a^(2) * c^(2)) + ((4 * b^(2)) * c^(2)) - (2 * c^(4)) + ((sqrt(3) * a^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * yA) + ((b^(4) + (b^(2) * c^(2)) - (2 * c^(4)) + (a^(2) * b^(2)) + ((4 * a^(2)) * c^(2)) - (2 * a^(4)) + ((sqrt(3) * b^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * yB) + ((c^(4) + (a^(2) * c^(2)) - (2 * a^(4)) + (b^(2) * c^(2)) + ((4 * a^(2)) * b^(2)) - (2 * b^(4)) + ((sqrt(3) * c^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c))))) * yC)) / (a^(4) + (a^(2) * b^(2)) - (2 * b^(4)) + (a^(2) * c^(2)) + ((4 * b^(2)) * c^(2)) - (2 * c^(4)) + ((sqrt(3) * a^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))) + b^(4) + (b^(2) * c^(2)) - (2 * c^(4)) + (a^(2) * b^(2)) + ((4 * a^(2)) * c^(2)) - (2 * a^(4)) + ((sqrt(3) * b^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))) + c^(4) + (a^(2) * c^(2)) - (2 * a^(4)) + (b^(2) * c^(2)) + ((4 * a^(2)) * b^(2)) - (2 * b^(4)) + ((sqrt(3) * c^(2)) * sqrt(((((a + b + c) * ((-a) + b + c)) * (a - b + c)) * (a + b - c)))))
F: (x13, y13)
ver1 = true
ver2: false
d = LineBisector(b)
e = LineBisector(a)
g = OrthogonalLine(B, d)
h = OrthogonalLine(A, e)
G = Intersect(e, h)
I = Intersect(d, g)
p = Circle(C, A)
q = Circle(C, B)
r = Circle(A, B)
f = Segment(F, B)
i = Segment(F, C)
j = Segment(F, A)
k = OrthogonalLine(B, f)
l = OrthogonalLine(C, i)
m = OrthogonalLine(A, j)
B' = Intersect(l, m)
A' = Intersect(k, l)
C' = Intersect(k, m)
BB': B'
AA': A'
CC': C'
η = Angle(AA', C, F)
θ = Angle(BB', A, F)
ι = Angle(CC', B, F)
α = Angle(C, F, A)
β = Angle(B, F, C)
γ = Angle(A, F, B)
δ = Angle(B, A', C)
ε = Angle(C, B', A)
ζ = Angle(A, C', B)
polígono1, c'_1, a'_1, b'_1 = Polygon(A', B', C')
P = (1.96, 1.94)
n = OrthogonalLine(P, l)
s = OrthogonalLine(P, m)
t = OrthogonalLine(P, k)
E = Intersect(n, l)
F_1 = Intersect(s, m)
H = Intersect(t, k)
a' = Segment(P, F_1)
b' = Segment(P, H)
c' = Segment(P, E)