B = (-0.7000000000000001, -0.8200000000000001)
C = (7.48, -0.84)
a = Segment(B, C)
C_1 = Midpoint(a)
c_1 = Circle(C_1, C)
A = Point(c_1)
b = Segment(A, C)
c = Segment(A, B)
α_1 = Angle(B, A, C)
α = Angle(C, B, A)
β = Angle(A, C, B)