A = (-2.565253190962678, -6.148319553609564)
C = (7.000694151622356, -6.18720551841682)
b = Segment(A, C)
b_1 = OrthogonalLine(A, b)
B = Point(b_1)
a = Segment(B, C)
c = Segment(B, A)
α = Angle(A, B, C)
β = Angle(C, A, B)