跳转到内容

托勒密定理

维基百科,自由的百科全书
一般的四边形中,

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

证明

几何证明

  1. 设ABCD是圆内接四边形
  2. BC上,圆周角∠BAC = ∠BDC,而在AB上,∠ADB = ∠ACB。
  3. 在AC上取一点K,使得∠ABK = ∠CBD; 因为∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD,所以∠CBK = ∠ABD。
  4. 因此△ABK与△DBC相似,同理也有△ABD相似于△KBC。
  5. 因此AK/AB = CD/BD,且CK/BC = DA/BD;
  6. 因此AK·BD = AB·CD,且CK·BD = BC·DA;
  7. 两式相加,得(AK+CK)·BD = AB·CD + BC·DA;
  8. 但AK+CK = AC,因此AC·BD = AB·CD + BC·DA。即得證

和差化积证明

设弦AB,BC及CD对应的圆周角分别为,外接圆的半径为,则有。于是,原托勒密等式化为

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

复数证明

用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)。
首先注意到复数恒等式 ,两边取,运用三角不等式
等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等,这与A、B、C、D四点共圆等价。因此托勒密定理得证。

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

逆定理的几何证明

用几何方法也可以同时证明托勒密定理以及它的逆定理。设 为任意一个凸四边形。作三角形 与三角形 顺相似,则会有:

(红色角)

因此,

同时,根据相似三角形的性质还有:

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

两式相加,得到:

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

即是等价于四点共圆。因此命题得证。[1]

反演的证明

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

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

代入 式就得到:

通分,并除以,就可得到:

而如果四点不共圆的话,那么以 为中心反演之后的三个点将在另一个圆上,因此不共线。 式里的等号也要改为大于等于号。这正是托勒密定理。[2]

与西姆松定理的关系

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

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

而根据圆内弦长的关系,有:

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

同理可得:


而在三角形中,两边长之和大于第三边:

所以有:

等号当且仅当共线,也就是四点共圆的时候取得。这正是托勒密定理。[4]

推广

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

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

[6]

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

也就是说


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

参见

参考与注释

  1. ^ R.A.约翰逊,《近代欧氏几何学》,第51页
  2. ^ R.A.约翰逊,《近代欧氏几何学》,第52页
  3. ^ R.A.约翰逊,《近代欧氏几何学》,第117页
  4. ^ (英文)Harold Scott Macdonald Coxeter, Samuel L. Greitzer. Geometry revisited. The Mathematical Association of America; 1ST edition. 1967. ISBN 978-0883856192. ,p.42
  5. ^ R.A.约翰逊,《近代欧氏几何学》,第102-103页,原文如此
  6. ^ R.A.约翰逊,《近代欧氏几何学》,第54页

参考书籍