\frac{a}{sin(α)} = \frac{b}{sin(β)} = \frac{c}{sin(γ)}

C = (13.529939163187915, -7.508633185235622)
A = (3.529799199999992, -7.535372000000021)
B = (10.083596396998166, -1.7998586778123182)
c = Segment(A, B)
b = Segment(A, C)
a = Segment(B, C)
α = Angle(C, A, B)
β = Angle(A, B, C)
γ = Angle(B, C, A)