无穷级数

无穷级数可以理解成：“把无限多个数加起来”这件事，用极限严格定义出来。

它看起来只是

a_{1} + a_{2} + a_{3} + \dots

但真正关键的问题不是“后面还有无穷多项”，而是：

前 $n$ 项的和，当 $n \to \infty$ 时，会不会越来越接近某个确定的有限数？

这就是无穷级数整个理论的出发点。

一、先从最普通的加法说起

假设有几个数：

1, \frac{1}{2}, \frac{1}{4}, \frac{1}{8}

当然可以直接相加：

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8}

这是一个有限和。

如果不断往后加：

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots

就遇到了一个问题：

你永远加不完。

所以“把无限多个数真的一个一个加完”是不可能完成的操作。

数学家于是换了一种思路：

我不直接进行“无限次加法”，而是研究“加到第 $n$ 项时的结果”，然后让 $n$ 越来越大。

于是先定义：

S_{1} = 1

S_{2} = 1 + \frac{1}{2}

S_{3} = 1 + \frac{1}{2} + \frac{1}{4}

S_{4} = 1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8}

……

一般地：

S_{n} = a_{1} + a_{2} + \dots + a_{n}

这个 $S_{n}$ 称为前 $n$ 项部分和。

然后研究：

n \to \infty lim S_{n}

如果这个极限存在，并且是有限数 $S$ ，那么我们就定义：

a_{1} + a_{2} + a_{3} + \dots = S

或者写成：

n = 1 \sum \infty a_{n} = S

所以非常重要：

无穷级数的本质不是 “ 无限加法 ” ，而是 “ 部分和数列的极限 ”

二、什么是“级数”？

假设有一个数列：

a_{1}, a_{2}, a_{3}, \dots, a_{n}, \dots

把这些数按顺序用加号连接：

a_{1} + a_{2} + a_{3} + \dots + a_{n} + \dots

就得到一个无穷级数。

用求和符号表示：

n = 1 \sum \infty a_{n}

这里：

a_{n}

叫做级数的一般项。

例如数列：

1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots

对应的级数就是：

1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots

即：

n = 1 \sum \infty \frac{1}{n}

这就是著名的调和级数。

三、一定要区分“数列”和“级数”

这是初学时最容易混淆的地方。

数列是：

a_{1}, a_{2}, a_{3}, \dots

关注的是每一项 $a_{n}$ 的变化。

例如：

a_{n} = \frac{1}{n}

形成数列：

1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots

我们可以研究：

n \to \infty lim a_{n}

显然：

n \to \infty lim \frac{1}{n} = 0

但是级数研究的是：

a_{1} + a_{2} + a_{3} + \dots

即：

n = 1 \sum \infty a_{n}

真正研究的其实是部分和：

S_{n} = k = 1 \sum n a_{k}

然后看：

n \to \infty lim S_{n}

所以：

数列研究 a_{n}

而：

级数研究 S_{n} = a_{1} + \dots + a_{n}

这是后面所有判断级数收敛问题的基础。

四、无穷级数到底是怎么“得出来”的？

它其实就是有限求和 + 极限思想的自然结合。

你已经知道有限求和：

S_{n} = a_{1} + a_{2} + \dots + a_{n}

但是数学里经常会碰到需要“无限累积”的情况。

例如不断把一段距离减半：

第一次走：

\frac{1}{2}

第二次走：

\frac{1}{4}

第三次走：

\frac{1}{8}

……

总距离看起来应该是：

\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots

但由于无法真正完成无限次相加，所以就定义：

S_{n} = \frac{1}{2} + \frac{1}{4} + \dots + \frac{1}{2 ^{n}}

然后求：

n \to \infty lim S_{n}

如果极限存在，就把这个极限当成“无限累加的结果”。

因此无穷级数其实和你刚学到的极限联系非常紧密。

甚至可以说：

没有极限理论，就无法严格定义无穷级数

五、经典例子：为什么

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots = 2

我们一步一步看。

设：

S_{n} = 1 + \frac{1}{2} + \frac{1}{4} + \dots + \frac{1}{2 ^{n - 1}}

这是一个等比数列求和。

有限等比数列：

1 + q + q^{2} + \dots + q^{n - 1} = \frac{1 - q ^{n}}{1 - q}

这里：

q = \frac{1}{2}

所以：

S_{n} = \frac{1 - ( \frac{1}{2} ) ^{n}}{1 - \frac{1}{2}}

因此：

S_{n} = 2 (1 - \frac{1}{2 ^{n}})

即：

S_{n} = 2 - \frac{1}{2 ^{n - 1}}

