10.4.3 交错级数余项估计 (Alternating Series Remainder Estimation)

学会估计交错级数部分和的误差界，理解余项不超过下一项绝对值的性质

定义

交错级数余项估计是指对于收敛的交错级数，用部分和 \(S_n\) 来近似级数和 \(S\) 时，所产生的误差（余项）的估计方法。对于满足交错级数判别法条件的交错级数 \(\sum_{n=1}^{\infty} (-1)^{n+1}a_n\)（其中 \(a_n > 0\)，\(a_n\) 单调递减，\(\lim_{n \to \infty} a_n = 0\)），其余项 \(R_n = S - S_n\) 满足关键性质：余项的绝对值不超过下一项的绝对值，即 \(|R_n| \leq a_{n+1}\)。这个性质使得我们能够精确地控制近似误差的上界，是交错级数收敛性分析中最重要的定量工具。

核心公式

• \(["\)S = S_n + R_n$，其中 \(S\) 为级数和，\(S_n = \sum_{k=1}^{n} (-1)^{k+1}a_k\) 为部分和，\(R_n\) 为余项", "\(|R_n| \\leq a_{n+1}\)（交错级数余项估计定理）", "\(R_n\) 与 \((-1)^{n+2}a_{n+1}\) 同号，即 \(0 < (-1)^{n+2}R_n \\leq a_{n+1}\)", "若要使 \(|R_n| < \\epsilon\)，需要 \(a_{n+1} < \\epsilon\)，即 \(n\) 至少要满足 \(a_{n+1} < \\epsilon\)", "\(S_n < S < S_n + a_{n+1}\)（当 \(n\) 为奇数时）或 \(S_n - a_{n+1} < S < S_n\)（当 \(n\) 为偶数时）"]$

易错点

• ⚠️ ["混淆余项与最后一项：学生常误认为 \(|R_n| = a_{n+1}\)，而实际上 \(|R_n| \leq a_{n+1}\) 是不等式关系，余项通常小于下一项", "忽视余项的符号性质：交错级数的余项 \(R_n\) 与 \((-1)^{n+2}a_{n+1}\) 同号，不能简单地说 \(|R_n| \leq a_{n+1}\) 就完事，需要理解余项的符号决定了部分和是高估还是低估", "在估计所需项数时出错：为了达到精度要求 \(|R_n| < \epsilon\)，应该找最小的 \(n\) 使得 \(a_{n+1} < \epsilon\)，而不是 \(a_n < \epsilon\)，这是因为余项由第 \((n+1)\) 项开始", "将余项估计应用于非交错级数或不满足条件的级数：交错级数余项估计定理仅适用于满足交错级数判别法条件的级数，对于一般级数或条件不满足的级数此结论不成立"]