托勒密定理公式证明-托勒密定理公式证

托勒密定理（Ptolemy's Inequality）听起来像是一道高数题，但它在几何里实际上更像是一种“直觉”的检验。大量人一看到它，第一反应就是找三角形外接圆，然后套公式。
实际上，这个定理最迷人的地方在于它揭示了圆内接四边形那种“对称美”背后的数学约束。想象一下，你在纸上画了一个圆，四个点 A、B、C、D 顺次躺在圆上。
这时候你会发现，连接对边所得的四边形面积，一辈子小于要么等于连接一条对角线所得的两个三角形面积乘积。
不，什么的，我可能把结论记反了，还是先别急，咱们把公式拆开揉碎了看。 公式长得挺唬人：$AB cdot CD + BC cdot DA le AC cdot BD$。
这里的字母都是点，但几何意义实际上挺明确。左边那两项是对边的“桥梁”，把相对的边搭起来；右边那两个乘积是对角的“桥梁”，把相邻的边捆起来。直觉上，左边像是在拼两块积木，右边像是在拉两根绳子，哪块大就是哪块大？自然，这定理有个挺致命的“坏掉”的情况：当这四个点共线的时候。
这时候几何图形塌了，点不再是平面上围成的区域，而是一条直线。
这时候不等式就变成了等式，这就是著名的“毕达哥拉斯定理”的推广（圆内接矩形）。
故此，这个不等式本质上是在说“四点不能随意乱跳”，它们务必围成一个圈，一旦形成圈，面积关系就立住了。 为了试着理解它，咱们不妨拿个具体的例子。假设我们画个圆，半径随意设个 10，圆心在原点。咱们取四个点：A 在 (0, 10)，B 在 (10, 0)，这俩显然把圆周分成了两半。目前要在剩下的弧上找两个点 C 和 D。为了凑机会，咱们选 C 在 (0, -10)，D 在 (-10, 0)。
这样 A、B、C、D 就构成了一个矩形。先算左边。AB 是水平边，长度 10。CD 也是水平边，长度 10。
那左边就是 $10 times 10 = 100$。再看右边。AC 是垂直边，长度 20。BD 也是垂直边，长度 20。右边是 $20 times 20 = 400$。100 小于等于 400，这没啥毛病。但这只是个平凡例子，咱们得找那种差点碰壁的例子。 让我们换个思路。假设圆半径是 1，四个点构成一个贼“歪”的圆内接四边形。A 在 (1, 0)，B 在 (0.9, $sqrt{1 - 0.9^2}$)，C 在 (-0.9, -$sqrt{1 - 0.9^2}$)，D 在 (-1, 0)。
这实际上是个等腰梯形，不过贼扁的等腰梯形。先算左边。AB 是短边，长度大约是 0.1。CD 是对边，长度也是 0.1。左边是 $0.01$。右边。AC 和 BD 是对角。AC 长度大约是 $sqrt{1^2 + (sqrt{0.2})^2}$，差不多 1.04。BD 同理。0.1 0.1 加上 0.1 0.1 就是 0.02，远小于 1.04 1.04。
看来这个例子还是忒顺了。 再试一个。想象四个点简直共线但略微一散开。A(1, 0)，B(0.99, $epsilon$)，C(-0.99, -$epsilon$)，D(-1, 0)。
这时候四边形简直是个退化的线段。AB 和 CD 的长度都趋近于 0。左边趋近于 0。AC 和 BD 的长度趋近于 2。右边也是接近 4。0 < 4，依然成立。
实际上只要它们构成四边形，左边一辈子比右边小。但定理本身并没有保证等号成立，等号成立的条件是四点共圆且看起来像个矩形。 什么的，我仿佛一直说反了，托勒密定理的第一种形式（不等式）是说 $AB cdot CD + AD cdot BC le AC cdot BD$。
第二种形式（等式）是 $AB cdot CD + AD cdot BC = AC cdot BD$ 当且仅当四点共圆。
这就是所谓的“对边乘积之和等于对角线乘积”的条件。大量人好办混淆，当作只要共圆就一定是等号，实际上不一定。
比如四个点构成的四边形要是是凹的，要么不是凸的，别看还在圆上，但边长的定义变了。
要是是凸四边形，并且四个点依次排列在圆周上，那么左边一定小于等于右边。 咱们还是用数据讲话比较实在。设一个圆，直径是 10，半径 5。点 A 固定在 (5, 0)。点 B 在圆上，坐标设为 $(5costheta, 5sintheta)$。为了简化，设 $theta = pi/4$，B 就是 $(frac{5sqrt{2}}{2}, frac{5sqrt{2}}{2})$。点 C 和 D 能够随意选，只要不撞到 A 和 B。假设 C 取 $(3, 4)$，那它在圆上是 $3^2+4^2=25$，对的。D 取 $(4, 3)$，也在圆上。目前算各边长。AB：$sqrt{(5 - frac{5sqrt{2}}{2})^2 + (0 - frac{5sqrt{2}}{2})^2}$。
这算起来有点丑，咱们用斜率要么好办的距离公式估算。
实际上不用算如此细，咱们直接代入公式里的结构。 左边 = $AB cdot CD + BC cdot DA$。 右边 = $AC cdot BD$。 要是我们让四边形变成正方形，两边都是等号。正方形边长 5，对角线 $5sqrt{2}$。左边 $5 times 5 + 5 times 5 = 50$。右边 $5sqrt{2} times 5sqrt{2} = 50$。相等。 要是想让四边形歪一点。
比如把正方形变成长方形。长 6，宽 8。圆内接长方形务必直径等于最长对角线，即 8（直径），故此长宽比不对。长方形务必对角线相等且等于直径。
故此长方形务必是正方形的样子才能内接。
要是长方形不是正方形，比如长 7.5，宽 8，那就不可能内接同一个圆。 好吧，看来数据比较难编出那种“临界”的例子，出于圆内接四边形的边长关系忒受角度限制。
不过我们能够换个角度，看看啥时候变号。
要是四点共圆，那么托勒密不等式取等号。
反之，要是托勒密不等式取等号，那么四点共圆。
这个逻辑是完美的闭环。只是是“取等号”这回事，在几何证明里实际上不需求算具体数值，只需求论证方向即可。 咱们回到公式本身，看看它是如何推导出来的。
这得追溯到圆内接多边形的面积公式。任意圆内接四边形 $ABCD$，它的面积 $S$ 等于四个直角三角形面积之和。假设圆心角分别为 $alpha, beta, gamma, delta$。
那么 $S = frac{1}{2}R^2(sinalpha + sinbeta + singamma + sindelta)$。而托勒密定理涉及的边长乘积 $AB cdot CD$ 实际上跟弦长相关。弦长公式 $L = 2Rsin(theta/2)$。
故此 $AB = 2Rsin(alpha/2)$，$CD = 2Rsin(gamma/2)$。相乘就是 $4R^2sin(alpha/2)sin(gamma/2)$。 这就有点难了，出于三角函数 $sin(alpha/2)sin(gamma/2)$ 和 $sin(beta)sin(delta)$ 之间没有直接的对立关系，要不就利用积化和差公式。最终你会发现，这个乘积和一直小于要么等于对角线乘积。具体的推导过程涉及复杂的三角恒等变换，把 $sinalpha singamma$ 和 $cosalpha cosgamma$ 组合起来，利用 $cos^2 x + sin^2 x = 1$ 消去余弦项，最终剩下的全是 $cos$ 项的和，也就是对角的边长平方，这就转化成了 $AC^2 + BD^2$。 这就挺有意思了。托勒密定理实际上是勾股定理在圆上的一个特例。在圆中，对角线的平方和等于啥？对角线把圆分成了几段弧。根据托勒密定理的逆定理（要是取等号），四边形是矩形，对角线平方和确实等于两倍的面积，也就是 $2 AC cdot BD$？不对，矩形面积是 $AC cdot BD$ 的一半（要是是正方形），要是是一般矩形，面积是 $AC cdot BD cdot sin(90) = AC cdot BD$。
什么的，矩形对角线互相垂直吗？不，矩形对角线相等但不垂直。矩形面积 = 长 $times$ 宽。对角线 $AC=BD=d$。面积 = $frac{1}{2}d^2 sin(2theta)$？不对。 咱们别纠结矩形了。
重点是，托勒密定理把“面积”和“边长”联系起来了。它告诉我们，对于任何凸四边形，其“对边乘积的加权和”一直小于等于“对角线乘积”。
这就像是一个不等式约束，限制了四边形的形状。在几何中，这个约束贼关键。
比如在计算复杂图形面积时，要是知道某个多边形能够内接于圆，那么托勒密定理就能帮你快速估算某些边角利润要么验证自相交的可能性。 再想想应用。
要是在复杂图形中，比如几个多边形拼接在一起，内部形成了圆内接四边形，托勒密定理就能帮你算出那个四边形局部的面积，要么验证整个图形有没有自相交。
比如在计算两个三角形面积之和时，要是它们共用一条边，要么构成某种四边形，托勒密定理就是那个“万能校验器”。它让你信任，只要四点在圆上，那这个不等式就一辈子成立，哪怕你看不出来具体有多少度。 总结一下，托勒密定理的核心就一句话：圆内接四边形的对边乘积之和，小于等于对角线乘积。等号成立当且仅当四点共圆。
这不是啥繁琐的代数推导，而是一种几何上的“必然”。就像你步行撞到了墙，不管你如何变道，撞的距离（不等式）总小于两条直线扫过的距离（等号情况，即矩形）。只不过这里的“墙”是圆，而“直线”变成了圆的弦。 最终，咱们把公式再写实一点。对于边长为 $a, b, c, d$ 的对角线长为 $e, f$ 的圆内接四边形，$ab + cd le ef$。
这就是托勒密定理。
记住这个逻辑，赶明儿看到圆内接四边形，第一反应不是去算坐标，而是看看这个不等式是不是在帮你省钱，要么在告诉你这些点能不能拼成一个“完美的”矩形。
毕竟，能拼成矩形，那才叫几何学的极致。其他的歪瓜裂枣，一辈子只能是个小于号。
这样想，是不是就通透多了。