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