簡介：掌握積分的「捷徑」
歡迎來到約化公式 (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. 應用： 反覆使用公式，將高次方積分化簡為一個可輕鬆求解的「基本情況」。
繼續練習！約化公式看起來可能很嚇人，因為方程式很長，但步驟總是千篇一律。你只是在為得出答案搭建階梯！