Series

歡迎來到 FP1 數列單元：解鎖求和的威力！

你好！這一章「數列」（Series）旨在尋找聰明且有效的方法，來計算遵循特定規律的長數列之和。與其逐項相加（那樣會算到天荒地老！），我們將會學習強大的公式與技巧。

掌握數列至關重要，因為它為更進階的微積分和數學建模奠定了基礎。如果符號看起來很嚇人，別擔心；我們會一步一步為你拆解！

1. 自然數冪次的求和

本節探討如何計算前 \(n\) 個自然數及其平方和立方之和。自然數就是 \(1, 2, 3, \dots\) 這些數。

1.1 標準公式（基礎組件）

你應該已經熟悉求和符號 \(\sum_{r=1}^{n} f(r)\)，這意味著將表達式 \(f(r)\) 對於每一個從 1 到 \(n\) 的整數值 \(r\) 進行相加。

此處的核心知識包括前 \(n\) 個整數、平方和立方的求和公式。這些公式通常會提供在你的公式手冊中，但「如何運用」才是關鍵！

A. 前 \(n\) 個自然數之和 (\(\sum r\))

這通常被視為先修知識，但對於理解上下文至關重要：
$$\sum_{r=1}^{n} r = 1 + 2 + 3 + \dots + n = \frac{1}{2} n (n+1)$$

B. 前 \(n\) 個自然數的平方和 (\(\sum r^2\))

這是你在 FP1 中必須正確應用的第一個重要公式：
$$\sum_{r=1}^{n} r^2 = 1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6} n (n+1) (2n+1)$$

C. 前 \(n\) 個自然數的立方和 (\(\sum r^3\))

這個公式看起來很複雜，但請留意這個有趣的規律——它其實就是 \(\sum r\) 公式本身的平方！
$$\sum_{r=1}^{n} r^3 = 1^3 + 2^3 + 3^3 + \dots + n^3 = \frac{1}{4} n^2 (n+1)^2$$
記憶小撇步：如果你記得 \(\sum r\) 的公式，將整個表達式平方，你就自動掌握了 \(\sum r^3\)！

1.2 運用求和法則

當處理多項式表達式的數列時（例如 \(\sum (r^2 + 2r)\)），我們使用線性法則（linearity rules）：

• 求和法則： 我們可以將求和拆分為獨立的求和：
  $$\sum (a_r + b_r) = \sum a_r + \sum b_r$$
• 常數倍數法則： 我們可以將常數移到求和符號之外：
  $$\sum c \cdot a_r = c \sum a_r$$

逐步計算流程：

1. 展開： 將表達式寫成 \(r\) 的冪次形式。例如，\(\sum_{r=1}^{n} r(r+2)\) 變成 \(\sum_{r=1}^{n} (r^2 + 2r)\)。
2. 拆分： 使用上述法則拆分求和：\(\sum r^2 + 2 \sum r\)。
3. 代入： 將 \(\sum r^2\) 和 \(\sum r\) 替換為它們各自關於 \(n\) 的公式。
4. 化簡： 對得到的多項式進行因式分解，得出最簡答案。這通常涉及提取公因式，如 \(\frac{1}{6} n(n+1)\)。

2. 相消法求和（望遠鏡級數 Telescoping Series）

相消法（Method of Differences, MoD）是一種極其強大的技巧，用於計算那些不遵循 \(r^2\) 或 \(r^3\) 這種簡單多項式規律的有限數列。

2.1 望遠鏡級數的概念

想像你有一支舊式望遠鏡。當你將它收起來時，各個節段會互相重疊並抵消，最後只剩下兩端可見。這正是望遠鏡級數（Telescoping Series）發生的情況！

核心概念是將通項 \(u_r\) 改寫為另一個函數 \(f(r)\) 的兩個連續項之差：
$$u_r = f(r) - f(r-1) \quad \text{或} \quad u_r = f(r+1) - f(r)$$

當你進行求和 \(\sum u_r\) 時，大部分中間項都會互相抵消：

令 \(S_n = \sum_{r=1}^{n} (f(r) - f(r-1))\)：
$$S_n = (f(1) - f(0))$$ $$+ (f(2) - f(1))$$ $$+ (f(3) - f(2))$$ $$\dots$$ $$+ (f(n) - f(n-1))$$

