勾股定理還能這樣證明？高中生一連發現10種證明方法，陶哲軒點贊

機器之心報道

編輯：Panda、澤南

幾千年過去了，勾股定理還能有新發現？而且還是被兩個高中生髮現的？

這個人人都會的初中二年級數學知識，在學術領域居然有了新發展。本週二，UCLA 數學終身教授、菲爾茲獎得主陶哲軒在社交網絡上的一番點贊引起了人們的興趣。

陶哲軒表示，這是一篇有趣的論文，在簡單探討了兩種證明是否算是同一種證明的話題之後，他提醒我們：即使是最古老和最完善的數學基礎知識，有時也可以從新的角度重新審視。

在中國，周朝時期的商高提出了勾股定理的一個特例：「勾三股四弦五」。在西方，最早提出並證明此定理的爲公元前六世紀古希臘的畢達哥拉斯學派，他們用演繹法證明了直角三角形斜邊平方等於兩直角邊平方之和。所以該定理也被稱爲「畢達哥拉斯定理」。

勾股定理是人類早期發現並證明的重要數學定理之一，至今已成爲數學定理中證明方法最多的定理之一 —— 從微分證明到面積證明，有超過 400 種證明方法。

兩位高中生一口氣發現了十種新方法，她們是如何證明的呢？

論文作者，前高中生 Ne’Kiya Jackson 和 Calcea Johnson。

數學家讚歎：全新思路

故事要從 2022 年講起，那年美國高中生 Ne’Kiya Jackson 和 Calcea Johnson 在回答數學競賽的一道加分題時，發現了一種證明幾千年歷史勾股定理的新方法，令老師們讚歎不已。這僅僅是個開始。

她們寫道：「在 500 美元獎金的激勵下，我們決定獨立承擔這項任務。事實證明，這比我們最初想象的要難得多。爲了得出一個證明，我們每個人都花了很多個漫長的夜晚，但都失敗了。經過大約一個月的腦力勞動，我們每個人都完成並提交了我們的工作。我們高中的數學志願老師 Rich 先生認爲我們的證明足夠新穎，可以在數學會議上發表。我們當時對自己的工作都沒有那麼自信，但我們還是決定繼續下去。」

在接下來的兩到三個月裡，她們把所有的空閒時間都花在完善這些證明上。最終，她們獲得了成功。

她們所在的學校，新奧爾良聖瑪麗學院的一名志願者鼓勵她們將這個成果提交給專業會議。到 2023 年 3 月，他們成爲在亞特蘭大舉行的美國數學學會東南分會會議上發言的最年輕的人。

她們表示：「令我們驚訝的是，我們的高中作業得到了認真對待，我們獲准在 2023 年 3 月的美國數學學會東南分會會議上發言。作爲會上最年輕的人和最年輕的演講者，我們很害怕，但我們知道這是我們之前所有努力的結晶，這給了我們發言的信心。」

如今，去年開始上大學的 Jackson 和 Johnson 又取得了另一項成就：它們已經完成了一篇詳細介紹該方法證明的學術論文，新工作於週一發表在科學期刊《美國數學月刊》上。

Calcea Johnson 目前在路易斯安那州立大學讀環境工程專業，Ne’Kiya Jackson 正在路易斯安那澤維爾大學攻讀藥學博士學位。

與多年來歷代數學家使用代數、幾何方式解釋勾股定理的方式不同，Johnson 和 Jackson 使用三角學來證明它 —— 一個專注於三角形研究的數學分支。

專家認爲 Johnson 和 Jackson 的方法極其具有挑戰性，因爲三角學作爲一個領域本質上是基於勾股定理（畢達哥拉斯定理）的。那麼使用三角函數來證明該定理通常需要數學家所說的「循環論證」。然而根據新的研究，證明並不是循環的。

「我們在證明中使用的定理…… 都沒有假設畢達哥拉斯定理是正確的，」作者在論文中寫道。

英國布里斯托大學數學學院名譽教授 Tom Murdoch 稱這項研究令人印象深刻，「我認爲這項研究的有趣之處在於，很多人認爲這是不可能的。」

三角函數基於正弦和餘弦，它們表示爲直角三角形某些長度的比率。很容易陷入循環論證，而這項研究的吸引力在於，他們找到了一條使用正弦和餘弦的論證路線，同時並不假設畢達哥拉斯定理是正確的。

Johnson 和 Jackson 在研究中概述了使用三角學證明該定理的五種新方法，他們的方法揭示了另外五種證明，總共十種。兩人在 2023 年的會議上只展示了其中一種證明，在新論文中，還有九種是全新的。這裡我們重點來看看她們給出的五種證明以及她們發現這些證明方式的思路，更多詳情可訪問原論文。

勾股定理的五種證明

由於前面已經證明了等腰直角三角形的勾股定理，因此在下面五個證明的前四個中，會假設 ABC 是一個非等腰直角三角形，其中 <，也就等價於 <45°<。根據 [引用 1] 的嚴格要求，下面每個證明都將從直角三角形的圖形開始。

第一種證明

在第一個證明中，他們首先是沿 △ 的 AC 邊進行翻折，得到一個等腰三角形 ′。

現在，如圖 8 所示，基於 ′ 構建一個直角三角形 ′，其中直角在 ′ 處。然後在 △′ 中填充逐步變小的 △ 的相似三角形。

