Источник TeX:
AB^2 = OB^2 + OA^2