1823 — Cauchy 定積分#

案件摘要#

1823 年，Augustin-Louis Cauchy 在《Résumé des leçons données à l'École royale polytechnique sur le calcul infinitésimal》中，做出了一件兩百年來無人認真做過的事：把「積分」從面積的幾何直覺中解放出來，用極限嚴格定義定積分為「和的極限」，並給出微積分基本定理（FTC）的第一個現代意義上的證明。黎曼和的原型在此誕生——積分學從此有了可檢驗的邏輯骨架。

前因 -- 為什麼會有這個案子#

• 牛頓與 Leibniz 在 17 世紀發明微積分時，積分被理解為「無窮多條無窮窄的矩形面積之和」——直覺有效，但「無窮窄」「無窮多」在邏輯上是含糊的。
• 18 世紀 Euler、Lagrange 時代，分析學大放異彩，但基礎是一片泥沼：極限、無窮小、連續、收斂全靠圖像與手勢。哲學家 Berkeley 早在 1734 年就嘲諷「消失量的幽靈」（ghosts of departed quantities），數學家卻一直無力回應。
• 1821 年 Cauchy 出版《Cours d'analyse》，第一次給出極限、連續、收斂的正式定義，開創「極限理論」的嚴格路線。
• 案件因此成形：既然極限有了定義，那麼積分——這個微積分中最含糊的概念——理應也能用極限重建。1823 年的《Résumé》就是結案報告。

線索與推理 -- 數學式、程式、理論#

線索一：積分是「和的極限」，不是「面積」#

Cauchy 的做法驚人地直接：在區間 \([a, b]\) 上插入分點，取左端點的函數值構成和

然後定義：當最大的 \(\Delta x_i\) 趨於零時，若 \(S\) 趨於一個極限，則這個極限就是 \(\int_a^b f(x)\,dx\) 。

這就是今日教科書中「黎曼和」的原型。Cauchy 證明了：對連續函數，這個極限必定存在。積分不再依賴「曲線下的面積」這個幾何直覺——面積反而變成積分的推論。

線索二：微積分基本定理的嚴格證明#

Cauchy 定義變上限積分

利用連續函數的一致有界性（連續函數在閉區間上有界，且積分和小於 \(M(x-a)\) ），他證明：

因此 \(F'(x) = f(x)\) 。接著他證明若 \(\Phi'(x) = f(x)\) ，則 \(\Phi(x) - \int_a^x f(t)\,dt\) 的導數為零，故兩者只差常數。合起來就是：

積分與微分互為逆運算——牛頓與 Leibniz 用了兩百年的事實，第一次擁有了證明。

值得注意的是證明的結構：Cauchy 沒有像 18 世紀那樣「先微分再湊面積」，而是先定義積分（和的極限），再證明它可微。方向徹底反轉——積分成為原始概念，微積分基本定理成為連接兩者的定理。這個「從積分出發」的架構，日後被 Riemann、Darboux、Lebesgue 一脈相承。

線索三：證明的隱藏裂縫#

Cauchy 的證明中有一個未被他自己察覺的假設：他默認「把 \([a,b]\) 切得夠細」就足以讓和收斂，卻沒有區分對任意分點序列收斂與對某種特殊取樣方式收斂。對連續函數這不成問題（因為一致連續），但一旦函數不連續，裂縫就會擴大——Dirichlet 函數（1829）將讓這條裂縫徹底暴露，而最終修補裂縫的人，正是沿著 Cauchy 路線前進的 Riemann 與 Lebesgue。

線索三：廣義積分與連續性的初步檢驗#

除了閉區間上的定積分，Cauchy 在《Résumé》中還定義了廣義積分：當積分區間無界（如 \(\int_1^\infty \frac{dx}{x^2}\) ）或函數在區間內無界時，取極限

並用收斂判準區分「收斂」與「發散」。這個手法與他 1821 年處理級數的方式一脈相承——無窮過程一律化約為有限和的極限。此外，他對「函數連續」的定義也在此被應用：若 \(f\) 連續，則 \(f(x+h)\) 與 \(f(x)\) 之差隨 \(h \to 0\) 無限縮小。這個定義日後被 Weierstrass 的 ε-δ 語言精確化，但在 1823 年，它已足以支撐 FTC 的證明。

程式碼範例：黎曼和數值收斂實驗#

用 Cauchy 的左端點和計算 \(\int_0^1 x^2\,dx = 1/3\) ，觀察隨分割數增加的收斂行為：

import numpy as np

def cauchy_sum(f, a, b, n):
    x = np.linspace(a, b, n + 1)
    dx = np.diff(x)
    return np.sum(f(x[:-1]) * dx)   # 左端點和，Cauchy 1823 的原型

f = lambda t: t**2
print(f"{'n':>8} {'左端點和':>14} {'誤差':>12}")
for n in [1, 2, 4, 8, 16, 32, 1024, 100000]:
    s = cauchy_sum(f, 0, 1, n)
    print(f"{n:>8} {s:>14.8f} {abs(s - 1/3):>12.2e}")

# 收斂階驗證：誤差 ∝ 1/n
for n in [16, 32, 64]:
    err = abs(cauchy_sum(f, 0, 1, n) - 1/3)
    print(f"n={n}: n*誤差 = {n*err:.6f}")

輸出顯示誤差以 \(O(1/n)\) 的速度衰減（左端點和對光滑函數是一階收斂），且 \(n \cdot \text{誤差}\) 趨於常數 \(1/6\) ——「和的極限」確實存在，Cauchy 的定義在數值上站得住腳。

結案 -- 後果與影響#

• 定積分成為「和的極限」：積分學第一次擁有邏輯定義，幾何面積降為推論。
• FTC 的嚴格證明完成，微積分的兩大支柱（微分、積分）被同一套極限理論焊接起來。
• Cauchy 的和取「左端點」且只對連續函數保證收斂——這個限制成為下一代數學家的案卷：Dirichlet（1829）用病態函數挑戰它，Riemann（1854）把它推廣到不連續函數，Lebesgue（1902）用測度論徹底重寫。
• Cauchy 的極限路線（1821 極限理論 → 1823 定積分）開啟了「分析嚴格化」的百年工程，最終由 Weierstrass 的 ε-δ 語言與 Dedekind 的實數理論完成。
• 教學影響：《Résumé》本是 Cauchy 在巴黎綜合理工學院的講義摘要——嚴格化的第一份成果不是論文而是教材。Cauchy 的學生包括往後數十年的法國分析學派，其講義成為歐洲各地微積分課程的範本。
• 歷史定位：與 Leibniz（1684）、L'Hôpital（1696）時代的「演算法微積分」相比，Cauchy 的 1823 年版本第一次可以回答「為什麼這樣算是合法的」——微積分從技藝變成科學。

關鍵人物與文獻#

• A.-L. Cauchy, Cours d'analyse de l'École royale polytechnique (1821)。
• A.-L. Cauchy, Résumé des leçons données à l'École royale polytechnique sur le calcul infinitésimal, Paris (1823)。
• B. Bolzano, 1810 年代手稿：極限與連續的獨立嚴格化，長期未發表。