A = (4, 2)
B = (7.999999999999998, 2)
C = (9.999999999999996, 6.0000000000000036)
a = Segment(A, B)
b = Segment(B, C)
Z = (0, 0)
α = 0 rad (slider from 0 to 6.283185307179586, step 0.017453292519943295)
c = Segment(A, C)
β = Angle(B, A, C)
A' = Rotate(A, α, Z)
B' = Rotate(B, α, Z)
a' = Segment(A', B')
C' = Rotate(C, α, Z)
d = Segment(B', C')
e = Segment(A', C')
γ = Angle(B', A', C')