Ответ на вопрос
Кратко: теорема Птолемея для вписанного четырёхугольника \(ABCD\) утверждает
\[
AC\cdot BD = AB\cdot CD + BC\cdot AD.
\]
Ниже — сжатые выкладки трёх подходов и их плюсы/минусы.
1) Классическое синусно‑косинусное (тригонометрическое)
- Идея: выразить длины хорд через радиус описанной окружности \(R\) и соответствующие углы. Например, если для подходящих углов положить
\[
AB=2R\sin\alpha,\; BC=2R\sin\beta,\; CD=2R\sin\gamma,\; DA=2R\sin\delta,
\]
то диагонали даются как суммы углов, например \(AC=2R\sin(\alpha+\beta)\), \(BD=2R\sin(\gamma+\delta)\). Тогда Птолемей сводится к тождеству (после деления на \(4R^2\))
\[
\sin(\alpha+\beta)\sin(\gamma+\delta)=\sin\alpha\sin\gamma+\sin\beta\sin\delta,
\]
что легко проверяется стандартными тригонометрическими тождествами (учитывая, что для вписанного четырёхугольника суммы противоположных углов равны \(\pi\)).
- Плюсы: прямой метрический вывод; удобен когда известен \(R\) или когда нужно получить явные численные соотношения; естественен для задач с углами и синусами.
- Минусы: громоздкие вычисления при несимметричных обозначениях; требует знания «окружного» радиуса или умения вводить углы; менее концептуален.
2) Векторно/комплексный (алгебраический) подход
- Идея (в комплексной форме): расположить окружность как единичную: точки — числа \(z_1,z_2,z_3,z_4\) с \(|z_i|=1\). Используя \(\bar z_i=1/z_i\) и представления длин через модули разностей, сводят Птолемея к алгебраической тождественной равенству модуля суммы двух комплексных чисел:
\[
|z_1-z_3||z_2-z_4| = \bigl|(z_1-z_2)(z_3-z_4)+(z_2-z_3)(z_1-z_4)\bigr|.
\]
Далее с помощью факта, что соответствующие дроби реальны (из условия концикличности), получают суммирование модулей и приходят к требуемому равенству модулей (Ptolemy).
- Плюсы: очень компактно и алгебраически чисто; легко формализуется и обобщается (например, к формулам в комплексной или векторной алгебре); удобен для вычислений и для доказательств, использующих симметрии и инвариантности.
- Минусы: требует некоторого алгебраического/комплексного аппарата и понимания, почему появившиеся дроби реальны; менее «геометрический» интуитивно для начинающих.
3) Через проективные/инверсные преобразования
- Идея: сделать преобразование (обычно инверсию или дробно-линейное/Möbius‑преобразование), переводящее описанную окружность в линейную прямую. Под инверсией с центром, скажем, в точке \(A\) окружность проходит в прямую; образы точек \(B,C,D\) лежат на одной прямой и длины хорд переходят в отношения сегментов на прямой с простыми множителями. После этого Птолемей сводится к очевидному линейному тождеству для четырёх коллинеарных точек (например, к тождеству для произведений отрезков на прямой). Эта схема делает доказательство почти тривиальным после выбора подходящей инверсии.
- Плюсы: очень элегантно и показательно — подчёркивает, что Птолемей — инвариант явления при Möbius‑преобразованиях; даёт быстрые геометрические обобщения и связи с проективными инвариантами (кросс‑отношением); полезно для концептуального понимания.
- Минусы: требует знаний инверсии/проективной теории; при необходимости восстановить числовые коэффициенты нужно следить за масштабами при переходе; менее прямолинейно, если задача требует вычислений на исходной окружности без преобразований.
Когда какой метод предпочтителен
- Тригонометрический: когда нужны явные численные выражения через углы или радиус \(R\), или в задачах олимпиадного уровня с углами/синусами.
- Векторный/комплексный: когда важна алгебраическая компактность, при работе с параметризациями точки на окружности (например, при аналитической геометрии, компьютерной реализации, сведениях о модуле разностей), при обобщениях на комплексную/векторную задачу.
- Проективный/инверсный: когда требуется концептуальное, «чисто геометрическое» объяснение, когда полезно свести задачу к случаю коллинеарности или применять Möbius‑инварианты; удобен для доказательств общих свойств и связей с проективной геометрией.
Краткое резюме: тригонометрическое доказательство — практично для метрик и вычислений; векторное/комплексное — компактно и удобно для алгебраических обобщений; проективное/инверсное — наиболее концептуально и даёт чистую геометрическую интерпретацию и обобщения.
Еще