无穷多个数怎么相加——级数的世界

先看一个事实：

$$\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+\cdots = 1$$

无穷多项相加，等于 1。芝诺两千年前的困惑，今天你能用一行等比数列公式解掉。

再看一个：

$$1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots$$

这个发散到无穷，虽然项越来越小。

同样都是趋于 0 的项，为什么一个收敛一个发散？这一讲讲清"无穷多个数相加"的游戏规则。

严格定义：部分和取极限

无穷多个数不能直接加——物理上你做不到"加完所有项"。

所以定义必须绕道：先加有限多个，再看趋势。

$$\sum_{n=1}^{\infty}u_n$$

称级数。它的部分和：

$$S_n = u_1 + u_2 + \cdots + u_n$$

定义：若 $\lim\limits_{n\to\infty}S_n = S$ 存在有限，称级数收敛，$S$ 是它的和。

$$\sum_{n=1}^\infty u_n = S \quad\Longleftrightarrow\quad S_n \to S$$

所以级数不是"无穷次加法"，是"部分和数列的极限"。 定义两行，但它是后面一切的地基。

必要条件：项必须趋于 0

定理：若 $\sum u_n$ 收敛，则 $u_n \to 0$。

证明一行：$u_n = S_n - S_{n-1}$，两个都趋于 $S$，差趋于 0。

但反过来不成立。 $u_n = \dfrac{1}{n}$ 趋于 0，级数发散。这是级数论第一个大坑。

调和级数：第一个大坑

$$\sum_{n=1}^{\infty}\frac{1}{n} = 1 + \frac{12} + \frac13 + \frac14 + \cdots$$

每一项都趋于 0，为什么发散？三个经典证法，一个比一个漂亮。

证法一：分组（Nicole Oresme，1350 年左右）

$$1 + \frac{1}{2} + \left(\frac{1}{3}+\frac{1}{4}\right) + \left(\frac{1}{5}+\frac{1}{6}+\frac{1}{7}+\frac{1}{8}\right) + \cdots$$

每组都比 $\dfrac{1}{2}$ 大：

• 第一组：$1 > \dfrac{1}{2}$ ✅
• 第二组：$\dfrac{1}{2} = \dfrac{1}{2}$ ✅
• 第三组：$\dfrac{1}{3}+\dfrac{1}{4} > \dfrac{1}{4}+\dfrac{1}{4} = \dfrac{1}{2}$ ✅
• 第四组：$\dfrac{1}{5}+\cdots+\dfrac{1}{8} > 4\cdot\dfrac{1}{8} = \dfrac{1}{2}$ ✅

有无穷多组，每组至少 $\dfrac{1}{2}$，所以总和超过任何数。发散。

证法二：积分判据

$$\sum_{n=1}^{N}\frac{1}{n} \approx \int_1^N \frac{dx}{x} = \ln N$$

$\ln N \to \infty$，所以发散。而且给出了增长速度：约 $\ln N$。

证法三：指数替换

$$1 + \frac12 + \frac13 + \cdots + \frac{1}{2^k} \ge 1 + \frac{k}{2}$$

同样思路，直接给出下界。

调和级数的重要性：它是"项趋于 0 但发散"的标准例子，也是所有 $p$ 级数的分界点。

$p$ 级数

$$\sum_{n=1}^{\infty}\frac{1}{n^p}$$

收敛 $\iff p > 1$。

调和级数是 $p=1$ 的临界情形，发散。$p=2$ 收敛（等于 $\dfrac{\pi^2}{6}$，巴塞尔问题，欧拉 1735 年解决）。

和反常积分里的 $p$ 积分完全平行。 这不是巧合——级数本来就是"离散版积分"。

正项级数的判据

收敛性判定是级数论的核心。$p$ 级数只是特例，需要通用工具。

设 $u_n \ge 0$（部分和单调递增）。

柯西收敛准则

级数收敛 $\iff$ 任给 $\varepsilon>0$，存在 $N$，使 $n > m \ge N$ 时

$$|u_{m+1}+u_{m+2}+\cdots+u_n| < \varepsilon$$

这是"收敛"的纯粹内在刻画——不预设极限值，只用级数自身。所有其他判据都是它的推论。

比较判据

若 $u_n \le v_n$ 且 $\sum v_n$ 收敛，则 $\sum u_n$ 收敛。 若 $u_n \ge v_n \ge 0$ 且 $\sum v_n$ 发散，则 $\sum u_n$ 发散。

极限比较判据

若 $\lim\dfrac{u_n}{v_n} = c \in (0,+\infty)$，则 $\sum u_n$ 与 $\sum v_n$ 同敛散。

最常用。 因为大部分级数在 $n\to\infty$ 时只差一个幂次。

比值判据（达朗贝尔）

$$\lim_{n\to\infty}\frac{u_{n+1}}{u_n} = r \quad\begin{cases} r < 1 & \text{收敛}\\ r > 1 & \text{发散}\\ r = 1 & \text{无结论}\end{cases}$$

适合含阶乘、指数、乘积的级数。

例：$\sum\dfrac{2^n}{n!}$。$\dfrac{u_{n+1}}{u_n} = \dfrac{2}{n+1} \to 0 < 1$。收敛。实际上它等于 $e^2 - 1$。

根值判据（柯西）

$$\lim_{n\to\infty}\sqrt[n]{u_n} = r$$

同上三分类。适合 $u_n$ 含 $n$ 次幂的级数。

