每日一式 · No.002 △ 幾何的基石
a2 + b2 = c2
畢氏定理 · Pythagorean Theorem
三千年前的工匠就已經知道,只是還沒給它寫成一行式子。
📜 公式的身世
總統、教派與第一場數學信仰危機

它的證明超過四百種,收藏者裡有一位美國總統:1876 年,還是眾議員的加菲爾德在國會議事空檔想出一個梯形證法,登上數學期刊,五年後他入主白宮。再往前兩千多年,畢達哥拉斯教派把「萬物皆數(都是整數比)」當信仰;傳說門徒希帕索斯正是用這條定理發現 √2 寫不成分數,動搖教義,被同門沉入海中 —— 沉海一段真偽難考,但「一條公式逼出一場信仰危機」是真的:無理數,就是從這裡誕生的。而《周髀算經》的「勾三股四弦五」、巴比倫泥板上的整組勾股數,都比畢達哥拉斯更早 —— 誰量地、誰蓋房,誰就會撞見它。

🌍 它今天在哪裡上工
📄
A4 紙的祕密 —— A 系列紙的長寬比是 √2:對摺一半,比例不變 —— 這個「摺不壞」的設計,是畢氏家族的 √2 在上班。
📍
GPS 與遊戲引擎的距離公式 —— 兩點距離 = √(Δx²+Δy²+Δz²),就是畢氏定理的 3D 版 —— 衛星定位、遊戲碰撞偵測,每秒算幾百萬次。
🔨
工地的 3-4-5 —— 拉一條 12 節的繩圍成 3-4-5 三角形,直角自動出現 —— 埃及人蓋金字塔用它,今天水電師傅放樣還在用。
一場會動的證明 c² = a² + b²
a2+b2=c2 9.0 + 16.0 = 25.0
① 重排證明一個 c²  ⟷  兩個 a²+b²
② 換個三角形形狀a : b

在還沒有「方程式」這種東西的年代,埃及的拉繩師隨身帶著一條打了 12 個等距結的繩圈。把它撐成 3–4–5 的三角形,最長邊對著的那個角, 就是完美的直角 —— 金字塔、農田的邊界,都是這樣量出來的。

≠ 先破一個直覺: 邊長本身不會相加 —— 3 + 4 並不等於 5。 會相加的是「面積」:蓋在三邊上三個正方形,9 + 16 = 25。

左邊那張圖,就是一個完整的證明。看懂它只要三步:

01同一個大正方形,邊長是 a + b,大小自始至終不變。
02裡面塞著四塊一模一樣的直角三角形,只是換位置,沒有增減。
03剩下的空白,從一個傾斜的 c² 正方形,被重排成 a² 與 b² 兩個。面積守恆 ⟹ c² = a² + b²。
🔗 還記得昨天那根長度永遠是 1 的指針嗎?它之所以乖乖待在單位圓上,是因為 cos²θ + sin²θ = 1 —— 那正是畢氏定理,躲在圓裡。
趣聞:這條定理擁有的證明方法多達數百種,其中一個還是美國總統 James Garfield 在當議員時想出來的。 A theorem with a thousand doors