Series

欢迎来到级数（Series）章节！

你好，未来的数学家！级数这一章是《进阶纯数学 1》（Further Pure Mathematics 1, FP1）中最优雅且令人着迷的课题之一。
乍一看，处理复杂的求和问题可能会让人感到畏惧，但本单元将为你提供强大的工具和精巧的技巧，将它们化繁为简。

你将学到什么： 你将熟练掌握求和符号（Summation notation）的用法，并学习至关重要的差分法（Method of Differences，也称为裂项相消法），从而求出有限级数的精确和，即使是涉及复杂分式的级数也不在话下。
为什么这很重要： 这些技巧是理解微积分和高等数学的基础，为处理无穷过程和求和提供了严谨的方法。让我们开始吧！

---

第 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 \]

---

第 2 节：标准求和公式（构建基础）

在 FP1 中，我们经常会遇到需要代入标准公式的求和问题。这些公式通常会出现在你的考试手册中，但熟练掌握它们是关键。它们允许你对 r 的多项式（最高到 \(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) \]

---

第 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)} \]

---

第 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 处理非 1 起始的索引

如果级数是从 \(r=k\) 开始而不是从 \(r=1\) 开始，你就不能直接使用标准公式 \(\sum_{r=1}^{n} u_r = f(1) - f(n+1)\)。

对于非 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\) 的话）。

继续练习那些部分分式拆分和代数简化——它们是本章中最大的难点！你一定可以做到的！