A = (-0.66, -2.54)
B = (8.88, -3.1)
a = Segment(A, B)
C = (-0.36, 2.64)
b = Segment(A, C)
c = Segment(C, B)
texte1: "AB² = " + (Segment[A, B]^(2.0))
texte2: "AC² = " + (Segment[A, C]^(2.0))
texte3: "BC² = " + (Segment[C, B]^(2.0))
texte4: "AB² + AC² = " + (Segment[A, B]^(2.0) + Segment[A, C]^(2.0))
texte5: "AB² + BC² = " + (Segment[A, B]^(2.0) + Segment[B, C]^(2.0))
texte6: "BC² + AC² = " + (Segment[C, B]^(2.0) + Segment[A, C]^(2.0))
α = Angle(B, A, C)
β = Angle(B, A, C)
d = Segment(C, B)
e = Segment(B, A)
f = Segment(A, C)
γ = Angle(A, C, B)