當餘弦變成零：一條不繞圈子的畢氏定理證明
寫給喜歡把公式當故事讀的人
十二年前，我在這本筆記本裡隨手抄過一張名單：《改變世界的十七個方程式》。名單的第一行，不是牛頓的萬有引力，也不是愛因斯坦的 \(E=mc^2\)，而是一個國中生都能默寫的式子——
\(a^2 + b^2 = c^2\)
畢氏定理。貢獻者欄寫著「畢達哥拉斯，BC 530」。
名單後來我才知道，是英國數學家伊恩・史都華（Ian Stewart）那本《Seventeen Equations That Changed the World》的目錄縮影。史都華把這條看來土氣的直角三角形關係，放在改變世界的十七條方程式之首，不是為了懷舊，而是因為它幾乎是後來所有「距離」觀念的祖先：平面上兩點有多遠、地圖怎麼測、衛星怎麼定位，甚至相對論裡時空的度量，骨子裡都還認得出這個平方和。
一個國中公式，憑什麼排第一？證明又為什麼能跟三角函數扯上關係、而且據說還不循環論證？今晚我們慢慢說。
它比畢達哥拉斯本人更老
先說一件讓人有點洩氣、又有點痛快的事：這條定理大概不是畢達哥拉斯發明的。
西元前十九到十六世紀的巴比倫泥板——比薩摩斯那位哲學家大約早了一千年——已經出現勾股數，也就是滿足 \(a^2+b^2=c^2\) 的整數三元組。著名的 Plimpton 322 像一份教師備課表，密密麻麻列著這些數組；另一塊泥板 YBC 7289 則在正方形對角線旁，用六十進位寫下 \(\sqrt{2}\) 準到好幾位的近 似值。那不是巧合，那是他們知道「邊長一的正方形，對角線平方等於二」。
同一段漫長的古代裡，印度《繩經》（Śulba Sūtras）用這條關係規畫祭壇；中國《周髀算經》留下「勾三股四弦五」以及後來被稱為「弦圖」的面積 拼合。埃及測量師則長期被傳說成用 3-4-5 繩結在尼羅河氾濫後重新拉出直角——故事很美，證據比較稀，但「直角與三邊」這件事，顯然不是希臘人的獨 家專利。
那畢達哥拉斯學派貢獻了什麼？比較公允的說法是：他們把一條工匠都在用的經驗規則，推進成「必須證明」的命題，並且把「數即宇宙」的信仰綁在 幾何上頭。真正留下完整、可核對證明的，是大約三百年後歐幾里得《幾何原本》卷一命題 47：那張被叫作風車、新娘椅、或孔雀開屏的圖。歐氏證明不 靠代數符號，只靠面積搬運。讀過一次，會覺得古人並不笨，只是紙張和符號都還沒發明到我們習慣的樣子。
憑什麼改變世界？
史都華把畢氏定理放第一，理由其實很樸素：它是幾何與代數第一次正式握手。
有了 \(a^2+b^2=c^2\)，平面上兩點 \((x_1,y_1)\)、\((x_2,y_2)\) 的距離立刻變成
\[ \sqrt{(x_2-x_1)^2+(y_2-y_1)^2}. \]
座標不再只是格子紙上的標籤，而成了可以計算的空間。測繪師量角比量長容易，於是把大地剖成三角形，一站一站推過去——三角測量（triangulation）的骨架，就是直角三角形可以任意把斜邊拆開再拼回去。航海、地圖、後來的衛星定位，都還在做同一件事：用已知的幾條邊與角，把你不知道的那一 點釘死。
它也催生了三角學。正弦、餘弦最初不是為了折磨高中生，而是為了把「邊」和「角」互相翻譯。再往前走一步，平方和這種度量進了物理：牛頓力學 裡的距離、電磁學裡的場、相對論裡的時空間隔，都還看得到「平方相加」的影子。球面或彎曲時空上，直角三角形不再遵守畢氏定理——恰恰因為我們先>有了它，才知道「不遵守」意味著空間本身換了一套規則。
所以它改變世界，不是因為 \(3^2+4^2=5^2\) 這句話特別響亮，而是因為人類從此有了一把通用的尺，去量「多遠」。
人類好像特別愛證明它
很少有定理像畢氏定理這樣，被當成數學界的全民運動會。
二十世紀美國教師 Elisha Scott Loomis 編過一本幾乎走火入魔的書，《The Pythagorean Proposition》。一九四〇年第二版收了三百七十種證明： 歐幾里得的風車、印度婆什迦羅旁邊只寫一個字「看！」（Behold!）的拼圖、美國總統加菲爾德還在眾議員時期用梯形面積寫下的那一版、還有高中生投 稿的新圖。金氏世界紀錄後來把它標成「被證明最多次的定理」。Loomis 自己還撂下一句很硬的話：三角證明不可能存在，因為三角學的基本恆等式——例 如 \(\sin^2\theta+\cos^2\theta=1\)——本身就是畢氏定理穿了件新衣服。
這句話半對半錯。若你先偷偷使用 \(\sin^2+\cos^2=1\)，再回頭推 \(a^2+b^2=c^2\)，那確實是在原地轉圈，像用自己的影子證明太陽存在。可是「 三角函數」這三個字，並不必然等於那條平方恆等式。餘弦可以先被定義成「鄰邊比斜邊」——一個純比例，還不需要平方和。接下來的問題就變成：我們能不能只靠這個比例，加上「把一段底邊拆成兩段再加回去」這種小學程度的線段加減，推出餘弦定理，再讓直角作為特例掉出來？
可以。而且路線意外地乾淨。
出發前：什麼是投影定理？
請想像任意三角形 \(ABC\)。依高中習慣，令 \(\angle A,\angle B,\angle C\) 的對邊分別是 \(a,b,c\)。暫時假設三個角都是銳角，這樣作高時， 垂足會乖乖落在對邊內部；鈍角只是把其中一段投影「翻到邊的延長線上」，代數幾乎一樣，只是餘弦變負號。
從頂點 \(A\) 向 \(BC\) 作高，垂足為 \(D\)。底邊 \(a\) 被切成兩段：
\[ a = CD + BD. \]
這一步沒有用到畢氏定理，只是「整段等於兩段之和」。而「一段邊長投影到另一邊」正是餘弦的定義：
\[ CD = b\cos C, \qquad BD = c\cos B. \]
於是得到一條老實得近乎無聊的關係——有人稱之為投影定理，或第一餘弦定理：
\[ \text{（公式 1）}\quad a = b\cos C + c\cos B. \]
同樣的動作，分別從 \(B\)、從 \(C\) 往對邊作高，再寫兩次：
\[ \text{（公式 2）}\quad b = a\cos C + c\cos A, \]
\[ \text{（公式 3）}\quad c = a\cos B + b\cos A. \]
三條式子，全部只靠「線段相加」與「鄰邊／斜邊」。平方還沒出場。畢氏定理也還沒被請進來。我們手上現在是一個三元一次方程組，未知數是三個 餘弦。
一場名叫「消去」的代數小戲法
目標很明確：不想要的 \(\cos A\)、\(\cos B\) 必須離場，只留下 \(\cos C\)。方法古老得像解國中聯立方程式——兩邊先乘一個公因數，再加加減>減。
步驟一。 三式分別乘上自己對應的邊長，好讓後面出現成對的交叉項：
\[ \begin{align*} a^2 &= ab\cos C + ac\cos B,\\ b^2 &= ab\cos C + bc\cos A,\\ c^2 &= ac\cos B + bc\cos A. \end{align*} \]
注意：這裡的「平方」不是從直角三角形面積變出來的，只是為了製造公因式 \(ab\)、\(ac\)、\(bc\)，人工乘上去的。有點像煮飯時多放一把米，不是因為米本身神聖，是因為待會要對沖。
步驟二。 計算 \(a^2+b^2-c^2\)：
\[ \begin{align*} a^2+b^2-c^2 &= (ab\cos C + ac\cos B)\\ &\quad + (ab\cos C + bc\cos A)\\ &\quad - (ac\cos B + bc\cos A). \end{align*} \]
盯著右邊看一會兒。\(ac\cos B\) 先正後負，走了；\(bc\cos A\) 先正後負，也走了。像一場安排好的退場，只剩兩個 \(ab\cos C\) 還坐在位子上 。
步驟三。
\[ a^2 + b^2 - c^2 = 2ab\cos C. \]
步驟四。 移項：
\[ c^2 = a^2 + b^2 - 2ab\cos C. \]
餘弦定理。全程沒有切出一個「用來套用畢氏定理」的直角三角形去算平方和，也沒有動用 \(\sin^2+\cos^2=1\)。
然後，讓角變成直角
現在把 \(\angle C\) 設成 \(90^\circ\)。依餘弦在直角時的定義（或單位圓上的定義，兩者此時一致），
\[ \cos 90^\circ = 0. \]
修正項整段消失，留下
\[ c^2 = a^2 + b^2. \]
畢氏定理從餘弦定理的特例裡掉出來。邏輯順序是：
投影（線段加減）\(\rightarrow\) 餘弦定理 \(\rightarrow\) 直角時餘弦為零 \(\rightarrow\) 畢氏定理。
不是「先承認畢氏，再推廣成餘弦，再假裝推回畢氏」。Loomis 擔心的那條循環，在這條路上沒有發生。平方的幾何執念也被拆開了：上一世代的證明裡，平方常常來自面積；這裡的平方，只是代數消去時的潤滑劑。
若你對「銳角假設」不放心：鈍角時，垂足落到邊的延長線，其中一段投影帶負號，公式 1 仍然成立，後面的加減一字不改。直角則是兩種情況的邊界——餘弦剛好過零的那一瞬。
這條路為什麼好看
第一，它把「證明」從剪紙遊戲變成簿記。你不必記得哪一塊正方形該搬到哪一塊；你只要相信線段可以相加，比例可以命名，然後老實做消去。對習 慣代數的人，這比風車圖更像在呼吸。
第二，它讓餘弦定理不再只是「畢氏定理的加強版」這種教科書口吻。兩者的關係變成可逆、可選擇起點。古典幾何的投影，與後來線性代數裡用克拉 瑪法則解同一組方程，其實是同一件事的兩套衣服。
第三，它提醒我們：數學史上許多「不可能」只是「你先把工具定義得太窄」。Loomis 說三角證明不存在，是因為他把三角學等同於那條平方恆等式。換一套出發定義，門就開了。近年美國兩位高中生用相似三角形與正弦定律寫出的證明，走的是另一條避開循環的路；投影這條，則更接近古典三角教室裡本來就有的家具。
名單上的第一行
回到十二年前那張名單。把畢氏定理放在「改變世界的十七個方程式」第一個，現在讀來仍合理：它夠老，夠簡單，夠容易被誤會成理所當然，卻又悄悄支撐了測繪、座標、導航，以及後來所有談論距離的語言。
證明可以有三百七十種，也可以再多一種。今晚這一種的好處不是比較短——老實講，歐氏風車圖更短——而是它讓你看清楚：平方不必一開始就帶著面積 的光環登場；有時候，它只是為了讓兩個交叉項有機會互相鞠躬下台。
當 \(\cos C=0\)，舞台空了，只剩三邊。那一刻不需要鼓聲。方程式自己會把話說完。
延伸閱讀：伊恩・史都華，《改變世界的十七個方程式》（In Pursuit of the Unknown, 2012）；Elisha S. Loomis, The Pythagorean Proposition（1940）；以及投影定理與餘弦定理的課堂推導，見各高中教材「解三角形」章與相關數學部落格討論。本文投影消去路線的整理，受益於幾何與三角學教室中長年流傳的證法。
