五合一定理.PDFVIP

數學傳播 41卷 4期, pp. 60-68 五合一定理 蔡聰明 本文我們要證明下列五個幾何定理都是等價的:1. 畢氏定理 ; 2. 畢氏逆定理 ; 3. 三角形的 餘弦定律; 4. 圓內接四邊形的餘弦定律; 5. 托勒密定理。 2 2 2 筆者曾經看過學生這樣論證: 考慮三邊為 3, 4, 5 的三角形, 因為 5 = 4 +3 , 所以根 據畢氏定理知 , 此三角形為直角三角形, 並且邊 5 所對應的角為直角。 一般都會說, 這個論證有 瑕疵, 因為並不是根據畢氏定理 , 而是根據畢氏逆定理才對。 但是, 若畢氏定理與畢氏逆定理等 價, 則上述論證在邏輯上並不離譜。 由畢氏定理證明畢氏逆定理是歐氏 《原本》 的 I.48 (第 I 冊的第 48 命題), 反過來由畢氏 逆定理證明畢氏定理 , 筆者未曾見過。 其次, 由托勒密定理證明畢氏定理是顯然的, 反過來由畢 氏定理證明托勒密定理 , 筆者也未曾見過。 在由畢氏定理證明托勒密定理的過程中, 我們用到了三角形的餘弦定律與圓內接四邊形的 餘弦定律, 後者筆者也未曾見過, 這些可能都是筆者孤陋寡聞。 本文是根據筆者對中學生演講的講義 , 整理寫成的。 一、 畢氏定理(I.47) ◦ 2 2 2 假設 a, b, c 為 △ABC 的三邊。 若 ∠C = 90 , 則 c = a + b 。 見圖 1。 圖 1 60 五合一定理 61 圖 2 2 2 2 在圖 2 中, 看呀! 瞧呀! (Lo and Behold!) 就看出 c = a + b 。 這就是所謂的 「無言的證 明」(Proofs without words)。 畢氏定理堪稱為 「四最定理」: 它的 「證明」 與 「名稱」 最多, 它是 「最美麗」 的公式之一, 並且也是基礎數學中 「應用最廣泛」 的一個定理。 在文獻上, Loomis [2] 對畢氏定理收集有 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)。 二、 畢氏定理 ⇒ 畢氏逆定理 2 2 2 ◦ 畢氏逆定理: 假設 a, b, c 為 △ABC 的三邊。 若 c = a + b , 則 ∠C = 90 。