Источник TeX:
AC^2+OC^2=OA^2