1.1 阿基米德與窮竭法：第一次「算」出面積#

拋物線弓形#

西元前三世紀，敘拉古的阿基米德在《拋物線圖形求積法》中證明了一個驚人的結果：拋物線與一條弦圍成的弓形面積，恰好等於同底同高三角形面積的 \(\frac{4}{3}\)。

他怎麼做到的？用的是「窮竭法」（method of exhaustion）：把弓形不斷用三角形填滿——第一步填一個大三角形，第二步在剩下的兩個小弓形裡各填一個三角形，如此類推。每次加入的面積恰好是前一次的 \(\frac{1}{4}\)，於是總面積是一個幾何級數：

這就是積分的直覺核心：用無限多個簡單圖形逼近複雜圖形。兩千年後黎曼積分的定義，精神上與此完全相同。

為什麼阿基米德不肯承認「無限」#

但阿基米德從不在證明裡說「無限多項相加」。希臘數學的底層邏輯是歐多克索斯確立的歸謬框架：他先證明弓形面積不可能大於 \(\frac{4}{3}T\)，再證明不可能小於 \(\frac{4}{3}T\)，兩次窮竭夾逼，結論只能相等。「無限過程」永遠不出場——因為希臘人對無窮抱有深刻的不信任，芝諾悖論（阿基里斯追不上烏龜）的陰影仍在。

這種謹慎是希臘數學嚴格性的光榮，卻也是它的枷鎖：每個問題都要另想一套窮竭證明，沒有通用演算法。阿基米德私底下其實走得更遠——他在《方法》一書中用「槓桿切割」的力學直覺猜出面積，再回頭補嚴格證明。這份手稿直到 1906 年才在海因貝格於君士坦丁堡發現的重寫本（palimpsest）中重見天日，彷彿阿基米德提前二十個世紀寫給未來的信。

時代與悲劇#

阿基米德並非孤例。同時代的敘拉古是希臘化世界重要的商港，造船與軍事工程需求（他自己就設計了投石機與鐵爪起重機）與幾何學互相餵養——應用拉動理論，這條規律在微積分史上將反覆出現。

西元前 212 年，羅馬攻陷敘拉古。傳說阿基米德正在沙地上畫圖，對闖入的士兵只說了一句「別踩壞我的圓」，隨即被殺。羅馬人善於工程與法律，卻對抽象理論興趣索然——此後的西方世界，窮竭法沉睡近兩千年。

一個文明對「無用之學」的態度，往往決定了它能留下什麼給未來。阿基米德的圓沒有被士兵踩壞，卻被整個時代的漠視所掩埋。