哈囉，未來的數學家！歡迎來到級數（Series）這一章
嘿！歡迎來到 Further Pure Mathematics 中最強大且優雅的章節之一：級數（Series）。如果對於「將無窮多個數字相加」或者「將複雜函數簡化為多項式」感到陌生，請不必擔心——我們將會一步一步為你拆解其中的奧秘。
你將會學到什麼？ 你將學會如何運用微積分（微分）來建立無窮級數（稱為麥克勞林級數，Maclaurin Series），用以精確模擬 \(e^x\) 或 \(\sin x\) 等複雜函數。你還將學會強大的技巧，例如差分法（Method of Differences），來計算那些看似無法處理的複雜級數的確切總和。
為什麼這很重要？ 級數是現代計算的骨幹。當你的計算機算出 \(\sin(10^\circ)\) 時，它並不是在查表，而是在使用由級數導出的多項式近似值！這些方法讓我們能解決原本無法解開的方程，在物理學和工程學中更是不可或缺的工具。
第 1 節：麥克勞林級數與泰勒級數——近似的力量
4.1.1 冪級數（Power Series）的概念
想像一個複雜且彎曲的函數，例如 \(f(x) = e^x\)。這個函數在代數運算上很難處理。但像 \(P(x) = 1 + x + \frac{x^2}{2}\) 這樣的簡單多項式就容易多了。麥克勞林級數的目標，就是建立一個在特定點附近盡可能貼近原函數的多項式。
我們如何讓它貼合？ 我們要在該點匹配它們的特性：函數值、斜率（一階導數）、凹性（二階導數），以此類推，直到每一階導數都匹配！
麥克勞林級數公式（以 x = 0 為中心）
麥克勞林級數是泰勒級數的一種特殊情況，其展開式是以 \(x = 0\) 為中心。
如果函數 \(f(x)\) 在 \(x=0\) 處具備所有階數的導數，則其麥克勞林展開式為：
\[ f(x) = f(0) + xf'(0) + \frac{x^2}{2!}f''(0) + \frac{x^3}{3!}f'''(0) + \cdots + \frac{x^n}{n!}f^{(n)}(0) + \cdots \]
- \(f(0)\)：匹配 \(x=0\) 時的高度（函數值）。
- \(f'(0)\)：匹配 \(x=0\) 時的斜率（變化率）。
- \(f''(0)\)：匹配 \(x=0\) 時的曲率。
- \(n!\)（n 的階乘）：記得 \(n! = n \times (n-1) \times \cdots \times 1\)。
比喻：想像在試戴手套。麥克勞林級數就像是一個完美的多項式手套，在 \(x=0\) 處與函數完全吻合，並在你遠離 0 時盡力包覆著原函數。
泰勒級數（以 x = a 為中心）
泰勒級數（Taylor Series）是通用公式。如果我們希望多項式近似值在 \(x=a\) 附近（而不僅僅是 \(x=0\)）準確，我們就使用泰勒展開：
\[ f(x) = f(a) + (x-a)f'(a) + \frac{(x-a)^2}{2!}f''(a) + \frac{(x-a)^3}{3!}f'''(a) + \cdots \]
第 1 節重點總結： 麥克勞林級數是利用函數在 \(x=0\) 處的導數所建立的多項式。它們對於近似複雜函數至關重要。
第 2 節：熟練掌握標準麥克勞林展開式
在 FP2 中，你很少需要從零開始推導這些展開式（儘管你必須理解其過程）。相反，你必須熟記並能運用以下標準展開式，通常展開至 \(x^4\) 或 \(x^5\) 項。
4.2.1 必背標準級數
1. 指數函數： \(e^x\)
\[ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \]
（此級數適用於所有實數 \(x\)。）
2. 正弦函數： \(\sin x\)
\[ \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \]
記憶小撇步： 因為 \(\sin x\) 是奇函數（Odd function），其麥克勞林展開式只包含 \(x\) 的奇次冪。符號正負交替！
3. 餘弦函數： \(\cos x\)
\[ \cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \]
記憶小撇步： 因為 \(\cos x\) 是偶函數（Even function），其麥克勞林展開式只包含 \(x\) 的偶次冪。符號正負交替！
4. 對數函數： \(\ln(1+x)\)
\[ \ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \cdots \]
（此級數僅在 \(-1 < x \le 1\) 時有效。）
5. 二項式展開： \((1+x)^n\)
雖然這在之前已經學過，但麥克勞林推導證實了標準二項式結果：
\[ (1+x)^n = 1 + nx + \frac{n(n-1)}{2!}x^2 + \frac{n(n-1)(n-2)}{3!}x^3 + \cdots \]
（除非 \(n\) 是正整數，否則此級數僅在 \(-1 < x < 1\) 時有效。）
快速複習框：標準展開式
使用對數或二項式級數時，務必檢查有效範圍（或收斂區間）！
第 2 節重點總結： 背誦這五個標準級數。識別其中的規律（奇/偶次冪、正負交替）會讓記憶變得容易許多。
第 3 節：級數的操縱與應用
FP2 的真正技巧在於利用代換法、微分和積分來找出與標準級數相關的函數展開式，而無需每次都重新計算數十個導數。
4.3.1 透過代換法尋找新的展開式
如果你需要 \(f(kx)\) 或 \(f(g(x))\) 的展開式，只需將標準級數中的 \(x\) 替換為新的項，並收集至所需的冪次即可。
範例：找出 \(\cos(2x)\) 展開至 \(x^4\) 的項。
我們知道 \(\cos u\) 的標準級數為：
\[ \cos u = 1 - \frac{u^2}{2!} + \frac{u^4}{4!} - \cdots \]
第一步：將 \(u = 2x\) 代入已知級數：
\[ \cos(2x) = 1 - \frac{(2x)^2}{2!} + \frac{(2x)^4}{4!} - \cdots \]
第二步：簡化冪次與階乘：
\[ \cos(2x) = 1 - \frac{4x^2}{2} + \frac{16x^4}{24} - \cdots \]
第三步：最終答案：
\[ \cos(2x) = 1 - 2x^2 + \frac{2}{3}x^4 - \cdots \]
4.3.2 級數的乘法
若要找出兩個級數的乘積（例如 \(e^x \cos x\)）的展開式，你必須將兩個標準級數相乘，並確保只保留題目要求冪次內的項。
操作清單（求 \(e^x \cos x\) 展開至 \(x^2\)）：
- 寫出兩個級數至 \(x^2\)：
\(e^x \approx 1 + x + \frac{x^2}{2}\)
\(\cos x \approx 1 - \frac{x^2}{2}\) - 逐項相乘（類似展開多項式的 F.O.I.L. 法）：
\((1 + x + \frac{x^2}{2}) (1 - \frac{x^2}{2})\) - 執行乘法，忽略任何高於 \(x^2\) 的項（即忽略 \(x^3\), \(x^4\) 等）：
\(= 1(1) + 1(-\frac{x^2}{2}) + x(1) + x(-\frac{x^2}{2}) + \frac{x^2}{2}(1) + \cdots\) - 合併至 \(x^2\) 的項：
\(= 1 + x + (-\frac{x^2}{2} + \frac{x^2}{2}) + \cdots\) - 結果： \(e^x \cos x \approx 1 + x\)
常見錯誤： 相乘時，不要只停在最低冪次。如果題目要求展開至 \(x^4\)，你必須在初始展開式中包含足夠多的項，以便相乘後能產生直到 \(x^4\) 的所有項。
4.3.3 微分與積分
如果你知道 \(f(x)\) 的級數，就可以透過逐項微分來找到 \(f'(x)\) 的級數。同樣地，你也可以透過逐項積分來找到 \(\int f(x) dx\) 的級數（別忘了加上積分常數 \(C\)）。
範例：若已知 \(\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} - \cdots\)，微分後得到：
\[ \frac{d}{dx}(\sin x) = 1 - \frac{3x^2}{6} + \frac{5x^4}{120} - \cdots \]
\[ \cos x = 1 - \frac{x^2}{2} + \frac{x^4}{24} - \cdots \]
這證實了餘弦級數！如果複雜級數是簡單函數的導數，你可以使用這個技巧來生成它們。
第 3 節重點總結： 代換法和乘法能節省大量時間。務必檢查要求的冪次，並確保既不會產生不必要的項，也不會遺漏任何需要的項。
第 4 節：級數求和——差分法
本章這一部分處理的是有限級數的精確求和問題，通常由有理函數定義，我們使用一種巧妙的技巧，稱為差分法（Method of Differences）（或稱 telescoping series，望遠鏡級數）。
4.4.1 理解望遠鏡級數（Telescoping Series）
望遠鏡級數是指在求和過程中，中間的項會互相抵銷。這就像可伸縮的望遠鏡一樣——大部分的部分會縮進去，最後只留下頭尾兩端可見。
如果能將通項 \(u_r\) 寫成兩個連續項的差，即 \(f(r) - f(r+1)\) 或 \(f(r+1) - f(r)\)，此方法便適用。
先決條件：部分分式（Partial Fractions）
你需要運用部分分式將通項 \(u_r\) 分解成所需的差分形式。
範例：計算 \(\sum_{r=1}^{N} \frac{1}{r(r+1)}\) 的總和。
逐步解說：
第一步：使用部分分式分解通項 (\(u_r\))。
令 \(u_r = \frac{1}{r(r+1)} = \frac{A}{r} + \frac{B}{r+1}\)。
解得 \(A=1\)、\(B=-1\)。
因此，\(u_r = \frac{1}{r} - \frac{1}{r+1}\)。（我們已成功將 \(u_r\) 寫成 \(f(r) - f(r+1)\)，其中 \(f(r) = \frac{1}{r}\)）。
第二步：寫出各項並觀察抵銷情形。
我們要計算 \(S_N = \sum_{r=1}^{N} u_r\)。
\(r=1\): \(\quad u_1 = \frac{1}{1} - \frac{1}{2}\)
\(r=2\): \(\quad u_2 = \frac{1}{2} - \frac{1}{3}\)
\(r=3\): \(\quad u_3 = \frac{1}{3} - \frac{1}{4}\)
\(r=N-1\): \(u_{N-1} = \frac{1}{N-1} - \frac{1}{N}\)
\(r=N\): \(\quad u_N = \frac{1}{N} - \frac{1}{N+1}\)
當你將垂直欄位加起來時，你會注意到立即發生的抵銷（\(-\frac{1}{2}\) 與 \(+\frac{1}{2}\) 抵銷，\(-\frac{1}{3}\) 與 \(+\frac{1}{3}\) 抵銷，以此類推）。
第三步：寫出剩下的項。
只剩下第一項的開頭部分和最後一項的結尾部分：
\[ S_N = 1 - \frac{1}{N+1} \]
第四步（延伸）：找出無窮級數和 (\(S_\infty\))。
如果題目要求無窮級數和，則取 \(N \to \infty\) 時的極限：
\[ S_\infty = \lim_{N\to\infty} \left( 1 - \frac{1}{N+1} \right) = 1 - 0 = 1 \]
4.4.2 處理複雜的抵銷情形（三項式）
有時部分分式分解會產生三項，或者差分不是簡單的 \(f(r) - f(r+1)\)。例如，若分解後得到 \(u_r = f(r) - f(r+2)\)，抵銷會延遲發生：
\(r=1\): \(\quad u_1 = f(1) - f(3)\)
\(r=2\): \(\quad u_2 = f(2) - f(4)\)
\(r=3\): \(\quad u_3 = f(3) - f(5)\)
...
\(r=N-1\): \(u_{N-1} = f(N-1) - f(N+1)\)
\(r=N\): \(\quad u_N = f(N) - f(N+2)\)
這種情況下，抵銷會跳過一項！求和時，留下來的是前兩項的開頭部分（\(f(1)\) 和 \(f(2)\)）以及最後兩項的結尾部分（\(-f(N+1)\) 和 \(-f(N+2)\)）。
\[ S_N = f(1) + f(2) - f(N+1) - f(N+2) \]
抵銷小撇步： 寫出前 3 到 4 項以及最後 3 項。將可以抵銷的成對項劃掉。沒有被劃掉的項就是你要留下的部分！
第 4 節重點總結： 差分法需要將 \(u_r\) 分解為 \(f(r) - f(k)\)。仔細寫出前幾項，以精確辨識哪些項在抵銷後依然存留。
章節總結與最後鼓勵
你在本章中涵蓋了數學中兩個極其重要的領域：使用麥克勞林/泰勒級數進行函數近似，以及使用差分法計算精確總和。
麥克勞林級數重點： 熟記標準展開式（\(e^x, \sin x, \cos x, \ln(1+x), (1+x)^n\)），並勤加練習快速代換與多項式乘法。
級數求和重點： 確保你已精通部分分式。差分法很有規律；只要按照步驟操作，對抵銷過程細心一點，你一定能得到正確的結果。
你知道嗎？ 印度數學家早在 14 世紀就已經掌握了泰勒級數的相關概念，比 18 世紀泰勒和麥克勞林在歐洲將其形式化早了許久！這顯示了利用無窮多項式解決問題的普世力量！
持續練習這些運算，記住，數學的關鍵在於結構。一旦你掌握了級數的結構，計算就會變得水到渠成。你一定做得到的！