α = 6.157521601035995 rad (slider from 0 to 6.283185307179586, step 0.0017453292519943296)
A: (α + 3.0, -(1.34))
B: (α, -(1.36))
A' = Rotate(A, α, B)
β = Angle(A, B, A')
c = Circle(B, A)
a_1 = Segment(B, A')
γ: α