斯托尔茨定理（Stolz-Cesàro Theorem）表述
设数列 {an} 和 {bn} 满足以下条件：
- 数列 {bn} 严格单调递增，且 bn → +∞ (n → ∞)；
- 极限 limn→∞ (an - an-1) / (bn - bn-1) 存在（或为无穷大）。
则极限 limn→∞ an / bn 也存在，且两者相等。
注： 上述为 ∞/∞ 型情形。另有 0/0 型情形，要求 bn 严格单调递减趋于 0，且 an → 0。
为什么叫“离散洛必达”？
在数学分析中，我们习惯于使用洛必达法则（L'Hôpital's Rule）来处理连续函数的不定式极限。然而，在处理数列极限时，函数不可导，洛必达法则失效。此时，斯托尔茨定理 便成为了我们的替代方案。
奥托·斯托尔茨（Otto Stolz）
德国数学家奥托·斯托尔茨首次发表了这个定理，用于处理数列极限问题，极大地简化了当时复杂的极限计算。
欧仁·切萨罗（Ernesto Cesàro）
意大利数学家切萨罗也独立研究了相关结论，特别是在平均收敛性方面的工作，因此该定理常被称为斯托尔茨-切萨罗定理。
离散微积分的桥梁
在现代离散微积分（Discrete Calculus）中，差分运算 Δf(n) = f(n) - f(n-1) 取代了微分运算。斯托尔茨定理正是差分形式的洛必达法则。
【核心对比】洛必达 vs 斯托尔茨
| 特征 | 洛必达法则 (L'Hôpital) | 斯托尔茨定理 (Stolz-Cesàro) |
|---|---|---|
| 对象 | 连续函数 f(x), g(x) | 离散数列 an, bn |
| 运算 | 求导 (Derivative) | 求差分 (Difference) |
| 条件 | g'(x) ≠ 0 | bn 严格单调递增 |
| 目标 | lim f'(x)/g'(x) | lim (an-an-1)/(bn-bn-1) |
经典例题深度解析
掌握 斯托尔茨定理 的关键在于识别何时使用它。以下通过三个不同难度的案例，展示其强大之处。
计算极限：limn→∞ (1 + 2 + ... + n) / n²
分析： 分子分母均趋于无穷大，属于 ∞/∞ 型。直接计算分子和为 n(n+1)/2，虽然可直接约分，但用斯托尔茨定理演示其通用性。
解：
令 an = 1 + 2 + ... + n = n(n+1)/2，bn = n²。
验证条件：bn = n² 严格单调递增且趋于 +∞，满足条件。
应用定理：
分子差分：
分母差分：
求差分极限：
结论： 原极限为 1/2。
计算极限：limn→∞ (n!)^(1/n) / n
分析： 这是一个经典的阶乘极限问题。直接处理 n! 比较困难，我们可以变形为：
令 xn = n! / nⁿ。我们要求 lim xn^(1/n)。根据柯西第一极限定理（根值与比值关系），若 lim xn+1/xn = L，则 lim xn^(1/n) = L。
使用斯托尔茨定理的变体思路（或直接比值法）：
虽然这通常用比值判别法，但我们可以构造 an = ln(n!) - n ln n，bn = n 来使用斯托尔茨定理求 ln(L)。
这里展示一个更直接的斯托尔茨应用场景：
计算 limn→∞ (1k + 2k + ... + nk) / nk+1
令 an = Σ ik, bn = nk+1。
分母展开主要项为 (k+1)nk。
结论： 该极限为 1/(k+1)。
例题3：复杂递推数列的渐近行为
设数列 xn 满足 xn+1 = xn + 1/xn，x1 > 0，求 lim xn / √n。
分析： 首先易证 xn → +∞。我们需要求 xn / √n 的极限。
令 an = xn², bn = n。注意这里构造的技巧：因为递推式中有平方项的展开更简便。
考虑 lim xn² / n。令 An = xn², Bn = n。
由递推式 xn = xn-1 + 1/xn-1 (注意下标对应，这里简化演示逻辑，严格应为 xn+1² = xn² + 2 + 1/xn²)。
修正：求 lim xn+1² / (n+1)。
因为 xn → ∞，所以 1/xn² → 0。
所以 lim xn² / n = 2，即 lim xn / √n = √2。
网友们还关心：斯托尔茨定理的周边知识
在学习 斯托尔茨定理 的过程中，许多读者会接触到以下相关概念。理解这些概念有助于构建完整的数学分析知识体系。
【常见误区警示】
❌ 误区1：忽视单调性
许多同学只检查分母趋于无穷，而忽略了“严格单调递增”这一条件。如果分母振荡（如 bn = n + (-1)nn），斯托尔茨定理可能失效。
❌ 误区2：差分极限存在性
如果差分比的极限不存在（例如振荡），不能断定原极限不存在。斯托尔茨定理是充分条件，非必要条件。此时需回归定义或使用其他方法。
关于斯托尔茨定理的常见问题 (FAQ)
斯托尔茨定理常被称为离散微积分中的洛必达法则。洛必达法则处理的是连续变量的不定式极限，通过求导来简化；而斯托尔茨定理处理的是离散数列的不定式极限，通过求差分（相邻项之差）来简化。两者在逻辑结构和应用场景上具有极强的同构性。
是的，对于 ∞/∞ 型（即斯托尔茨定理的常用形式），分母数列 {bn} 必须严格单调递增且趋于正无穷大（bn → +∞）。这是定理成立的必要前提条件。如果分母不满足单调性，定理可能失效或需要更复杂的变体。
是的，斯托尔茨定理有两种形式。一种是针对 ∞/∞ 型的（通常直接称为Stolz定理），另一种是针对 0/0 型的（有时称为Stolz-Cesàro定理的0/0情形）。在 0/0 情形下，要求分母数列严格单调递减并趋于0。
这是一个经典应用。设 an = Σ ik, bn = nk+1。应用定理后，差分比为 nk / (nk+1 - (n-1)k+1)。利用二项式展开，分母主部为 (k+1)nk，故极限为 1/(k+1)。