托勒密定理的证明方式 · 托勒密定理证明简证
托勒密定理，也就是著名的托勒密不等式，在几何世界里实际上是个“爱屋及乌”的奇迹。你平时画个圆，里面画个四角星，只要顶点顺次都在圆上——不管它是稳定的正方形，还是旋转的长方形，就连是那种看起来歪歪扭扭的圆内接四边形，甭管它是扁是长、是胖是瘦，这个定理都死死地咬住它。它的名字听起来像是古董商给一个老古董起的号，实则是古希腊人给一个神秘公式贴的标签。
这公式不仅描述了点与点之间的距离，更像是一种跨越维度的度量衡，把平面几何的硬骨头缩成了圆上的呼吸频率。
想象一下，你是那个拿着罗盘在沙漠里迷路的人，手里只有一张被风吹得皱巴巴的地图，上面标注了四个观测点，告诉你它们围成了一个圈。你想算出对角的连线有多长……只要这四点不塌掉，定律就生效。
这个定律的伟大之处在于，它不管你如何捏，只要保持四点共圆，那个对角线的乘积，一辈子小于要么等于另外三条边的乘积。
✦ 证明简证 · 核心思路
大量人一上来就想啃证题，认定这是高数里微积分的变体，要么需求构造复杂的复变函数。实际上不然，这纯粹是欧几里得几何的直觉游戏。最笨的办法是选两个点，算出它们在圆上的弧长，再用圆周率去换算长度，把它换算成直线距离。你会发现，这跟用勾股定理算直角三角形的斜边简直是一毛一样的事。
实际上，这个定理的本质就是圆内接四边形面积的一个变形。你能够把它理解为把四边形强行拉直成三角形，只要保持四点共圆，那你拉出来的斜边，一辈子不可能比另外三条边加起来还长忒多。
◈ 相似三角形法
在圆内接四边形ABCD中，作∠BAE=∠CAD，利用圆周角相等导出两组相似，直接得到AC·BD = AB·CD + AD·BC。这是最经典的托勒密证明，干净利落。
◈ 三角函数法
利用正弦定理将边长表示为2R·sinα，代入不等式后化简为sin(α+β) ≤ sinα+sinβ，本质上是凸函数的琴生不等式。
◈ 复数旋转
将四点放在单位圆上，利用复数乘法模长性质，一步导出托勒密不等式，等号成立当且仅当四点共圆且为凸四边形。
为了让你真正品出这个公式的味道，咱们拿点具体的数据来唠唠。
✦ 数据验算 · 实数说话
以下通过具体坐标与边长计算，验证托勒密定理的成立。点击选项卡切换不同构型。
正方形内接于单位圆
设圆半径 R=1，四点 A(1,0), B(0,1), C(-1,0), D(0,-1)。边长 √2，对角线长 2。
右边：√2·√2 + √2·√2 = 2+2 = 4
结论：4 ≤ 4，等号成立（矩形特例）
若为一般矩形，比如 A(0,1), B(1,0), C(0,-1), D(-1,0) 对角线乘积 4，四边乘积和 4√2 ≈ 5.65，满足不等式。
菱形·筝形验算
取 A(1,0), B(0,2), C(-1,0), D(0,-2) —— 长轴4，短轴2，对角线 4 和 2，左边=8。四边长度：AB=√5≈2.236, BC=√5, CD=2, DA=√5。右边= (√5·√5)+(2·√5)=5+2√5≈9.472。8 ≤ 9.472，符合。
再取 A(0,1), B(√3,0), C(0,-1), D(-√3,0) 构成菱形，对角线 2 与 2√3，左边 4√3≈6.928，四边均为 2√3≈3.464，右边= (2√3·2√3)+(2√3·2√3)=12+12=24，远大于左边，不等式成立。
般圆内接四边形
设 A(1,0), B(0,1), C(-1,0), D(0,0.5) 但 D 必须共圆？调整 D 为 (0,0.1) 代入圆方程 x²+y²-2x=0? 此处取四点 A(1,0), B(0,1), C(-1,0), D(0, -0.8) 满足 x²+y²=1? 不，D 需在圆 x²+y²=1 上，取 D(0,-1) 即为正方形。为展示一般性，取 A(0.8,0.6), B(-0.6,0.8), C(-0.8,-0.6), D(0.6,-0.8) —— 四点共单位圆，构成矩形？实际上计算得对角线乘积≈2.56，对边乘积和≈3.2，满足不等式。
再举个极端例子，在圆上取三点 A(1,0), B(-1,0), C(0,1) 构成等腰直角三角形，再取 D 在圆上靠近 B 的位置，比如 D(-0.8,0.6)。则对角线 AD·BC 与对边乘积和相比，不等式依然严格。
✦ 历史脉络 · 理性石碑
实际上这定理的精髓早就被爱因斯坦的相对论继承下来了。在球面上度量的时候，托勒密定理依然成立，只是单位变成了球面距离。它告诉我们，空间的内接多边形，其结构的稳定性受到凸性要么说圆度的严格约束。
✦ 网友们还关心
? 托勒密定理与四点共圆的判定
很多网友问：如何快速判断四点共圆？除了对角互补，托勒密定理的逆定理也成立：若四边形中两对角线乘积等于两组对边乘积之和，则四点共圆。这是一个非常强大的判定工具，尤其在竞赛中。
- 逆定理：四边形ABCD中若AC·BD = AB·CD + AD·BC，则A,B,C,D共圆。
- 推广：托勒密不等式对任意四边形成立，等号仅当内接于圆。
- 在解析几何中，利用托勒密不等式可以快速求线段最值。
? 托勒密定理的简证记忆法
网友总结的口诀：“圆内四边形，对边乘积和；等于对角线，乘积不啰嗦。” 实际上更精确的是“≤”。对于矩形、正方形，等号成立。记住一个特例：等腰梯形也满足等号？不，只有矩形（含正方形）等号成立。梯形若为等腰且内接于圆，必为矩形？圆内接等腰梯形一定是矩形吗？不一定，但若圆内接梯形，则两腰相等，但未必是直角，此时托勒密不等式为严格小于。
? 周边：托勒密定理与勾股定理
当四边形退化为三角形（即一点在另外两点连线上），托勒密定理退化为勾股定理？严格来说，当四点中有三点共线时，定理变为三角不等式。但若构造直角三角形内接于圆（直径所对圆周角），可导出勾股定理。所以托勒密是更一般的“超级勾股”。
网友们还关心：托勒密定理在复数中的形式：|z1-z3|·|z2-z4| ≤ |z1-z2|·|z3-z4| + |z1-z4|·|z2-z3|，等号当且仅当四点共圆或共线。
✦ 拓深 · 托勒密不等式的现代眼光
它是欧几里得几何的皇冠，也是现代证明几何的基石。当你看到那个不等式时，你看到的不只是是一串符号，而是人类理性在几何大厦里刻下的第一块石碑，它宣告了平面图形的内在秩序不容篡改。哪怕你把图形搞得再混乱，只要那四个角扣进了同一个圆，那对角的羁绊，就一辈子只有一种确定的比例关系。这就是托勒密定理的永恒魅力，好办，深刻，且无处不在。
在计算机图形学中，托勒密不等式用于检测四点共圆，从而简化曲面插值。在统计中，它出现在相关矩阵的三角不等式里。甚至在经济学的效用函数中，也有类似的结构。
延伸阅读 托勒密定理的证明方式-托勒密定理证明简证，是每一位几何爱好者的必修课。结合四点共圆、圆幂定理、正弦定理，可以编织出一张强大的几何网络。
- ? 经典证法：作辅助线构造相似三角形，几乎每一步都依赖圆周角。
- ? 向量证法：利用圆幂与向量点积，适合高等几何背景。
- ? 解析证法：设坐标暴力计算，适合验证但缺乏美感。
最后，记住这个简洁的不等式：AC·BD ≤ AB·CD + AD·BC，等号成立 ⇔ A,B,C,D 共圆且为凸四边形（矩形）。