定理1 (古萨定理). 设
其中
证明. 将初始的三角形记作
对某个
![0580f533727b89fcaa7c5b9362000bd7.png](https://i-blog.csdnimg.cn/blog_migrate/5d7e35bb41d892344c8a6e1cf55373a9.jpeg)
否则的话将与(1)矛盾. 选取一个满足这一不等式的三角形, 并将它重命名为
它们满足性质
和
其中
它的直径趋于
其中当
现在
其中当
由此得到我们的最终估计
令
推论2. 设
证明. 这是显然的. 我们选取一个如图2所示的定向并注意到
定理1 (古萨定理). 设
其中
证明. 将初始的三角形记作
对某个
否则的话将与(1)矛盾. 选取一个满足这一不等式的三角形, 并将它重命名为
它们满足性质
和
其中
它的直径趋于
其中当
现在
其中当
由此得到我们的最终估计
令
推论2. 设
证明. 这是显然的. 我们选取一个如图2所示的定向并注意到