怎样选择判别法并给出收敛证书？¶
先备知识¶
本单元不增加新定理，而是整合第 23–24 章。判定之前先识别对象类型，再逐条核对条件。
学习目标¶
- 按符号、增长率、单调性和振荡结构选择工具；
- 明确区分“判别无结论”与“已经证明发散”；
- 在可行时同时给出结论强度与余项上界；
- 检查重排、乘积等操作是否安全。
牵引问题¶
同一个级数可能同时看起来像比较题、比值题或交错题。怎样避免套用一个失败判别后就 误判发散？怎样把“收敛”升级为可执行的截断证书？
探索与猜想¶
诊断不是判别法清单，而是一棵有顺序的决策树：先排除通项不趋零，再区分正项、 绝对值和结构性抵消；得到收敛后，继续追问结论强度、余项上界和操作许可。
概念与理论¶
决策工作流¶
- 对象类型： 是一般实数项、最终同号、交错，还是“有界部分和 × 单调趋零”？
- 必要条件： 若 \(a_n\not\to0\)，立即发散。
- 绝对值路线： 对 \(\sum|a_n|\) 尝试比较、极限比较、比值、根值、积分或凝聚。
- 抵消路线： 绝对值路线失败后，检查 Leibniz 或 Dirichlet–Abel 的全部条件。
- 条件检查： 把正性、单调性、有界部分和、极限阈值逐项写出。
- 结论强度： 标明绝对收敛、条件收敛、发散，或目前无结论。
- 余项上界： 只有已有明确不等式时才给截断证书。
- 操作安全： 另行审核重排与乘积，不能由“原级数收敛”自动放行。
核心警告：判别失败不等于发散。例如比值极限为 \(1\)，只说明该判别无结论。
判别边界表¶
| 结构 | 优先工具 | 必查条件 | 失败时含义 |
|---|---|---|---|
| 最终非负 | 比较、根值、积分等 | 正性及各自附加条件 | 通常无结论 |
| 绝对值可控 | 对 ( | a_n | ) 判定 |
| 严格交错 | Leibniz | 幅值单调递减且趋零 | 无结论 |
| 一般振荡乘衰减 | Dirichlet | 部分和有界、因子单调趋零 | 无结论 |
| 通项不趋零 | 必要条件 | 极限确实不为零或不存在 | 发散 |
操作安全表¶
| 操作 | 足够安全条件 | 不能省略的检查 |
|---|---|---|
| 重排 | 原级数绝对收敛 | 指标为双射 |
| 乘积 | 两因子收敛且至少一个绝对收敛 | 方形与三角截断的极限控制 |
| 截断 | 已证收敛且已有尾部不等式 | 误差方向、首个被舍项或比较界 |
例题与迁移¶
例 1：先查绝对值¶
\(\sum (-1)^n n/(n^3+1)\) 的绝对值与 \(1/n^2\) 极限比较，故绝对收敛。无需再依赖 交错单调性，结论强度也更高。
例 2：判别无结论后换路线¶
\(\sum(-1)^{n-1}/n\) 的绝对值级数发散，不代表原级数发散；转用 Leibniz 判别得到 条件收敛，并有首个被舍项余项上界。
即时检验与回望¶
即时检验 1¶
比值判别的极限等于 \(1\)，应记录什么？
答案
记录“比值判别无结论”，不能记录“级数发散”。
即时检验 2¶
证明绝对收敛后，是否还需检查交错条件？
答案
对敛散结论不需要；若要专门使用交错余项界，则仍需核对相应条件。
即时检验 3¶
原级数条件收敛，能否直接允许任意重排？
答案
不能；条件收敛的重排可能改变和或发散。
习题与答案¶
习题 1¶
判定 \(\sum n^{-3}\) 并说明工具。
答案
正项 \(p\)-级数，\(p=3>1\)，收敛。
习题 2¶
判定 \(\sum(-1)^n/n^2\) 的结论强度。
答案
绝对值级数收敛，故绝对收敛。
习题 3¶
判定 \(\sum(-1)^{n-1}/\sqrt n\)。
答案
幅值单调趋零，故收敛；绝对值为 \(p=1/2\) 的发散级数，故条件收敛。
习题 4¶
判定 \(\sum n/(n+1)\)。
答案
通项趋于 \(1\ne0\)，故发散。
习题 5¶
根值上极限小于 \(1\) 能得到什么结论？
答案
对绝对值应用根值判别，得到绝对收敛。
习题 6¶
比值极限为 \(1\) 时下一步是什么？
答案
标记无结论，转用比较、积分、凝聚或抵消结构。
习题 7¶
对 \(\sum\sin(n)/n\)，应优先识别什么结构？
答案
\(\sin(n)\) 的部分和有界，而 \(1/n\) 单调趋零，适用 Dirichlet 路线。
习题 8¶
一个交错级数何时有首项余项证书？
答案
幅值非负、单调递减并趋于零时。
习题 9¶
条件收敛级数可否任意重排而保持和？
答案
不可；Riemann 重排定理说明其和可被改变。
习题 10¶
两个条件收敛级数能否只靠分别收敛就相乘？
答案
不能；Mertens 条件未满足，Cauchy 乘积可能发散。
习题 11¶
为什么数值上很多部分和相近不是收敛证明？
答案
它只检查有限样本，没有控制任意远处的所有有限尾段。
习题 12¶
一份完整收敛证书至少应记录哪些层次？
答案
对象类型、条件检查、结论强度；若要计算，还需余项上界与截断预算。
常见误区与后续¶
- 判别法是带前提的蕴含，不是关键词匹配。
- 收敛、绝对收敛和可安全操作是三个不同层次。
- 第 25 章将研究带自变量的数列与级数，并建立新的误差口径。