A = (-5.598358445928665, -4.476223066897546)
B = (13.961281852121223, -4.437337102090289)
a = Segment(A, B)
C = Midpoint(a)
c_1 = Circle(C, B)
D = Point(c_1)
b = Segment(D, B)
c = Segment(D, A)
α_1 = Angle(A, D, B)
α = Angle(B, A, D)
β = Angle(D, B, A)