A = (3.42, 1.34)
B = (-0.9, 1.46)
C = (2.08, 0.54)
poly1, c, a, b = Polygon(A, B, C)
d = AngularBisector(B, A, C)
e = AngularBisector(C, B, A)
f = OrthogonalLine(A, d)
g = OrthogonalLine(B, e)
Jc = Intersect(f, g)
Jb = Intersect(e, f)
Ja = Intersect(d, g)
I = Intersect(d, e)
G: (A + B + C) / 3
h = Line(A, B)
i = Line(A, C)
j = OrthogonalLine(C, h)
k = OrthogonalLine(B, i)
H = Intersect(j, k)
l = Line(A, H)
m = OrthogonalLine(G, k)
n = OrthogonalLine(G, j)
p = OrthogonalLine(G, l)
Ga = Intersect(l, p)
Gc = Intersect(j, n)
Gb = Intersect(k, m)
q = Circle(A, B, C)
O = Center(q)
o = ImplicitCurve({A, B, C, Ga, Gb, Gc, Ja, Jb, Jc})
C' = Rotate(C, 60*°, A)
α = Angle(C, A, C')
A' = Rotate(A, 60*°, B)
β = Angle(A, B, A')
B' = Rotate(B, 60*°, C)
γ = Angle(B, C, B')
poly2, c', a_1, c_1 = Polygon(A, C, C')
poly3, b_1, a_2, a' = Polygon(A, A', B)
poly4, b', b_2, c_2 = Polygon(B, C, B')
D: (A + C + C') / 3
E: (A + A' + B) / 3
F: (B + C + B') / 3
B'_1 = Rotate(B, 60*°, A)
δ = Angle(B, A, B'_1)
A'_1 = Rotate(A, 60*°, C)
ε = Angle(A, C, A'_1)
C'_1 = Rotate(C, 60*°, B)
ζ = Angle(C, B, C'_1)
poly5, a_3, b_3, b'_1 = Polygon(B, B'_1, A)
poly6, a'_1, a_4, c_3 = Polygon(A, C, A'_1)
poly7, c'_1, c_4, b_4 = Polygon(C, B, C'_1)
J: (A + B + B'_1) / 3
K: (C'_1 + B + C) / 3
L: (A + C + A'_1) / 3
poly8, l_1, j_1, k_1 = Polygon(J, K, L)
poly9, f_1, e_1, d_1 = Polygon(E, D, F)