托勒密定理的证明方式-托勒密定理证明简证

托勒密定理，也就是著名的托勒密不等式，在几何世界里实际上是个“爱屋及乌”的奇迹。你平时画个圆，里面画个四角星，只要顶点顺次都在圆上——不管它是稳定的正方形，还是旋转的长方形，就连是那种看起来歪歪扭扭的圆内接四边形，甭管它是扁是长、是胖是瘦，这个定理都死死地咬住它。它的名字听起来像是古董商给一个老古董起的号，实则是古希腊人给一个神秘公式贴的标签。
这公式不仅描述了点与点之间的距离，更像是一种跨越维度的度量衡，把平面几何的硬骨头缩成了圆上的呼吸频率。 想象一下，你是那个拿着罗盘在沙漠里迷路的人，手里只有一张被风吹得皱巴巴的地图，上面标注了四个观测点，告诉你它们围成了一个圈。
你想算出对角的连线有多长，别的小星图告诉你那些距离都差不多。
这时候，要是地图maker 是个虔诚的信徒，他会在图里画个圆，把四个点都钉进去。
只要这四点不塌掉，定律就生效。
这个定律的伟大之处在于，它不管你如何捏，只要保持四点共圆，那个对角线的乘积，一辈子小于要么等于另外三条边的乘积。
要是长得像三角形，那就不叫定理了，那是废话。
这就像是你站在山顶看海，甭管海面如何浪，你脚下的陆地投影大小一直受限于地球曲率。只不过在天平上，左边放的是对角线，右边放的是三条边，天平平衡的临界点，就是四点共圆。 大量人一上来就想啃证题，认定这是高数里微积分的变体，要么需求构造复杂的复变函数。
实际上不然，这纯粹是欧几里得几何的直觉游戏。最笨的办法是选两个点，算出它们在圆上的弧长，再用圆周率去换算长度，把它换算成直线距离。你会发现，这跟用勾股定理算直角三角形的斜边简直是一毛一样的事。
实际上，这个定理的本质就是圆内接四边形面积的一个变形。你能够把它理解为把四边形强行拉直成三角形，只要保持四点共圆，那你拉出来的斜边，一辈子不可能比另外三条边加起来还长忒多。
这就好比两个人拉车，一个人力气大，两个人力气小，但甭管如何分配，他们共同走过的路程，一辈子比单独一个人走那一半的距离要少。 为了让你真正品出这个公式的味道，咱们拿点具体的数据来唠唠。假设有个圆，半径定个十，那就是个中等大小的操场。你选了四个点，随意凑合，比如 A(1,0), B(0,1), C(-1,0), D(0,-1)。
这四点实际上是个正方形，边长是根号二，对角线是两根二。我们来算算。左边那项，对角线乘积，就是 (2√2) 乘以 (2√2)……什么的，不对，这四点实际上构成的是菱形。算错了，重来。设那四个点实际上是 A(1,0), B(0,2), C(-1,0), D(0,-2)。
这实际上是个菱形，长轴长 4，短轴长 2。对角线分别是 4 和 2。左边乘积是 4 乘以 2，等于 8。
那右边三条边呢？AB 是根号 5，BC 是根号 5，CD 是 2，DA 是根号 5。
那右边乘积是 (根号 5 的三次方) 乘以 2。算一下，根号五大约是 2.236，那三次方啊……这数字有点吓人。
什么的，我是不是搞反了？不对，托勒密定理是左边小于等于右边。
要是是正方形，对角线 2R，边长 R√2。左边是 4R²，右边是 (R√2)³ 乘以 R√2？不对，公式是 2ab ≤ ac + bd。
哦，对啦，是两条对角线之积小于等于两组对边乘积之和。 好，换个好办的例子。设圆半径为 1。点 A, B, C, D 构成一个边长为 √2 的正方形。对角线长度是 2。
那左边是 2 2 = 4。右边呢？边长是 √2，那三边分别是 √2, √2, √2。
不对，边长乘积是 (√2)³ √2？不对，公式是 2·d1·d2 ≤ a·b + c·d。
那左边是 2 2 = 4。右边呢？四边是 √2, √2, √2, √2。
那是 4√2。4 确实小于等于 4√2，两边乖乖听话。
那要是你选个扁一点的，比如点 A(-1,0), B(0,1), C(1,0), D(0,√3)。
这实际上是个筝形，但得共圆。算了，直接切个正三角形。A(0,1), B(-√3/2, -1/2), C(√3/2, -1/2)。
这不对，得四个点。A(0,1), B(√3,0), C(0,-1), D(-√3,0)。
这是个菱形，长轴 2，短轴 2√3。对角线乘积是 2 2√3 = 4√3。四边长度分别是 2√3, 2√3, 2√3, 2√3。右边是 (2√3)³ + (2√3)²？不对，公式是 2ab ≤ ac + bd。
那 a=2√3, b=2√3, c=2√3, d=2√3。左边 2(2√3)(2√3) = 24。右边 2√32√3 + 2√32√3 = 12 + 12 = 24。两边相等。
这说明啥？说明它是矩形。矩形时等号成立。
那要是是矩形，比如 A(0,1), B(1,0), C(0,-1), D(-1,0)。对角线是 2, 2。乘积 4。四边是 √2, √2, √2, √2。右边 4√2 ≈ 5.65。4 < 5.65。彻底符合。 再举个极端例子，别搞错了，是钝角四边形。在圆上取三点 A, B, C 构成大三角形，然后随意往中间塞个点 D，可是要保证四点共圆。
比如 A(1,0), B(-1,0), C(0,1)。
这构成等腰直角三角形，斜边是 2。目前选个 D(0, -0.5)。
这四点还在一个圆上吗？A, B, C 的圆方程是 x²+y²-2x=0。D(0,-0.5) 代入得 0 + 0.25 - 0 ≠ 0。
哦，D 跑偏了。我得找个共圆的点。
实际上最好办的，就是让 D 在 AB 的垂直平分线上往上移一点点，直到碰到圆。假设 D 是 (0, 0.1)。
那四点共圆。
这时候对角线 AD 和 BC 的长度哪位大？AD 是 0.1，BC 是 2√2。乘积挺小。
那三边 ABC, ADC, BDC 哪位大？ABC 的边长底边 2，腰 √(1+0.01)。ADC 的边长底边 √(0.01+0.1)≈0.33，高 0.1。BDC 同理。你会发现，托勒密定理成了个残酷的法庭，它说：只要四点共圆，那个“对角线乘积”一辈子是个“老实人”，你非要凑那三个“大个子”去比，总有一方吃亏。 实际上这定理的精髓早就被爱因斯坦的相对论继承下来了。在球面上度量的时候，托勒密定理依然成立，只是单位变成了球面距离。它告诉我们，空间的内接多边形，其结构的稳定性受到凸性要么说圆度的严格约束。你不需求做那些微积分高深的计算，你只需求明白一个道理：圆是几何世界的底线。在这个底线之上，所有的多边形都务必遵守这个“对角线乘法”的法则。它是欧几里得几何的皇冠，也是现代证明几何的基石。当你看到那个不等式时，你看到的不只是是一串符号，而是人类理性在几何大厦里刻下的第一块石碑，它宣告了平面图形的内在秩序不容篡改。
哪怕你把图形搞得再混乱，只要那四个角扣进了同一个圆，那对角的羁绊，就一辈子只有一种确定的比例关系。
这就是托勒密定理的永恒魅力，好办，深刻，且无处不在。