它的證明超過四百種,收藏者裡有一位美國總統:1876 年,還是眾議員的加菲爾德在國會議事空檔想出一個梯形證法,登上數學期刊,五年後他入主白宮。再往前兩千多年,畢達哥拉斯教派把「萬物皆數(都是整數比)」當信仰;傳說門徒希帕索斯正是用這條定理發現 √2 寫不成分數,動搖教義,被同門沉入海中 —— 沉海一段真偽難考,但「一條公式逼出一場信仰危機」是真的:無理數,就是從這裡誕生的。而《周髀算經》的「勾三股四弦五」、巴比倫泥板上的整組勾股數,都比畢達哥拉斯更早 —— 誰量地、誰蓋房,誰就會撞見它。
昨天我們看見了它「成立」 —— 四塊三角形挪一挪,面積就守恆了。但那只是冰山一角。今天我們問兩個更難的問題:它為什麼成立?以及,它的疆界到底有多遠?
而在動手之前,先把一個貫穿全篇的問題放在心上:
從直角頂點朝斜邊放下一條高 h。神奇的事發生了:它把大三角形切成兩個小三角形,而這兩個小的,跟原本那個大的長得一模一樣(三個角完全相同)。
一個直角三角形,裡面竟然裝著兩個縮小的自己。這就是 Pythagoras 的真正引擎 —— 自相似。
相似意味著「成比例」。在小三角形裡比對對應邊,馬上得到兩條關係:a² = c·p 和 b² = c·q(p、q 是兩股在斜邊上的影子)。
把兩式相加:a² + b² = c·(p + q)。而 p + q 剛好就是整條斜邊 c。於是 —— a² + b² = c²。不需要拼圖,它本來就躲在三角形的骨架裡。
附帶一提:那條高還滿足 h² = p·q —— 高是兩段投影的「幾何平均」。同一張圖,送你兩條定理。
畢達哥拉斯學派相信「萬物皆數」——任何長度都能寫成兩個整數的比。直到有人用這條定理算了一個最簡單的東西:邊長為 1 的正方形,它的對角線是 √2。
而 √2 無法寫成任何分數。它是無理數。最樸素的正方形,藏著一條無法被「比例」馴服的對角線。傳說洩漏這個祕密的 Hippasus,被同門扔進了海裡。畢氏定理,動搖了畢氏自己的信仰。無理數,就在這道裂縫裡誕生。
我們總把它畫成三個正方形,於是以為定理在講正方形。其實正方形只是最方便的選擇。
關鍵在這條鐵律:任何形狀,只要彼此相似,它的面積都正比於邊長的平方 —— 面積 = k · L²。半圓的 k 是 π/8,正三角形是 √3/4,小房子是 1+√3/4……係數不同,但都是 L²。
所以蓋在三邊上的面積是 k·a²、k·b²、k·c²。既然 a²+b²=c²,兩邊同乘 k 永遠相等。換什麼形狀都平衡 —— 上下兩條面積長條,永遠一樣長。
這才是定理真正的主題:不是「方」,而是二維的縮放。這也呼應了第一章 —— 相似,從頭到尾都是主角。
冷知識:選半圓時,扣掉三角形剩下的兩塊月牙(Hippocrates 的月牙),面積竟然剛好等於那個直角三角形 —— 史上第一次,有人用直線與圓,算出了彎曲圖形的精確面積。
如果三角形不是直角呢?把夾角 C 從尖(銳角)慢慢扳到鈍角,c 邊的長度會跟著變。它服從一條更大的定律:餘弦定理。
c² = a² + b² − 2ab·cosC。多出來的那一項 −2ab·cosC,正是在度量「這個角偏離直角多少」。
當 C = 90°,cos 90° = 0,修正項整個消失 —— 等式瞬間塌縮回 a²+b²=c²。畢氏定理不是一條孤立的真理,而是這條連續曲線剛好穿過零點的那一刻。
角越尖(C<90°),cosC>0,c²比 a²+b² 更小;角越鈍(C>90°),c²更大。直角,是那條完美的分水嶺。
🔗 還記得第一天那根指針嗎?它的長度由 cos²+sin² 撐住。這裡的 cosC,正是同一個三角函數,只是換了崗位 —— 整個系列,其實在講同一件事。
把畢氏定理交給數論,問一個整數問題:有哪些整數三邊能湊成直角?(3,4,5)、(5,12,13)、(8,15,17)…… 答案是:無限多組。
而且能用一條公式全部生成:取任意整數 m>n,(m²−n², 2mn, m²+n²) 就是一組。棋盤上那些金色亮點,就是它們。
現在做一件看似無害的事:把指數從 2 換成 3。a³+b³ = c³ 有整數解嗎?把棋盤切換到 n=3 看看 —— 整片漆黑,一個亮點都沒有。n=4、5、6,依然全黑。
1637 年,費馬在書頁邊空白處寫下:當 n≥3,aⁿ+bⁿ=cⁿ 沒有任何正整數解,並說「我發現了絕妙的證明,但這裡空白太窄寫不下」。
這行批註,折磨了數學界 357 年。直到 1994 年,Andrew Wiles 才用整本書的篇幅證明了它。指數 2 與 3 之間,隔著一道深淵 —— 平方,是整數還能和諧共處的最後一站。
把兩股看成兩個向量 u、v。畢氏定理的抽象身分是:‖u+v‖² = ‖u‖² + ‖v‖²,而這條等式成立的唯一條件,就是 u 與 v 互相垂直(內積為零)。
轉動 v 試試:只有在 90° 那一瞬間,兩個讀數才完全相等。畢氏定理 ⟺ 正交。這就是它能掙脫三角形、飛向高維的護照。
三維裡,它變成 d² = x²+y²+z²(空間中的距離);n 維裡,就是所有座標平方和。那……無限維呢?
把一段聲音拆成無數個正弦波(傅立葉分解)。這些正弦波,彼此兩兩正交 —— 它們就是無限維空間裡互相垂直的座標軸。於是畢氏定理告訴我們:訊號的總能量 = 每個頻率分量能量的總和。這就是 Parseval 定理。
總能量(左)= 各頻率分量平方之和(右)。把小分量丟掉,聲音幾乎不變 —— 這正是 MP3 / JPEG 壓縮的原理。
所以那條你 12 歲學的式子,從一個三角形出發,最後撐起了整個訊號處理的世界。平方,就是能量。畢氏定理,就是能量守恆。
回到開頭那條線索 —— 為什麼是平方?
因為從面積、到縮放、到整數的疆界、再到能量,
「平方」是同一個祕密,在不同維度裡的名字。
畢氏定理之所以偉大,不是因為它簡單,
而是因為它一直都在那裡,撐著我們以為理所當然的一切。