歡迎來到數列（Series）章節！

你好，未來的數學家！數列（Series）是進階純數學 1 (FP1) 中最優雅且令人滿足的課題之一。
乍看之下，處理複雜的求和運算似乎令人望而生畏，但本單元將提供強大的工具和精妙的技巧，讓你能夠大幅簡化這些運算。

你將會學到： 你將掌握求和符號（summation notation）的用法，並學習最重要的差分法（Method of Differences）（亦稱為裂項相消法，telescoping series），以求得有限數列的準確和，即使涉及複雜的分式也不例外。
為什麼這很重要： 這些技巧是理解微積分及更高階數學的基石，為處理無限過程和求和問題提供了嚴謹的方法。讓我們開始吧！

第 1 節：基礎知識 – 求和符號 (\(\sum\))

1.1 理解 Sigma 符號

希臘字母大寫 Sigma (\(\sum\))，其意義就是「求和」或「加總」。這是一種將冗長的加法算式簡潔書寫的方法。

一個一般數列可寫為： \[ S_n = \sum_{r=1}^{n} u_r \]

  • \(u_r\): 這是數列第 r 項的通項公式。
  • \(r=1\): 這是指標 r 的起始值（下限）。
  • \(n\): 這是指標 r 的結束值（上限）。

例子： 如果你看到 \(\sum_{r=1}^{4} (2r)\)，這代表：
(2(1)) + (2(2)) + (2(3)) + (2(4)) = 2 + 4 + 6 + 8 = 20。

1.2 求和的基本運算規則

數列求和遵循基本的代數規則，這些規則在處理複雜的求和式時非常關鍵：

規則 1：常數倍
你可以將常數（即與 r 無關的數 k）提到求和符號外。 \[ \sum_{r=1}^{n} k u_r = k \sum_{r=1}^{n} u_r \]

規則 2：加法/減法
項的和可以拆分為個別的和。 \[ \sum_{r=1}^{n} (u_r + v_r) = \sum_{r=1}^{n} u_r + \sum_{r=1}^{n} v_r \]

重點複習：基礎觀念

務必檢查起始指標。雖然大多數問題從 \(r=1\) 開始，但有些可能從 \(r=0\) 或 \(r=k\) 開始。這會大幅改變最終的求和結果！

第 2 節：標準和（積木工具）

在 FP1 中，我們經常遇到需要代入標準公式的求和問題。這些公式通常會附在你的試卷小冊子中，但熟練度才是關鍵。它們讓你能夠計算直至 \(r^3\) 的多項式之和。

2.1 基本標準結果

1. 前 \(n\) 個整數的和 (\(r\)): \[ \sum_{r=1}^{n} r = \frac{1}{2} n(n+1) \]

2. 前 \(n\) 個平方數的和 (\(r^2\)): \[ \sum_{r=1}^{n} r^2 = \frac{1}{6} n(n+1)(2n+1) \]

3. 前 \(n\) 個立方數的和 (\(r^3\)): \[ \sum_{r=1}^{n} r^3 = \frac{1}{4} n^2(n+1)^2 \quad \text{或 } \left( \sum_{r=1}^{n} r \right)^2 \]

2.2 使用標準和解決問題

在計算如 \(\sum_{r=1}^{n} (2r^2 - r)\) 這類求和時，我們利用求和規則將其拆分，然後套用標準公式。

步驟示範： 計算 \(S_n = \sum_{r=1}^{n} (2r^2 - r)\)

  1. 拆分求和式： \[ S_n = \sum_{r=1}^{n} 2r^2 - \sum_{r=1}^{n} r \]
  2. 提出常數： \[ S_n = 2 \sum_{r=1}^{n} r^2 - \sum_{r=1}^{n} r \]
  3. 代入公式： \[ S_n = 2 \left[ \frac{1}{6} n(n+1)(2n+1) \right] - \left[ \frac{1}{2} n(n+1) \right] \]
  4. 化簡（因式分解是關鍵！）：

    這需要大量的代數化簡，通常是透過提取公因式 \(\frac{1}{6} n(n+1)\) 或 \(\frac{1}{2} n(n+1)\) 來完成。
    （在本例中，從第一項提取 \(\frac{1}{3} n(n+1)\)，從第二項提取 \(\frac{1}{2} n(n+1)\) 會很有幫助。）

    如果我們以 \(\frac{1}{2} n(n+1)\) 作為公因式： \[ S_n = \frac{1}{2} n(n+1) \left[ \frac{2}{3}(2n+1) - 1 \right] \] \[ S_n = \frac{1}{2} n(n+1) \left[ \frac{4n+2}{3} - \frac{3}{3} \right] = \frac{1}{2} n(n+1) \left[ \frac{4n-1}{3} \right] \] \[ S_n = \frac{1}{6} n(n+1)(4n-1) \]

