$A$

$B$

$C$

$A'$

$I$

$A_1$

$A_0$

$C_1$

$C'$

$B'$

$C_0$

$B_1$

$L$

$B_0$

$G$

A = (6.119144357223508, 6.178037223703384)
B = (-0.5610922317776604, -2.5835787179539222)
C = (15.24, -3.42)
poly1, c, a, b = Polygon(A, B, C)
A' = Midpoint(a)
f = AngularBisector(B, A, C)
g = AngularBisector(A, B, C)
I = Intersect(f, g)
A1 = Intersect(f, a)
α = Angle(B, A, I)
β = Angle(I, A, C)
h = Line(A, A')
f' = Mirror(f, h)
A0 = Intersect(f', a)
i = Line(C, I)
D = Intersect(i, c)
E = Midpoint(c)
j = Line(C, E)
i' = Mirror(i, j)
F = Midpoint(b)
k = Line(B, I)
G = Intersect(i', c)
H = Intersect(b, k)
l = Line(B, F)
k' = Mirror(k, l)
L = Intersect(f', i')
J = Intersect(k', b)
K = Intersect(h, j)