查看“︁托勒密定理”︁的源代码

[[File:Ptolemy Inequality.svg|thumb|right|280px|一般的四边形中，<math>AB \cdot CD + AD \cdot BC \geqslant AC \cdot BD</math>]]
在[[数学]]中，'''托勒密定理'''是[[欧几里得几何|欧几里得几何学]]中的一个关于[[四边形]]的定理。托勒密定理指出凸四边形两组对边乘积之和不小于两条对角线的乘积，当且仅当四边形为[[圆内接四边形]]，兩組和相同。或退化为[[直线]]以取得（这时也称为[[欧拉定理]]）。
狭义的托勒密定理也可以叙述为：若且仅若圆内接凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆。托勒密定理实际上也可以看做一种判定圆内接四边形的方法。

==证明==
===几何证明===
[[File:Ptolemy's theorem.svg|frame|right|]]
# 设ABCD是[[圆内接四边形]]。
# 在[[弦 (幾何)|弦]]BC上，[[圆周角]]∠BAC = ∠BDC，而在AB上，∠ADB = ∠ACB。
# 在AC上取一点K，使得∠ABK = ∠CBD； 因为∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD，所以∠CBK = ∠ABD。
# 因此△ABK与△DBC[[相似]]，同理也有△ABD相似于△KBC。
# 因此AK/AB = CD/BD，且CK/BC = DA/BD；
# 因此AK·BD = AB·CD，且CK·BD = BC·DA；
# 两式相加，得(AK+CK)·BD = AB·CD + BC·DA；
# 但AK+CK = AC，因此AC·BD = AB·CD + BC·DA。即得證

===和差化积证明===
设弦AB，BC及CD对应的圆周角分别为<math>\alpha</math>， <math>\beta</math>及 <math>\gamma</math>，外接圆的半径为<math>R</math>，则有<math>AB=2R\sin\alpha</math>，<math>BC=2R\sin\beta</math>，<math>CD=2R\sin\gamma</math>，<math>AD=2R\sin(\alpha+\beta+\gamma)</math>，<math>AC=2R\sin(\alpha+\beta)</math>及<math>BD=2R\sin(\beta+\gamma)</math>。于是，原托勒密等式化为

:<math>\sin(\alpha+\beta)\sin(\beta+\gamma)=\sin\alpha\sin\gamma+\sin\beta\sin(\alpha+\beta+\gamma)</math>。

现在，只需用和差化积公式，即可推得上式两边都等于<math>\sin\alpha\sin\beta\cos\beta\cos\gamma+\sin\alpha\cos^2\beta\sin\gamma+\cos\alpha\sin^2\beta\cos\gamma+\cos\alpha\sin\beta\cos\beta\sin\gamma</math>。即得證。

===复数证明===
:用a、b、c、d分别表示四边形[[頂點 (幾何)|顶点]]A、B、C、D的复数，则AB、CD、AD、BC、AC、BD的长度分别是：(a-b)、(c-d)、(a-d)、(b-c)、(a-c)、(b-d)。
:首先注意到[[复数 (数学)|复数]][[恒等式]]： <math>(a-b)(c-d)+(a-d)(b-c)=(a-c)(b-d)</math>  ，两边取[[模]]，运用[[三角不等式]]得<math>\|(a-b)(c-d)\|+\|(a-d)(b-c)\| \ge \|(a-c)(b-d)\|</math>。
:等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。因此托勒密定理得证。

复数证明中的复数可以换成[[赋范向量空间]]中的向量。这说明了定理中的四点不一定限于同一[[平面 (数学)|平面]]。

===逆定理的几何证明===
[[File:ptolemy's inequality.PNG|right|thumb|250px]]用几何方法也可以同时证明托勒密定理以及它的逆定理。设<math>ABCD</math> 为任意一个凸四边形。作三角形<math>APB</math> 与三角形<math>DCB</math> 顺相似，则会有：
:<math>\angle ABP = \angle DBC</math>（红色角）
因此，
:<math>\angle ABD = \angle PBC</math>
同时，根据相似三角形的性质还有：
:<math>\frac{AB}{DB} = \frac{PB}{CB}</math>
由此可知三角形<math>ABD</math> 与三角形<math>PBC</math> 也是顺相似三角形。这两个顺相似关系说明：
:<math>AB \cdot CD = AP \cdot BD</math>

:<math>AD \cdot BC = PC \cdot BD</math>
两式相加，得到：
:<math>AB \cdot CD + AD \cdot BC = (AP + PC ) \cdot BD \geqslant AC \cdot BD</math>
等号成立当且仅当<math>A</math>、<math>P</math>、<math>C</math>三点共线，也就等价于<math>\angle BAC = \angle BAP = \angle BDC</math>，<math>\angle BCA = \angle BCP = \angle BDA</math> 因此有
:<math>\angle ABC +\angle ADC = \angle ABC +\angle ADB +\angle BDC = \angle ABC +\angle PCB +\angle BAP  </math>
:<math> = \angle ABC +\angle BAC +\angle BCA = \pi </math>
即是等价于<math>A</math>、<math>B</math>、<math>C</math>、<math>D</math>四点共圆。因此命题得证。<ref>R.A.约翰逊，《近代欧氏几何学》，第51页</ref>

===反演的证明===

使用[[反演]]方法，可以得出托勒密定理与三角不等式互为对偶命题的结论。事实上，设有凸四边形<math>ABCD</math>内接于圆，那么以其中一点<math>D</math>为中心，以半径<math>r</math>作反演，则圆变为不过点<math>D</math> 的直线，点<math>A</math>、<math>B</math>、<math>C</math> 变为这条直线上的三点：
<math>A'</math>、<math>B'</math>、<math>C'</math>。这三点之间有：
:<math>A'B' + B'C' = A'C' \qquad \qquad \qquad (*)</math>
而反演变换中的长度关系为：
:<math>A'B' = AB \cdot \frac{DA'}{DB} = AB \cdot \frac{r^2}{DA \cdot DB}, \qquad \, B'C' = BC \cdot \frac{r^2}{DC \cdot DB}, \qquad \, A'C' = AC \cdot \frac{r^2}{DA \cdot DC}</math>
代入<math>(*)</math> 式就得到：
<center><math> AB \cdot \frac{r^2}{DA \cdot DB} + BC \cdot \frac{r^2}{DC \cdot DB} = AC \cdot \frac{r^2}{DA \cdot DC} </math></center>

通分，并除以<math>r^2</math>，就可得到：
<center><math>AB \cdot CD + AD \cdot BC = AC \cdot BD</math></center>

而如果<math>A</math>、<math>B</math>、<math>C</math>、<math>D</math>四点不共圆的话，那么以<math>D</math> 为中心反演之后的三个点<math>A'</math>、<math>B'</math>、<math>C'</math>将在另一个圆上，因此不共线。<math>(*)</math> 式里的等号也要改为大于等于号。这正是托勒密定理。<ref>R.A.约翰逊，《近代欧氏几何学》，第52页</ref>

==与西姆松定理的关系==
[[File:Pedal line illustration.svg|left|thumb|240px]]
[[西姆松定理]]也是一个与四点共圆有关的定理。利用圆内接四边形边长之间的三角关系，可以将托勒密定理作为西姆松定理的推论<ref>R.A.约翰逊，《近代欧氏几何学》，第117页</ref>。

西姆松定理说明：过一个三角形<math> ABC</math> 外的一点<math> P</math> 作它到三角形三边的[[垂线]]，设垂足分别是<math>L, N, M</math>（如左图），那么<math>L, N, M</math>这三个点在同一条直线上当且仅当<math>P</math> 在三角形<math> ABC</math> 的[[外接圆]]上（也就是说<math> A, B, C, P</math>四点共圆）。
注意到由于<math>\angle PLB</math>与<math>\angle PNB</math>都是直角，<math> L, B, N, P</math>四点共圆，并且这个圆的直径就是<math>PB</math>。因此：

:<math>LN = PB \sin \angle LBN = PB \sin \angle ABC</math>

而根据圆内弦长的关系，有：<math>AC = 2 R \sin \angle ABC</math>

其中<math>R</math> 为外接圆的半径。所以代入上式就可得到：

:<math>LN = \frac{PB \cdot AC}{2R}</math>
同理可得：
<center><math>NM = \frac{PA \cdot BC}{2R}, \qquad \quad LM = \frac{PC \cdot AB}{2R}</math></center>


而在三角形<math>LNM</math>中，两边长之和大于第三边：
:<math>LN + NM \geqslant LM</math>
所以有：
:<math>PA \cdot BC + PB \cdot AC \geqslant PC \cdot AB</math>
等号当且仅当<math>L, N, M</math>共线，也就是<math> A, B, C, P</math>四点共圆的时候取得。这正是托勒密定理。<ref>{{en}}{{cite book|author=Harold Scott Macdonald Coxeter, Samuel L. Greitzer|title=''Geometry revisited''|publisher=The Mathematical Association of America; 1ST edition |year = 1967 |ISBN=978-0883856192}},p.42</ref>

==推广==
托勒密定理的一个推广是[[开世定理]]。开世定理将圆内接四边形的四个[[頂點 (幾何)|顶点]]换为与外接圆相内切的四个小圆，而四边形的边变为圆与圆之间的外公切线。开世定理可以看做是“利用托勒密定理惨淡经营得到的结果”<ref>R.A.约翰逊，《近代欧氏几何学》，第102-103页，原文如此</ref>。

对一般的四边形，托勒密定理给出了它的对角线与边长之间的不等关系。如果要掌握更为精确的关系，可以通过以下的公式：

:<math>AC^2 \cdot BD^2 = AB^2 \cdot CD^2 + BC^2 \cdot AD^2  - 2 AB \cdot BC\cdot CD\cdot DA \cdot \cos(\angle ABC + \angle ADC)</math><ref>R.A.约翰逊，《近代欧氏几何学》，第54页</ref>

由这个公式可以推出托勒密定理：<math>\cos(\angle ABC + \angle ADC)</math>的绝对值小于等于1，所以

:<math>AC^2 \cdot BD^2 = AB^2 \cdot CD^2 + BC^2 \cdot AD^2  - 2 AB \cdot BC\cdot CD\cdot DA \cdot \cos(\angle ABC + \angle ADC)</math>
:<math>. \quad \leqslant AB^2 \cdot CD^2 + BC^2 \cdot AD^2  + 2 AB \cdot BC\cdot CD\cdot DA \cdot  </math>
也就是说
:<math>(AC \cdot BD)^2 \leqslant (AB \cdot CD + BC \cdot AD)^2  </math>
:<math>AC \cdot BD \leqslant AB \cdot CD + BC \cdot AD  </math>


等号仅在<math>\cos(\angle ABC + \angle ADC) = -1</math>，也就是说<math>\angle ABC + \angle ADC = \pi</math> 的时候取到，这正好等价于四边形内接于圆。

==参见==
*[[西姆松定理]]
*[[九点圆]]

==参考与注释==
{{reflist}}

==参考书籍==
*{{cite book|author=R.A.约翰逊，单墫 译|title=《近代欧氏几何学》|publisher=上海教育出版社|ISBN=7-5320-6392-5}}
*{{cite journal| author =蔡聪明| title =《星空灿烂的数学——托勒密定理》| year =2000| volume =24卷1期| journal =《数学传播》| url =http://www.math.sinica.edu.tw/math_media/d241/24105.pdf| deadurl =yes| archiveurl =https://web.archive.org/web/20070208202435/http://www.math.sinica.edu.tw/math_media/d241/24105.pdf| archivedate =2007-02-08}}

[[Category:几何定理]]
[[Category:四边形]]