级数	用什么
含 $\dfrac{1}{n^p}$	比较 / 极限比较
含阶乘、指数	比值判据
含 $n$ 次幂	根值判据
振荡（$(-1)^n$）	莱布尼茨判据

交错级数与莱布尼茨判据

$$\sum(-1)^{n-1}u_n,\qquad u_n \ge 0$$

定理（莱布尼茨）：若 $u_n$ 单调递减趋于 0，则交错级数收敛。

证明：部分和在相邻项之间来回跳，$S_{2k}$ 递增、$S_{2k+1}$ 递减，两者都被夹住，所以都收敛；极限相同（差一项趋于 0），故收敛。

例：

$$1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \ln 2$$

收敛，且等于 $\ln 2$。这与推导 $\ln(1+x)$ 的泰勒展开代入 $x=1$ 一致（第十讲）。

重头戏：条件收敛与黎曼重排定理

前面都是"技术活"。现在是级数论最惊人的结果。

绝对收敛与条件收敛

若 $\sum |u_n|$ 收敛，称 $\sum u_n$ 绝对收敛。 若 $\sum u_n$ 收敛而 $\sum|u_n|$ 发散，称条件收敛。

绝对收敛 ⟹ 收敛。

$\ln 2$ 那个交错级数是条件收敛——因为取绝对值后就是调和级数，发散。

黎曼重排定理（1854）

条件收敛的级数，重排项的顺序后，可以收敛到任意实数，也可以发散到 $\pm\infty$。

这不是危言耸听，是黎曼证明的定理。

为什么？ 条件收敛的级数，正项和负项各自发散（一个是 $+\infty$、一个是 $-\infty$），只是相消后恰好有限。

$$\ln 2 = 1 - \frac12 + \frac13 - \frac14 + \cdots$$

正项部分 $1 + \dfrac13 + \dfrac15 + \cdots$ 发散，负项部分 $-\dfrac12 - \dfrac14 - \cdots$ 也发散。

重排就是控制"正项取多少、负项取多少"的配比。 想要和接近某个目标 $S$，先取正项堆到超过 $S$，再取负项降到低于 $S$，再取正项……因为两侧资源都是无限的，这个过程能无限进行，且误差趋于 0。

具体例子：同一个级数，两个答案

$$1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \frac{1}{6} + \cdots = \ln 2$$

把它按"一正一负"重新分组，但每两个正项配一个负项：

$$\left(1 + \frac13 - \frac12\right) + \left(\frac15 + \frac17 - \frac14\right) + \cdots$$

每个括号内的值是 $\dfrac{1}{6n+1} + \dfrac{1}{6n+3} - \dfrac{1}{2n+2} > 0$（可以验算）。

结果是 $\dfrac{3}{2}\ln 2$。同一个级数，重排后和变成 $1.5$ 倍。

这是有限算术不可能的：$1+2 = 3$ 重排还是 3。但无穷相加，顺序是内容的一部分。

定理总结

现象	结论
$u_n \not\to 0$	必发散
$\sum \lvert u_n\rvert$ 收敛	绝对收敛，重排不乱
条件收敛	重排可得任意值
正项级数	用比较/比值/根值
交错级数	莱布尼茨判据

讲给学生听时，讲什么

第一，调和级数必须证一次。 学生普遍以为"项趋于 0 就该收敛"，Oresme 的分组证明一次破除这个直觉。

第二，$p$ 级数分界点是骨干知识。 无穷级数和反常积分在这里合流，一起记。

第三，莱布尼茨判据简单但重要。 它给出了第一个不依赖 $p$ 级数的收敛判据。

第四，黎曼重排定理要讲，哪怕不证明。 这是数学里最违反直觉的定理之一，直接摧毁"加法可交换"的深层信念。学生会记住一辈子。

第五，回到第三讲的伏笔。 "有限次运算的法则不能推广到无限次"——现在有了最硬的证据。

思考与拓展

1. 用 Oresme 的分组法证明 $\sum \dfrac{1}{2^n}$ 收敛到 1，并对比调和级数为什么同样的分组技巧对它无效（提示：看每组大小）。
2. 判断 $\sum \dfrac{n}{2^n}$ 的敛散性，并求和。（提示：用比值判据证收敛，求和用错位相减。）
3. 判断 $\sum \dfrac{1}{n\ln n}$ 的敛散性。（提示：用积分判据，$\int\dfrac{dx}{x\ln x}$。）
4. 用莱布尼茨判据证明 $\sum \dfrac{(-1)^n}{\sqrt n}$ 收敛，并说明它是条件收敛。
5. 把 $\sum\dfrac{(-1)^{n-1}}{n}$ 重排成"两个正项一个负项"的形式，验证新和是 $\dfrac32\ln 2$。（提示：注意括号内的代数整理。）

一句话总结

级数是部分和的极限，不是无穷次加法；项趋于零不保证收敛——调和级数是第一个反例；而条件收敛的级数重排后可以得到任意实数，这证明「加法可交换」在无穷处失效，顺序本身成了内容的一部分。

附：本文涉及的史实出处

• 调和级数发散的分组证明：Oresme（尼科尔·奥雷姆）1350 年左右
• 巴塞尔问题 $\sum 1/n^2 = \pi^2/6$：欧拉 1735 年
• 黎曼重排定理：黎曼 1854 年教授资格论文
• 达朗贝尔比值判据、柯西根值判据：达朗贝尔 1768、柯西 1821
• 莱布尼茨判据：莱布尼茨 17 世纪末