圖 8

第二種證明

給定直角三角形 ABC，如下圖所示，沿邊 BC 找到一個點 D，使得 ∠=。這樣一來，∠=90−2=−。

圖 9

我們首先將正弦定理應用於 △：

第三種證明

首先，在 AC 邊上找到一個點 D，使得 ∠=−，因此 ∠=−(−)= 且 ∠=90−(−)=2。如圖 10 所示。

圖 10

根據定義， sin (2)=/，因此

第四種證明

首先，如圖 11 所示，畫出斜邊 AB 的垂直平分線 DE（使得 △∼△），然後構造矩形 AOBC 並畫出它的對角線。

圖 11

根據反射對稱性，∠=∠=，然後 ∠=90−= 且 ∠=180−(+)=2。還有∠=90−2=−。

由於 =，有==/2，而 △ 的邊之比 a：b：c 表明=(/)=/2 且 =(/)=²/2。因此

第五種證明

與前四個證明不同，第五個證明僅適用於等腰直角三角形。

給定直角三角形 ABC，且有 ≤，對於任意常數 （0<<1），可以畫出一條線 DE 並使得 △∼△ 具有比例因子 k。然後再畫一條線 DF，使得 ∠=2。然後選擇一個適當的 k 值，使得 F 位於 B 和 C 之間。

圖 12

如果 ∠<45，則 DF 和 EC 可以延伸至點 G 處相交，從而得到一個直角三角形 DEG，其中 ∠=−。由於 ∥，則可得 ∠=∠=2，則 ∠=180−(2+)=。對 △ 使用正弦定理，可得

這兩位高中生是如何得到這五種證明的？

在任何創造性活動中，都有一個基本問題：「我能用已有的東西創造什麼？」

對於勾股定理，這個問題就變成了：「給定直角三角形 ABC，我可以創建哪些直角三角形？」

這兩位高中生對這一問題進行了解答。他們對新三角形的創建做了限制，使其角是 △ 的三個角 、 和 90 (=+) 度的「整數和」和 / 或「整數差」。

引理 1

a. 如果 ABC 是等腰直角三角形（因此 ==45），那麼所有角是 和 的整數線性組合的三角形就只有等腰直角三角形。

b. 如果直角三角形 ABC 中的 < ，則存在一個直角三角形，其銳角爲 2 和 −。此外，2 和 − 是 和 的唯一整數線性組合，它們將是每對 {,} 的直角三角形的銳角。

證明

a. 由於等腰三角形 ABC 的所有三個角都是 45 的倍數，因此任何新三角形（其角度限制爲 △ 角度的和和 / 或差）中的所有三個角仍然是 45 的倍數，因此這個三角形必須是等腰直角三角形。也就是說，如果從等腰直角三角形開始，就無法創建一個新三角形。

b. 現在假設 < 。如果新構造的直角三角形中銳角的大小爲 + (,∈ℤ)，則其補角大小爲 90 – ( + ) =(+)–( + ) = (1−) + (1−)。如果整數 n 和 1− 都非零，因此其中一個（例如 n）必定爲負數，則用 ⏧⏧ 替換 n，可知其中一個角度爲 – ，其中 m > n > 0。但是當 爲 90/(+) 度時，其補角 爲 90/(+) 度，這種構造會得到一個三角形，其角度爲

這是不可能的，說明必定有 =0，這樣對於某個 ∈ℕ，其中一個銳角爲 。

如果 =1，那就會得到原始三角形 ABC。如果 =2，那會得到一個新的直角三角形，其銳角爲 2 和 – 。（請注意，由於 <45，因此 2 < 90。）最後，可以看到 ≥ 3 是不可能的，因爲不存在 30 ≤ < 45 的三角形。

該引理爲這兩位高中生提供了證明勾股定理的思路（對於非等腰直角三角形）：從原始三角形 ABC 開始，嘗試以儘可能多的方式創建一個新的直角三角形，其角度爲 2、 – 和 90 度。

舉個例子，爲了創建 2 角，一種明顯方法是將兩個 △ 組合到一起，如圖 13 所示。

圖 13

這會得到一個等腰三角形′，其角度分別爲 2、 和 ；下一步是取其中的 角，並將其轉換爲 – 或 90 度。

要在頂點 ′ 處創建 90 度角，可構造一條射線，使它與 ′ 形成 角。如果將邊 AB 延伸到點 D 處與該射線相交，則會獲得前面第一個證明的圖像。

圖 14

又或者，如果在斜邊 AB 的另一側創建 2 角，並延伸 CB 以與新射線相交於點 D，如下所示，則將獲得第二個證明的圖形。

圖 15

這種簡單的方法可得到許多新證明，其中五個如上所示，還有五個（或更多）留給感興趣的讀者去發現。

有時，對於問題過於瞭解，會讓我們陷入認爲它「理所當然」的束縛。能用全新的眼光看待問題，也是一種稀缺的能力。

這些「高中水平」的內容你看懂了嗎？快快拿起紙筆也來嘗試一番證明吧！

參考內容：

https://mathstodon.xyz/@tao/113391326199704210

https://www.cnn.com/2024/10/29/science/teens-pythagorean-theorem-study/index.html

https://www.cbsnews.com/news/high-school-students-pythagorean-theorem-trigonometry-proof-60-minutes/