无限求和的悖论 部分和序列 $S_n$
$$ \sum_{n=1}^{\infty} \frac{1}{n^p} $$
当 $p=1$ 时，这就是大名鼎鼎的调和级数。虽然每一项 $1/n$ 都在趋于零，但它们减小的速度太慢了，导致无尽累加后的总和会冲向无穷大（发散）。尝试将 $p$
调大，看看总和是否被“压制”住。
部分和增长趋势 $S_n$ 随 $n$ 的演变
敛散性判定
...
蓝线代表单项的值 $a_n$，红线代表前 $n$ 项的累加和 $S_n$。如果红线趋于平缓，说明级数收敛。
五大判别法 工具箱全览
达朗贝尔判别法 (Ratio Test)
$$ \rho = \lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right| $$
- 若 $\rho < 1$，级数绝对收敛。
- 若 $\rho > 1$ 或 $\infty$，级数发散。
- 若 $\rho = 1$，判别法失效，需换用其他方法。
最强适用场景： 含有阶乘 $n!$ 或者指数 $a^n$ 的级数。
柯西判别法 (Root Test)
$$ \rho = \lim_{n \to \infty} \sqrt[n]{|a_n|} $$
- 若 $\rho < 1$，级数绝对收敛。
- 若 $\rho > 1$ 或 $\infty$，级数发散。
- 若 $\rho = 1$，判别法失效。
最强适用场景： 整体式子带有 $n$ 次方幂的级数，如 $\sum (1+\frac{1}{n})^{n^2}$。
极限比较法 (Limit
Comparison)
$$ L = \lim_{n \to \infty} \frac{a_n}{b_n} $$
- 若 $0 < L < \infty$，则两级数敛散性相同。
- 核心在于找一个已知敛散性的替身级数 $b_n$（通常是 p-级数）。
最强适用场景： 多项式分式。抓大头，忽略低次幂，直接构造出 p-级数进行等价比较。
积分判别法 (Integral
Test)
$$ \sum_{n=1}^{\infty} a_n \text{ 与 } \int_{1}^{\infty} f(x) dx \text{ 同敛散} $$
- 前提条件：$f(x)$ 必须是连续、非负、单调递减的函数。
- 用连续的微积分打败离散的求和。
最强适用场景： 函数形式非常适合积分，尤其是带有对数 $\ln(n)$ 形式的级数。
莱布尼茨判别法 (Alternating
Series)
$$ \sum_{n=1}^{\infty} (-1)^{n-1} b_n $$
- 必须满足两个条件即可宣告收敛：
- 1. $b_{n+1} \le b_n$ (绝对值单调递减)
- 2. $\lim_{n \to \infty} b_n = 0$ (通项趋于0)
警惕： 如果级数收敛，但把负号全部换成正号后发散（如交错调和级数），则称为条件收敛。
逻辑决策树 如何选择判别法？
第一步：通项趋于 0 吗？
否 ➔ 直接判定为发散（必要条件不满足）。
是 ➔ 继续向下。
第二步：有交错正负号吗？
是 ➔ 用莱布尼茨判别法。
第三步：观察表达式结构
含阶乘 / 常数次幂混合 ➔ 比值法。
全是 n 次幂包裹 ➔ 根值法。
多项式分子分母 ➔ 极限比较法。
有 $\ln(n)$ 且容易求导/积分 ➔ 积分法。
无穷级数核心法则
从离散求和到收敛性严格界定的数学框架
级数的本质
部分和的极限$$ S = \lim_{n \to \infty} S_n = \sum_{n=1}^{\infty} a_n $$
无限个数字相加在现实中无法操作。数学上将其定义为前 n 项和（部分和）组成的序列的极限。
收敛的必要条件
零通项$$ \text{若级数收敛} \implies \lim_{n \to \infty} a_n = 0 $$
加到最后，加进去的数字必须微小到无限趋近于零。注意：这是必要不充分条件（参考调和级数）。
绝对收敛与条件收敛
符号的代价$$ \sum |a_n| \text{ 收敛} \implies \text{绝对收敛} $$
绝对收敛的级数是最“乖”的，任意打乱相加顺序和不变；而条件收敛的级数（如交错调和），重排甚至可以得到任何实数。
几何级数 (等比)
基准模型一$$ \sum q^n \text{ 收敛} \iff |q| < 1 $$
比值法和根值法的底层理论基础，它们本质上都在比较原级数的尾巴是否衰减得像公比小于 1 的等比数列。
p-级数
基准模型二$$ \sum \frac{1}{n^p} \text{ 收敛} \iff p > 1 $$
比较法和积分法的核心参照物。当 p=1 时为调和级数，发散极慢，但最终仍会冲向无穷。
比值法失效的深意
$\rho = 1$$$ \lim \left| \frac{a_{n+1}}{a_n} \right| = 1 $$
出现 1 意味着级数的行为处于指数级数和多项式级数的“边界”地带，此时比值法的显微镜分辨率不够，必须换比较法。
交错误差控制
莱布尼茨余项$$ |R_n| = |S - S_n| \le b_{n+1} $$
对于满足莱布尼茨定理的交错级数，用前 n 项和去估算无穷总和的误差，绝对不会超过被舍弃的第一项（第 n+1 项）的绝对值。
级数计算的局限
判定易求值难$$ \sum \text{可以判定敛散，但不一定能算出精准的 } S $$
大部分判别法只能回答“是否收敛”的定性问题。要算出它具体收敛于多少（定量），通常需要借助泰勒展开或傅里叶级数的逆向工程。