Источник TeX:
AC^2=AB^2+BC^2