主播刚学完圆（超纲自学菠萝蜜定理大有感触，
于是乎。。。
阿巴阿巴
托勒密定理
一、内容
若四边形 ABCD 内接于圆，则两条对角线的乘积等于两组对边乘积之和，即
AC · BD = AB · CD + AD · BC
该定理最早由古希腊天文学家喜帕恰斯提出，后经托勒密收入《天文学大成》并用于天文计算，因而得名。
二、证明
证明一：构造相似三角形
在圆内接四边形 ABCD 中，在对角线 BD 上取一点 M，使得
∠BAM = ∠CAD
因为
∠ABM = ∠ABD = ∠ACD
所以
△ABM ∽ △ACD
从而
AB / AC = BM / CD
即
AB · CD = AC · BM
又因为
∠MAD = ∠BAC，∠ADM = ∠ADB = ∠ACB
所以
△ADM ∽ △ACB
从而
AD / AC = DM / CB
即
AD · BC = AC · DM
两式相加得
AB · CD + AD · BC = AC(BM + DM) = AC · BD
即
AC · BD = AB · CD + AD · BC
证明二：面积法，构造等腰梯形
过顶点 A 作 BD 的平行线，与圆交于 E，连接 AE、BE、DE。由此得到等腰梯形 ABDE，再利用梯形与相关三角形的面积关系进行代换，最终同样可导出托勒密等式。
证明三：余弦定理法（同样比较超纲
设
AB = a，BC = b，CD = c，DA = d，AC = m，BD = n
利用圆内接四边形对角互补：
∠ABC + ∠ADC = 180°
由余弦定理及对角互补关系化简，可得
m² = [(ac + bd)(ad + bc)] / (ab + cd)
n² = [(ac + bd)(ab + cd)] / (ad + bc)
两式相乘并开方，得
mn = ac + bd
即
AC · BD = AB · CD + AD · BC
三、相关定理与推广
1. 逆定理
在凸四边形 ABCD 中，若
AC · BD = AB · CD + AD · BC
则 A、B、C、D 四点共圆
2. 托勒密不等式
对任意凸四边形 ABCD，恒有
AC · BD ≤ AB · CD + AD · BC
等号成立当且仅当四边形内接于圆。托勒密定理正是该不等式取等号的情形，因此托勒密不等式也常被称为“广义托勒密定理”。
3. 三弦定理与四角定理
三弦定理：对于圆上一点 A 及顺次的三条弦 AB、AC、AD，存在相应的乘积关系，可视为托勒密定理在特定弦配置下的退化或特例形式。
四角定理：圆内接四边形满足的进一步角度与长度关系，与托勒密定理同属圆内接四边形的关联性质。
4. 更广义的推广
托勒密定理可推广到非共圆四点与圆的情形。例如，凯西定理将托勒密定理推广到四个两两相切的圆，被称为“广义托勒密定理”。在非圆四边形背景下，托勒密不等式则构成了距离几何中的基本约束之一。
四、应用
1. 几何中的线段关系与最值
托勒密定理及其不等式在线段最值问题中尤为常用。例如，在凸四边形中已知部分边长，求对角线长度的最大值时，托勒密不等式直接给出上界，而取等条件，即四点共圆，则指明了最大值可达的几何配置。类似地，涉及圆上动点的线段和问题，也常以托勒密定理作为简洁的突破口。
2. 推导三角恒等式
托勒密定理是推导三角函数和差公式的经典几何工具。在半径为 R 的圆中取适当的四点，使弦长分别对应 sin α、cos α、sin β、cos β 等，代入托勒密等式并利用直径所对圆周角为直角的条件，即可得到 sin(α ± β)、cos(α ± β) 的表达式。
3. 天文与弦表制作
托勒密本人正是利用这一定理，在半径取定值，如 60 的圆中，通过已知弦长推算未知弦长，逐步编制出弦表，相当于早期的三角函数表。这是托勒密定理在历史上最直接、影响最深远的一次应用。
4. 距离下界与网络分析
在更现代的语境中，托勒密不等式可用于建立图中距离的下界。对于图中的四边形结构，已知若干边的距离约束时，托勒密不等式可以提供对剩余边或路径长度的估计，这在最短路径问题的理论分析中具有一定价值。
总结
托勒密定理以“对角线乘积等于对边乘积之和”这一简洁等式，刻画了圆内接四边形的度量结构。它既有构造相似三角形、面积法、余弦定理等多种初等证明，又衍生出逆定理、托勒密不等式以及凯西定理等丰富推广；在应用上，从历史上的弦表制作、三角恒等式推导，到现代的几何最值分析与距离约束，都保持着生命力。
补充：人物简介（这个是搜的哈
克劳狄乌斯·托勒密 （Claudius Ptolemaeus，约公元100年—约170年），是生活在罗马帝国埃及行省亚历山大港的一位希腊裔学者。他并非埃及托勒密王朝的君主，而是一位集天文学家、地理学家、数学家、占星学家与乐理家 于一身的百科全书式人物，其著作深刻塑造了此后一千多年间西方、伊斯兰世界对宇宙与地球的认知。
代表作： 天文学：《天文学大成》 地理学：《地理学指南》 占星学：《占星四书》 等
历史地位
托勒密的工作标志着古希腊数理科学传统的顶峰与系统化总结 。他的地心说模型虽然在现代看来是错误的，但在当时是基于理性与几何方法对宇宙秩序所能做出的最精密解释，不应被简单否定。他的地理坐标体系与投影方法，则为地图学提供了延续至近代的框架。从整体上看，托勒密是以数学为工具，系统化地描述天体、地球与人类经验世界的一位集大成者；他的影响力跨越了拜占庭、伊斯兰世界与拉丁欧洲，在古代与近代科学之间架起了一座持久的桥梁。
（咳咳，我的使命。。完成了。。over（bushi