A = (3, 1)
B = (8, 1)
C = (3, 4)
a = Segment(C, A)
b = Segment(A, B)
c = Segment(B, C)
α = Angle(B, A, C)