随着 $n \to \infty$ ：

\frac{1}{2 ^{n - 1}} \to 0

于是：

n \to \infty lim S_{n} = 2

所以定义：

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots = 2

注意，并不是说：

“真的做完了无限次加法，然后算出了 2。”

而是说：

S_{1} = 1

S_{2} = 1.5

S_{3} = 1.75

S_{4} = 1.875

S_{5} = 1.9375

……

这些部分和越来越逼近 $2$ 。

因此：

n \to \infty lim S_{n} = 2

于是我们说这个无穷级数的和是 $2$ 。

六、什么叫级数“收敛”？

设：

n = 1 \sum \infty a_{n}

它的部分和数列为：

S_{n} = k = 1 \sum n a_{k}

如果存在某个有限数 $S$ ，使得：

n \to \infty lim S_{n} = S

则称级数：

n = 1 \sum \infty a_{n}

收敛。

并称：

S

为这个级数的和。

即：

n = 1 \sum \infty a_{n} = S

如果：

n \to \infty lim S_{n}

不存在或者趋向无穷大，就称级数发散。

所以判断级数收敛与否，本质只有一个定义：

看部分和数列 S_{n} 是否有有限极限

后面什么比较判别法、比值判别法、根值判别法、积分判别法，本质都是因为直接求 $S_{n}$ 太困难，所以寻找更加方便的判断方法。

七、一个非常重要的反例：每一项趋近于 0，不代表级数收敛

很多初学者第一反应会认为：

a_{n} \to 0

那么：

a_{1} + a_{2} + a_{3} + \dots

应该有个有限结果。

这是错误的。

最经典反例就是调和级数：

n = 1 \sum \infty \frac{1}{n}

即：

1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \dots

显然：

n \to \infty lim \frac{1}{n} = 0

可是：

1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots

却发散到：

+ \infty

为什么？

可以这样分组：

1 + \frac{1}{2} + (\frac{1}{3} + \frac{1}{4}) + (\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}) + \dots

第二组：

\frac{1}{3} + \frac{1}{4} > \frac{1}{4} + \frac{1}{4} = \frac{1}{2}

下一组：

\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} > 4 \cdot \frac{1}{8} = \frac{1}{2}

再下一组：

\frac{1}{9} + \dots + \frac{1}{16} > 8 \cdot \frac{1}{16} = \frac{1}{2}

于是整个级数大于：

1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \dots

显然越来越大。

因此：

n = 1 \sum \infty \frac{1}{n} 发散

虽然：

\frac{1}{n} \to 0

这告诉我们一个极其重要的结论。

如果：

n = 1 \sum \infty a_{n}

收敛，那么一定有：

n \to \infty lim a_{n} = 0

但是反过来不成立：

a_{n} \to 0

不能推出

n = 1 \sum \infty a_{n}

收敛。

也就是：

a_{n} \to 0 是级数收敛的必要条件，而不是充分条件

八、为什么收敛级数一定满足 $a_{n} \to 0$ ？

这个其实非常容易从定义得到。

因为：

S_{n} = a_{1} + a_{2} + \dots + a_{n}

而：

S_{n - 1} = a_{1} + a_{2} + \dots + a_{n - 1}

所以：

a_{n} = S_{n} - S_{n - 1}

如果级数收敛，那么：

S_{n} \to S

同时：

S_{n - 1} \to S

因此：

a_{n} = S_{n} - S_{n - 1} \to S - S = 0

所以：

\sum a_{n} 收敛 \Rightarrow a_{n} \to 0

这也是为什么考试中只要发现：

n \to \infty lim a_{n} \neq = 0

那么不用任何其他判别法，就能立刻判断：

\sum a_{n}

发散。

例如：

n = 1 \sum \infty \frac{n}{n + 1}

由于：

n \to \infty lim \frac{n}{n + 1} = 1 \neq = 0

因此该级数直接发散。

九、等比级数是最基本的无穷级数

最重要的模型之一：

1 + q + q^{2} + q^{3} + \dots

即：

n = 0 \sum \infty q^{n}

前 $n + 1$ 项和：

S_{n} = 1 + q + q^{2} + \dots + q^{n}

如果：

q \neq = 1

则：

S_{n} = \frac{1 - q ^{n + 1}}{1 - q}

现在看：

n \to \infty

如果：

∣ q ∣ < 1

那么：

q^{n + 1} \to 0

所以：

S_{n} \to \frac{1}{1 - q}

因此：

n = 0 \sum \infty q^{n} = \frac{1}{1 - q}, ∣ q ∣ < 1

