a = 0 (slider from 0 to 2, step 0.02)
A = (1.7333333333333334, 2.433333333333333)
B = (-3.3333333333333335, -3.1333333333333333)
C = (11.4, -3.6999999999999997)
P, c, a_1, b = Polygon(A, B, C)
f = Line(A, a_1)
α = Angle(A, C, B)
β = Angle(C, B, A)
alpha = If(a < 1, a, 1)
beta = If(alpha < 1, 0, If[a < 2, (a - 1) 180, 180])
D = Midpoint(C, A)
E: C + alpha Vector[C, A]
F = Rotate(C + 2 Vector[C, A], beta °, E)
G = Rotate(F, α, E)
γ = Angle(F, E, G)
H: B + alpha Vector[B, A]
I = Rotate(H + Vector[B, C], beta °, H)
J = Rotate(I, β, H)
δ = Angle(I, H, J)
ε = Angle(B, A, C)
d = Line(B, C)
e = Line(A, B)
g = Line(A, C)
ζ = Angle(A, C, B)
η = Angle(C, B, A)