歡迎來到 FP2 數列篇：解開級數與近似法的奧秘！

各位未來的數學家，大家好！「數列（Series）」這一章初看可能讓人感到棘手，但它其實是進階數學中最強大的工具之一。你將學會如何計算極長數列（甚至是無限數列！）的總和，更令人興奮的是，你還能學會如何用簡單的多項式來近似像 \(\sin x\) 或 \(e^x\) 這類複雜函數。

為什麼這很重要？級數展開（Series expansions）是數值分析、物理模擬，甚至是你們每天使用的計算機的核心基礎！讓我們一起深入探索，徹底搞懂這些概念吧。

1. 有限數列的求和：差分法（Method of Differences）

在接觸進階方法之前，讓我們先快速回顧標準的求和公式——這些通常是解決更複雜問題的先決條件或起點。

1.1 回顧：標準求和結果（先決條件）

你必須對這些結果非常熟練。雖然公式手冊裡會提供，但記住它們能顯著加快計算速度。

  • 前 \(n\) 個整數之和： $$\sum_{r=1}^{n} r = \frac{n(n+1)}{2}$$
  • 前 \(n\) 個平方數之和： $$\sum_{r=1}^{n} r^2 = \frac{n(n+1)(2n+1)}{6}$$
  • 前 \(n\) 個立方數之和： $$\sum_{r=1}^{n} r^3 = \left(\frac{n(n+1)}{2}\right)^2$$

1.2 差分法（裂項求和法 Telescoping Sums）

當你遇到不符合標準公式的數列（特別是涉及分數或三角函數的數列）時，差分法通常就是解題關鍵。

其核心思想是將通項 \(u_r\) 表達成兩項之差，即 \(f(r) - f(r+1)\) 或 \(f(r) - f(r-1)\)。當你對這些項求和時，中間的所有項都會抵消掉！

類比：摺疊式望遠鏡

想像一支舊式的摺疊望遠鏡。當你把它收起來時，只有第一節和最後一節看得見；中間所有的部分都整齊地收納在一起了。這正是裂項求和所發生的事情！

有理函數的逐步操作流程

此方法最常應用於形式為 \(\sum_{r=1}^{n} \frac{P(r)}{Q(r)}\) 的有理函數（分數）。

步驟 1：使用部分分式（Partial Fractions）表示通項 \(u_r\)。

如果 \(u_r = \frac{1}{r(r+1)}\)，你必須將其重寫為： $$u_r = \frac{1}{r} - \frac{1}{r+1}$$

步驟 2：寫出總和 \(S_n\) 的前幾項。

將 \(r = 1, 2, 3, \dots, n\) 代入你的差分形式中：

  • \(r=1\): \(\left(1 - \frac{1}{2}\right)\)
  • \(r=2\): \(\left(\frac{1}{2} - \frac{1}{3}\right)\)
  • \(r=3\): \(\left(\frac{1}{3} - \frac{1}{4}\right)\)
  • ...
  • \(r=n\): \(\left(\frac{1}{n} - \frac{1}{n+1}\right)\)

步驟 3：觀察抵消情況並求出 \(S_n\)。

將它們加起來： $$S_n = \left(1 - \cancel{\frac{1}{2}}\right) + \left(\cancel{\frac{1}{2}} - \cancel{\frac{1}{3}}\right) + \left(\cancel{\frac{1}{3}} - \cancel{\frac{1}{4}}\right) + \dots + \left(\cancel{\frac{1}{n}} - \frac{1}{n+1}\right)$$

剩下的項只有第一個括號的前半部分和最後一個括號的後半部分： $$S_n = 1 - \frac{1}{n+1}$$

小撇步：辨認差分模式

有時差分形式為 \(f(r) - f(r+2)\) 或 \(f(r) - f(r+3)\)。如果項與項之間的間距大於 1，你需要列出前 兩 項或 三 項，以及最後的 兩 項或 三 項，才能找出剩下的部分。

常見錯誤：務必確保你在步驟 1 中建立的差分等於原通項 \(u_r\)。如果 \(u_r = \frac{2}{r(r+2)}\)，那麼 \(\frac{1}{r} - \frac{1}{r+2}\) 的結果其實等於 \(\frac{2}{r(r+2)}\)。如果你的部分分式差分結果產生了一個常數 \(k \ne 1\)，你必須將 \(k\) 提取出來，或乘以 \(1/k\)。

重點總結（有限數列）

差分法讓我們能通過強迫內部抵消，求出 \(S_n\) 的精確閉合形式（closed-form）。這非常依賴於準確的部分分式分解。