但如果：

∣ q ∣ \geq 1

一般就发散。

因此等比级数的基本结论是：

n = 0 \sum \infty q^{n} {收敛, 发散, ∣ q ∣ < 1, ∣ q ∣ \geq 1.

这是后面学习各种级数的重要参照物。

十、为什么“无限多个正数相加”有可能是有限数？

这其实是很多人第一次学级数时最困惑的问题。

比如：

1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots

每一项都是正数。

每次都在增加。

为什么最终不是无穷大？

因为“不断增加”不等于“增加到无穷大”。

例如部分和：

1

1.5

1.75

1.875

1.9375

……

一直增加，但是始终小于：

2

而且越来越靠近：

2

所以它是一个有上界的单调递增数列。

根据单调有界定理，它一定收敛。

可以把它想象成：

0---------1---------2
          ↑
S1        1

0---------1----1.5--2
               ↑
              S2

0---------1------1.75-2
                  ↑
                 S3

0---------1-------1.875-2
                    ↑
                   S4

不断靠近 $2$ ，但是不会越过 $2$ 。

因此：

无限多个正数相加，只要这些增量衰减得足够快，总和仍然可以有限

十一、那为什么调和级数却发散？

比较：

\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots

和：

1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots

两者每一项都趋近：

0

但衰减速度不同。

等比级数：

\frac{1}{2 ^{n}}

下降非常快：

\frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \frac{1}{16}, \dots

而：

\frac{1}{n}

下降得比较慢：

1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \frac{1}{5}, \dots

因此：

\sum \frac{1}{2 ^{n}}

收敛，而：

\sum \frac{1}{n}

发散。

所以无穷级数研究的核心问题之一其实就是：

$a_{n}$ 到底衰减得够不够快？

这也是后面各种判别法的核心思想。

十二、最重要的一类： $p$ 级数

考研里特别重要：

n = 1 \sum \infty \frac{1}{n ^{p}}

称为 $p$ 级数。

结论：

n = 1 \sum \infty \frac{1}{n ^{p}} {收敛, 发散, p > 1, p \leq 1.

例如：

\sum \frac{1}{n ^{2}}

收敛。

事实上：

1 + \frac{1}{2 ^{2}} + \frac{1}{3 ^{2}} + \dots = \frac{π ^{2}}{6}

但是：

\sum \frac{1}{n}

发散。

而：

\sum \frac{1}{n}

也发散，因为：

p = \frac{1}{2} < 1

所以你会发现，临界值正好在：

p = 1

十三、正项级数为什么比较好理解？

如果：

a_{n} \geq 0

则：

S_{n + 1} = S_{n} + a_{n + 1} \geq S_{n}

所以部分和：

S_{n}

一定单调递增。

于是对于正项级数：

\sum a_{n}

只剩一个问题：

部分和有没有上界？

如果有上界，因为 $S_{n}$ 单调递增且有上界，所以一定收敛。

于是：

正项级数收敛 ⟺ 部分和有上界

例如：

n = 1 \sum \infty \frac{1}{2 ^{n}}

部分和永远小于 $1$ ，因此收敛。

而：

n = 1 \sum \infty \frac{1}{n}

部分和没有上界，因此发散。

十四、级数不一定都是正数

还可以有：

1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \dots

即：

n = 1 \sum \infty (- 1)^{n - 1} \frac{1}{n}

这叫交错级数。

它的部分和会：

S1 = 1

S2 = 1 - 1/2 = 0.5

S3 = 0.833...

S4 = 0.583...

S5 = 0.783...

也就是说，它不是一直单调增加，而是：

上、下、上、下 \dots\dots

逐渐逼近某个值。

事实上：

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

所以即使：

\sum \frac{1}{n}

发散，

加上正负交替以后：

\sum (- 1)^{n - 1} \frac{1}{n}

却可以收敛。

十五、于是出现“绝对收敛”和“条件收敛”

如果：

\sum ∣ a_{n} ∣

收敛，那么：

\sum a_{n}

也一定收敛。

这种情况称为绝对收敛。

例如：

n = 1 \sum \infty \frac{( - 1 ) ^{n}}{n ^{2}}

因为：

n = 1 \sum \infty \frac{( - 1 ) ^{n}}{n ^{2}} = n = 1 \sum \infty \frac{1}{n ^{2}}

收敛，所以原级数绝对收敛。

但是：

n = 1 \sum \infty \frac{( - 1 ) ^{n - 1}}{n}

虽然本身收敛，但：

n = 1 \sum \infty \frac{( - 1 ) ^{n - 1}}{n} = n = 1 \sum \infty \frac{1}{n}

发散。

因此它叫：

条件收敛

于是有：

绝对收敛 \Rightarrow 收敛

但：

收敛 \neq \Rightarrow 绝对收敛

十六、还有一种非常有意思的级数：裂项级数

例如：

n = 1 \sum \infty \frac{1}{n ( n + 1 )}

注意：

\frac{1}{n ( n + 1 )} = \frac{1}{n} - \frac{1}{n + 1}

所以：

n = 1 \sum \infty \frac{1}{n ( n + 1 )}

变成：

(1 - \frac{1}{2}) + (\frac{1}{2} - \frac{1}{3}) + (\frac{1}{3} - \frac{1}{4}) + \dots

大量抵消：

S_{n} = 1 - \frac{1}{n + 1}

于是：

n \to \infty lim S_{n} = 1

所以：

n = 1 \sum \infty \frac{1}{n ( n + 1 )} = 1

这种叫做裂项相消或者 telescoping series。

它也非常清楚地说明：

真正决定级数的，始终都是部分和 $S_{n}$ 。

十七、为什么后来需要那么多“级数判别法”？

理论上判断：

\sum a_{n}

是否收敛，直接计算：

S_{n} = k = 1 \sum n a_{k}

然后求：

n \to \infty lim S_{n}

不就行了吗？

问题是，大多数时候：

a_{1} + a_{2} + \dots + a_{n}

根本算不出简洁公式。

例如：

n = 1 \sum \infty \frac{1}{n ^{2} + 1}

你很难求出：

S_{n} = \frac{1}{2} + \frac{1}{5} + \frac{1}{10} + \dots + \frac{1}{n ^{2} + 1}

的显式公式。

于是数学家想：

虽然不知道它具体等于多少，但能不能至少判断它“有没有一个有限的和”？

于是出现了各种收敛判别法，例如比较判别法、极限比较法、比值判别法、根值判别法、积分判别法、莱布尼茨判别法等。

因此一定要理解：

各种判别法不是级数的定义，而是判断部分和是否收敛的工具

十八、无穷级数和积分有什么关系？

这两者其实都在处理一个共同问题：

无限累积

积分：

\int_{a}^{b} f (x) d x

可以理解为把无穷多个极小量：

f (x) d x

累积起来。

而级数：

n = 1 \sum \infty a_{n}

则是把无穷多个离散量：

a_{1}, a_{2}, a_{3}, \dots

累积起来。

可以粗略理解成：

级数 = 离散累加

积分 = 连续累加

例如：

n = 1 \sum \infty \frac{1}{n ^{p}}

可以和：

\int_{1}^{\infty} \frac{1}{x ^{p}} d x

比较。

而：

\int_{1}^{\infty} \frac{1}{x ^{p}} d x

当且仅当：

p > 1

时收敛。

这正好对应：

n = 1 \sum \infty \frac{1}{n ^{p}}

当且仅当：

p > 1

时收敛。

这就是积分判别法背后的直觉。

十九、无穷级数为什么对微积分如此重要？

因为函数本身也可以被写成“无穷多个东西相加”。

例如你之前问到的泰勒展开。

指数函数：

e^{x}

可以写成：

e^{x} = 1 + x + \frac{x ^{2}}{2 !} + \frac{x ^{3}}{3 !} + \dots

即：

e^{x} = n = 0 \sum \infty \frac{x ^{n}}{n !}

正弦函数：

sin x = x - \frac{x ^{3}}{3 !} + \frac{x ^{5}}{5 !} - \frac{x ^{7}}{7 !} + \dots

余弦函数：

cos x = 1 - \frac{x ^{2}}{2 !} + \frac{x ^{4}}{4 !} - \frac{x ^{6}}{6 !} + \dots

所以无穷级数不只是“研究一堆数字怎么加”。

它后来变成了：

用简单函数的无限和表示复杂函数。

这就是函数项级数、幂级数、泰勒级数的来源。

二十、从“数项级数”到“幂级数”

普通级数：

n = 1 \sum \infty a_{n}

里面的每个 $a_{n}$ 是一个数。

例如：

n = 1 \sum \infty \frac{1}{n ^{2}}

但是如果每一项都含 $x$ ：

1 + x + x^{2} + x^{3} + \dots

就是：

n = 0 \sum \infty x^{n}

这时候它就不是单纯的一个数字了，而是随着 $x$ 改变。

由等比级数：

1 + x + x^{2} + x^{3} + \dots = \frac{1}{1 - x}, ∣ x ∣ < 1

这非常神奇。

左边是无限多个多项式相加，右边是：

\frac{1}{1 - x}

一个函数。

因此：

\frac{1}{1 - x} = n = 0 \sum \infty x^{n}

这其实就是理解泰勒级数最好的入口。

二十一、级数与泰勒展开到底是什么关系？

例如：

e^{x} = 1 + x + \frac{x ^{2}}{2 !} + \frac{x ^{3}}{3 !} + \dots

右边其实就是一个无穷级数：

n = 0 \sum \infty \frac{x ^{n}}{n !}

只不过它的每一项含 $x$ 。

所以：

泰勒级数本质上是一种特殊的无穷级数

普通数项级数解决：

无穷多个数能不能加？

泰勒级数进一步解决：

能不能用无穷多个简单多项式把一个复杂函数表示出来？

因此学习顺序实际上是：

数列 \to 极限 \to 无穷级数 \to 函数项级数 \to 幂级数 \to 泰勒级数

这条逻辑链非常重要。

二十二、无穷级数和傅里叶级数又是什么关系？

泰勒级数用：

1, x, x^{2}, x^{3}, \dots

这些“积木”表示函数。

而傅里叶级数用：

1, cos x, sin x, cos 2 x, sin 2 x, \dots

这些“波”作为积木。

例如：

f (x) = \frac{a _{0}}{2} + n = 1 \sum \infty (a_{n} cos n x + b_{n} sin n x)

本质上仍然是：

无限多个函数相加

所以从更大的角度来看：

无穷级数是 “ 无限叠加 ” 思想的基础

泰勒展开、傅里叶展开、微分方程解法、数值分析、概率论、信号处理等都会大量使用级数。

二十三、怎么从几何上直观理解无穷级数？

还是看：

\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots

假设有一条长度为 $1$ 的线段。

第一次走：

\frac{1}{2}

还剩：

\frac{1}{2}

第二次走剩余的一半：

\frac{1}{4}

还剩：

\frac{1}{4}

第三次再走：

\frac{1}{8}

……

于是：

\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \dots = 1

你实际上越来越接近终点。

这说明：

无限多步，不代表总距离无限大

因为每一步都越来越小。

这正是古希腊“芝诺悖论”中非常核心的问题。

现代极限和级数理论说明：

虽然步骤数无限多，但所有距离的极限完全可以是有限的。

二十四、考研里到底在研究无穷级数的哪些问题？

你以后做题时，可以把无穷级数看成四个层次。

第一层是最基础的问题：

这个级数收敛还是发散？

例如：

\sum \frac{1}{n ^{2}}

第二层：

如果收敛，是绝对收敛还是条件收敛？

例如：

\sum (- 1)^{n - 1} \frac{1}{n}

第三层进入幂级数：

\sum a_{n} x^{n}

研究：

在哪些 x 下收敛？

也就是求收敛半径和收敛域。

第四层是函数展开：

把函数展开成幂级数

例如：

ln (1 + x) = x - \frac{x ^{2}}{2} + \frac{x ^{3}}{3} - \dots

然后利用展开式求极限、积分、级数和等。

所以你后面会发现，考研无穷级数这章实际上是一条很清楚的主线：

数项级数判敛 \to 幂级数 \to 函数展开

二十五、用一句最核心的话理解无穷级数

假设：

n = 1 \sum \infty a_{n}

不要真的想象自己在完成“无限次加法”。

永远先在脑子里把它替换成：

S_{n} = k = 1 \sum n a_{k}

然后问：

n \to \infty lim S_{n} 存不存在？

存在：

级数收敛

不存在：

级数发散

所以整个无穷级数理论的地基其实只有这一个公式：

n = 1 \sum \infty a_{n} = S ⟺ n \to \infty lim k = 1 \sum n a_{k} = S

如果你真正理解了这个式子，后面所有无穷级数判别法都会容易很多。

最后把整个逻辑串起来

可以把无穷级数想成这样：

a_{1}, a_{2}, a_{3}, \dots ↓ 数列 ↓ 逐项累加 S_{n} = a_{1} + \dots + a_{n} ↓ 部分和数列 ↓ n \to \infty lim S_{n} {= S \in R 不存在 收敛 发散

所以，无穷级数并不是凭空发明出来的，而是从：

有限求和 + 极限

自然得到的。

再往后发展，就有了：

无穷级数 \to 幂级数 \to 泰勒级数

以及：

无穷级数 \to 傅里叶级数

它们共同表达了数学里一个极其重要的思想：

用无限多个越来越小、越来越简单的部分，精确构造一个整体。

这也是为什么无穷级数在高等数学里这么重要。

On this page