2.3 窮竭法與《方法》：積分的先聲#

阿基米德的證明發表與發現過程是兩套系統。正式著作用窮竭法：把待求量分割成無窮多部分，用內接外切圖形夾逼，最後以歸謬法收尾。而在1906年於君士坦丁堡發現的《方法》（The Method of Mechanical Theorems）重寫本中，我們看到他真正的「發現機器」：把面積看成由無窮多條線段（槓桿上的砝碼）組成，利用槓桿平衡原理，讓未知圖形與已知圖形的「力矩」對照，從而猜出面積比。

書中最著名的成果是拋物線弓形面積：

\[A_{弓形} = \frac{4}{3} A_{內接三角形}\]

以及分割求和的思想：

\[A = \sum_{i=1}^{n} \frac{1}{4^i} \cdot A_0 = \frac{1-\left(\frac{1}{4}\right)^{n+1}}{1-\frac{1}{4}} A_0 \to \frac{4}{3}A_0\]

這是幾何級數求和用於面積計算的最早記錄之一。

flowchart LR
    A[槓桿平衡的物理直覺] --> B[將圖形視為線段薄片堆疊]
    B --> C[以力矩比較兩圖形]
    C --> D[猜出面積比]
    D --> E[用窮竭法與歸謬法補嚴格證明]
    E --> F[正式發表於著作]

因果分析：《方法》的意義在於揭示了「物理與數學互相驅動」的雙向因果。前因：槓桿研究（第3章）給了阿基米德無限分割的直覺工具；若沒有機械學造詣，他未必能想到用砝碼類比面積。後果：窮竭法版本影響了阿波羅尼奧斯之後的希臘數學，而《方法》所失傳的思路，要到十七世紀的卡瓦列里「不可分量法」與牛頓、萊布尼茨的微積分才被重新發明。換句話說，阿基米德在發現與證明之間的分工——先用機械直覺猜想，再用嚴格邏輯檢驗——正是近代科學方法論的預演。此書的失傳與重現，本身就是第5章手稿流傳因果鏈的關鍵環節。