五合一定理 Chai跳吉尼斯记录 _Chair跳吉尼斯记录

作者 | 蔡聪明台湾大学数学系退休教授来源 | 数学传播 41 卷 4 期, pp. 60-68 好玩的数学感谢授权转载
编注：本文所述“毕氏定理”即“毕达哥拉斯定理” ，也叫“勾股定理” ， “毕氏逆定理”即“勾股定理的逆定理” 。
本文我们要证明下列五个几何定理都是等价的：1. 毕氏定理; 2. 毕氏逆定理; 3. 三角形的余弦定律; 4. 圆内接四边形的余弦定律; 5. 托勒密定理。
笔者曾经看过学生这样论证：考虑三边为 3, 4, 5 的三角形, 因为 , 所以根据毕氏定理知, 此三角形为直角三角形, 并且边 5 所对应的角为直角。一般都会说, 这个论证有瑕疵, 因为并不是根据毕氏定理, 而是根据毕氏逆定理才对。但是, 若毕氏定理与毕氏逆定理等价, 则上述论证在逻辑上并不离谱。
由毕氏定理证明毕氏逆定理是欧氏《原本》的 I.48 (第 I 册的第 48 命题), 反过来由毕氏逆定理证明毕氏定理, 笔者未曾见过。其次, 由托勒密定理证明毕氏定理是显然的, 反过来由毕氏定理证明托勒密定理, 笔者也未曾见过。
在由毕氏定理证明托勒密定理的过程中, 我们用到了三角形的余弦定律与圆内接四边形的余弦定律, 后者笔者也未曾见过, 这些可能都是笔者孤陋寡闻。
本文是根据笔者对中学生演讲的讲义, 整理写成的。

一、毕氏定理(I.47)假设为的三边。若 , 则。见图 1 。
在图 2 中, 看呀！瞧呀！(Lo and Behold!) 就看出。这就是所谓的“无言的证明”(Proofs without words) 。
毕氏定理堪称为“四最定理”：它的“证明”与“名称”最多, 它是“最美丽”的公式之一, 并且也是基础数学中“应用最广泛”的一个定理。
在文献上, Loomis 对毕氏定理收集有 370 种证法 (有趣的是鲨鱼约有 370 种), 一天证明一种, 一年都证不完。更稀奇的是, 世界吉尼斯记录毕氏定理有 520 种证法。
其次, 这个定理的名称至少有 10 种：毕氏定理, 商高定理, 陈子定理, 勾股定理, 百牛定理(The Hecatomb Proposition), 巴比伦定理, 三平方定理, 新娘坐椅定理(Theorem of the Bride's Chair, 因其图形好像是新娘的坐椅), 第 47 定理 (The 47 th Theorem), 木匠法则 (The Carpenters' Rule) 。
毕氏定理除了证法与名称都是最多之外, 它在基础数学中占有核心的地位。我们简直可以用毕氏定理把一大半的基础数学连贯起来。毕氏定理是几何学的核心, “真理之路”(the way of truth) 。

二、毕氏定理毕氏逆定理毕氏逆定理：假设为的三边。若 , 则。
在图 3 中, 假设具有的关系, 我们要证明。过点向右作直线段并且 , 连结 , 令。根据毕氏定理, 我们有 , 所以 , 从而。由 SSS 的全等定理知 , 于是。

三、毕氏逆定理毕氏定理【五合一定理 Chai跳吉尼斯记录】在图 4 中, 假设 , 我们要证明。以点为圆心, 为半径作一圆弧；又以为圆心, 为半径作一圆弧。因为与 , 所以两圆弧会相交, 令其相交于 (还会有另一交点), 由建构知。又由毕氏逆定理知,。因此 (SAS), 于是 , 从而。
问题：给两线段与 , 利用标尺作出线段与 , 再作出。

四、毕氏定理三角形的余弦定律三角形的余弦定律(简称为余弦定律).
假设为的三个边, 则有
考虑锐角与钝角三角形的情形。在图 5 的左图中, 由毕氏定理得到
在右图中, 仍然是由毕氏定理得到
另外两式同理可证。
余弦定律同时可以推导出毕氏定理与毕氏逆定理, 可以说是一箭双鵰。
问题：用放大镜看一个三角形, 角度不变, 为什么？试证明之。

五、三角形的余弦定律圆内接四边形的余弦定律圆内接四边形的余弦定律.