一個微積分中最常見的「直覺陷阱」完整解析
我們都學過，如果 $f(x)$ 是奇函數（即 $f(-x) = -f(x)$）， 那麼在有限的對稱區間上：
例如 $f(x) = x$ 是奇函數，$\displaystyle\int_{-3}^{3} x\, dx = 0$，完全正確。 但如果我們把範圍推到無窮大呢？
答案是：不行！這個積分是發散的。 要理解為什麼，我們必須從瑕積分的定義說起。
$\displaystyle\int_{-\infty}^{+\infty} f(x)\, dx$ 的定義是：
$$\int_{-\infty}^{+\infty} f(x)\, dx \;=\; \underbrace{\lim_{a \to \infty} \int_{-a}^{c} f(x)\, dx}_{\text{極限問題 ①（左半段）}} \;+\; \underbrace{\lim_{b \to \infty} \int_{c}^{b} f(x)\, dx}_{\text{極限問題 ②（右半段）}}$$
這裡的 $a$ 和 $b$ 是兩個不同的變數，分別屬於各自的極限問題。
整個積分收斂的條件：兩個極限都必須各自存在且為有限值。
只要任何一個極限不是有限值，整個積分就發散。
極限問題 ① 和極限問題 ② 是各自獨立計算的。 ① 只涉及變數 $a$，② 只涉及變數 $b$，彼此之間沒有任何關係。 它們不能被合併成一個極限問題，也不能透過令 $a = b$ 等變數代換把兩個問題綁在一起。
取 $c = 0$，分成兩個獨立的極限問題：
極限問題 ② 的結果是 $+\infty$，不是有限值。根據定義，到這裡就結束了。
注意：發散的判定到此完成。 不需要討論 $(+\infty) + (-\infty)$ 能不能抵消—— 根本走不到「兩段相加」那一步，因為個別極限問題的結果就已經不是有限值了。
你可能會想：既然 $f(x) = x$ 是奇函數，左右完全對稱， 為什麼不能直接令 $a = b$，用同一個變數 $R$ 寫成 $\displaystyle\lim_{R \to \infty} \int_{-R}^{R} x\, dx = 0$？
極限問題 ① 有自己的變數 $a$，極限問題 ② 有自己的變數 $b$。 它們是各自獨立的問題，不能透過變數代換（如令 $a = b = R$）合併成一個問題。
數學上，每個極限問題各自的結果必須是一個確定的有限值，才算收斂。 如果兩段都收斂到有限值，那兩個有限實數相加，結果當然唯一確定。 但如果某段的結果是 $\pm\infty$（不是有限值），那它就不是一個可以參與運算的實數—— 「兩段加起來」這個運算本身就沒有意義。
如果我們不照定義來，硬要把兩段合在一起寫成 $\displaystyle\int_{-a}^{b} x\, dx$，結果是：
讓 $a, b$ 同時趨近 $\infty$，但用不同的關係：
| $a$ 和 $b$ 的關係 | 積分值 | $a,b \to \infty$ 時 |
|---|---|---|
| $a = b$ | $\dfrac{b^2 - b^2}{2} = 0$ | $\to 0$ |
| $b = 2a$ | $\dfrac{4a^2 - a^2}{2} = \dfrac{3a^2}{2}$ | $\to +\infty$ |
| $a = 2b$ | $\dfrac{b^2 - 4b^2}{2} = -\dfrac{3b^2}{2}$ | $\to -\infty$ |
$a = b$ 得到 $0$，$b = 2a$ 得到 $+\infty$，$a = 2b$ 得到 $-\infty$。 結果隨著 $a, b$ 的關係而改變，答案不唯一。 這就是為什麼定義必須要求兩段各自獨立收斂到有限值。
作為對比，看看收斂的情況。先算出不定積分：
同樣讓 $a, b$ 同時趨近 $\infty$，用不同的關係：
| $a$ 和 $b$ 的關係 | 積分值 | $a,b \to \infty$ 時 |
|---|---|---|
| $a = b$ | $\dfrac{1}{2(1+b^2)} - \dfrac{1}{2(1+b^2)} = 0$ | $\to 0$ |
| $b = 2a$ | $\dfrac{1}{2(1+a^2)} - \dfrac{1}{2(1+4a^2)}$ | $\to 0 - 0 = 0$ |
| $a = 2b$ | $\dfrac{1}{2(1+4b^2)} - \dfrac{1}{2(1+b^2)}$ | $\to 0 - 0 = 0$ |
不管 $a$ 和 $b$ 之間是什麼關係，結果永遠是 $0$。 因為每段極限各自趨近一個有限值（$\frac{1}{2(1+a^2)} \to 0$，$\frac{1}{2(1+b^2)} \to 0$）， 兩個有限值相減，結果唯一確定。
對比重點：$\frac{b^2 - a^2}{2}$ 的結果隨 $a, b$ 的關係而改變，因為每段各自趨近 $\pm\infty$（不是有限值）。 $\frac{1}{2(1+a^2)} - \frac{1}{2(1+b^2)}$ 的結果永遠是 $0$，因為每段各自趨近 $0$（有限值）。 每段各自收斂到有限值，就能保證最終結果唯一確定。
大家也可以對照 L'Hôpital 法則中處理 $\infty - \infty$ 不定式的情形，思考看看兩者的差異。
$x \to \infty$ 時形式上是 $\infty - \infty$，但這裡只有一個極限問題， 只涉及一個變數 $x$。我們可以在取極限之前先用有理化改寫：
通分後用 L'Hôpital 法則：
只有一個極限問題
只涉及一個變數 $x$
$\infty - \infty$ 出現在取極限之前
→ 可以用代數技巧化簡後再取極限
→ 不定式，要繼續算
兩個獨立的極限問題
各自使用不同的變數 $a$, $b$
$\pm\infty$ 是各自取完極限之後的結果
→ 兩個問題不能合併，無法化簡
→ 一段發散即整體發散
如果我們不照定義來，硬是把兩段合在一起寫成 $\displaystyle\int_{-a}^{b} x\, dx$， 然後讓 $a, b$ 同時越來越大，結果會怎樣？自己調整看看：
動手試試：先設 $a = b = 10$（結果 $= 0$）。 然後把 $b$ 拉到 $20$，$a$ 維持 $10$——結果瞬間跳到 $150$。 同一個積分，$a$ 和 $b$ 的關係不同，結果就完全不同。 這就是為什麼定義不允許把兩個獨立的極限合併在一起。
前提只有一個：兩個極限問題各自的結果都是有限值。
| 被積函數 | 奇函數？ | 各段極限結果 | 能相加？ | 積分結果 |
|---|---|---|---|---|
| $x$ | ✅ 是 | $+\infty$ 和 $-\infty$ | ❌ 不能（不是有限值） | 發散 |
| $x^3$ | ✅ 是 | $+\infty$ 和 $-\infty$ | ❌ 不能（不是有限值） | 發散 |
| $\dfrac{x}{(1+x^2)^2}$ | ✅ 是 | $+\frac{1}{2}$ 和 $-\frac{1}{2}$ | ✅ 能（都是有限值） | $0$ |
| $\dfrac{\sin x}{1+x^2}$ | ✅ 是 | 有限值 | ✅ 能（都是有限值） | $0$ |
① 瑕積分 = 兩個獨立的極限問題
對奇函數做瑕積分時，我們其實是將它拆解為兩個獨立的極限問題。
② 兩個極限的變數不同，不能合併
由於這兩個極限問題各自使用不同的變數 $a$ 和 $b$， 它們是完全獨立的，不能透過變數代換合併成一個極限。
③ 收斂 = 每段各自趨近有限值
每個極限問題各自的結果必須是一個確定的有限值，才算收斂。 兩個有限值相加，結果唯一確定； 但 $\pm\infty$ 不是有限值，不能參與加法運算。
④ 因此：一段發散即整體發散
正因如此，課本在定義瑕積分時才會直接規定： 只要其中一段的極限不是有限值，整個積分就判定為發散。
你可能會覺得：$f(x) = x$ 是奇函數，對任何有限的 $R$ 都有 $\displaystyle\int_{-R}^{R} x\, dx = 0$， 不管 $R$ 多大，對稱性永遠成立。這個觀察完全正確。
數學上確實有一個概念對應這個想法，叫做 Cauchy 主值（Cauchy Principal Value）， 記作 $\text{P.V.}$，它的定義就是強制用同一個變數 $R$ 取極限：
Cauchy 主值是 $0$，與對稱直覺吻合。但它和課本定義的「瑕積分收斂」是兩件不同的事—— Cauchy 主值把兩段用同一個變數 $R$ 綁在一起（只有一個極限問題）， 而課本的瑕積分定義要求兩段作為各自獨立的極限問題分別收斂。
Cauchy 主值不是隨便發明的概念，它在複分析和信號處理（如 Hilbert 變換）等領域中有實際應用。 只是在目前學的微積分課裡，課本採用的是「每段各自收斂」這個更嚴格的定義。
對奇函數做瑕積分時，我們其實是將它拆解為兩個獨立的極限問題。 由於這兩個極限各自使用不同的變數，它們是完全獨立的，不能透過變數代換合併。 每個極限問題各自的結果必須是確定的有限值，兩個有限值相加才有唯一確定的結果。 正因如此，課本才規定：只要其中一段發散，整個積分就判定為發散。