2. 無窮級數求和（\(S_{\infty}\）：收斂性）

\n\n

\n如果數列永遠不會結束怎麼辦？在 FP2 中，一旦你求出了 \(n\) 項和 \(S_n\)，只要該數列是收斂（converges）的，求無窮級數和通常就很直接。

2.1 定義收斂

如果當項數 \(n\) 趨於無窮大時，總和趨近於一個有限的定值，那麼該數列就是收斂的。如果總和無限增長，則該數列發散（diverges）。

要求無窮級數和 \(S_{\infty}\)，你只需對 \(S_n\) 在 \(n \to \infty\) 時取極限： $$S_{\infty} = \lim_{n \to \infty} S_n$$

使用差分法結果的例子

使用我們剛才的例子，其中 \(S_n = 1 - \frac{1}{n+1}\)： $$S_{\infty} = \lim_{n \to \infty} \left(1 - \frac{1}{n+1}\right)$$ 當 \(n \to \infty\) 時，項 \(\frac{1}{n+1} \to 0\)。
因此，\(S_{\infty} = 1 - 0 = 1\)。

別擔心，如果極限讓你覺得抽象！對於 FP2 的數列章節，通常你只需要知道像 \(1/n\)、\(1/n^2\) 或 \(e^{-n}\) 這類項，當 \(n\) 變得非常大時，都會趨近於 0。

重點總結（無窮數列）

如果一個數列有已定義的 \(S_n\)，求 \(S_{\infty}\) 的方法就是計算 \(\lim_{n \to \infty} S_n\)。如果極限是一個有限數值，則該數列收斂。

3. 冪級數：麥克勞林與泰勒展開式

這是 FP2 數列章節的核心。我們現在要從離散求和轉向研究如何用多項式來表示函數本身。這些表示法被稱為冪級數（Power Series）。

3.1 核心思想：多項式近似

想像一下你試圖在沒有計算機的情況下計算 \(\sin(0.1)\)。一個像 \(f(x) = x - \frac{x^3}{6}\) 這樣的多項式，計算起來要比原函數容易得多。

麥克勞林或泰勒級數的想法，是建構一個無限長的多項式 \(P(x)\)，使其在特定點上與函數 \(f(x)\) 完全吻合（且其導數也吻合！）。我們使用的項越多，近似效果就越好。

3.2 麥克勞林級數（以 \(x=0\) 為中心）

麥克勞林級數（Maclaurin Series）是泰勒級數以 \(a=0\) 為中心的特殊情況。它使用函數在 \(x=0\) 處的各階導數，將函數 \(f(x)\) 表達成無限多項式。

麥克勞林公式

如果 \(f(x)\) 可以重複微分，其麥克勞林展開式為： $$f(x) = f(0) + x f'(0) + \frac{x^2}{2!} f''(0) + \frac{x^3}{3!} f'''(0) + \dots + \frac{x^n}{n!} f^{(n)}(0) + \dots$$

求麥克勞林級數的步驟流程

例子：求 \(f(x) = e^x\) 的麥克勞林展開式。

我們需要計算導數並將其代入 \(x=0\) 求值。

  1. 求函數值： $$f(x) = e^x \implies f(0) = e^0 = 1$$
  2. 求一階導數： $$f'(x) = e^x \implies f'(0) = 1$$
  3. 求二階導數： $$f''(x) = e^x \implies f''(0) = 1$$
  4. 代入公式： $$e^x = f(0) + x f'(0) + \frac{x^2}{2!} f''(0) + \frac{x^3}{3!} f'''(0) + \dots$$ $$e^x = 1 + x(1) + \frac{x^2}{2!}(1) + \frac{x^3}{3!}(1) + \dots$$ $$e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \dots$$

重要提醒：千萬別忘了分母上的階乘（Factorials, \(n!\)）！\(2! = 2\)、\(3! = 6\)、\(4! = 24\)，以此類推。

3.3 泰勒級數（以 \(x=a\) 為中心）

泰勒級數（Taylor Series）是通式。它允許我們在任何點 \(x=a\) 附近近似函數，而不僅僅是 \(x=0\)。如果我們處理的值遠離原點，或者函數在 \(x=0\) 處未定義（例如 \(\ln x\)），這會特別有用。

泰勒公式

\(f(x)\) 在 \(x=a\) 處的泰勒展開式為： $$f(x) = f(a) + (x-a) f'(a) + \frac{(x-a)^2}{2!} f''(a) + \frac{(x-a)^3}{3!} f'''(a) + \dots$$

如何使用泰勒公式

過程與麥克勞林相同，但不是代入 \(x=0\)，而是將所有導數在 \(x=a\) 處求值，且冪次包含的是 \((x-a)\) 而非單純的 \(x\)。

你知道嗎？如果你要在 \(x=4\) 附近近似 \(f(x)\)，泰勒級數在 \(x=4\) 附近的近似效果會比麥克勞林級數好得多。

3.4 標準麥克勞林展開式

在考試中，你可能會被要求推導這些，但你應該要能辨認並快速運用這些結果。有效範圍（interval of validity）（即級數收斂到 \(f(x)\) 的 \(x\) 取值範圍）至關重要。

標準結果表
  • \(e^x\): $$e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots$$ 有效範圍：所有實數 \(x\)。
  • \(\sin x\) （僅奇數冪次）： $$\sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots$$ 有效範圍：所有實數 \(x\)。
  • \(\cos x\) （僅偶數冪次）： $$\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \dots$$ 有效範圍：所有實數 \(x\)。
  • \(\ln(1+x)\): $$\ln(1+x) = x - \frac{x^2}{2} + \frac{x^3}{3} - \frac{x^4}{4} + \dots$$ 有效範圍：\(-1 < x \le 1\)。
  • \((1+x)^k\) （二項式展開，通常在 FP1 或 C4/P4 涵蓋，但在這很重要）： $$(1+x)^k = 1 + kx + \frac{k(k-1)}{2!}x^2 + \frac{k(k-1)(k-2)}{3!}x^3 + \dots$$ 有效範圍：\(-1 < x < 1\)。

3.5 合併與替換級數

通常，你不必從零開始微分函數。你可以通過替換（substitution）或相乘來利用已知的標準級數。

例子：求 \(e^{2x}\) 的級數。

既然我們知道 \(e^y = 1 + y + \frac{y^2}{2!} + \dots\) 的展開式，我們只需代入 \(y = 2x\)： $$e^{2x} = 1 + (2x) + \frac{(2x)^2}{2!} + \frac{(2x)^3}{3!} + \dots$$ $$e^{2x} = 1 + 2x + \frac{4x^2}{2} + \frac{8x^3}{6} + \dots$$

例子：求 \(e^x \sin x\) 到 \(x^3\) 項的級數。

將兩個級數展開式的所需部分相乘： $$e^x \approx 1 + x + \frac{x^2}{2} + \frac{x^3}{6}$$ $$\sin x \approx x - \frac{x^3}{6}$$ 相乘： $$e^x \sin x \approx \left(1 + x + \frac{x^2}{2} + \frac{x^3}{6}\right) \left(x - \frac{x^3}{6}\right)$$ 只保留結果為 \(x\)、\(x^2\) 或 \(x^3\) 的項： $$ = (1)(x) + (x)(x) + (\frac{x^2}{2})(x) + (1)(-\frac{x^3}{6}) + \dots$$ $$ = x + x^2 + \frac{x^3}{2} - \frac{x^3}{6}$$ $$ = x + x^2 + \frac{3x^3 - x^3}{6}$$ $$ e^x \sin x \approx x + x^2 + \frac{2x^3}{6} = x + x^2 + \frac{x^3}{3}$$

相乘的小技巧

當級數相乘時，畫線連接你需要計算的項。記住，如果你只需要到 \(x^4\) 項，那麼大於 \(x^5\) 的任何項都可以直接忽略！

3.6 近似積分與極限

級數展開強大之處在於，它讓我們能處理那些難以積分或在極限計算中難以簡化的函數。

1. 計算極限：使用級數展開來替換 \(x=0\) 附近的複雜函數。

例子：求 \(\lim_{x \to 0} \frac{\sin x - x}{x^3}\)。

將 \(\sin x\) 替換為它的級數： $$\frac{\left(x - \frac{x^3}{6} + \dots \right) - x}{x^3} = \frac{-\frac{x^3}{6} + \text{更高階項}}{x^3}$$ $$\lim_{x \to 0} \left(-\frac{1}{6} + \text{涉及 } x, x^2 \dots \text{ 的項} \right) = -\frac{1}{6}$$

2. 積分級數：一旦函數變成多項式形式，積分就變得簡單了： $$\int x^n \, dx = \frac{x^{n+1}}{n+1} + C$$

重點總結（冪級數）

麥克勞林和泰勒級數通過在特定點匹配函數及其導數來提供多項式近似。記住公式、導數和階乘！通過替換使用標準展開式可以節省大量時間。

快速回顧：基本公式與檢查清單

在解決任何問題之前，問自己：

  1. 這是求和問題（\(S_n\)）嗎？
    • 如果涉及 \(r, r^2, r^3\)：使用標準公式。
    • 如果涉及分數/三角函數：使用差分法（需用到部分分式）。
  2. 這是近似問題（\(f(x)\)）嗎？
    • 如果中心為 \(x=0\)：使用麥克勞林。計算 \(f(0), f'(0), \dots\)
    • 如果中心為 \(x=a\)：使用泰勒。計算 \(f(a), f'(a), \dots\) 並使用 \((x-a)\) 的冪次。
    • 檢查：我是否在分母中包含了所有必要的階乘？

繼續練習那些導數和部分分式——它們是數列章節中成功的基石！你一定沒問題的！