t = 0 (slider from 0 to 1, step 0.01)
z = If(x < 0.0, 0.0, If[x > 1.0, 1.0, x])
A = (5.966666666666667, 3.3666666666666667)
B = (-0.1, -1.6333333333333333)
C = (11.333333333333334, -3.2666666666666666)
a = Segment(B, A)
b = Segment(A, C)
c = Segment(B, C)
α = Angle(C, A, B)
β = Angle(A, B, C)
γ = Angle(B, C, A)
lista1: {Polygon[A, B, C]}
D: 2.0 * A - B
E: 2.0 * A - C
F: A + (B - C) / 2.0
G: A + z(t) * (A - B)
d = Segment(A, G)
H: A + z(t) * (A - C)
e = Segment(A, H)
B': B + (A - B) * t
C': C + (A - C) * t
E': A + z(t) * (F - A)
E'' = Mirror(E', A)
f = Segment(E', E'')
η = Angle(C', B', D)
θ = Angle(E, C', B')
ι = Angle(D, A, E)
ζ = Angle(H, A, F)
δ = Angle(G, A, E'')