Для треугольника АВС справедливо равенство
\(AB^2 =\) \(BC^2 + AC^2 - 2BC\cdot ACcos\angle{BCA}\)
\(BC^2 =AB^2+ AC^2 - 2AB\cdot ACcos\angle{ABC}\)
\(AC^2 =AB^2+ BC^2 - 2AB\cdot BCcos\angle{ACB}\)