公元150年左右
《天文学大成》问世
克劳狄乌斯·托勒密完成了这部13卷的天文学巨著。在其中第一卷，他详细推导了弦长表。托勒密定理实际上是他在推导弦长加法公式时得出的一个几何引理。虽然他没有明确以“四边形定理”的形式命名它，但其数学本质完全一致。
ptolemy定理是谁提出的：历史真相与数学解析
核心结论
关于“ptolemy定理是谁提出的”这一问题，答案非常明确：该定理由古希腊天文学家、数学家、地理学家和 astrologer 克劳狄乌斯·托勒密（Claudius Ptolemaeus，约公元100年-约170年）提出。尽管该定理描述的是几何关系，但它最早出现在托勒密的巨著《天文学大成》（Almagest）中，主要用于计算弦长，进而辅助天文观测数据的推算。
虽然托勒密并非该几何关系的“发现者”（早期几何学家如尼科梅德斯可能已知晓类似性质），但他是第一个将其系统化并应用于天文学计算的人，因此该定理以他的名字命名，被称为托勒密定理（Ptolemy's Theorem）。
定理的基本表述
托勒密定理指出：如果一个四边形是圆内接四边形（即四个顶点都在同一个圆上），那么它的两条对角线的乘积等于两对对边长度乘积之和。
设圆内接四边形ABCD的四边长分别为AB=a, BC=b, CD=c, DA=d，对角线分别为AC=e, BD=f，则：
a·c + b·d = e·f
即：AB·CD + BC·DA = AC·BD
托勒密与定理的历史脉络
要深入理解“ptolemy定理是谁提出的”，我们需要回到公元2世纪的古希腊化时代。托勒密生活在埃及亚历山大港，那里是当时世界的知识中心。
中世纪时期
知识的保存与传播
随着罗马帝国的衰落，希腊知识在西欧几乎失传。然而，托勒密的工作通过阿拉伯学者得以保存和翻译。阿拉伯数学家们不仅继承了托勒密的成果，还对其进行了进一步的几何证明和扩展。
文艺复兴时期
重新发现与命名
随着拜占庭帝国灭亡，大量希腊手稿流入意大利。托勒密的《天文学大成》被翻译成拉丁文，重新进入欧洲视野。数学家们开始关注其中的几何内容，并将其中关于圆内接四边形的性质独立出来，正式命名为“托勒密定理”。
现代数学
逆定理与推广
现代数学不仅研究了托勒密定理本身，还发现了其逆定理：如果四边形两对对边乘积之和等于对角线乘积，则该四边形必为圆内接四边形。此外，还有托勒密不等式，适用于任意平面四边形。
深度解析：托勒密定理的证明与应用
许多网友在搜索“ptolemy定理是谁提出的”后，紧接着就会关心这个定理如何证明以及有什么用。以下提供两种经典的证明思路。
几何构造法（相似三角形）
这是最经典的欧几里得几何证明方法，巧妙利用了“截长补短”的思想。
- 构造点：在圆内接四边形ABCD中，在对角线BD上取一点E，使得∠BAE = ∠CAD。
- 证明相似1：由于∠ABE = ∠ACD（同弧所对圆周角相等），且∠BAE = ∠CAD，因此△ABE ∽ △ACD。
- 得出比例：由相似可得 AB/AC = BE/CD，即 AB·CD = AC·BE ①。
- 证明相似2：由于∠BAC = ∠BAE + ∠EAC，∠EAD = ∠CAD + ∠EAC，且∠BAE = ∠CAD，所以∠BAC = ∠EAD。又因为∠ACB = ∠ADE（同弧所对圆周角），所以△ABC ∽ △AED。
- 得出比例：由相似可得 BC/ED = AC/AD，即 BC·AD = AC·ED ②。
- 合并结果：将①和②相加，得 AB·CD + BC·AD = AC·BE + AC·ED = AC·(BE + ED) = AC·BD。
- 结论：即 a·c + b·d = e·f，证毕。
三角函数法（正弦定理）
利用正弦定理可以将边长转化为角度，从而通过三角恒等式证明。
设外接圆半径为R。根据正弦定理，四边形的边长和对角线可以表示为：
- AB = 2R sin(∠ADB), CD = 2R sin(∠CAD) ... 等等
- 实际上，更简便的方法是利用面积或复数，但纯三角证明如下：
设∠BAC = α, ∠CAD = β, ∠DBA = γ, ∠DBC = δ。这种方法较为繁琐，通常几何构造法更为直观。但在处理复杂角度关系时，三角法提供了另一种视角。托勒密本人在计算弦长时，本质上就是在使用三角函数的雏形（弦函数）。
逆定理与托勒密不等式
1. 逆定理
若四边形ABCD满足 AB·CD + BC·DA = AC·BD，则A、B、C、D四点共圆。
证明思路：假设四点不共圆，则存在另一个点D'在圆上使得AB·CD' + BC·DA' = AC·BD'。通过比较长度，利用三角形两边之和大于第三边，可以导出矛盾，从而证明D必须在圆上。
2. 托勒密不等式
对于任意平面四边形ABCD（不一定共圆），恒有：
AB·CD + BC·DA ≥ AC·BD
等号成立当且仅当四边形ABCD是圆内接四边形（且顶点顺序正确）。
托勒密定理的实际应用场景
虽然托勒密最初是为了天文学计算弦长而提出该定理，但它在现代几何解题、竞赛数学以及工程测量中都有重要应用。
① 几何证明题利器
在高中数学竞赛或奥林匹克数学中，当遇到圆内接四边形的边长、对角线关系证明时，直接引用托勒密定理可以大幅简化步骤。例如，证明正五边形的对角线与边长关系。
② 三角恒等式的几何解释
托勒密定理本质上等价于三角函数中的和差化积公式。通过几何图形，可以直观地理解 sin(α+β) 与 sinα, cosβ 等之间的关系。
③ 计算圆内接四边形面积
结合布拉马古塔公式（Brahmagupta's formula），托勒密定理可以帮助求解已知四边长的圆内接四边形面积。虽然面积公式不直接依赖托勒密，但两者常结合使用。
④ 物理静力学平衡
在力的合成与分解中，如果四个力处于平衡状态且构成闭合四边形，托勒密定理的变体可用于分析力的大小关系，特别是在涉及角度约束的问题中。
典型例题演示
| 题目类型 | 已知条件 | 求解目标 | 解题关键 |
|---|---|---|---|
| 正五边形性质 | 正五边形ABCDE，边长为a，对角线为d | 证明 d/a = (1+√5)/2 | 在圆内接四边形ABCD中应用托勒密定理：a·d + a·a = d·d，整理得 d²-ad-a²=0，解方程即可。 |
| 直角三角形外接圆 | △ABC内接于圆，∠B=90°，D为弧AC中点 | 求BD长度 | 利用AB·CD + BC·DA = AC·BD，结合DA=CD及勾股定理求解。 |
| 四点共线判定 | 四边形ABCD满足 AB·CD + BC·DA = AC·BD | 判断是否共圆 | 直接根据托勒密逆定理，判定A,B,C,D四点共圆。 |
网友们还关心：关于ptolemy定理的常见疑问
在搜索“ptolemy定理是谁提出的”的过程中，网民们经常提出一些延伸性问题。以下整理了高频问题并给出专业解答。
Q1: 托勒密定理和托勒密王朝有关系吗？
答：没有直接关系。托勒密王朝（Ptolemaic Kingdom）是亚历山大大帝死后，其将领托勒密一世在埃及建立的希腊化王朝。而提出定理的克劳狄乌斯·托勒密（Claudius Ptolemy）生活在王朝灭亡后约两百年，他是亚历山大港的居民，姓氏相同是巧合，或者是因为他推崇该王朝的文化传统，但两人并非同一人，也无血缘关系。
Q2: 为什么这个定理不叫“尼科梅德斯定理”？
答：虽然古希腊数学家尼科梅德斯（Nicomedes）等人在托勒密之前可能已经知道圆内接四边形的某些性质，但托勒密是第一个将这一性质系统化并应用于实际天文计算的人。他的《天文学大成》影响力巨大，使得这一结论广为人知。在科学史上，往往以系统化者或广泛应用者的名字命名定理。
Q3: 托勒密定理在复数平面中如何表示？
答：在复平面上，设四个点z1, z2, z3, z4对应复数。托勒密定理的复数形式可以通过复数模的性质来理解。对于圆上的四个点，有 |z1-z3|·|z2-z4| ≤ |z1-z2|·|z3-z4| + |z1-z4|·|z2-z3|，等号成立当且仅当四点共圆且顺序正确。这实际上是普莱费尔不等式（Pappus's Theorem）在复数域的一个特例。
Q4: 如何记忆托勒密定理的公式？
答：可以想象一个圆内接四边形，“对角线乘积”等于“对边乘积之和”。口诀：“对角乘积，等于对边乘积相加”。或者用英文记忆：“Product of diagonals equals sum of products of opposite sides”。
Q5: 托勒密定理有没有推广形式？
答：是的。最直接的推广是托勒密不等式（适用于任意四边形）。另一个推广是卡诺定理（Carnot's Theorem）的变体，以及在双曲几何和球面几何中，托勒密定理的形式会有所不同，涉及双曲正弦或球面正弦函数。