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