# 交错级数收敛判别法

> AP 微积分 BC · 第10单元：无穷序列与级数
> 来源: https://www.owlsprep.com/zh/study/ap-calculus-bc-u10-alternating-series-test-for-convergence/

本学习指南涵盖交错级数识别、交错级数判别法（莱布尼茨判别法）的条件与应用、交错级数误差估计，以及AP微积分BC中绝对收敛与条件收敛的分类。

**先修:** 无穷序列的极限; 级数发散的第n项判别法; 正项级数的收敛判别法（p判别法、积分判别法）

## 学习目标

- 识别交错级数，分离出正项$a_n$以进行判别
- 应用交错级数判别法确认交错级数收敛
- 使用交错级数余项定理估计误差范围
- 将交错级数的收敛分类为绝对收敛或条件收敛

## 交错级数判别法：定义与条件

交错级数是相邻项符号交替变化的任意无穷级数。交错级数判别法（简称AST，又称莱布尼茨判别法）是这类级数的标准收敛判别法，在AP微积分BC考试中频繁出现，同时考查选择题和自由问答题。

**交错级数的标准形式** — 交错级数可写为$\sum_{n=k}^\infty (-1)^n a_n$ 或 $\sum_{n=k}^\infty (-1)^{n+1} a_n$，其中对所有$n \geq k$都有$a_n > 0$。$a_n$始终是第n项的正绝对值，而非带符号的完整项。

交错级数判别法指出，若对所有足够大的$n$（从某个有限起始索引$N$之后）满足以下两个条件，则交错级数**收敛**：

1. 正项序列$\{a_n\}$最终严格递减：对所有$n > N$都有$a_{n+1} < a_n$
2. 正项的极限趋近于零：$\lim_{n \to \infty} a_n = 0$

**例题:** 级数$\sum_{n=1}^\infty \frac{(-1)^{n+1}}{3n + 2}$收敛还是发散？使用交错级数判别法证明你的结论。

1. 将级数改写为标准形式，分离出$a_n$：
2. $$a_n = \frac{1}{3n + 2} > 0 \text{ for all } n \geq 1$$
3. 这确认我们得到了符合AST要求的有效交错级数。
4. 通过比较$a_{n+1}$和$a_n$检验递减条件：
5. $$a_{n+1} = \frac{1}{3(n+1) + 2} = \frac{1}{3n + 5} < \frac{1}{3n + 2} = a_n$$
6. 序列对所有项都严格递减，因此第一个条件满足。
7. 检验极限条件：
8. $$\lim_{n \to \infty} a_n = \lim_{n \to \infty} \frac{1}{3n + 2} = 0$$
9. 第二个条件满足。结论：AST的两个条件都满足，因此级数收敛。

> **tip**
>
> 在自由问答题中，你必须明确陈述并验证AST的两个条件才能获得满分。即使最终结论正确，遗漏一个条件也会扣分。

## 交错级数余项估计

通过AST确认交错级数收敛后，AP考试经常要求确定用有限部分和$S_n$近似总合$S$时的误差（称为余项）范围。交错级数余项定理给出了一个适合考试的简单误差界。

**交错级数余项定理** — 对于满足AST两个条件的收敛交错级数，使用n项近似的绝对误差界为第一个被省略项的绝对值：$|R_n| \leq a_{n+1}$。误差的符号与第一个被省略项的符号一致，因此你可以判断$S_n$是高估还是低估。

*记法:* |R_n| = |S - S_n|

**例题:** 要使收敛级数$\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^4}$的近似和误差小于$0.002$，需要使用多少项？

1. 确认级数满足AST条件：$a_n = \frac{1}{n^4} > 0$，对所有$n \geq 1$都有$a_{n+1} < a_n$，且$\lim_{n \to \infty} a_n = 0$，因此余项定理适用。
2. 建立误差不等式：我们要求$|R_n| \leq a_{n+1} < 0.002 = \frac{1}{500}$：
3. $$\frac{1}{(n+1)^4} < \frac{1}{500}$$
4. 求解n：翻转不等式（所有项均为正）得$(n+1)^4 > 500$。计算得$4^4 = 256 < 500$，$5^4 = 625 > 500$，因此$n+1 = 5$，即$n = 4$。
5. 结论：需要4项即可得到小于$0.002$的误差。

> **tip**
>
> 当题目要求给定部分和的最大可能误差时，始终写出$a_{n+1}$的精确值作为你的误差界。当题目要求最大误差时，AP阅卷员不接受用不等式代替精确误差界。

## 收敛分类：绝对收敛与条件收敛

确认交错级数收敛后，AP考试几乎总是要求将其收敛分类为绝对收敛或条件收敛。这种区分在求幂级数的收敛区间时尤其重要，因为端点通常是条件收敛的。

**绝对收敛与条件收敛** — 对于级数$\sum_{n=1}^\infty b_n$，若绝对值级数$\sum_{n=1}^\infty |b_n|$收敛，则该级数**绝对收敛**。若原交错级数收敛，但绝对值级数发散，则该级数**条件收敛**。

**例题:** 对级数$\sum_{n=1}^\infty \frac{(-1)^{n+1}}{\sqrt[3]{n}}$的收敛性进行分类，并证明你的结论。

1. 检验原交错级数的收敛性：记$a_n = \frac{1}{n^{1/3}} > 0$对所有$n \geq 1$成立。我们验证得$a_{n+1} = \frac{1}{(n+1)^{1/3}} < \frac{1}{n^{1/3}} = a_n$，且$\lim_{n \to \infty} \frac{1}{n^{1/3}} = 0$。根据AST，原级数收敛。
2. 检验绝对值级数的收敛性：
3. $$\sum_{n=1}^\infty \left| \frac{(-1)^{n+1}}{n^{1/3}} \right| = \sum_{n=1}^\infty \frac{1}{n^{1/3}}$$
4. 这是一个p级数，$p = \frac{1}{3} < 1$。所有$p \leq 1$的p级数都发散，因此绝对值级数发散。
5. 结论：原级数收敛，但绝对值级数发散，因此该级数条件收敛。

