數列求和 (Further Pure Mathematics 1, 單元 1.3)
歡迎來到數列求和的奇妙世界！在進階數學（Further Mathematics）中，我們不再只處理簡單的算術數列或幾何數列，而是要挑戰更複雜的求和運算。本章將為你提供強大的工具，助你求出數列的精確總和，這通常涉及各項的乘積，而不僅僅是簡單的加法。
如果這聽起來有點困難，不用擔心。我們會將這些方法拆解為兩個重點領域：使用標準基本構件（多項式求和）以及運用一種名為「相消法」（Method of Differences，又稱望遠鏡級數）的巧妙技巧。讓我們開始計算吧！
1. 標準結果：你的基本構件
進階數學課程要求你熟悉並運用 \(r\) 的冪次求和公式。這些結果通常會列在 MF19 公式手冊中，但熟練掌握它們不僅能節省時間，還能幫你深入理解相關題目。它們是解決複雜求和問題的代數「基本構件」。
數列的首 \(n\) 項之和通常記為 \(S_n = \sum_{r=1}^{n} U_r\)。對於標準結果，\(U_r = r^k\)：
A. 首 \(n\) 個整數之和：\(\sum r\)
這單純就是算術數列（AP）的求和。
\[ \sum_{r=1}^{n} r = 1 + 2 + 3 + \dots + n = \frac{1}{2}n(n+1) \]
B. 首 \(n\) 個平方數之和：\(\sum r^2\)
\[ \sum_{r=1}^{n} r^2 = 1^2 + 2^2 + \dots + n^2 = \frac{1}{6}n(n+1)(2n+1) \]
C. 首 \(n\) 個立方數之和：\(\sum r^3\)
\[ \sum_{r=1}^{n} r^3 = 1^3 + 2^3 + \dots + n^3 = \frac{1}{4}n^2(n+1)^2 \]
💡 記憶小撇步：留意 \(\sum r\) 與 \(\sum r^3\) 之間巧妙的關係。
\[ \sum_{r=1}^{n} r^3 = \left( \sum_{r=1}^{n} r \right)^2 \]
快速複習：標準求和
- \(\sum r = \frac{1}{2}n(n+1)\)
- \(\sum r^2 = \frac{1}{6}n(n+1)(2n+1)\)
- \(\sum r^3 = (\sum r)^2\)
2. 尋求相關數列的和（求和的線性性質）
通常題目不會只讓你求 \(r^2\) 的和。相反，通項 \(U_r\) 往往是關於 \(r\) 的多項式，例如 \(U_r = r(r+1)\) 或 \(U_r = 3r^2 - 5r + 2\)。
線性性質原理
這裡最重要的工具是線性性質（Linearity）。它指出求和運算可以逐項處理，且常數項可以提取出來。如果 \(U_r\) 是多個項的組合，你可以將求和拆開：
\[ \sum (A U_r + B V_r) = A \sum U_r + B \sum V_r \]
相關數列求和的步驟：
- 展開 \(U_r\)：將通項 \(U_r\) 重寫為 \(r\) 的多項式。
例子：若 \(U_r = r(r+1)(r-1)\)，展開為 \(U_r = r^3 - r\)。 - 拆分求和：利用線性性質將求和拆分為涉及 \(\sum r^3\)、\(\sum r^2\)、\(\sum r\) 及常數項的部分。
例子：\(\sum_{r=1}^{n} (r^3 - r) = \sum_{r=1}^{n} r^3 - \sum_{r=1}^{n} r\) - 應用標準結果：代入 \(\sum r\)、\(\sum r^2\) 等已知公式。
- 化簡：因式分解最終表達式，得出 \(S_n\) 最簡形式的答案。
重要提示：務必確認求和是從 \(r=1\) 開始。如果求和從 \(r=k\) 開始（其中 \(k>1\)），你必須計算 \(\sum_{r=1}^{n} U_r - \sum_{r=1}^{k-1} U_r\)。
3. 相消法（望遠鏡級數）
如果數列不是簡單的 \(r\) 多項式該怎麼辦？例如，涉及分數或三角函數的求和通常需要使用相消法（Method of Differences，亦稱 telescoping method）。這是進階數學的一項核心技能。
類比：望遠鏡
想像一枝舊式望遠鏡或一枝摺疊式手杖。當你拉開它時，可以看到許多節；但當你將其摺疊（相消）時，只剩下首尾兩端可見。相消法的工作原理是將通項 \(U_r\) 表達為兩個連續函數 \(f(r)\) 和 \(f(r+1)\) 之差，這樣在求和時，大部分項會互相抵消。
我們的目標是將 \(U_r\) 寫成以下形式： \[ U_r = f(r) - f(r+k) \text{ （其中 } k \text{ 為較小的整數）} \]
先備技能：部分分式（Partial Fractions）
對於涉及分數的數列（如 \(\frac{1}{r(r+1)}\)），第一步幾乎總是使用部分分式將通項拆解，以達到所需的相消形式。
例子：設 \(U_r = \frac{1}{r(r+1)}\)。我們使用部分分式： \[ U_r = \frac{1}{r} - \frac{1}{r+1} \]
在這裡，\(f(r) = \frac{1}{r}\) 且 \(f(r+1) = \frac{1}{r+1}\)。這正是完美的相消形式！
使用相消法求和的步驟：
假設我們要對 \(U_r = f(r) - f(r+1)\) 從 \(r=1\) 到 \(n\) 求和。
- 將 \(U_r\) 表達為差的形式：（如有必要，使用部分分式）。確保 \(U_r\) 為 \(f(r) - f(r+k)\) 的形式。
- 列出各項：列出數列 \(S_n\) 的開頭幾項和結尾幾項。
\[ S_n = U_1 + U_2 + U_3 + \dots + U_{n-1} + U_n \]
代入 \(U_r = f(r) - f(r+1)\)：
\[ U_1 = f(1) - f(2) \]
\[ U_2 = f(2) - f(3) \]
\[ U_3 = f(3) - f(4) \]
\[ \dots \]
\[ U_{n-1} = f(n-1) - f(n) \]
\[ U_n = f(n) - f(n+1) \]
你可以看到對角線上的抵消：\(-f(2)\) 與 \(+f(2)\) 抵消，\(-f(3)\) 與 \(+f(3)\) 抵消，以此類推。
- 找出剩餘項：在抵消之後（如同望遠鏡摺疊），只剩下開頭和結尾的項。
\[ S_n = f(1) - f(n+1) \]
相消法的關鍵總結：總和 \(S_n\) 是 \(f(r)\) 的開頭幾項 與 \(f(r+k)\) 的結尾幾項 之差。
4. 無窮級數與收斂
並非所有數列都有有限的總和。如果各項不斷變大，總和將趨向無窮大（這稱為發散，diverges）。我們感興趣的是那些收斂（converges）的數列——意味著當我們對無窮多個項求和時，它們會趨向一個有限的固定值。
A. 收斂的定義
如果數列前 \(n\) 項的和 \(S_n\) 當 \(n \to \infty\) 時趨向於一個有限的極限值 \(L\)，則級數 \(\sum_{r=1}^{\infty} U_r\) 是收斂的。
\[ S_{\infty} = \lim_{n \to \infty} S_n \]
如果此極限存在且為有限值，則該級數收斂，而 \(L\) 被稱為無窮級數之和（Sum to Infinity，即 \(S_{\infty}\)）。
B. 求相消級數的 \(S_{\infty}\)
對於使用相消法解決的級數，一旦你求出了 \(S_n\)，求 \(S_{\infty}\) 就非常簡單了。
- 求 \(S_n\)：使用相消法確定 \(S_n\) 的代數表達式。
例子：\(S_n = 1 - \frac{1}{n+1}\) - 取極限：求 \(n\) 趨向無窮大時 \(S_n\) 的極限。
延續上面的例子： \[ S_{\infty} = \lim_{n \to \infty} \left( 1 - \frac{1}{n+1} \right) \]
當 \(n \to \infty\) 時，\(\frac{1}{n+1}\) 這一項趨向 \(0\)。
\[ S_{\infty} = 1 - 0 = 1 \]
因為 \(S_{\infty}\) 是一個有限值（1），所以該級數收斂。
常見陷阱：如果 \(S_n\) 中剩下的項（如 \(f(n)\)）在分子中包含 \(n\)，那麼該項通常會隨 \(n \to \infty\) 而趨向無窮大，此時級數將發散。請務必仔細檢查所有未抵消項的極限。
你知道嗎？
相消法有時會應用於意想不到的場景，例如某些特定的三角級數。在進階數學中，你可能會遇到 \(U_r = \tan(r) - \tan(r-1)\) 這類項，它們在求和時也會像望遠鏡一樣摺疊起來！
關鍵總結：這類級數的收斂性完全取決於 \(S_n\) 中剩餘項在 \(n \to \infty\) 時是否具有有限極限。如果有的話，級數就會收斂到該極限值。
章節總結
你已經掌握了進階數學中求和的兩個基本技巧：
1. 多項式求和：使用標準結果（\(\sum r, \sum r^2, \sum r^3\)）及線性性質（拆分求和並提取常數）來求出 \(S_n\)。
2. 相消求和：使用相消法。這需要將通項 \(U_r\) 表達為 \(f(r) - f(r+k)\)，通常會用到部分分式。求和時，中間項會互相抵消，只剩下開頭與結尾的幾項構成 \(S_n\)。
3. 無窮級數之和：對於收斂的級數，透過求 \(n \to \infty\) 時 \(S_n\) 的極限來得到 \(S_{\infty}\)。
請持續練習你的代數化簡技巧——這是使用標準結果時必不可少的；同時也要多練習部分分式拆解——這對相消法至關重要！加油，你一定做得到的！