黎曼與微積分基本定理:積分的靈魂
威威老師 | 微積分系列
一句話總結
微積分基本定理說的是:微分和積分是互逆運算。但要真正理解這句話,你得先認識黎曼——那個把積分從「模糊的直覺」變成「嚴格的數學」的人。
故事開場:一個 30 歲天才的短暫一生
格奧爾格·弗里德里希·伯恩哈德·黎曼(Georg Friedrich Bernhard Riemann),1826 年出生在德國漢諾威的一個小村莊。他是牧師的兒子,從小體弱多病,但數學天賦驚人。
1854 年,28 歲的黎曼發表了一篇就職演講「論作為幾何學基礎的假設」,創立了黎曼幾何。這篇論文後來成為愛因斯坦廣義相對論的數學基礎。
但在此之前,黎曼已經在另一個領域留下了印記——積分的嚴格定義。
1854 年,他同時提交了另一篇論文,定義了現在稱為「黎曼積分」的概念。這篇論文在他生前沒有發表,但改變了整個分析學。
黎曼只活了 39 歲,死於肺結核。但他留下的數學遺產,至今仍在支撐著物理、工程、和資料科學。
從「面積」到「積分」:一個直覺的演化
古希臘的想法
阿基米德(西元前 287-212 年)用「窮盡法」計算拋物線下的面積。他的方法是:把面積切成無限多個三角形,然後加總。
這個想法本質上就是積分,但古希臘人沒有「極限」的概念,所以他們無法把這個方法變成一套系統。
牛頓和萊布尼茲
17 世紀,牛頓和萊布尼茲各自獨立發明了微積分。他們知道微分和積分是互逆的(微積分基本定理),但對「積分到底是什麼」的定義並不嚴格。
牛頓用「流數」(fluxions)的概念,萊布尼茲用「無窮小」(infinitesimals)。兩者都有邏輯漏洞,被哲學家貝克萊主教嘲笑為「已死量的鬼魂」。
黎曼的貢獻
黎曼把積分建立在「極限」的嚴格基礎上。他的定義是:
把區間 $[a,b]$ 切成 $n$ 個小段,在每一段中取一個樣本點,算出小矩形的面積,然後令 $n \to \infty$。
如果這個極限存在,就叫做黎曼積分。
黎曼積分的定義
給定函數 $f(x)$ 在 $[a,b]$ 上。
Step 1:分割
把 $[a,b]$ 切成 $n$ 個小區間:
$a = x_0 < x_1 < x_2 < \cdots < x_n = b$
每個小區間的長度:$\Delta x_i = x_i - x_{i-1}$
Step 2:取樣
在每個小區間 $[x_{i-1}, x_i]$ 中任取一點 $x_i^*$。
Step 3:算黎曼和
$S_n = \sum_{i=1}^{n} f(x_i^*) \cdot \Delta x_i$
Step 4:取極限
$\int_a^b f(x) , dx = \lim_{n \to \infty} S_n$
如果這個極限存在(不管怎麼分割、怎麼取樣,極限都相同),就說 $f$ 在 $[a,b]$ 上黎曼可積。
微積分基本定理
第一部分(FTC1)
如果 $F(x) = \int_a^x f(t) , dt$,則 $F'(x) = f(x)$。
白話: 積分函數的導數就是被積函數。
第二部分(FTC2)
如果 $f$ 在 $[a,b]$ 上連續,且 $F$ 是 $f$ 的任意反導數,則:
$\int_a^b f(x) , dx = F(b) - F(a)$
白話: 要算定積分,找一個反導數,然後代入上下限相減。
為什麼 FTC 如此重要?
沒有 FTC,每次算積分都要用黎曼和的定義——算無限多個小矩形的面積再取極限。這在實際上幾乎不可能做到。
有了 FTC,你只需要:
- 背一些基本的反導數公式
- 套用 FTC2
例如:$\int_0^3 x^2 , dx$
- 反導數:$F(x) = \frac{x^3}{3}$
- $F(3) - F(0) = 9 - 0 = 9$
一行搞定。如果用黎曼和的定義,你要算:
$\lim_{n \to \infty} \sum_{i=1}^{n} \left(\frac{3i}{n}\right)^2 \cdot \frac{3}{n} = \lim_{n \to \infty} \frac{27}{n^3} \sum_{i=1}^{n} i^2$
然後還要知道 $\sum i^2 = \frac{n(n+1)(2n+1)}{6}$,代入後取極限......。
FTC 省了你至少 10 個步驟。
實際範例:用 FTC 解決問題
例題 1:求面積
求 $y = x^2$ 和 $y = x$ 之間的面積。
Step 1:找交點
$x^2 = x \Rightarrow x(x-1) = 0 \Rightarrow x = 0, 1$
Step 2:判斷誰在上面
在 $[0,1]$ 上,$x \geq x^2$(你可以代入 $x = 0.5$ 驗證)。
Step 3:積分
$A = \int_0^1 (x - x^2) , dx = \left[\frac{x^2}{2} - \frac{x^3}{3}\right]_0^1 = \frac{1}{2} - \frac{1}{3} = \frac{1}{6}$
例題 2:物理應用
一輛車的速度是 $v(t) = 3t^2 + 2t$(公尺/秒)。從 $t=0$ 到 $t=4$ 秒走了多遠?
$s = \int_0^4 (3t^2 + 2t) , dt = \left[t^3 + t^2\right]_0^4 = 64 + 16 = 80 \text{ 公尺}$
例題 3:經濟學應用
邊際成本是 $MC(q) = 2q + 5$,生產 10 單位的總成本是多少(假設固定成本為 0)?
$TC = \int_0^{10} (2q + 5) , dq = \left[q^2 + 5q\right]_0^{10} = 100 + 50 = 150$
黎曼積分的限制
黎曼積分雖然強大,但有它的極限。有些函數黎曼積分不了。
狄利克雷函數
$D(x) = \begin{cases} 1 & \text{if } x \in \mathbb{Q} \ 0 & \text{if } x \notin \mathbb{Q} \end{cases}$
這個函數在有理數取 1,無理數取 0。它在任何區間上都不可黎曼積分,因為你無法把面積切成小矩形——每個小矩形裡同時有有理數和無理數。
為了解決這個問題,法國數學家勒貝格(Henri Lebesgue)在 1902 年發明了勒貝格積分。勒貝格積分比黎曼積分更強大,是現代分析學的基礎。
但對高中生和大一學生來說,黎曼積分已經綽綽有餘。
常見錯誤
搞混 FTC1 和 FTC2。 FTC1 說的是「積分函數的導數」,FTC2 說的是「用反導數算定積分」。考試時要看清楚題目問的是哪一個。
忘記加常數 $C$。 不定積分要加 $C$,因為反導數有無限多個。定積分不需要加 $C$,因為 $C$ 會在 $F(b) - F(a)$ 中消掉。
上下限代錯。 $\int_a^b f(x) , dx = F(b) - F(a)$,不是 $F(a) - F(b)$。口訣:「上減下」。
忘記換元時換上下限。 如果你用代換法($u$-substitution),記得把 $x$ 的上下限換成 $u$ 的上下限。
以為所有連續函數都有初等反導數。 例如 $\int e^{-x^2} dx$ 沒有初等反導數。這時候只能用數值方法或特殊函數(誤差函數 erf)。
物理中的 FTC
微積分基本定理在物理中無處不在:
- 位置 → 速度 → 加速度:微分(求導)
- 加速度 → 速度 → 位置:積分(反導數)
$v(t) = \int a(t) , dt, \quad s(t) = \int v(t) , dt$
FTC 告訴你:如果你知道加速度函數,積分一次得速度,積分兩次得位置。這就是為什麼微積分是物理學的語言。
功和能量
力 $F(x)$ 沿路徑做的功:
$W = \int_{x_1}^{x_2} F(x) , dx$
如果力是保守力(如重力),則存在位能函數 $U(x)$ 使得 $F(x) = -U'(x)$。由 FTC:
$W = U(x_1) - U(x_2) = -\Delta U$
這就是「功能定理」的數學基礎。
學習建議
先理解定義,再背公式。 黎曼和的定義雖然繁瑣,但它告訴你積分「是什麼」。FTC 告訴你積分「怎麼算」。兩者缺一不可。
多畫圖。 積分就是面積。每次算積分之前,先畫出函數圖形,標出積分區域。視覺化能幫你避免很多錯誤。
練習反導數。 FTC2 的關鍵步驟是找反導數。背熟基本公式(冪函數、三角函數、指數函數),再加上代換法和分部積分法,你就能處理 90% 的題目。
把微分和積分對照著學。 微分是「切」,積分是「合」。它們是同一枚硬幣的兩面。
延伸閱讀
- 勒貝格積分:黎曼積分的升級版
- 史托克斯定理:FTC 在高維空間的推廣
- 微積分的歷史:牛頓 vs. 萊布尼茲的優先權之爭
威威老師說:黎曼用 39 年的生命,給了我們理解「無限」的工具。每次你算積分的時候,都在跟這位天才對話。