在高等数学与数学分析的极限计算中，斯托兹定理（Stolz-Cesàro Theorem）被誉为数列极限的“洛必达法则”。它由德国数学家奥斯卡·斯托兹（Oskar Stolz）于1885年提出。对于处理形如 或 的数列极限，尤其是涉及阶乘、根式或复杂求和形式的极限，该定理往往能提供比常规方法更简洁、更优雅的解决方案。
设数列 和 满足：
则极限 也存在，且两者相等：
lim (n→∞) (x_n - x_{n-1}) / (y_n - y_{n-1}) = lim (n→∞) x_n / y_n
需要注意的是，除了 型，斯托兹定理还有 0/0 型 的情形，其条件略有不同（分母严格单调递减趋于0），但在考研及日常解题中， 型应用更为广泛。
很多同学在运用斯托兹定理时容易出错，主要原因在于忽视了定理的前置条件。在使用前，请务必检查以下三点：
理论需结合实践。以下精选三个典型例题，涵盖阶乘、根式和求和形式，展示斯托兹定理的威力。
分析： 直接计算阶乘的 次根非常困难。我们可以利用柯西第二极限定理（即斯托兹定理的一个推论）：若 ，则 。这其实是斯托兹定理在 时的特例。
结论： 该极限发散至无穷大。
分析： 分子是前 项和，分母是幂函数。这是斯托兹定理最经典的应用场景，将求和极限转化为通项极限。
结论： 极限为 。此结论在黎曼积分定义中也有体现。
分析： 这是一个 型极限，但直接使用比值判别法（柯西第二定理的逆用思路）更为方便，或者严格使用斯托兹定理变形。
结论： 极限为 。
许多网友关心斯托兹定理与洛必达法则的区别。简单来说，斯托兹定理是洛必达法则在离散数列领域的对应物。
| 特性 | 洛必达法则 (L'Hôpital) | 斯托兹定理 (Stolz-Cesàro) |
|---|---|---|
| 适用对象 | 连续函数的极限 | 数列的极限 |
| 核心操作 | 对分子分母分别求导 | 对分子分母分别求差分 |
| 条件要求 | 需满足 0/0 或 ∞/∞，且导数极限存在 | 需满足 0/0 或 ∞/∞，且分母严格单调 |
| 计算难度 | 求导通常较直接，但高阶导数可能复杂 | 差分化简可能需要代数技巧（如二项式展开） |
提示： 当遇到数列极限且形式为分式时，如果分子分母都是求和形式或难以直接化简，优先考虑斯托兹定理。
除了基本计算，斯托兹定理在更高级的数学证明和竞赛中也扮演着重要角色。以下是基于用户搜索热度整理的深度拓展内容。
若数列 收敛于 ，则其算术平均数列 也收敛于 。证明： 令 。应用斯托兹定理，。得证。
斯托兹定理有时也被称为 Cesàro-Stolz 定理。它与 Cesàro 均值收敛紧密相关。在信号处理和数值分析中，当原始数据噪声较大时，通过类似斯托兹定理思想的差分平滑处理，可以更准确地捕捉趋势。
虽然少见，但必须掌握。若 且 严格递减，则 。此情形常用于证明某些复杂数列的收敛速度。
如果差分比的极限不存在（例如震荡），不能断定原极限不存在。例如 。差分比震荡，但原极限 。此时斯托兹定理失效，需换其他方法。
洛必达法则主要针对连续变量的函数极限，而斯托兹定理（Stolz-Cesàro定理）是其离散形式，专门用于解决数列极限问题。当数列极限无法直接计算时，斯托兹定理通过构造差分比来求解，本质上是数列版的洛必达法则。
斯托兹定理主要分为两种情形：
1. ∞/∞型：分母数列严格单调趋于无穷大。
2. 0/0型：分子分母数列均趋于0，且分母严格单调递减。
此外，使用后的差分比的极限必须存在（或为无穷大）。
若数列{a_n}收敛于A，则其算术平均数列((a_1+...+a_n)/n)也收敛于A。这可以通过令b_n=n，应用斯托兹定理（∞/∞型）轻松证明。因为lim (a_n - a_{n-1})/(n - (n-1)) = lim a_n = A。
非常重要。在考研数学一、二、三中，数列极限是高频考点。对于涉及阶乘、根式或复杂求和的极限，使用斯托兹定理往往比等价无穷小或泰勒公式更快捷，是高分必备技巧。
© 2023 斯托兹定理例题及解析 | 专注高等数学解析