> **tip**
>
> 分类前绝不要跳过对原级数收敛性的检验。如果原级数发散，它既不能被分类为绝对收敛也不能被分类为条件收敛。

## 考试风格概念检验

**概念自测**

用这道AP风格选择题检验你对AST的理解：

1. 关于级数$\sum_{n=1}^\infty \frac{(-1)^n n}{e^{n^2}}$，以下哪个陈述是正确的？

   - A) 该级数通过交错级数判别法发散
   - B) 该级数绝对收敛
   - C) 该级数条件收敛但不绝对收敛
   - D) 该级数发散，因为$\lim_{n \to \infty} \frac{n}{e^{n^2}} \neq 0$

   *解析:* 首先，确认$a_n = \frac{n}{e^{n^2}} > 0$，$\lim_{n \to \infty} a_n = 0$（排除D），且对所有$n \geq 1$，$a_n$递减，因此AST确认级数收敛（排除A）。绝对值级数通过积分判别法收敛，因此原级数绝对收敛。

## 常见错误

- **错误做法:** 对$a_n$非正的级数应用AST，例如检验$\sum \frac{(-1)^n n}{n+1}$时，声称$a_n = \frac{(-1)^n n}{n+1}$，然后检验$\lim a_n = 0$。
  - 原因: 学生混淆了带符号的完整项和AST中定义的$a_n$，$a_n$必须是每一项的正绝对值。
  - 正确做法: 始终先提取出$(-1)^n$或$(-1)^{n+1}$以分离出$a_n$，并在应用AST前确认对所有足够大的$n$都有$a_n > 0$。
- **错误做法:** 因为前2-3项$a_n$不递减就得出发散结论，例如声称$\sum \frac{(-1)^n}{n - 0.2n^2}$发散，因为$a_1 > a_2$但对所有$n \geq 2$都有$a_2 < a_3 < ...$。
  - 原因: 学生忘记收敛只取决于大n时项的行为，前几项不影响收敛性。
  - 正确做法: 如果$a_n$在$n=1$处不递减，检查它是否在某个有限N之后变为递减——如果是的话，第一个条件仍然满足。
- **错误做法:** 即使$\lim_{n \to \infty} a_n \neq 0$，也会因为$a_n$递减就通过AST得出收敛结论。
  - 原因: 学生记住了递减条件，但忘记收敛需要极限条件。
  - 正确做法: 始终先检验$\lim_{n \to \infty} a_n$——如果极限非零，停止并通过第n项判别法得出发散结论。
- **错误做法:** 当级数不满足两个AST条件时仍然使用交错级数余项界。
  - 原因: 该误差界仅适用于收敛交错级数，不适用于发散交错级数或正项级数。
  - 正确做法: 只有在你确认两个AST条件都满足且级数收敛后，才应用交错级数误差界。
- **错误做法:** 仅仅因为交错级数通过AST收敛就将其分类为绝对收敛。
  - 原因: 学生混淆了交错级数的收敛和绝对收敛要求的绝对值级数的收敛。
  - 正确做法: 确认交错级数收敛后，始终用正项级数判别法（p判别法、积分判别法、比值判别法）检验绝对值级数，以完成收敛分类。

## 速查表

| 类别 | 核心规则 | 注释 |
| --- | --- | --- |
| 标准形式 | $\sum (-1)^n a_n$ / $\sum (-1)^{n+1} a_n$ | 根据定义，对所有$n \geq k$都有$a_n > 0$ |
| AST条件 | 1. $a_n$最终严格递减<br>2. $\lim_{n \to \infty} a_n = 0$ | 两个条件都必须满足；极限非零意味着发散 |
| 余项界 | $\|S - S_n\| = \|R_n\| \leq a_{n+1}$ | 仅适用于满足AST条件的收敛交错级数 |
| 高估/低估 | 误差符号与第一个被省略项的符号一致 | 第一个被省略项为正 = $S_n$是低估；为负 = 高估 |
| 绝对收敛 | 若$\sum \|a_n\|$收敛，则原级数收敛 | 绝对收敛必然意味着原级数收敛 |
| 条件收敛 | 原级数收敛，$\sum \|a_n\|$发散 | 大多数条件收敛级数通过AST证明 |
| 交错p级数 | $\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^p}$ | $p>0$时收敛；$p>1$时绝对收敛，$0 < p \leq 1$时条件收敛 |

## 下一步

掌握交错级数判别法是AP微积分BC第10单元所有剩余主题的关键先决条件。接下来你会使用AST在处理比值判别法和根值判别法时确认条件收敛，这两种判别法用于检验一般级数的绝对收敛。最重要的是，AST是检验幂级数收敛区间端点收敛性的必要方法，这是AP考试中常见的完整自由问答题。如果不掌握AST及其余项界，你将无法正确识别完整的收敛区间或证明端点收敛性，这会让你在考试中损失大量分数。现在打好AST的基础，会让你更轻松地掌握更高级的级数主题。

- [比值收敛判别法](https://www.owlsprep.com/zh/study/ap-calculus-bc-u10-ratio-test-for-convergence/)
- [积分收敛判别法](https://www.owlsprep.com/zh/study/ap-calculus-bc-u10-integral-test-for-convergence/)
- [第10单元：无穷序列与级数概述](https://www.owlsprep.com/zh/study/ap-calculus-bc-u10-overview/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-calculus-bc-u10-alternating-series-test-for-convergence/