\frac {a}{sin(A)} = \frac {b}{sin(B)} = \frac{c}{sin(C)}

A = (0, 0)
B = (1, 5)
C = (6, 1)
a = Segment(B, C)
b = Segment(A, C)
c = Segment(A, B)
ABC = Angle(A, B, C)
BCA = Angle(B, C, A)
BAC = Angle(B, A, C)
T2: "\frac {(" + a + ")}{sin(" + BAC + ")} = \frac {(" + b + ")}{sin(" + ABC + ")} = \frac{(" + c + ")}{sin(" + BCA + ")}"
T3: a / sin(BAC) + " = " + (b / sin(ABC)) + " = " + (c / sin(BCA))