A = (-2.4, 7.333333333333333)
B = (6.166666666666667, 6.2)
C = (-3.433333333333333, -0.3333333333333333)
a = Segment(B, C)
b = Segment(A, C)
c = Segment(A, B)
D = Midpoint(A, B)
E = Midpoint(A, C)
F = Midpoint(B, C)
T1: "a = " + a
T2: "b = " + b
T3: "c = " + c
α = Angle(C, A, B)
β = Angle(A, B, C)
γ = Angle(B, C, A)
T4: "A = " + α
T5: "B = " + β
T6: "C = " + γ
T7: "a^{2}  = " + (a²)
T8: "b^{2} + c^{2} - 2 \times b \times c \times cos(\widehat{A}) = " + b + "^{2}" + " + " + c + "^{2} - 2 \times" + b + "\times cos (" + α + ") = " + (a a)