在数学分析中，证明数列极限是微积分大厦的基石。它不仅仅是一个计算结果的过程，更是对“无限趋近”这一哲学概念的严格逻辑演绎。对于许多初学者而言，极限的直观理解（数列越来越接近某个数）与严格的数学定义（ε-N语言）之间存在巨大的鸿沟。本页面旨在通过结构化的知识体系，帮助你跨越这道鸿沟，掌握从基础定义到高阶定理的完整证明体系。
无论是大学生修读《数学分析》或《高等数学》，还是考研党攻克数学一/二/三的难题，证明数列极限都是必考且高分值的知识点。它不仅考察逻辑思维，还直接关联到级数敛散性、函数连续性等核心概念。
19世纪，柯西（Cauchy）和魏尔斯特拉斯（Weierstrass）等人将微积分建立在严格的基础之上，其中最具代表性的就是 ε-N 定义。这是 证明数列极限 最原始、也是最本质的方法。
设 {a_n} 是一个数列，A 是一个常数。如果对于任意给定的正数 ε（无论它多么小），总存在正整数 N，使得当 n > N 时，不等式 |a_n - A| < ε 恒成立，则称常数 A 为数列 {a_n} 的极限，记作 lim(n→∞) a_n = A。
使用 ε-N 语言 证明 数列极限，通常分为“试探”和“书写”两个阶段：
从结论 |a_n - A| < ε 出发，通过代数变形和放缩，将 |a_n - A| 放大为一个只含 n 的简单表达式 g(n)。然后解不等式 g(n) < ε，得到 n > f(ε)。此时，N 的候选值即为 f(ε)。
放缩是证明的核心技巧。常用的放缩方法包括：舍去多项式中的低次项、将分母变小从而使分数值变大、利用几何级数求和公式等。目的是简化表达式，使其易于求解 n。
按照定义的逻辑顺序书写：任取 ε > 0，取 N = [f(ε)]，当 n > N 时，...（逆向推导的逆过程），故 |a_n - A| < ε 成立。证毕。
// 逆向分析：
|(3n+1)/(n+2) - 3| = |(3n+1 - 3(n+2)) / (n+2)|
= |(3n+1 - 3n - 6) / (n+2)|
= |-5 / (n+2)|
= 5 / (n+2)
// 我们要使 5/(n+2) < ε
// 即 n+2 > 5/ε
// 即 n > 5/ε - 2
// 取 N = [5/ε]，则当 n > N 时，n > 5/ε，故 n+2 > 5/ε，
// 从而 5/(n+2) < ε 成立。
虽然 ε-N 定义是基础，但在实际 证明数列极限 时，频繁使用定义既繁琐又困难。因此，数学家们总结出了一系列判定准则，它们如同“定理武器”，能大幅简化证明过程。
内容： 单调递增且有上界的数列必收敛；单调递减且有下界的数列必收敛。
适用场景： 递推数列（如 a_{n+1} = f(a_n)）。
注意： 此准则仅证明存在性，不直接给出极限值。求值需解方程 A = f(A)。
内容： 若数列 {b_n}, {a_n}, {c_n} 满足 b_n ≤ a_n ≤ c_n，且 lim b_n = lim c_n = A，则 lim a_n = A。
适用场景： 含有 n 次方根、阶乘、求和符号的数列。
关键： 寻找合适的上下界，通常通过放缩实现。
内容： 数列 {a_n} 收敛的充要条件是：对于任意 ε > 0，存在 N，当 n, m > N 时，|a_n - a_m| < ε。
特点： 不依赖极限值 A，适用于判断数列是否收敛，或在实数完备性证明中。
在处理复杂数列极限时，常规方法可能失效。此时需要引入更高阶的工具。
Stolz 定理被称为数列版的洛必达法则。它特别适用于处理 ∞/∞ 型或 0/0 型的分式数列极限。
| 定理类型 | 条件 | 结论 | 适用场景 |
|---|---|---|---|
| ∞/∞ 型 | 1. {b_n} 严格递增且趋于 +∞ 2. lim (a_{n+1}-a_n)/(b_{n+1}-b_n) = A |
lim a_n/b_n = A | 分母为 n! 或 n^n 等快速增长项，分子为求和式 |
| 0/0 型 | 1. a_n, b_n 趋于 0 2. {b_n} 严格递减 |
lim a_n/b_n = A | 较少见，但用于特殊收敛速度比较 |
对于递推数列 a_{n+1} = f(a_n)，如果函数 f(x) 在区间 I 上满足 Lipschitz 条件 |f(x) - f(y)| ≤ k|x - y| (0 < k < 1)，则 {a_n} 收敛且极限为 f(x)=x 的唯一不动点。这在证明 数列极限 的存在性和唯一性时非常有力。
通过以下三个不同难度的例子，展示如何灵活运用上述工具进行 证明数列极限。
分析： 这是一个 n 项和的极限，每一项都随 n 变化。直接求和困难，适合使用夹逼定理。
证明：
设 S_n = Σ_{k=1}^{n} 1/√(n²+k)。
放缩上界：由于 k ≥ 1，√(n²+k) > √(n²) = n。故 1/√(n²+k) < 1/n。
因此，S_n < Σ_{k=1}^{n} (1/n) = n (1/n) = 1。这个上界太松，我们需要更精细的放缩。
重新放缩：√(n²+k) ≥ √(n²+n) (当k=n时最大分母? 不，k在分母，k越大分母越大，分数越小。所以最小项是 k=n，最大项是 k=1)。
正确放缩：n (1/√(n²+n)) ≤ S_n ≤ n (1/√(n²+1))。
当 n→∞ 时，n/√(n²+n) = 1/√(1+1/n) → 1。
等等，原题如果是趋向0，题目可能有误或者是其他形式。让我们换一个更标准的趋向1的例子。
修正题目： 证明 lim(n→∞) (1/√(n²+1) + ... + 1/√(n²+n)) = 1。
证明：
因为 n²+1 ≤ n²+k ≤ n²+n (k=1...n)，所以 1/√(n²+n) ≤ 1/√(n²+k) ≤ 1/√(n²+1)。
求和得：n/√(n²+n) ≤ S_n ≤ n/√(n²+1)。
左右两端极限均为 lim n/√(n²) = 1。
由夹逼定理，lim S_n = 1。
分析： 递推数列，且含有根号，通常使用单调有界准则。
证明：
1. 有界性： 用数学归纳法证明 a_n < 2。
a_1 = √2 < 2。假设 a_k < 2，则 a_{k+1} = √(2a_k) < √(22) = 2。故对所有 n，a_n < 2。
显然 a_n > 0。故数列有界。
2. 单调性： 考察 a_{n+1}/a_n = √(2a_n)/a_n = √(2/a_n)。
因为 a_n < 2，所以 2/a_n > 1，故 √(2/a_n) > 1，即 a_{n+1} > a_n。
数列单调递增且有上界，故收敛。
3. 求极限： 设 lim a_n = A。对递推式两边取极限：A = √(2A)。
A² = 2A => A(A-2)=0。因 a_n > 0，故 A=2。
分析： 分子是求和，分母是幂函数，且趋于无穷。使用 Stolz 定理最为简便。
证明：
设 a_n = Σ_{k=1}^{n} k^p, b_n = n^{p+1}。
b_n 严格递增且趋于 +∞。
应用 Stolz 定理：
lim (a_{n+1}-a_n)/(b_{n+1}-b_n) = lim n^p / ((n+1)^{p+1} - n^{p+1})。
分母展开：(n+1)^{p+1} - n^{p+1} = n^{p+1} + (p+1)n^p + ... - n^{p+1} ~ (p+1)n^p。
故极限 = lim n^p / ((p+1)n^p) = 1/(p+1)。
证毕。
在考试和日常练习中，以下错误非常普遍，请务必警惕：