シュトルツ＝チェザロの定理

シュトルツ＝チェザロの定理（シュトルツ＝チェザロのていり、）とは、数学における数列の収束性を証明するための定理である。定理の名前はオーストリアの数学者オットー・シュトルツとイタリアの数学者アーネスト・チェザロに因む。単にシュトルツの定理といわれることもある。
シュトルツ＝チェザロの定理はチェザロ和あるいはチェザロ平均の一般化とみなすことができる。また、ロピタルの定理の数列版と考えることもできる。
定理.
formula_1 と formula_2 を実数の数列とする。formula_3 が狭義単調増加（または狭義単調減少）で非有界であり、極限
が存在すれば、
である。
証明.
formula_6と書く。formula_4 が存在すると仮定しているので、任意の formula_8 に対して、ある が存在して、 ならば、
となる。
さて、任意の に対し、
である。 ここで formula_11 とすると、formula_12 は、上式を について から まで足し合わせることにより、
と書ける。さらに formula_14 を移項して両辺を formula_15 で割ることによって次式を得る。
数列 formula_17 は非有界に狭義単調増加(減少)するので、この右辺の第1項は 0 に収束する。また第2項は formula_18 に収束する。第3項が0に収束することは以下の関係により示せる。
したがって、(2)式、すなわち数列の比は formula_18 に収束する。
非可逆性.
この定理、すなわち「数列の差分の比の極限が存在する⇒その数列の比の極限が存在する」の逆は真であるとは限らない。例えば、二つの数列、
に対して、
であるが、
となるので、数列
の極限値は存在しない。
一般化.
二つの数列 formula_27 と formula_28 が formula_29 と formula_30 で規定されるとする。ここで、
であるとき、極限、
が存在すれば、
である。