1. 几何不等式的证明
在涉及多边形边长与对角线关系的问题中，广义托勒密定理往往是突破口。例如，证明任意凸五边形中，最长对角线小于其他边长之和的一半等类似问题。
2. 最值问题的求解
当题目要求求某线段的最大值或最小值时，若结构符合托勒密定理的形式，可直接利用等号成立条件（四点共圆）来确定极值点的位置。
3. 三角恒等式的几何证明
托勒密定理可以简洁地证明三角函数中的和差化积公式。例如，在圆内接四边形中，若对角线为直径，可推导出 。
什么是广义托勒密定理？
在平面几何的浩瀚星空中，托勒密定理无疑是一颗璀璨的明珠。它揭示了圆内接四边形边长与对角线之间的深刻联系。而广义托勒密定理（Ptolemy's Inequality）则将这一关系推广到了任意凸四边形，构成了几何不等式中的重要基石。
核心定义
对于任意凸四边形 ，设其四条边分别为 ，两条对角线分别为 。则有：
AB · CD + BC · DA ≥ AC · BD
等号成立当且仅当四边形 内接于圆（即四点共圆）。
这一定理不仅是解决几何计算问题的有力工具，更是连接几何形状与代数不等式的桥梁。在数学竞赛、几何证明以及工程力学中，广义托勒密定理都有着广泛的应用。
多种视角下的证明方法
理解广义托勒密定理的关键在于掌握其证明逻辑。以下是两种最经典且直观的证明方法：
相似三角形构造法（经典证明）
这是中学几何中最常见的证明方式，核心思想是通过构造相似三角形，将边的关系转化为比例关系。
- 构造点E：在四边形 内部（或外部，视角度而定）取一点 ，使得 且 。
- 证明第一组相似：由上述角相等，可得 。从而得出比例式：。
- 证明第二组相似：由 可得 。结合 （由第一组相似变形），可证 。从而得出：。
- 应用三角形不等式：在 中，根据三角形两边之和大于第三边，有 。
- 综合推导：将前两步的结果代入不等式： 两边同乘 ，即得：
等号成立条件：当且仅当 三点共线时等号成立。此时 ，这正是四点共圆的判定条件（同弧所对圆周角相等）。
反演几何法（高阶视角）
利用复平面上的反演变换，可以优雅地证明此定理。这种方法虽然抽象，但揭示了更深层次的几何不变性。
设四点 在复平面上对应的复数为 。根据复数的性质，有恒等式：
|a-c||b-d| = |a-b||c-d| + |b-c||d-a| - 2Re(...)
更直观的几何解释是：通过以点 为中心进行反演，将四边形 映射为新的四边形 （其中 在无穷远）。反演保持角度不变，但距离发生缩放。通过计算变换后的线段长度关系，结合三角不等式，即可证得原不等式。
这种方法的优势在于它可以将许多复杂的共圆问题转化为简单的共线问题处理。
复数法与行列式
对于熟悉线性代数的读者，可以使用复数的模长性质。考虑四点 。
根据复数的三角不等式 ，这实际上是托勒密不等式的复数形式。
证明的关键在于构造如下恒等式：
(z1-z2)(z3-z4) + (z2-z3)(z1-z4) = (z1-z3)(z2-z4)
对等式两边取模，并利用三角不等式 ，即可直接得到结论。这种方法计算简洁，但几何直观性稍弱。
广义托勒密定理的应用拓展
掌握广义托勒密定理不仅仅为了证明一个不等式，更在于其在解决复杂几何问题时的威力。
关于广义托勒密定理的常见问题 (FAQ)
Q1: 为什么广义托勒密定理中，对边乘积之和大于等于对角线乘积？
从几何直观上看，对角线 和 是连接相对顶点的“捷径”。而 可以看作是绕道另一侧的路径“权重”。在欧几里得几何中，两点之间线段最短，但在乘积意义上，只有当四点共圆时，这种“路径”达到最优平衡，即等号成立。否则，由于顶点的“偏离”，会导致乘积之和增大。
Q2: 如何判断一个四边形是否可以使用托勒密定理求值？
首先检查题目条件是否暗示或明确指出四边形是圆内接四边形（如给出对角互补、同侧张角相等、或明确说四点共圆）。如果是，直接使用 。如果不是，则只能使用不等式 来估计范围。
Q3: 托勒密定理在数学竞赛中常见吗？
非常常见。它是初中数学竞赛（如希望杯、华杯赛）和高中数学联赛中的高频考点。常与相似三角形、圆幂定理、三角函数结合出现，用于求解线段长度、证明不等式或计算角度。
Q4: 有没有简单的记忆口诀？
“圆内接，对角线，乘积等于对边乘积和。” 即：若四边形内接于圆，则两条对角线的乘积等于两组对边乘积之和。