Источник TeX:

AC^{2} = AB^{2} + BC^{2} - 2AB \cdot BC \cdot cos\angle ABC