Источник TeX:
AB^2 = AC^2 + BC^2 -2 AC \cdot BC \cdot \cos\angle ACB