斯托兹定理证明-斯托兹定理证明

斯托兹定理（Stolz-Cesàro Theorem）：离散微积分的强力工具及其严谨证明

在数学分析的学习旅程中，极限计算往往是最基础却也最考验技巧的环节。当面对形如 或 的数列极限时，除了洛必达法则（L'Hôpital's Rule）在连续变量上的应用外，处理离散数列的利器便是斯托兹定理（Stolz-Cesàro Theorem）。 该定理因其形式与洛必达法则高度相似，常被数学家称为“离散版本的洛必达法则”。本文将深入探讨斯托兹定理的内涵，提供两种不同视角的严谨证明，并通过具体案例展示其强大之处。

一、 定理陈述

斯托兹定理主要分为两种形式： 情形和 情形。在大多数实际应用（尤其是竞赛数学和高等微积分）中， 情形更为常用。

1. 情形（Stolz 定理）

设 和 是两个数列，满足以下条件： 1. 是严格单调递增且趋于正无穷的数列，即 且 。 2. 极限 存在（可以是有限数 ，也可以是 或 ）。 则有：

2. 情形

设 和 是两个数列，满足以下条件： 1. 是严格单调递减且趋于 0 的数列，即 且 。 2. 。 3. 极限 存在。 则有： 注意：在实际应用中， 情形较少见，且条件更为苛刻。下文证明将重点围绕更通用的 情形展开，因为 情形可通过变换 转化为 情形处理，或采用类似的放缩法证明。

二、 严谨证明：基于柯西收敛准则与放缩法

证明斯托兹定理的核心思想在于利用阿贝尔变换（Abel's Transformation，又称求和分部法）将数列比的极限转化为差商的极限。

证明目标

已知 （ 为有限实数），证明 。

证明步骤

第一步：利用极限定义进行放缩

由于 ，根据极限的定义，对于任意给定的 ，存在正整数 ，使得当 时，有： 由于 严格单调递增，故 。我们可以将不等式两边同乘 而不改变方向：

第二步：累加求和（阿贝尔变换思想）

上述不等式对任意 成立。我们将 从 累加到 ： 利用裂项相消原理（Telescoping Sum）： 代入不等式得：

第三步：构造 的形式

我们的目标是考察 。为了方便，我们暂时考察 （因为 时， 与 极限相同）。 将上式变形，分离出 ： 代入之前的不等式： 两边同时除以 （注意 ）：

第四步：取极限

由于 ，因此 且 （分子是常数，分母趋于无穷）。 对不等式三边取 的极限： 即：

第五步：结论

由于 是任意小的正数，令 ，则： 故极限存在且等于 。 证毕。

三、 斯托兹定理 vs 洛必达法则：对比分析

为了更清晰地理解斯托兹定理的定位，下表对比了其与连续变量洛必达法则的异同。

特征	斯托兹定理 (Stolz-Cesàro)	洛必达法则 (L'Hôpital)
适用对象	离散数列	连续函数
核心操作	差分：	微分：
单调性要求	必须要求分母数列 严格单调且趋于无穷（或0）	无严格单调性要求，只需在去心邻域内可导且
极限存在性	若右边极限存在，则左边极限存在且相等	若右边极限存在，则左边极限存在且相等
逆命题	左边极限存在 右边极限存在	左边极限存在 右边极限存在
典型应用场景	阶乘、幂指函数数列极限、级数相关极限	一般函数极限计算

关键区别提示：斯托兹定理对分母数列的单调性有严格要求，这是它与洛必达法则最大的不同。如果 不单调，斯托兹定理可能失效。

四、 经典应用案例

案例 1：基本阶乘比值的极限

问题：计算 。 解： 直接计算较难，我们构造数列： , 。 显然 严格单调递增且趋于 。 应用斯托兹定理： 这个形式依然复杂。我们可以换一种构造方式，直接计算原数列的比值极限（利用斯托兹定理的推论或直接分析）： 实际上，更简单的例子是： 令 , 。 分母展开：。 故原极限为 。

案例 2：几何平均值的极限

问题：已知 且 ，证明 。 解： 这是斯托兹定理最著名的应用之一，用于证明几何平均值极限定理。 令 ，则 。 我们要计算 。 取 , 。 严格单调递增趋于无穷。 由斯托兹定理，。 因此，。 证毕。

五、 常见误区与注意事项

1. 单调性不可忽略： 如果分母数列 不是严格单调的，斯托兹定理不适用。例如，若 振荡，即使差商极限存在，原数列比值的极限也可能不存在。 2. 极限存在是前提： 斯托兹定理是“若差商极限存在，则原比值极限存在”。反之不成立。如果差商极限不存在（例如振荡），原比值极限可能存在，也可能不存在。此时不能使用该定理下结论。 3. 情形的陷阱： 在使用 形式时，务必检查 是否严格递减趋于 0。如果是递增趋于 0，定理不成立。 4. 与柯西准则的混淆： 斯托兹定理本质上是柯西收敛准则在数列比上的应用，不要将其与柯西-施瓦茨不等式或柯西乘积混淆。

六、 结语

斯托兹定理作为连接离散数列与连续微积分的桥梁，以其简洁的形式和强大的计算能力，成为数学分析中的重要工具。通过本文的证明过程可以看出，其核心在于裂项相消与极限的夹逼。掌握斯托兹定理，不仅能简化复杂的数列极限计算，更能深化对极限本质的理解。 对于学习者而言，建议通过大量练习（特别是涉及阶乘、幂指函数和累加和的题目）来熟练掌握该定理的使用技巧，并时刻警惕其适用条件，特别是分母数列的单调性要求。