跳轉到

第一篇 · 第1章

第1.1節 公元前 3 世紀：阿基米德的「窮竭法」（Method of Exhaustion）——微積分最早的幾何雛形#

一、歷史背景：敘拉古的圍城與一位「幾何學家工程師」#

公元前 3 世紀，地中海世界的權力結構正在劇烈重組。羅馬共和國在西征迦太基的布匿戰爭中逐漸崛起，而希臘化的西西里島——特別是敘拉古（Syracuse）——夾在羅馬與迦太基兩強之間，成為地緣政治的夾心餅。敘拉古的國王希倫二世（Hiero II）以「還政於民」之名行君主統治之實，他大力投資港口、艦隊與城防，因為他深知：一個貿易城邦的存亡，繫於軍事工程技術。

正是在這樣的環境下，阿基米德（Archimedes，約前 287–前 212）誕生了。他是天文學家菲迪亞斯之子，年輕時遠赴亞歷山大城求學，與埃拉托斯特尼、阿波羅尼奧斯等學者保持通信網絡。這封信件網絡，正是古代希臘化世界的「學術互聯網」——知識在圖書館與私人書信之間流動，形成了制度化的數學共同體。這種以書信為載體的學術傳播模式，兩千年後仍被牛頓與萊布尼茨時代沿用。

當羅馬名將馬塞勒斯（Marcellus）於前 213 年率軍圍攻敘拉古時，普魯塔克記載阿基米德設計了投石機、起重爪與（傳說中的）聚光鏡，令羅馬士兵聞風喪膽。馬塞勒斯下令：活捉此人，當作戰利品。然而前 212 年城破之際，傳說中正埋首於幾何圖形的阿基米德，對逼近的羅馬士兵只留下一句：「別踩壞我的圓！」隨即遇害。這場圍城戰不僅是軍事史的一頁，更是科學史的轉捩點——它揭示了純粹理性與實用技術在戰爭經濟中的深度結合，也讓羅馬人第一次意識到數學武器的可怕威力。

二、數學原理：以多邊形「窮竭」曲線#

阿基米德繼承了安提豐與歐多克索斯的思想，發展出嚴格的窮竭法：欲求曲線圍成的面積，可先內接一個多邊形，再不斷加倍其邊數，使多邊形面積與曲線面積之差縮小到任意小。

拋物線弓形面積是其經典戰績。他在《拋物線求積》中證明：由弦與拋物線圍成的弓形面積，恰等於同底同高的三角形面積的三分之四。他用了兩種證明：一種是純幾何的窮竭法（反證+窮竭），另一種則令人震驚地接近現代積分——他把弓形分割成無窮多個三角形，形成一個幾何級數：

\[S = \frac{4}{3} S_{\triangle} = S_{\triangle}\left(1 + \frac{1}{4} + \frac{1}{16} + \cdots\right)\]

其中各項構成公比為 \(\frac{1}{4}\) 的等比級數。阿基米德寫下了 \(\sum \frac{1}{4^n}\) 類型的求和論證，這是史上第一次有人對「無窮過程」給出可檢驗的邏輯控制。

他在《圓的度量》中利用內接與外切正 96 邊形，夾逼出圓周率的範圍：

\[3\frac{10}{71} < \pi < 3\frac{1}{7}\]

在《球與圓柱》中，他證明球的面積等於其大圓面積的四倍，並得到球體積公式：

\[V = \frac{4}{3}\pi r^3\]

傳說他自感此結果太過美妙，特意囑咐將內切圓柱與球體的圖形刻在自己的墓碑上。在《方法論》這部失而復得的抄本中，我們更看到他用槓桿平衡原理「稱量」無窮薄片以求體積——這其實是把物理直覺當作積分的發現工具，再用窮竭法補上嚴格證明。這種「發現—嚴格化」的雙層結構，正是兩千年後牛頓微積分的先聲。

三、前因後果：制度、經濟與思想的驅動#

  • 經濟與軍事需求：敘拉古的港口貿易需要造船、測容積（如「希倫王的皇冠」問題）與城防工程，這些實務問題把幾何學從純思辨推向可計算的邊界。
  • 制度化教育：亞歷山大圖書館與繆斯神殿（Musaeum）是史上第一個由王室資助的研究機構，公家俸祿讓學者得以終身研究——這是「科學職業化」的最初形態。
  • 思想條件：畢達哥拉斯學派「萬物皆數」與歐多克索斯的比例論，提供了處理不可公度量（無理數）的嚴格工具，使窮竭法無需依賴「無窮小」的模糊概念。

然而窮竭法的限制同樣深刻：它避免直接談論無窮與極限，每個問題都要量身設計證明，無法成為通用演算法。羅馬帝國統治地中海後，實用工程文化壓倒了希臘式純理論傳統；再經中世紀的斷層，阿基米德的文本直到文藝復興才被翻譯傳播。16–17 世紀的學者——克卜勒、伽利略、托里切利、沃利斯——閱讀他的著作時，看到的不只是證明，而是「可以無窮逼近曲線」的方法論火種。萊布尼茨直言，微積分是「阿基米德方法的推廣」；牛頓求切線與面積互逆的洞見，正是把窮竭法中「面積的累積」改寫為可微分的函數語言。可以說，沒有阿基米德把「窮竭」變成可操作的數學姿態，就沒有 1660 年代的微積分革命。

延伸思考#

  1. 阿基米德刻意用「窮竭+反證」迴避無窮小，以維護證明的嚴格性；但嚴格性也阻礙了方法的通用化。科學發展中，「嚴格」與「產出」的張力應如何取捨？
  2. 若敘拉古未陷落、阿基米德晚死三十年，古代世界是否有機會自行孕育出積分學？還是說，缺的從來不是天才，而是支撐抽象研究的社會制度？
  3. 《方法論》抄本在 13 世紀被僧侶刮去字跡改寫祈禱書，20 世紀又以現代成像技術救回。這條文本命運的弧線，說明了知識保存制度的多麼脆弱與重要？