级数收敛判别：无穷多个数能加吗
本文基于模型知识整理（生成时未联网核对），判别法条件建议对照 Stewart §11.2–11.6 复核。
一句话定义
级数 $\sum a_n$ 是"无穷多项相加"，定义为部分和 $S_N$ 的极限：部分和数列收敛则级数收敛，否则发散——绝大多数加法在此失效（调和级数 $\sum\frac1n$ 发散！），判别收敛需要一整箱工具：几何级数、p-级数、比较/比值/根值、交错与绝对收敛。
为什么重要
"无穷多项能否加出一个有限的数"是分析学的分水岭问题：泰勒级数（kp-020）、幂级数（kp-019）、傅里叶级数（kp-021）、概率的期望存在性（kp-030）全部先过这一关。调和级数的发散与 Zeno 悖论的消解，标志着"无穷"从哲学走向计算。
前置知识
kp-002（数列极限）。
核心概念
- 部分和与收敛：$S_N=\sum_{n=1}^Na_n$；$\lim S_N=S$ 存在 ⇒ 收敛于 S。
- 必要条件：$a_n\to0$（不趋于零必发散）；不充分（调和级数 $\sum\frac1n$ 发散——著名的发散证明：$1+\frac12+(\frac13+\frac14)+(\frac15+\dots+\frac18)>\frac32+\dots$ 每组 >1/2）。
- 两大标杆：
- 几何级数 $\sum ar^n$：|r|<1 收敛于 $\frac a{1-r}$；|r|≥1 发散（唯一有闭式和的通用级数）； - p-级数 $\sum\frac1{n^p}$：p>1 收敛、p≤1 发散（与 kp-015 反常积分的 p 判据镜像同源——积分判别法正是两者的桥）。
- 比较/极限比较：与标杆比大小或比渐近阶（kp-004 的阶语言移植）。
- 比值/根值判别：$\lim\frac{a_{n+1}}{a_n}=\rho$（或 $\sqrt[n]{a_n}\to\rho$）：ρ<1 收敛、ρ>1 发散、ρ=1 失效（对 p-级数类失效是常态）。
- 交错级数（Leibniz）：$(-1)^n b_n$，$b_n$ 递减趋零 ⇒ 收敛，且余项 ≤ 首个舍弃项（误差自带的友好级数）。
- 绝对/条件收敛：$\sum|a_n|$ 收敛=绝对收敛（重排安全）；$\sum a_n$ 收但 $\sum|a_n|$ 发散=条件收敛（黎曼重排定理：条件收敛级数可重排出任意和——次序即生命的惊悚演示）。
原理与机制
为什么必要条件不充分：$\frac1n\to0$ 却加出无穷——"每项都小"不等于"总量有限"；发散的根源是衰减慢。整个判别体系本质上都在回答 kp-015 的同一问题：衰减速度够不够快（p>1 够、p≤1 不够、指数衰减绰绰有余）。
比值/根值为什么测指数衰减：$\frac{a_{n+1}}{a_n}\to\rho$ 意味着尾部像几何级数 $a_n\approx C\rho^n$——它能抓住"指数级"收敛/发散，但对幂级衰减（$\frac1{n^p}$ 的比值恒 →1）天然失明。ρ=1 不是"待定"而是"此工具测不到"——换比较法。
绝对收敛的重排安全性：正项部分与负项部分各自可和，重排不改变总额（有限和不重排的推广）；条件收敛则正负两库都是"无穷"，重排可以调配出任何目标——这是级数与有限加法的本质断裂。
图示
部分和 S_N 极限存在 ⇒ 收敛
必要: aₙ→0 (调和级数 Σ1/n 反例: 发散)
标杆: 几何 Σarⁿ (|r|<1 → a/(1−r)) | p级数 Σ1/nᵖ (p>1 收)
比值/根值: ρ<1 收 | ρ>1 发 | ρ=1 工具失明
交错(Leibniz): bₙ↓→0 ⇒ 收, 误差≤首舍项
绝对收敛 ⊂ 条件收敛: 重排安全性是分界直观类比
往水桶里无限次滴水：每滴越来越小不保证不满溢（调和级数溢了）；"每滴是上一滴的 99%"（几何）就永远不会满。交错级数像"进一点水舀一点水"——只要舀的节奏越来越接近进的节奏，水位最终稳定且误差可预告。
实例或案例
- 0.999… = 1：几何级数 $\sum9(0.1)^n$ 严格等于 1（kp-002 的老话题在此闭环）。
- 存款复利：几何级数计算永续年金现值 $\sum\frac{C}{(1+r)^n}=\frac C r$。
- 计算数学：交错级数的"误差≤首舍项"让 sin/cos 表可以按精度预算决定算多少项（kp-020 的收敛半径意识）。
常见误区
- 误区一："aₙ→0 所以收敛"。调和级数反例必须刻进肌肉。
- 误区二："比值判别是万能的"。ρ=1 时完全失明（p-级数、根号 n 级数全部测不出）。
- 误区三："收敛级数可以随意重排/加括号"。绝对收敛才安全；条件收敛级数重排可得到任何和（黎曼重排定理）；发散级数加括号甚至可能"变收敛"。
与其他知识点的关系
自测题
- 判断 $\sum\frac{n}{2^n}$ 的敛散并求和。
答：比值 $\frac{n+1}{2^{n+1}}\cdot\frac{2^n}{n}=\frac{n+1}{2n}\to\frac12<1$ 收敛；错位相减得和为 2。
- $\sum\frac{(-1)^n}{\sqrt n}$ 收敛吗？绝对呢？
答：Leibniz 判据（$\frac1{\sqrt n}$ 递减趋零）收敛；绝对值是 p=1/2 的 p-级数发散——条件收敛。
- 为什么调和级数发散而 $\sum\frac1{n^2}$ 收敛？
答：衰减速度差异——$\frac1n$ 的"和的积分"∫dx/x 发散、$\frac1{n^2}$ 对应 ∫dx/x² 收敛（积分判别法/kp-015 镜像）。
延伸阅读
- Stewart《Calculus》§11.2–11.7（判别法全章）。
- 3Blue1Brown 关于"1+2+3+…=−1/12?"的视频（解析延拓 vs 收敛的边界讨论，很好的争议素材）。
- Spivak《Calculus》第 22 章（级数理论严格版）。