平面几何 · 圆内接四边形 / 竞赛经典 / STEAM
托勒密定理：圆内接四边形的代数和谐
简介：在几何学的璀璨星河中，如果说要寻找一条连接代数与几何、横跨数学与天文学的桥梁，那一定非托勒密定理（Ptolemy's Theorem）莫属。
它以极简的形式，揭示了圆内接四边形边长与对角线之间的绝妙等式，是古典几何中最具美感且最实用的定理之一。
它以极简的形式，揭示了圆内接四边形边长与对角线之间的绝妙等式，是古典几何中最具美感且最实用的定理之一。
1. 历史渊源：仰望星空的数学巨匠
📜 人物素描：克劳狄乌斯·托勒密（Claudius Ptolemaeus）
托勒密（约公元90年—168年）是古希腊时代在亚历山大港工作的一位集大成的学者，横跨天文学、数学、地理学和占星学。
虽然今天他的“地心说”早已被历史更替，但他在传世巨著《天文学大成》（Almagest）中首次正式提出并证明了托勒密定理。更有趣的是，他提出这个定理并不是为了做纯粹的几何游戏，而是为了计算弦长，从而编制出高精度的“弦表”——这可以说是人类历史上最早的三角函数表，直接推动了古代天文学的计算精度。
托勒密（约公元90年—168年）是古希腊时代在亚历山大港工作的一位集大成的学者，横跨天文学、数学、地理学和占星学。
虽然今天他的“地心说”早已被历史更替，但他在传世巨著《天文学大成》（Almagest）中首次正式提出并证明了托勒密定理。更有趣的是，他提出这个定理并不是为了做纯粹的几何游戏，而是为了计算弦长，从而编制出高精度的“弦表”——这可以说是人类历史上最早的三角函数表，直接推动了古代天文学的计算精度。
2. 定理内容：边与对角线的优美等式
托勒密定理将圆内接四边形的四条边和两条对角线紧密地绑定在了一起，形成了一个极具对称美的方程。
托勒密定理（Ptolemy's Theorem）：
若凸四边形 $ABCD$ 内接于圆，则其对角线的乘积等于两对对边乘积之和。 即： $$AC \cdot BD = AB \cdot CD + BC \cdot AD$$
逆定理同样成立：在同一平面上的四点 $A, B, C, D$（按顺序构成凸四边形），若满足对角线乘积等于两对对边乘积之和，则这四个点必定共圆。
若凸四边形 $ABCD$ 内接于圆，则其对角线的乘积等于两对对边乘积之和。 即： $$AC \cdot BD = AB \cdot CD + BC \cdot AD$$
逆定理同样成立：在同一平面上的四点 $A, B, C, D$（按顺序构成凸四边形），若满足对角线乘积等于两对对边乘积之和，则这四个点必定共圆。
3. 实战演练：托勒密定理的降维打击
在竞赛和复杂几何证明中，托勒密定理往往能将繁琐的角度推导直接转化为干脆利落的代数计算。以下是它的几种经典应用境界：
💡 境界一：秒杀三角函数公式
分析点拨：将一个特殊的直角四边形放入单位圆中，利用托勒密定理，只需一步就可以极其优雅地推导出高中数学中最核心的两角和差公式，如 $\sin(\alpha \pm \beta)$ 或 $\cos(\alpha \pm \beta)$。托勒密当年正是用这种方法计算星体位置的！
分析点拨：将一个特殊的直角四边形放入单位圆中，利用托勒密定理，只需一步就可以极其优雅地推导出高中数学中最核心的两角和差公式，如 $\sin(\alpha \pm \beta)$ 或 $\cos(\alpha \pm \beta)$。托勒密当年正是用这种方法计算星体位置的！
🚀 境界二：正多边形中的“黄金法则”
分析点拨：在正五边形的外接圆中，任取四个顶点构成圆内接四边形。套用托勒密定理，可以直接得出正五边形对角线与边长的比例关系，极其简捷地推导出隐藏在正多边形中的黄金分割比（即 $\frac{\sqrt{5}-1}{2}$）。
分析点拨：在正五边形的外接圆中，任取四个顶点构成圆内接四边形。套用托勒密定理，可以直接得出正五边形对角线与边长的比例关系，极其简捷地推导出隐藏在正多边形中的黄金分割比（即 $\frac{\sqrt{5}-1}{2}$）。
👑 境界三：推广到任意四点的不等式
分析点拨：如果四边形 $ABCD$ 不内接于圆，等号就会变成不等号，即 $AC \cdot BD \le AB \cdot CD + BC \cdot AD$。这被称为托勒密不等式，它是解决平面上多点距离最值问题（例如著名的费马点问题）的顶级利器。
分析点拨：如果四边形 $ABCD$ 不内接于圆，等号就会变成不等号，即 $AC \cdot BD \le AB \cdot CD + BC \cdot AD$。这被称为托勒密不等式，它是解决平面上多点距离最值问题（例如著名的费马点问题）的顶级利器。