Источник TeX:
AC^2 = R^2 + r^2.