跳轉到

1.2 希臘人的固執:當代數必須畫成幾何圖形#

一場信譽危機#

西元前五世紀,畢達哥拉斯學派宣稱「萬物皆(整)數」,直到一位成員發現:邊長為 1 的正方形,其對角線長度 \(\sqrt{2}\) 無法寫成任何兩整數之比。傳說發現者希帕索斯被拋下船淹死——數學史的第一次「滅口」。

這場信譽危機改變了希臘數學的方向。既然「數」不可靠,那就把數學的地基搬到看似無懈可擊的東西上:幾何。柏拉圖學園門口那句「不懂幾何者不得入內」,背後是一整套世界觀——唯有理想的圖形才配得上真理。

歐幾里得的代數,穿著幾何的外衣#

《幾何原本》第二卷其實藏著一整冊代數課本。命題 II.4 說:整體線段上的正方形,等於兩段上的正方形之和,加上兩個以兩段為邊的矩形。翻譯成符號:

\[(a+b)^2 = a^2 + 2ab + b^2\]

這不是巧合,而是刻意為之:希臘人把代數恆等式全部翻譯成面積語言來「證明」。乘法變成矩形面積,開方變成求正方形邊長。這種「幾何代數」邏輯無懈可擊,卻有致命代價——三次以上就畫不出來了。體積還能對付三次,四次、五次方程在圖形世界裡根本不存在。希臘數學把自己鎖進了三維的牢籠。

丟番圖:孤峰上的例外#

西元三世紀,羅馬帝國晚期的亞歷山大城,丟番圖寫下十三卷《算術》(現存約六卷)。他做了一件兩希臘數學家都不肯做的事:把未知數當成獨立符號,設 \(s\) 為未知量,寫出真正的符號方程。

書中 189 個問題全是求整數或有理數解的不定方程,例如把一個平方數拆成兩個平方數之和——費馬十七世紀在這頁空白處寫下「大定理」,正是讀的這本書。

丟番圖的死因甚至被寫成一則代數謎題(約為:童年占一生的 1/6,少年 1/12,未婚 1/7,婚後五年得子,子壽其父之半,父終於子後四年)——解之得他活了 84 歲。

為什麼丟番圖是孤峰?#

丟番圖的符號代數沒有後繼者,原因有三:

  1. 羅馬帝國的教育系統只重修辭與法律,數學在精英教育中被邊緣化;
  2. 三世紀危機之後,亞歷山大城的學術機構在動亂與宗教衝突中衰敗,415 年希帕提婭被暴民殺害是象徵性的一章;
  3. 希臘數學的權威傳統(歐幾里得、阿基米德)太強,後世拜占庭抄書人優先保存「正統」幾何,《算術》僅半部倖存。

歷史在此開了一個玩笑:把符號代數發揚光大的,不是希臘的繼承者拜占庭,而是一個剛崛起、文化上被視為「蠻族」的文明——伊斯蘭。他們將同時繼承兩河的實用精神與希臘的邏輯傳統,然後把兩者焊接起來。