歡迎來到級數與極限 (FP2.6)！
你好！本章將帶你探索一些你在 A-Level 純數學中可能接觸過的概念——例如數列與積分——並將它們推向理論的極限。沒錯，是字面意義上的極限！
為什麼這部分很重要？級數展開（例如麥克勞林級數）讓我們能用簡單的多項式來近似複雜的函數。這對從計算機程式設計到高等物理學的各個領域都至關重要。同時，理解極限能讓我們分析函數的長期行為，並判斷某些級數和積分是否真的具有有限的值。
如果一開始覺得這些概念很抽象，別擔心。我們將逐步拆解麥克勞林級數，探討一些強大的極限規則，並將這些想法應用於解決棘手的積分問題。讓我們開始吧！
1. 麥克勞林級數：將函數轉化為多項式
什麼是麥克勞林級數？
麥克勞林級數（Maclaurin series）是一種特殊的冪級數，它將函數 \(f(x)\) 表示為以 \(x=0\) 為中心的無窮多項式。
類比： 想像你站在 \(f(x)\) 圖象上的 \(x=0\) 位置。麥克勞林級數就像是一張完美的函數地圖，僅僅依靠在該點採集到的資訊（函數值及其所有導數）來構建。
麥克勞林級數的通用公式為：
\[ f(x) = f(0) + xf'(0) + \frac{x^2}{2!}f''(0) + \frac{x^3}{3!}f'''(0) + \dots + \frac{x^n}{n!}f^{(n)}(0) + \dots \]
你必須掌握（並使用）的關鍵標準展開式
課程大綱要求你熟練運用常見函數的標準麥克勞林級數展開式。這些通常會列在你的公式小冊子中，但背下來會讓解題如虎添翼！
- 指數函數： \[ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots \]
- 自然對數： \[ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots \]
- 正弦函數：（只有奇數次方！） \[ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots \]
- 餘弦函數：（只有偶數次方！） \[ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots \]
- 二項式展開：（適用於有理數冪 \(n\)） \[ (1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \dots \]
有效範圍（收斂半徑）
級數僅在特定的 \(x\) 值範圍內等於其所表示的函數，這就是有效範圍。
對於 $e^x$、$\sin x$ 和 $\cos x$，級數對所有實數 $x$ 均收斂（即 \(\vert x \vert < \infty\)）。
對於 $\ln(1+x)$ 和 $(1+x)^n$，級數通常僅在 \(\vert x \vert < 1\) 時收斂。
如何求相關函數的有效範圍
如果你將某個表達式代入標準級數中，有效性條件必須同樣適用於該代入項。
範例： 求 \(\ln(1-2x)\) 展開式的有效範圍。
標準級數為 \(\ln(1+u)\)，有效範圍為 \(\vert u \vert < 1\)。
在此，代入項為 \(u = -2x\)。
因此，我們需要 \(\vert -2x \vert < 1\)，簡化後為 \(2\vert x \vert < 1\)，即 \(\vert x \vert < \frac{1}{2}\)。
快速複習：麥克勞林級數
- 它們是以 \(x=0\) 為中心的多項式。
- 善用公式小冊子中提供的標準展開式。
- 永遠檢查有效範圍，特別是在對 \(x\) 進行函數代換時。
2. 利用級數展開求極限
麥克勞林級數最強大的應用之一就是求極限，特別是當 \(x \to 0\) 時形式為 \(\frac{0}{0}\) 或 \(\frac{\infty}{\infty}\) 的不定型。
如果你嘗試通過代入 \(x=0\) 來計算 \(\lim_{x\to 0} \frac{\sin x}{x}\)，你會得到 \(\frac{0}{0}\)。我們可以使用級數在求極限前先簡化表達式。
求極限的步驟方法
- 將極限表達式中的函數替換為它們的麥克勞林級數展開式。保留項數直到分母的項被消去，或直到分子出現非零常數項為止。
- 通過消去 \(x\) 的公因數來簡化分子和分母。
- 將 \(x=0\) 代入簡化後的表達式。
範例：求解一個棘手的極限
求極限： \(\lim_{x\to 0} \frac{x^2 e^x}{\cos(2x) - 1}\)
步驟 1：代入麥克勞林級數
使用標準展開式，將 \(2x\) 代入餘弦級數：
\[ e^x = 1 + x + \frac{x^2}{2} + \dots \]
\[ \cos(2x) = 1 - \frac{(2x)^2}{2!} + \frac{(2x)^4}{4!} - \dots = 1 - 2x^2 + \frac{2}{3}x^4 - \dots \]
原式變為：
\[ \lim_{x\to 0} \frac{x^2 \left( 1 + x + \frac{x^2}{2} + \dots \right)}{\left( 1 - 2x^2 + \frac{2}{3}x^4 - \dots \right) - 1} \]
步驟 2：簡化
分子： \(x^2 + x^3 + \frac{x^4}{2} + \dots\)
分母： \(-2x^2 + \frac{2}{3}x^4 - \dots\)
我們可以從每一項中消去 \(x^2\)：
\[ \lim_{x\to 0} \frac{1 + x + \frac{x^2}{2} + \dots}{-2 + \frac{2}{3}x^2 - \dots} \]
步驟 3：求極限值
代入 \(x=0\)：
\[ \frac{1 + 0 + 0 + \dots}{-2 + 0 - \dots} = -\frac{1}{2} \]
重點總結： 級數展開為處理不定型極限提供了一種穩健的代數工具，通常可以避免使用羅必達法則（L'Hôpital's rule）。確保展開的階數足夠高，以便在消去 \(x\) 後能清晰區分分子和分母。
3. 無窮大與零的重要極限
課程大綱要求了解當 \(x\) 趨於無窮大或零時，不同類型函數之間相對「強度」的兩個關鍵極限。
向無窮大競賽：指數函數的主導地位
當 \(x \to \infty\) 時，指數函數 \(e^x\) 的增長速度遠超任何 \(k > 0\) 的多項式函數 \(x^k\)。
重要的結果是： \[ \lim_{x \to \infty} x^k e^{-x} = 0 \quad \text{對於任何 } k > 0 \]
這意味著： 當 \(x\) 變得極大時，分母 \(e^x\) 完全壓倒了分子 \(x^k\)，使整個分式趨於零。多項式項 \(x^k\) 即使是 \(x^{100}\)，在指數函數 \(e^x\) 面前依然會輸掉這場向無窮大奔跑的比賽！
向零靠近：對數函數的弱勢
當 \(x \to 0\) 時，對數函數 \(\ln x\) 趨於 \(-\infty\)，但相對於任何 \(x\) 的冪，它的變化非常緩慢。
重要的結果是： \[ \lim_{x \to 0} x^k \ln x = 0 \quad \text{對於任何 } k > 0 \]
為什麼有效： 當 \(x\) 趨於零（從正方向）時，項 \(x^k\) 迅速趨於零，這個強大的多項式項會將變化緩慢的對數函數「拖」向零。
記憶口訣： 在無窮大處，指數函數 (E) 主宰一切；在零點附近，對數函數 (L) 最弱。(E>P>L)
4. 反常積分 (Improper Integrals)
什麼使積分變得「反常」？
如果出現以下情況，該積分即為反常積分：
1. 積分上限或下限（或兩者）為無窮大（\(\infty\) 或 \(-\infty\)）。(第一類)
2. 被積函數在積分區間內存在無限不連續點。(第二類)
操作程序：使用極限來定義積分
我們不能直接將 \(\infty\) 代入函數。我們必須用一個變數（通常是 \(t\)）來取代反常部分，然後取該變數趨近於問題點的極限。
步驟 1：用臨時變數 \(t\) 取代問題限值。
範例（第一類）： 對於 \(\int_{0}^{\infty} f(x) \, dx\)，寫作 \(\lim_{t \to \infty} \int_{0}^{t} f(x) \, dx\)。
範例（第二類）： 對於 \(\int_{0}^{1} \frac{1}{\sqrt{x}} \, dx\)（在 \(x=0\) 處不連續），寫作 \(\lim_{t \to 0^+} \int_{t}^{1} \frac{1}{\sqrt{x}} \, dx\)。
步驟 2：計算 \(t\) 的定積分。
步驟 3：當 \(t\) 趨於問題點時計算極限。
收斂與發散
如果步驟 3 中的極限存在且為有限數，則反常積分收斂。如果極限為 \(\infty\)、\(-\infty\) 或不存在，則積分發散。
範例：第一類反常積分（指數函數）
計算 \(\int_{1}^{\infty} x e^{-x} \, dx\)
步驟 1 & 2：建立極限並積分
我們使用分部積分法（此處省略過程，但這是必須的）：
\[ \int x e^{-x} \, dx = -x e^{-x} - e^{-x} + C \]
現在使用 \(t\) 應用極限：
\[ \lim_{t \to \infty} \int_{1}^{t} x e^{-x} \, dx = \lim_{t \to \infty} \left[ -x e^{-x} - e^{-x} \right]_1^t \]
\[ = \lim_{t \to \infty} \left( \left[ -t e^{-t} - e^{-t} \right] - \left[ -1 e^{-1} - e^{-1} \right] \right) \]
步驟 3：計算極限
利用第 3 節提到的主導地位結果： \(\lim_{t \to \infty} t e^{-t} = 0\)。
此外， \(\lim_{t \to \infty} e^{-t} = \lim_{t \to \infty} \frac{1}{e^t} = 0\)。
極限簡化為：
\[ = (0 - 0) - \left( -\frac{1}{e} - \frac{1}{e} \right) \]
\[ = - \left( -\frac{2}{e} \right) = \frac{2}{e} \]
由於結果是有限數，因此該積分收斂於 \(\frac{2}{e}\)。
範例：第二類反常積分（不連續點）
計算 \(\int_{0}^{1} \frac{1}{\sqrt{x}} \, dx\)
該函數在 \(x=0\) 處無定義，因此我們令 \(t\) 從正方向趨近於 \(0\) (\(0^+\))。
步驟 1 & 2：建立極限並積分
由於 \(\frac{1}{\sqrt{x}} = x^{-1/2}\)，其原函數為 \(2x^{1/2}\) 或 \(2\sqrt{x}\)。
\[ \lim_{t \to 0^+} \int_{t}^{1} x^{-1/2} \, dx = \lim_{t \to 0^+} \left[ 2\sqrt{x} \right]_t^1 \]
\[ = \lim_{t \to 0^+} \left( 2\sqrt{1} - 2\sqrt{t} \right) \]
步驟 3：計算極限
當 \(t \to 0^+\) 時， \(2\sqrt{t} \to 0\)。
\[ = 2 - 0 = 2 \]
該積分收斂於 2。
你知道嗎？ 即使函數 \(\frac{1}{\sqrt{x}}\) 在 \(x=0\) 處向無窮大飆升，曲線下的面積仍然是有限的！這是數學收斂性中一個迷人的結果。
重點總結：反常積分
- 識別問題限值或不連續點。
- 用變數 \(t\) 取代它。
- 正常積分，然後應用 \(\lim_{t \to \dots}\)。
- 當計算 \(t \to \infty\) 的極限時，運用主導地位規則（第 3 節）。
你現在已經涵蓋了級數與極限 (FP2.6) 的精華。記住，本章非常強調操作程序。練習正確應用麥克勞林展開式，並在處理反常積分時始終清晰地寫出取極限的過程！