記憶小撇步： 注意這兩者間美好的連結：\(\sum r^3 = (\sum r)^2\)。這是一個很巧妙的規律！

第 3 節：差分法（裂項相消法）

標準和對於多項式運作良好，但如果通項 \(u_r\) 涉及分式或乘積呢？這就是差分法大顯身手的時候了。

3.1 裂項相消的概念

想像你有一台舊式黃銅望遠鏡。當你將其摺疊時，各個節段會滑入彼此並隱沒，最後只剩下最前端和最後端的部分。

差分法依賴於將通項 \(u_r\) 表示為兩個關於 \(r\) 的函數之差： \[ u_r = f(r) - f(r+1) \]

當我們對此數列求和時，幾乎所有中間項都會互相抵消。這種抵消過程稱為裂項相消（telescoping）。

讓我們看看數列 \(S_n = \sum_{r=1}^{n} (f(r) - f(r+1))\)：

  • 當 \(r=1\): \(u_1 = f(1) - f(2)\)
  • 當 \(r=2\): \(u_2 = f(2) - f(3)\)
  • 當 \(r=3\): \(u_3 = f(3) - f(4)\)
  • ...
  • 當 \(r=n\): \(u_n = f(n) - f(n+1)\)

將所有項相加： \[ S_n = \begin{array}{l} (f(1) - \cancel{f(2)}) \\ + (\cancel{f(2)} - \cancel{f(3)}) \\ + (\cancel{f(3)} - \cancel{f(4)}) \\ + \ldots \\ + (\cancel{f(n)} - f(n+1)) \end{array} \]

絕大部分項都抵消了，只剩下： \[ S_n = f(1) - f(n+1) \]

差分法的核心要點

目標不是代入標準公式，而是改寫通項 \(u_r\)，使其成為一個差式。

第 4 節：程序 – 使用部分分式

在 FP1 中，需要用到差分法的 \(u_r\) 項通常是有理函數（分式），必須透過部分分式（Partial Fractions）進行拆分。

4.1 裂項相消法的步驟指南

考慮數列：\(S_n = \sum_{r=1}^{n} \frac{2}{r(r+2)}\)

步驟 1：使用部分分式分解 \(u_r\)

我們必須將該項表示為兩個較簡單的分式。 \[ \frac{2}{r(r+2)} = \frac{A}{r} + \frac{B}{r+2} \] 兩邊同時乘以 \(r(r+2)\) 得：\(2 = A(r+2) + Br\)。

  • 令 \(r=0\): \(2 = A(2) \implies A=1\)
  • 令 \(r=-2\): \(2 = B(-2) \implies B=-1\)

所以，通項為： \[ u_r = \frac{1}{r} - \frac{1}{r+2} \] 我們現在得到了一個差式！（此處 \(f(r) = 1/r\)）

步驟 2：寫出各項並找出抵消規律

由於差式為 \(f(r) - f(r+2)\)（間隔為 2），抵消方式會比 \(f(r) - f(r+1)\) 稍微複雜。

我們強烈建議學生至少寫出前三項和最後三項。千萬不要省略這一步！

\[ S_n = u_1 + u_2 + u_3 + \ldots + u_{n-1} + u_n \]

$$ \begin{array}{rcl} r=1: & u_1 = & \mathbf{1} - \cancel{\frac{1}{3}} \\ r=2: & u_2 = & \mathbf{\frac{1}{2}} - \cancel{\frac{1}{4}} \\ r=3: & u_3 = & \cancel{\frac{1}{3}} - \cancel{\frac{1}{5}} \\ r=4: & u_4 = & \cancel{\frac{1}{4}} - \cancel{\frac{1}{6}} \\ \vdots & & \vdots \\ r=n-1: & u_{n-1} = & \cancel{\frac{1}{n-1}} - \mathbf{\frac{1}{n+1}} \\ r=n: & u_n = & \cancel{\frac{1}{n}} - \mathbf{\frac{1}{n+2}} \end{array} $$

