簡介：掌握積分的「捷徑」

歡迎來到約化公式 (Reduction Formulae) 的世界！如果你曾經看著像 \(\int \sin^{10} x \, dx\) 這樣的積分，心想：「難道除了做十次分部積分法（Integration by Parts）之外，就沒有更好的辦法了嗎？」那麼你來對地方了。

在 H3 數學中，我們會在 H2 微積分的基礎上進一步延伸。約化公式本質上就是一條數學階梯。它讓我們能將一個高次方（如 \(n\)）的複雜積分，表示成一個次方較低（如 \(n-1\) 或 \(n-2\)）的簡單版本。一旦建立了這種關係，我們就能順著階梯「逐級而下」，直到抵達一個可以直接得出答案的簡單積分！

究竟什麼是約化公式？

約化公式是一個方程式，它將包含參數（通常是一個整數 \(n\)）的積分，連結到一個參數值較小的同類積分。

我們通常將這些積分記作 \(I_n\)。例如：
\(I_n = \int x^n e^x \, dx\)
此積分的約化公式看起來可能是 \(I_n = x^n e^x - n I_{n-1}\)。這告訴我們，如果想求 \(I_5\)，只需先求出 \(I_4\)，以此類推。

你知道嗎？約化公式就像你在電腦科學中可能見過的「遞歸函數」（Recursive Functions）。它們通過將一個大問題拆解成該問題的一個稍小的版本來進行求解。

秘訣：分部積分法 (Integration by Parts, IBP)

要推導幾乎所有的約化公式，我們都會用到 H2 的得力工具：分部積分法。
快速溫習一下公式：
\( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \)

如果起初覺得棘手，不必擔心！目標始終是選取 \(u\) 和 \(dv\)，使得第二個積分 (\( \int v \frac{du}{dx} \, dx \)) 看起來像原來的積分，只是次方降低了。

推導公式的步驟指南

1. 標記你的積分： 將原表達式稱為 \(I_n\)。
2. 拆分項： 如果有 \(x^n\)，你可以保留它作為 \(u\)。如果你有 \(\sin^n x\)，可以將其拆分為 \(\sin^{n-1} x \cdot \sin x\)。
3. 運用 IBP： 對選定的 \(u\) 求導，並對選定的 \(dv\) 進行積分。
4. 重組： 將所有看起來像原積分的項移到方程式的一側。
5. 識別 \(I_{n-k}\)： 用標記（如 \(I_{n-1}\) 或 \(I_{n-2}\)）替換掉那個簡化後的新積分。

快速回顧框：
- 目標： 將 \(I_n\) 與 \(I_{n-1}\) 或 \(I_{n-2}\) 連接起來。
- 主要工具： 分部積分法。
- 關鍵動作： 代數重組。

例題 1：代數冪次

讓我們求 \(I_n = \int x^n e^x \, dx\) 的約化公式。

第 1 步：選擇 u 和 dv。
令 \(u = x^n\) 且 \(\frac{dv}{dx} = e^x\)。
那麼 \(\frac{du}{dx} = nx^{n-1}\) 且 \(v = e^x\)。

第 2 步：運用 IBP。
\(I_n = x^n e^x - \int (nx^{n-1}) e^x \, dx\)

第 3 步：簡化並建立聯繫。
我們可以將常數 \(n\) 提到積分符號外：
\(I_n = x^n e^x - n \int x^{n-1} e^x \, dx\)
注意 \(\int x^{n-1} e^x \, dx\) 正是我們原來的 \(I_n\)，只是把 \(n\) 換成了 \(n-1\)！
所以，\(I_n = x^n e^x - n I_{n-1}\)。

登登！你剛剛推導出了你的第一個約化公式。

例題 2：三角函數的技巧

有時在 IBP 之後，你需要用到三角恆等式。讓我們看看 \(I_n = \int \sin^n x \, dx\)。

技巧： 將 \(\sin^n x\) 拆分為 \(\sin^{n-1} x \cdot \sin x\)。
令 \(u = \sin^{n-1} x\) 且 \(\frac{dv}{dx} = \sin x\)。
對 \(u\) 求導：\(\frac{du}{dx} = (n-1)\sin^{n-2} x \cos x\)。
對 \(dv\) 積分：\(v = -\cos x\)。

