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