步驟 3：收集剩餘項

抵消後，剩餘（未抵消）的項為： \[ S_n = 1 + \frac{1}{2} - \frac{1}{n+1} - \frac{1}{n+2} \]

步驟 4：合併為一個表達式（選做，但通常要求）

\[ S_n = \frac{3}{2} - \frac{1}{n+1} - \frac{1}{n+2} \] 若要合併含有 \(n\) 的分式，通分母為 \((n+1)(n+2)\)： \[ S_n = \frac{3}{2} - \left[ \frac{(n+2) + (n+1)}{(n+1)(n+2)} \right] \] \[ S_n = \frac{3}{2} - \frac{2n+3}{(n+1)(n+2)} \]

常見錯誤警示！

當差間隔大於 1 時（例如 \(f(r) - f(r+2)\) 或 \(f(r) - f(r+3)\)），學生經常忘記保留前幾項和最後幾項無法抵消的項。
小技巧： 如果間隔為 \(k\)，你將永遠需要保留前 \(k\) 個正項和最後 \(k\) 個負項。

第 5 節：處理無限數列與其他結構

5.1 求和至無窮大 (\(S_{\infty}\))

這類問題的一個標準要求是求當 \(n\) 趨向無窮大時的數列和 \(S_{\infty}\)。這僅在數列通項趨於零時才成立（在 FP1 的裂項相消範例中通常如此）。

我們只需取有限和 \(S_n\) 當 \(n \to \infty\) 時的極限。 \[ S_{\infty} = \lim_{n \to \infty} S_n \]

回到第 4 節的範例： \[ S_n = \frac{3}{2} - \frac{1}{n+1} - \frac{1}{n+2} \]

當 \(n \to \infty\) 時，分式 \(\frac{1}{n+1}\) 和 \(\frac{1}{n+2}\) 皆趨於零。 \[ S_{\infty} = \frac{3}{2} - 0 - 0 = \frac{3}{2} \]

5.2 處理起始指標不同的情況

如果數列從 \(r=k\) 而非 \(r=1\) 開始，你不能直接使用標準公式 \(\sum_{r=1}^{n} u_r = f(1) - f(n+1)\)。

處理非 \(r=1\) 起始的標準方法： \[ \sum_{r=k}^{n} u_r = \sum_{r=1}^{n} u_r - \sum_{r=1}^{k-1} u_r \]

這意味著你先計算從 1 開始到 \(n\) 的和，然後減去你不想要的部分（即從 1 到 \(k-1\) 的項）。

你知道嗎？ 裂項相消法不僅僅是理論！它們在概率與統計中被大量使用，特別是在分析一系列事件時。

5.3 乘積形式的差分求和

有時候，\(u_r\) 是各項的乘積，而非分式（例如 \(u_r = r(r+1)\)）。雖然這些可以用標準和公式求解（拆解為 \(r^2+r\)），但有時也可以將其構造為乘積的差。

例如，對於乘積，關鍵恆等式通常是： \[ r(r+1) = \frac{1}{3} [r(r+1)(r+2) - (r-1)r(r+1)] \]

此時 \(f(r) = r(r+1)(r+2)\)，且 \(u_r\) 變為 \(\frac{1}{3} [f(r) - f(r-1)]\)。這會導出一個裂項相消數列，剩餘項將位於 \(r=n\) 和 \(r=0\)（如果我們包含 \(r-1\) 的話）。

總結：數列工具箱

  • 標準和： 僅在 \(u_r\) 為關於 \(r\) 的多項式時使用。務必將最終答案因式分解。
  • 差分法： 當 \(u_r\) 是分式（使用部分分式）或設計為裂項相消的乘積時使用。
  • 行動方案： 將 \(u_r\) 改寫為 \(f(r) - f(r+k)\)，寫出各項以觀察抵消規律，並收集無法抵消的項（望遠鏡的「兩端」）。

繼續練習部分分式和代數化簡——這些是本章最大的障礙！你一定沒問題的！