什么是托勒密定理？
托勒密定理指出：如果一个四边形是圆内接四边形，那么它的两条对角线长度的乘积等于它两组对边长度乘积的和。
设圆内接四边形 ABCD 的四边长分别为 AB, BC, CD, DA，对角线长为 AC, BD，则有：
AB · CD + BC · DA = AC · BD
这个定理由古希腊天文学家、数学家克劳狄斯·托勒密（Claudius Ptolemy）提出，广泛应用于三角学、几何学以及复变函数理论中。理解托勒密定理的证明过程是什么，对于提升空间想象能力和逻辑推理能力至关重要。
托勒密定理的证明过程是什么？
关于托勒密定理的证明过程是什么，历史上存在多种经典的证明方法。为了让您更清晰地理解，我们采用选项卡形式展示三种最具代表性的证明思路：相似三角形法（最通用）、三角函数法（最直观）和复数法（最简洁）。
1. 辅助线构造
这是几何证明中最经典的方法，核心在于通过构造相似三角形将边长关系转化。
在圆内接四边形 ABCD 中，在对角线 BD 上取一点 E，使得 ∠BAE = ∠CAD。
由于 ∠ABE = ∠ACD（同弧所对圆周角相等），且 ∠BAE = ∠CAD，故 △ABE ∽ △ACD。
由此得出比例式：AB / AC = BE / CD，即 AB · CD = AC · BE ①
由 ∠BAE = ∠CAD 可得 ∠BAC = ∠EAD。又因 ∠ACB = ∠ADB（同弧所对圆周角相等），故 △ABC ∽ △AED。
由此得出比例式：AC / AD = BC / ED，即 AC · ED = AD · BC ②
将 ① 式和 ② 式相加：
AB · CD + AD · BC = AC · BE + AC · ED = AC · (BE + ED)
因为 BE + ED = BD，所以 AB · CD + AD · BC = AC · BD。
证毕。
1. 利用正弦定理
此方法利用圆的半径 R 将边长转化为角度函数。
- 设四边形 ABCD 外接圆半径为 R。
- 根据正弦定理，边长可表示为：AB = 2R sin(∠ADB)，BC = 2R sin(∠BAC) 等。
- 将各边代入等式左边：AB·CD + BC·DA。
- 利用三角恒等变换公式（如 sinαcosβ + cosαsinβ = sin(α+β)）进行化简。
- 最终可推导出右边 AC·BD 的表达式与左边完全一致。
虽然计算量略大，但这种方法体现了三角学与几何学的深刻联系，是解决托勒密定理的证明过程是什么的另一种优雅视角。
1. 利用复数模长
这是现代数学中最为简洁的证明方法，适合具备复数基础的学习者。
- 将平面上的点 A, B, C, D 视为复平面上的复数 z_A, z_B, z_C, z_D。
- 托勒密不等式在复数域的形式为：|z_A - z_B|·|z_C - z_D| + |z_B - z_C|·|z_A - z_D| ≥ |z_A - z_C|·|z_B - z_D|。
- 当四点共圆且顺序排列时，等号成立。
- 通过代数运算展开模长平方，利用向量点积性质即可快速验证。
此方法不仅证明了定理，还顺便揭示了托勒密不等式的存在，即对于任意四边形，对角线之积小于等于对边乘积之和。
托勒密定理的经典应用示例
理解了托勒密定理的证明过程是什么后，我们来看看它在实际解题中如何大显身手。以下选取两个高频考点示例。
题目： 已知 P 是正三角形 ABC 外接圆劣弧 BC 上的一点，求证：PA = PB + PC。
解析：
1. 四边形 ABPC 为圆内接四边形。
2. 根据托勒密定理：AB · PC + AC · PB = AP · BC。
3. 因为 △ABC 是正三角形，所以 AB = AC = BC。
4. 等式两边同时除以 BC，即得 PC + PB = PA。
点评：这是托勒密定理最基础的直接应用，常用于竞赛入门。
题目： 圆内接四边形 ABCD 中，AB=2, BC=3, CD=4, DA=5，求对角线 AC 的长。
解析：
1. 仅靠托勒密定理 AB·CD + BC·DA = AC·BD 无法直接求出 AC，因为有两个未知数 AC 和 BD。
2. 需结合余弦定理或相似性质。
3. 但在已知对角线比例或特定角度时，托勒密定理能极大简化计算过程，避免复杂的三角函数运算。
托勒密定理的逆定理
值得注意的是，托勒密定理的逆命题也成立：若四边形 ABCD 满足 AB·CD + BC·DA = AC·BD，则 A, B, C, D 四点共圆。这一性质常被用于证明四点共圆问题，是几何证明中的利器。