運用 IBP：
\(I_n = -\sin^{n-1} x \cos x - \int (-\cos x)(n-1)\sin^{n-2} x \cos x \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x \cos^2 x \, dx\)

恆等式： 使用 \(\cos^2 x = 1 - \sin^2 x\)。
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x (1 - \sin^2 x) \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) [\int \sin^{n-2} x \, dx - \int \sin^n x \, dx]\)
\(I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2} - (n-1)I_n\)

最終重組：
將 \(-(n-1)I_n\) 移到左側：
\(I_n + (n-1)I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(n I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(I_n = \frac{1}{n} [-\sin^{n-1} x \cos x + (n-1)I_{n-2}]\)

重點提示： 對於像 \(\sin^n x\) 或 \(\cos^n x\) 這樣的三角函數，你通常會一次下降兩個次方（即 \(I_{n-2}\)）而不是一個。

處理定積分

在考試題目中，經常會要求你計算帶有上下限的定積分。過程是一樣的，但你必須將 \(uv\) 部分代入上下限進行計算。

「基本情況」（Base Case）： 要找出特定值（如 \(I_4\)），你需要不斷應用公式直到達到 \(I_0\) 或 \(I_1\)。
- \(I_0\) 通常非常容易求。如果 \(I_n = \int_0^{\pi/2} \sin^n x \, dx\)，那麼 \(I_0 = \int_0^{\pi/2} 1 \, dx = \frac{\pi}{2}\)。
- \(I_1\) 只是該函數的標準積分。

應避免的常見錯誤

1. 忘記「n」係數： 當你進行分部積分時，來自冪次的 \(n\) 或 \(n-1\) 經常會變成乘數，別讓它消失了！
2. 正負號錯誤： 特別是三角積分（如 \(\int \sin x = -\cos x\)），很容易遺漏負號。使用括號來保持計算清晰。
3. 下標標記錯誤： 確保你的 \(I_{n-1}\) 真實對應於 \(I_n\) 的定義。如果積分限或函數本身變了，它可能不再是同一個數列。

總結與重點回顧

1. 定義： 約化公式將 \(I_n\) 表示為 \(I_{n-1}\)、\(I_{n-2}\) 等項。
2. 技術： 分部積分法是你的主要武器。
3. 策略： 對於代數項（如 \(x^n\)），對 \(x^n\) 求導。對於三角項（如 \(\sin^n x\)），拆出一個因子來進行積分。
4. 應用： 反覆使用公式，將高次方積分化簡為一個可輕鬆求解的「基本情況」。

繼續練習！約化公式看起來可能很嚇人，因為方程式很長，但步驟總是千篇一律。你只是在為得出答案搭建階梯！

歡迎來到瑕積分（Improper Integrals）的世界！

你好！你在 H2 數學中已經掌握了標準積分，通常我們計算的是兩點之間曲線下的面積。但如果面積一直延伸到無窮遠處會怎樣？或者，如果函數本身在中間某個點突然「衝向」無窮大又該怎麼辦呢？

在這一章，我們將學習如何處理這些「不守規矩」的積分。別擔心，如果起初覺得棘手，只要你看透了其中的規律，它其實就是你在 H2 學過的積分，只是在最後加上一個「極限（limit）」的步驟。讓我們開始吧！

1. 什麼是「瑕積分」？

「正常」的積分（即你在 H2 做過的那些）其區間是有限的，且函數保持「良好」（不會趨向無窮大）。瑕積分是指具備以下至少一種情況的積分：

  1. 無窮極限：積分區間是無窮的（例如：從 1 到 \(\infty\)）。
  2. 無窮不連續點：被積函數在積分範圍內或邊界上趨向 \(\infty\) 或 \(-\infty\)。

類比：你可以把正常積分想像成粉刷一面特定大小的牆。而瑕積分就像是要粉刷一條無限長的走廊，或是一面無限高的牆。令人驚訝的是，有時你只需要有限的油漆就能完成它！

2. 第一類：無限積分區間

這類積分很容易辨認，因為你會在積分符號的上下限看到 \(\infty\) 的符號。

為了計算它們，我們不能直接將無窮大「代入」（因為無窮大並不是一個實數！）。相反地，我們會用一個變數（例如 \(b\)）來替換無窮大，然後利用極限來觀察當 \(b\) 變得越來越大時會發生什麼事。

如何計算：

如果我們有 \(\int_{a}^{\infty} f(x) dx\)，我們將其寫作：
\( \lim_{b \to \infty} \int_{a}^{b} f(x) dx \)

逐步範例：計算 \(\int_{1}^{\infty} \frac{1}{x^2} dx\)

  1. 替換： \(\lim_{b \to \infty} \int_{1}^{b} x^{-2} dx\)
  2. 積分： \(\lim_{b \to \infty} [-\frac{1}{x}]_{1}^{b}\)
  3. 代入： \(\lim_{b \to \infty} (-\frac{1}{b} - (- \frac{1}{1})) = \lim_{b \to \infty} (1 - \frac{1}{b})\)
  4. 應用極限： 當 \(b\) 趨向 \(\infty\) 時，\(\frac{1}{b}\) 趨向 \(0\)。因此，答案是 \(1 - 0 = \mathbf{1}\)。

你知道嗎？儘管面積在水平方向上無限延伸，但總面積卻剛好是 1 個單位！我們稱這種積分為收斂（Convergent）積分。

關鍵重點：

如果極限的結果是一個有限的數，該積分就是收斂的。如果極限結果是 \(\infty\) 或者極限不存在，該積分就是發散（Divergent）的。

3. 第二類：無窮不連續點

這類積分比較「狡猾」，因為積分上下限看起來像正常的數字，但函數在某個點會「爆掉」。這通常發生在分母為零時。

範例： \(\int_{0}^{1} \frac{1}{\sqrt{x}} dx\)。在 \(x = 0\) 時，函數 \(\frac{1}{\sqrt{x}}\) 是無定義的（除以零）。

如何計算：

我們用一個變數（例如 \(t\)）替換這個「問題點」，並從安全的一側接近它。

\( \lim_{t \to 0^+} \int_{t}^{1} x^{-1/2} dx \)

快速運算：
\(= \lim_{t \to 0^+} [2\sqrt{x}]_{t}^{1}\)
\(= \lim_{t \to 0^+} (2\sqrt{1} - 2\sqrt{t})\)
\(= 2 - 0 = \mathbf{2}\)。 (這個積分是收斂的！)

記憶小撇步：「安全第一」原則

如果你在積分中看到某個數字會導致分母為零，請停下來！千萬不要直接積分。將其視為接近該「危險區」的極限問題來處理。

4. 收斂與發散

這是 H3 數學的重要部分。你不僅僅是在計算數值，更是在判定該數值是否存在。

  • 收斂：面積是有限的。極限存在且為實數。
  • 發散：面積是無限的。極限是 \(\infty\)、\(-\infty\)，或呈現震盪狀態。

快速複習：p-檢驗法（p-test）（對選擇題或快速檢查非常有用！）
對於 \(\int_{1}^{\infty} \frac{1}{x^p} dx\)：
- 當 \(p > 1\) 時，它收斂
- 當 \(p \leq 1\) 時，它發散

5. 避免常見錯誤

「盲目積分」陷阱：
考慮 \(\int_{-1}^{1} \frac{1}{x^2} dx\)。
如果你盲目地積分，你會得到 \([-\frac{1}{x}]_{-1}^{1} = -1 - (1) = -2\)。
等等！ \(\frac{1}{x^2}\) 永遠是正值，所以面積不可能為負。錯誤在於忽略了 \(x = 0\) 處的不連續點。你必須將其拆分為兩個積分：\(\int_{-1}^{0} \dots + \int_{0}^{1} \dots\)，並分別檢查這兩項。只要其中一項發散，整個積分就發散！

極限符號混淆：
在應用極限前，請務必在每一步步驟都寫上極限符號（\(\lim_{b \to \infty}\)）。這能確保你的解題過程在數學邏輯上對考官而言是嚴謹的。

6. 總結與最後清單

在完成題目之前，請自我檢視：

  • 積分上下限是否包含 \(\infty\)？（第一類）
  • 函數在區間內某處是否會「爆掉」？（第二類）
  • 我是否已用極限來替換問題點？
  • 最終的極限結果是一個有限的數（收斂）還是其他情況（發散）？

關鍵重點：瑕積分其實就是加上了極限操作的普通積分，用來安全處理「無窮大」。只要掌握了極限符號的運用，你就完全掌握這一章了！