[科普中国]-斯托尔兹－切萨罗定理

斯托尔兹－切萨罗定理（英语：Stolz–Cesàro theorem）是数学分析学中的一个用于证明数列收敛的定理。该定理以奥地利人奥托·施托尔茨和意大利人恩纳斯托·切萨罗命名。

内容设 为两个实数数列。若 为严格单调的无界正数数列，且有穷极限

存在，则

也存在且等于ℓ。

用法说明该定理虽然主要被用来处理数列不定型极限，但该定理在没有 这一限制条件时也是成立的。虽然该定理通常是以分母bn为正数数列的情形加以叙述的，但注意到该定理对分子an的正负没有限制，所以原则上把对数列bn的限制条件替换为“严格单调递减且趋于负无穷大”也是没有问题的。1

与洛必达法则的迭代用法类似，在尝试应用斯托尔兹－切萨罗定理考察数列的极限时，如果发现两个数列差分的商仍然是不定型，可以尝试再使用1次该定理，考察其2阶差分之商的极限。

直观解释利用与折线斜率的类比，该定理具有直观的几何意义。

相关命题这个用于解决数列不定型极限的定理与用于解决函数不定型极限的洛必达法则在形式上非常类似。求数列的差分对应于求函数的导函数，斯托尔兹－切萨罗定理就相当于是洛必达法则的离散化版本。但在类比记忆时应当注意，斯托尔兹－切萨罗定理要求数列要具有严格的单调性（或者至少当项数足够大时，要具有严格单调性），而洛必达法则没有对函数的单调性作出要求；洛必达法则要求函数在所考察点的邻域上具有可求导性，但斯托尔兹－切萨罗定理对数列不存在类似限制（数列没有“可差分性”一说）。并非所有的函数都可以进行求导运算，但任何数列都是可以进行差分运算的。

此定理的逆命题不成立。也即当满足条件的 存在时， 未必存在。如设 ，这2个正实数数列都是严格单调递增的且发散至无穷大。易知 存在，且数值为1。但是 当 时是震荡的，即此差分之商的极限值不存在。目前可找出的例子都是借助震荡型数列构造的，而用于说明洛必达法则的逆命题不成立的例子也用到了震荡型的函数。2

推广该定理的一个推广形式如下：

如果 是两个数列，而bn是单调无界的，那么

本词条内容贡献者为:

胡建平 - 副教授 - 西北工业大学