α = 2.2689280275926285 rad (slider from 0*° to 6.283185307179586, step 0.017453292519943295)
A = (1.1174348232010944, 12.437719242379318)
B = (3.51243766065802, 14.832722079836243)
A' = Rotate(A, α, B)
β = Angle(A, B, A')
B' = Rotate(B, α, A')
γ = Angle(B, A', B')
A'' = Rotate(A', α, B')
ε = Angle(A', B', A'')
B'_1 = Rotate(B, -α, A)
ζ = Angle(B'_1, A, B)
a = Segment(A, B)
b = Segment(A', B)
c = Segment(A', B')
d = Segment(B', A'')
e = Segment(A'', B'_1)
f = Segment(B'_1, A)
g = Circle(A, B, A')