A = (-1.7398408007241453, 2.5312316069558554)
B = (-1.1666666666666685, -7.416666666666669)
C = (8.783333333333331, -1.2166666666666686)
P, c, a_1, b = Polygon(A, B, C)
ε = Angle(B, A, C)
d = Line(B, C)
e = Line(A, B)
g = Line(A, C)
ζ = Angle(A, C, B)
η = Angle(C, B, A)
f = Line(A, a_1)
D = Midpoint(A, C)
B' = Mirror(B, D)
α = Angle(C, A, B')
E = Midpoint(A, B)
C' = Mirror(C, E)
β = Angle(C', A, B)