注意看，\(+f(1)\) 與 \(-f(1)\) 抵消，\(+f(2)\) 與 \(-f(2)\) 抵消，以此類推。

所有中間項都會消失，只剩下：
$$\mathbf{S_n = f(n) - f(0)}$$

2.2 相消法的操作步驟

在 FP1 大綱中，你將需要對類似 \(\sum r \cdot r!\) 或結構相似的數列使用 MoD。在這些情況下，差分公式通常會直接給出，或者很容易構造（通常涉及階乘或類似於 FP2 部分分式的有理函數）。

計算流程：

1. 辨識差分： 確保通項 \(u_r\) 已寫成 \(f(r) - f(r-k)\) 的形式。
   大綱例題： 你可能會被給予表達式： $$r \cdot r! = (r+1)! - r!$$ 在此例中，\(u_r = r \cdot r!\) 且 \(f(r) = r!\)。差分形式即為 \(f(r+1) - f(r)\)。
2. 列出項： 寫下求和的前幾項和最後幾項，務必展現出抵消過程。
   • 當 \(r=1\) 時： \(f(2) - f(1)\)
   • 當 \(r=2\) 時： \(f(3) - f(2)\)
   • 當 \(r=3\) 時： \(f(4) - f(3)\)
   • ...
   • 當 \(r=n-1\) 時： \(f(n) - f(n-1)\)
   • 當 \(r=n\) 時： \(f(n+1) - f(n)\)
3. 相消： 觀察到每一行的第二項與下一行的第一項抵消（這就是望遠鏡效應）。
4. 寫出部分和 (\(S_n\))： 收集剩下的項——也就是望遠鏡的「兩端」。
   在上述 \(f(r+1) - f(r)\) 的例子中，\(S_n\) 為： $$\mathbf{S_n = f(n+1) - f(1)}$$

常見錯誤： 請務必檢查求和的索引（起始值，通常為 \(r=1\)）。如果求和從 \(r=k\) 而非 \(r=1\) 開始，你的最終表達式將是 \(S_n = f(n+1) - f(k)\)。

3. 延伸至無限級數（收斂性 Convergence）

有時，我們不只是想要求出前 \(n\) 項的和 (\(S_n\))，而是想求整個無限級數的和，即 \(S_\infty\)。這只有在級數收斂的情況下才可能發生。

3.1 收斂性與部分和

無限級數收斂（即有有限的和），當且僅當其部分和 \(S_n\) 在 \(n\) 趨於無窮大時的極限存在且為有限值。

如果極限存在，我們寫作：
$$\mathbf{S_{\infty} = \lim_{n \to \infty} S_n}$$

如果 \(\lim_{n \to \infty} S_n\) 趨於無窮大或沒有固定在某一個值，則該級數發散，且沒有總和。

3.2 求 \(S_{\infty}\) 的步驟

要找出無限和，你必須先熟練相消法（第 2 節），因為這是 FP1 中處理非幾何級數求 \(S_n\) 的主要方法。

計算流程：

1. 求出 \(S_n\)： 使用相消法求出部分和 \(S_n\) 的封閉表達式（關於 \(n\)）。
2. 取極限： 計算 \(n \to \infty\) 時的極限。
   $$\mathbf{S_{\infty} = \lim_{n \to \infty} (\text{你求出的 } S_n \text{ 表達式})}$$
3. 求值： 專注於涉及 \(n\) 的項。如果 \(n\) 在分母中（例如 \(\frac{1}{n}\) 或 \(\frac{1}{n+1}\)），當 \(n \to \infty\) 時，該項趨於 0。
   例如： 如果你求得 \(S_n = 5 - \frac{1}{n+1}\)，那麼 $$\lim_{n \to \infty} S_n = \lim_{n \to \infty} \left(5 - \frac{1}{n+1}\right) = 5 - 0 = 5$$ 該級數收斂於 5。

關鍵點： 當處理 MoD 產生的無限和時，只有分母含 \(n\) 的項會消失。常數項以及來自起始點的任何項（例如 \(f(1)\) 或 \(f(0)\)）將決定最終的和。