托勒密定理

在数学中，托勒密定理是欧几里得几何学中的一个关于四边形的定理。托勒密定理指出凸四边形两组对边乘积之和不小于两条对角线的乘积，当且仅当四边形为圆内接四边形，兩組和相同。或退化为直线以取得（这时也称为欧拉定理）。
狭义的托勒密定理也可以叙述为：若且仅若圆内接凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆。托勒密定理实际上也可以看做一种判定圆内接四边形的方法。

证明
几何证明
 设是圆内接四边形。
 在弦上，圆周角，而在上，。
 在上取一点，使得； 因为，所以。
 因此与相似，同理也有相似于。
 因此，且；
 因此，且；
 两式相加，得；
 但，因此。即得證

和差化积证明
设弦，及对应的圆周角分别为， 及 ，外接圆的半径为，则有，，，，及。于是，原托勒密等式化为

。

现在，只需用和差化积公式，即可推得上式两边都等于。即得證。

复数证明
用、、、分别表示四边形顶点、、、的复数，则、、、、、的长度分别是：、、、、、。
首先注意到复数恒等式：   ，两边取模，运用三角不等式得。
等号成立的条件是与的辐角相等，这与、、、四点共圆等价。因此托勒密定理得证。

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

逆定理的几何证明
（红色角）
因此，

同时，根据相似三角形的性质还有：

由此可知三角形 与三角形 也是顺相似三角形。这两个顺相似关系说明：

两式相加，得到：

等号成立当且仅当、、三点共线，也就等价于， 因此有

即是等价于、、、四点共圆。因此命题得证。R.A.约翰逊，《近代欧氏几何学》，第51页

反演的证明

使用反演方法，可以得出托勒密定理与三角不等式互为对偶命题的结论。事实上，设有凸四边形内接于圆，那么以其中一点为中心，以半径作反演，则圆变为不过点 的直线，点、、 变为这条直线上的三点：
、、。这三点之间有：

而反演变换中的长度关系为：

代入 式就得到：

通分，并除以，就可得到：

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

与西姆松定理的关系
西姆松定理也是一个与四点共圆有关的定理。利用圆内接四边形边长之间的三角关系，可以将托勒密定理作为西姆松定理的推论R.A.约翰逊，《近代欧氏几何学》，第117页。

西姆松定理说明：过一个三角形 外的一点 作它到三角形三边的垂线，设垂足分别是（如左图），那么这三个点在同一条直线上当且仅当 在三角形 的外接圆上（也就是说四点共圆）。
注意到由于与都是直角，四点共圆，并且这个圆的直径就是。因此：

而根据圆内弦长的关系，有：

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

同理可得：

而在三角形中，两边长之和大于第三边：

所以有：

等号当且仅当共线，也就是四点共圆的时候取得。这正是托勒密定理。,p.42

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

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

R.A.约翰逊，《近代欧氏几何学》，第54页

由这个公式可以推出托勒密定理：的绝对值小于等于1，所以

也就是说

等号仅在，也就是说 的时候取到，这正好等价于四边形内接于圆。

参见
西姆松定理
九点圆

参考与注释

参考书籍

Category:几何定理
Category:四边形