开世定理_欧几里得几何学术语

开世定理

欧几里得几何学术语

在几何学中，开世定理是欧几里得几何学中的一个定理，可以看做是托勒密定理的一个推广结果。开世定理得名于爱尔兰数学家约翰·开世。

叙述

开世定理的背景是圆的内切圆。设有半径为的一个圆，圆内又有四个圆内切于圆 (如图1所示)。如果将圆的外公切线的长度设为，那么开世定理声称，有下列等式成立。

可以注意到，如果四个内切的圆都退化成点的话，就会变成圆上的四个点，而开世定理中的等式也会化为托勒密定理。

证明

设大圆的圆心是点；四个圆的圆心分别是点，半径分别是。每个圆与大圆的切点分别是。

首先，根据勾股定理可以推出：对于任意的i 和j，都有

接下来的思路是将这个公式右边的各个长度用来表示。

考虑三角形，根据三角形的余弦定理：

由于每个圆都和大圆相切，所以：

设点为大圆上的任意一点，根据三角形的正弦定理，在三角形之中，有：

所以，余弦式

将以上与代入式子（2）中，就可以得到：

再代入式子 (1)中，就得到的表达式：

以上等式对所有的i和j都成立，因此只要注意到四边形是圆内接四边形，那么对其应用应用托勒密定理就可以得到开世定理：

证明完毕。

推广

可以用类似的方法证明，只要当圆与大圆相切（不论是外切还是内切），就会有类似开世定理的等式成立。这是需要注明，对任意的i 和j：

1、如果圆是与大圆以同样的方式相切（都是外切或者都是内切）的话，则表示两个圆的外公切线的长度；

2、如果圆是与大圆以不同的方式相切（一个是外切而另一个是内切）的话，则表示两个圆的内公切线的长度。

另一个特点是：这定理的逆定理也成立。也就是说，如果开世定理的等式成立，那么这些圆必定以规定的方式与大圆相切。

应用

在欧几里得几何学中，开世定理可以用来证明多种不同的结论。比如说费尔巴哈定理的一个简洁证明中就用到了它。

参考资料

最新修订时间：2022-08-26 11:23

条目作者

概述

叙述

证明

参考资料