【stoltz定理】一、概述
Stoltz定理是数学分析中用于求解数列极限的一种重要工具，尤其在处理“0/0”或“∞/∞”型不定式时非常有效。该定理由德国数学家Friedrich Stoltz提出，常用于数列的极限计算，特别是在洛必达法则不适用的情况下。
Stoltz定理可以看作是数列形式的洛必达法则，适用于当分子和分母都趋于0或无穷大时的极限问题。其核心思想是通过构造差商来简化极限的计算过程。
二、定理内容
Stoltz定理（第一种形式）：
设数列 $\{a_n\}$ 和 $\{b_n\}$ 满足以下条件：
1. $\lim_{n \to \infty} a_n = 0$，$\lim_{n \to \infty} b_n = 0$；
2. $\{b_n\}$ 是严格单调递减且 $b_n \neq 0$（对于足够大的 $n$）；
3. $\lim_{n \to \infty} \frac{a_{n+1} - a_n}{b_{n+1} - b_n} = L$ 存在；
则有：
$$
\lim_{n \to \infty} \frac{a_n}{b_n} = L
$$
Stoltz定理（第二种形式）：
设数列 $\{a_n\}$ 和 $\{b_n\}$ 满足以下条件：
1. $\lim_{n \to \infty} a_n = \infty$，$\lim_{n \to \infty} b_n = \infty$；
2. $\{b_n\}$ 是严格单调递增且 $b_n \neq 0$（对于足够大的 $n$）；
3. $\lim_{n \to \infty} \frac{a_{n+1} - a_n}{b_{n+1} - b_n} = L$ 存在；
则有：
$$
\lim_{n \to \infty} \frac{a_n}{b_n} = L
$$
三、应用与比较
| 特性 | Stoltz定理 | 洛必达法则 |
| 适用对象 | 数列极限 | 函数极限 |
| 形式 | 差商形式 | 导数形式 |
| 适用范围 | “0/0”或“∞/∞”型 | “0/0”或“∞/∞”型 |
| 需要条件 | 数列单调、非零 | 函数可导、分母不为零 |
| 使用难度 | 相对简单 | 较复杂（需求导） |
| 应用场景 | 数列极限计算 | 函数极限计算 |
四、示例说明
例1：
计算 $\lim_{n \to \infty} \frac{n}{2^n}$
由于 $n \to \infty$，$2^n \to \infty$，属于“∞/∞”型。
使用Stoltz定理：
$$
\lim_{n \to \infty} \frac{n}{2^n} = \lim_{n \to \infty} \frac{(n+1) - n}{2^{n+1} - 2^n} = \lim_{n \to \infty} \frac{1}{2^n} = 0
$$
例2：
计算 $\lim_{n \to \infty} \frac{\sqrt{n}}{n}$
这是“0/0”型，但更简单的做法是直接化简为 $\frac{1}{\sqrt{n}} \to 0$，不过也可用Stoltz定理验证：
$$
\lim_{n \to \infty} \frac{\sqrt{n}}{n} = \lim_{n \to \infty} \frac{\sqrt{n+1} - \sqrt{n}}{(n+1) - n} = \lim_{n \to \infty} (\sqrt{n+1} - \sqrt{n}) = 0
$$
五、总结
Stoltz定理是数列极限计算中的有力工具，尤其适合处理“0/0”或“∞/∞”类型的极限问题。它通过差商的形式替代了复杂的函数导数运算，使得极限的求解更加直观和简洁。相较于洛必达法则，Stoltz定理在数列环境下更具优势，尤其是在无法进行微分的情况下。
在实际应用中，掌握Stoltz定理能够帮助我们更快地解决一些典型的极限问题，提升数学分析的效率与准确性。