A = (-5.481700551506895, -5.68168797592249)
B = (14.077939746542992, -5.487258151886208)
b = Segment(A, B)
C = Midpoint(b)
c_1 = Circle(C, B)
D = Point(c_1)
c = Segment(D, B)
a = Segment(D, A)
α = Angle(D, B, A)
β = Angle(A, D, B)