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

证明
几何证明

设ABCD是圆内接四边形。

在弦BC上，圆周角\angle BAC = \angle BDC，而在AB上，\angle ADB = \angle ACB。

在AC上取一点K，使得\angle ABK = \angle CBD；因为\angle ABK + \angle CBK = \angle ABC = \angle CBD + \angle ABD，所以\angle CBK = \angle ABD。

因此\bigtriangleup ABK与\bigtriangleup DBC相似，同理也有\bigtriangleup ABD相似于\bigtriangleup KBC。

因此\frac{AK}{AB} = \frac{CD}{BD}，且\frac{CK}{BC} = \frac{DA}{BD}；

因此AK\cdot BD = AB\cdot CD，且CK\cdot BD = BC\cdot DA；

两式相加，得(AK+CK)\cdot BD = AB\cdot CD + BC\cdot DA；

但AK+CK = AC，因此AC\cdot BD = AB\cdot CD + BC\cdot DA。即得證

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

:\sin(\alpha+\beta)\sin(\beta+\gamma)=\sin\alpha\sin\gamma+\sin\beta\sin(\alpha+\beta+\gamma)。

现在，只需用和差化积公式，即可推得上式两边都等于\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。即得證。

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

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

:AD \cdot BC = PC \cdot BD
两式相加，得到：
:AB \cdot CD + AD \cdot BC = (AP + PC ) \cdot BD \geqslant AC \cdot BD
等号成立当且仅当A、P、C三点共线，也就等价于\angle BAC = \angle BAP = \angle BDC，\angle BCA = \angle BCP = \angle BDA 因此有
:\angle ABC +\angle ADC = \angle ABC +\angle ADB +\angle BDC = \angle ABC +\angle PCB +\angle BAP
: = \angle ABC +\angle BAC +\angle BCA = \pi
即是等价于A、B、C、D四点共圆。因此命题得证。

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

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

而如果A、B、C、D四点不共圆的话，那么以D 为中心反演之后的三个点A'、B'、C'将在另一个圆上，因此不共线。(*) 式里的等号也要改为大于等于号。这正是托勒密定理。

与西姆松定理的关系
西姆松定理也是一个与四点共圆有关的定理。利用圆内接四边形边长之间的三角关系，可以将托勒密定理作为西姆松定理的推论。

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

:LN = PB \sin \angle LBN = PB \sin \angle ABC

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

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

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

而在三角形LNM中，两边长之和大于第三边：
:LN + NM \geqslant LM
所以有：
:PA \cdot BC + PB \cdot AC \geqslant PC \cdot AB
等号当且仅当L, N, M共线，也就是 A, B, C, P四点共圆的时候取得。这正是托勒密定理。

推广
托勒密定理的一个推广是开世定理。开世定理将圆内接四边形的四个顶点换为与外接圆相内切的四个小圆，而四边形的边变为圆与圆之间的外公切线。开世定理可以看做是“利用托勒密定理惨淡经营得到的结果”。

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

: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)

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

: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)
:. \quad \leqslant AB^2 \cdot CD^2 + BC^2 \cdot AD^2 + 2 AB \cdot BC\cdot CD\cdot DA \cdot
也就是说
:(AC \cdot BD)^2 \leqslant (AB \cdot CD + BC \cdot AD)^2
:AC \cdot BD \leqslant AB \cdot CD + BC \cdot AD

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

参见
*西姆松定理
*九点圆

参考与注释
参考书籍
*
*

托勒密定理