作者 | 蔡聰明 台灣大學數學系退休教授來源 | 數學傳播 41 卷 4 期, pp. 60-68 好玩的數學感謝授權轉載

編注：本文所述“畢氏定理”即“畢達哥拉斯定理”，也叫“勾股定理”，“畢氏逆定理”即“勾股定理的逆定理”。

本文我們要證明下列五個幾何定理都是等價的：1. 畢氏定理; 2. 畢氏逆定理; 3. 三角形的餘弦定律; 4. 圓内接四邊形的餘弦定律; 5. 托勒密定理。

筆者曾經看過學生這樣論證：考慮三邊為 3, 4, 5 的三角形, 因為 , 所以根據畢氏定理知, 此三角形為直角三角形, 并且邊 5 所對應的角為直角。一般都會說, 這個論證有瑕疵, 因為并不是根據畢氏定理, 而是根據畢氏逆定理才對。但是, 若畢氏定理與畢氏逆定理等價, 則上述論證在邏輯上并不離譜。

由畢氏定理證明畢氏逆定理是歐氏《原本》的 I.48 (第 I 冊的第 48 命題), 反過來由畢氏逆定理證明畢氏定理, 筆者未曾見過。其次, 由托勒密定理證明畢氏定理是顯然的, 反過來由畢氏定理證明托勒密定理, 筆者也未曾見過。

在由畢氏定理證明托勒密定理的過程中, 我們用到了三角形的餘弦定律與圓内接四邊形的餘弦定律, 後者筆者也未曾見過, 這些可能都是筆者孤陋寡聞。

本文是根據筆者對中學生演講的講義, 整理寫成的。

假設 為 的三邊。若 , 則 。見圖 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 的全等定理知 , 于是 。

在圖 4 中, 假設 , 我們要證明 。以 點為圓心, 為半徑作一圓弧；又以 為圓心, 為半徑作一圓弧。因為 與 , 所以兩圓弧會相交, 令其相交于 (還會有另一交點), 由建構知 。又由畢氏逆定理知, 。因此 (SAS), 于是 , 從而 。

問題：給兩線段 與 , 利用标尺作出線段 與 , 再作出 。

三角形的餘弦定律(簡稱為餘弦定律).

假設 為 的三個邊, 則有

考慮銳角與鈍角三角形的情形。在圖 5 的左圖中, 由畢氏定理得到

在右圖中, 仍然是由畢氏定理得到

另外兩式同理可證。

餘弦定律同時可以推導出畢氏定理與畢氏逆定理, 可以說是一箭雙鵰。

問題：用放大鏡看一個三角形, 角度不變, 為什麼？試證明之。

圓内接四邊形的餘弦定律.

假設 為圓内接四邊形 的四個邊, 則有

在圖 6 中, 因為 , 所以 。對 與 使用餘弦定律, 得到

所以

其餘的兩種情形同理可證。

注意：當 時, 與 重合, , 于是第 2 式變成 , 這恰是三角形的餘弦定律。因此, 圓内接四邊形的餘弦定律是餘弦定律的推廣。

托勒密定理.

假設 為圓内接四邊形, 則兩對角線乘積等于兩雙對邊乘積之和, 見圖 7, 亦即

在圖 7 中, 由圓内接四邊形的餘弦定律

對 使用餘弦定律得到

同理可得

兩式相乘得到

從而

七、托勒密定理 畢氏定理

這是顯然的！隻要将圓内接四邊形改成長方形, 由托勒密定理立即就得到畢氏定理, 故畢氏定理是托勒密定理的特例,托勒密定理是畢氏定理的推廣。

順便談一下由畢氏定理看出托勒密定理的一種發現理路。

由一個直角三角形, 作出另一個相同的直角三角形, 合成一個長方形, 再做一個外接圓。畢氏定理的 (直角三角形), 兩元化為 (長方形),解釋為長方形兩個對角線乘積等于兩雙對邊乘積之和。再把長方形改為任意圓内接四邊形, 仍然有兩個對角線乘積等于兩雙對邊乘積之和, 就是托勒密定理 。見圖 8。

托勒密定理的證明：在圖 9 中, 過 點作 使得 。因為 , 所以 。于是

同理可知 , 因此

兩式相加就得到 。

托勒密定理是許多三角恒等式的根源, 例如它可以推導出和差角公式、正弦定律與餘弦定律。托勒密利用這些結果來制作弦表(相當于正弦函數的數值表)。

底下我們用托勒密定理推導出餘弦定律：

如圖 10, 考慮 , 将它翻轉 180 度, 使得底邊仍然重叠在一起, 得到 , 則四點 共圓, 令 。因為 , 由托勒密定理得到

總結上述, 我們有如下的邏輯網絡 (logical net)：

還有一條邏輯的小徑：

托勒密定理 三角形的餘弦定律 畢氏定理。

畢氏定理展現着簡潔, 曆久彌新, 可以不斷生長與加深拓廣。下面三式被公認為是重要且美麗的公式：

平面幾何學的畢氏公式： .

微積分的歐拉 (Euler) 公式： .

物理學的愛因斯坦質能互變公式：.

畢氏定理與圓都屬于二次的世界, 前者掌握住最基本的長度與距離概念與計算, 從而也有了圓的方程式 , 這根本就是畢氏定理的化身！

圓最完美與對稱, 等速率圓周運動與畢氏定理更是周期運動與整個三角學的出發點。

1. Euclid. The Elements I. Translated by Sir Thomas L. Heath. Dover, 1956.

2. Elisha Scott Loomis, The Pythagorean Proposition. 19683. Elia Maor and Eugen Jost, Beautiful Geometry. Princeton University Press, 2014.

更多精彩资讯请关注tft每日頭條，我们将持续为您更新最新资讯!