托勒密定理：圆内接四边形的基石
在平面几何的浩瀚体系中，托勒密定理（Ptolemy's Theorem）以其简洁而优美的形式著称。该定理揭示了圆内接四边形边长与对角线长度之间的数量关系，是解决几何问题，尤其是涉及圆和多边形计算时的有力工具。
定理表述
如果平面四边形是圆内接四边形（即四个顶点都在同一个圆上），那么它的两条对角线的乘积等于两对对边乘积之和。
AB · CD + AD · BC = AC · BD
其中，ABCD为圆内接四边形，AC和BD为对角线，AB、BC、CD、DA为四条边。
托勒密定理的证明过程
理解托勒密定理的证明过程不仅有助于掌握几何变换技巧，还能深化对相似三角形和圆周角性质的认识。以下提供三种主流证明方法。
1. 相似三角形构造法（经典证明）
这是最直观且最常用的证明方法，核心在于通过做辅助线构造相似三角形。
- 辅助线构造：在圆内接四边形ABCD中，在对角线AC上取一点K，使得∠ABK = ∠CBD。
- 第一组相似：
由于∠ABK = ∠CBD（构造所得），且∠BAC = ∠BDC（同弧BC所对的圆周角相等）。
因此，△ABK ∽ △DBC。
由相似比可得：AB / DB = AK / DC ⇒ AB · DC = DB · AK ① - 第二组相似：
由∠ABK = ∠CBD，两边同时加上∠KBC，得∠ABC = ∠KBD。
又因为∠BAC = ∠BDC（同弧BC），即∠BAK = ∠BDC... 此处更严谨的是利用∠ADB = ∠ACB（同弧AB）。
实际上，我们考察△ABD和△KBC。
∠ABD = ∠ABC - ∠DBC。而∠KBC = ∠ABC - ∠ABK。因∠ABK=∠DBC，故∠ABD=∠KBC。
又∠ADB = ∠ACB（同弧AB），即∠ADB = ∠KCB。
因此，△ABD ∽ △KBC。
由相似比可得：AD / CK = BD / BC ⇒ AD · BC = BD · CK ② - 综合结论：
将①式和②式相加：
AB · DC + AD · BC = DB · AK + DB · CK = DB · (AK + CK)
因为K在AC上，所以 AK + CK = AC。
故：AB · CD + AD · BC = AC · BD。证毕。
2. 反证法
假设存在圆内接四边形ABCD不满足托勒密定理，即 AB·CD + AD·BC ≠ AC·BD。通过构造点D'使得ABCD'满足定理，并证明D与D'重合，从而导出矛盾。此方法逻辑严密，但计算过程较为繁琐，通常用于理论推导。
具体步骤如下：
- 假设AC·BD > AB·CD + AD·BC。
- 在BD上取点E，使得∠BAE = ∠CAD，∠ABE = ∠ACD。
- 可证△ABE ∽ △ACD 和 △ABC ∽ △AED。
- 推导出 BE·BD = AC·AD 和 DE·BD = AB·CD。
- 相加得 BD(BE+DE) = AC·AD + AB·CD，即 BD² = ... 此处逻辑较为复杂，通常结合向量法或复数法更直观。
3. 三角函数法
利用正弦定理和余弦定理进行代数推导。
设圆半径为R，四边形边长对应的圆心角分别为α, β, γ, δ。利用弦长公式 L = 2R sin(θ/2)，将边长和对角线都表示为三角函数形式，通过积化和差公式进行恒等变换，最终验证等式成立。此方法展现了代数与几何的统一美。
托勒密定理的经典应用场景
掌握托勒密定理的证明过程只是第一步，灵活运用该定理解决实际问题才是关键。以下是几个典型的应用场景。
正五边形的对角线与边长比
在正五边形ABCDE中，连接对角线AC和AD。考察圆内接四边形ABCD。
由正五边形性质知 AB=BC=CD=DE=EA=a，对角线AC=BD=CE=...=d。
根据托勒密定理：AB·CD + BC·AD = AC·BD
a·a + a·d = d·d
d² - ad - a² = 0
解得 d/a = (1+√5)/2，即黄金分割比φ。
这完美解释了正五边形中蕴含的黄金比例。
正方形中的距离关系
对于正方形ABCD内任意一点P，若P在正方形外接圆上，则PA·PC = PB·PD。虽然正方形本身是特殊的矩形，但托勒密定理在此处揭示了顶点到圆上一点距离乘积的对称性。
等腰梯形的对角线计算
在等腰梯形ABCD中，AB∥CD，AD=BC。若已知各边长，可直接利用托勒密定理求出对角线长度，无需作高进行复杂的勾股运算。
托勒密不等式：更广泛的适用性
当四点不共圆时，托勒密定理的等式不再成立，而是退化为不等式，即托勒密不等式。这是几何不等式中的重要成员。
| 比较对象 | 条件 | 结论 | 几何意义 |
|---|---|---|---|
| 圆内接四边形 | A,B,C,D 共圆且顺序排列 | AB·CD + AD·BC = AC·BD | 取等号，面积最大 |
| 平面任意四点 | A,B,C,D 任意位置 | AB·CD + AD·BC ≥ AC·BD | 一般情况下的距离约束 |
| 凸四边形 | 非圆内接凸四边形 | AB·CD + AD·BC > AC·BD | 对边乘积之和大于对角线乘积 |
证明思路提示：在平面上任取四点A,B,C,D。若它们不共圆，可在△ABC的外接圆上取点D'，使得ABCD'为圆内接四边形。利用托勒密定理及三角形两边之和大于第三边（或两点之间线段最短）的性质，可证明原四边形中对应线段的组合严格大于对角线乘积。
常见问题解答 (FAQ)
Q: 托勒密定理的逆定理成立吗？
A: 成立。若四边形ABCD满足 AB·CD + AD·BC = AC·BD，则该四边形必为圆内接四边形。这是判定四点共圆的重要方法。
Q: 托勒密定理与勾股定理有什么关系？
A: 勾股定理是托勒密定理的特例。当圆内接四边形退化为直角三角形（即一边为直径，对角为90度）时，托勒密定理可推导出 a² + b² = c²。
Q: 在高中数学中如何应用托勒密定理？
A: 主要用于解决涉及圆的几何证明题和最值问题。特别是在高考或竞赛中，当遇到圆内接四边形求边长、角度或面积最值时，使用托勒密定理往往比建立坐标系或使用正弦定理更简洁。
Q: 托勒密不等式取等号的条件是什么？
A: 当且仅当四点A,B,C,D共圆，且按A,B,C,D的顺序排列在圆周上时，AB·CD + AD·BC = AC·BD 取等号。