stolz定理证明
- 格式：docx
- 大小：36.81 KB
- 文档页数：2
stolz定理证明
Stolz定理是初等数学中的一个极为有用的定理，主要用来计算极限。其名字来源于德国数学家Stolz。本文将介绍Stolz定理的证明过程。
首先，我们需要明确Stolz定理的表述：设$\{a_n\}$和$\{b_n\}$是两个单调递增的正数数列，且$\lim_{n\to\infty}\frac{a_n}{b_n}=L$，则$\lim_{n\to\infty}\frac{a_n}{b_n}=L$。
现在，我们开始证明Stolz定理。假设$\lim_{n\to\infty}\frac{a_n}{b_n}=L$，则对于任意给定的$\epsilon>0$，存在正整数$N$，使得当$n>N$时，$|\frac{a_n}{b_n}-L|<\epsilon$。又因为$\{a_n\}$和$\{b_n\}$都是单调递增的，所以对于任意正整数$m>n>N$，有
$$(a_m-a_n)(b_m-b_n)=(a_m-a_{m-1})(b_m-b_{m-1})+\cdots+(a_{n+1}-a_n)(b_{n+1}-b_n)\geq 0$$
我们对上式两边同时除以$(b_m-b_n)$得到
$$\frac{a_m-a_n}{b_m-b_n}\geq \frac{a_{n+1}-a_n}{b_{n+1}-b_n}$$
由于$\{b_n\}$是单调递增的正数数列，所以$\frac{a_m-a_n}{b_m-b_n}\to L$，同时$\frac{a_{n+1}-a_n}{b_{n+1}-b_n}\to
L$，因此当$n\to \infty$时，$\frac{a_{n+1}-a_n}{b_{n+1}-b_n}\to L$。
于是我们有
$$\lim_{n\to\infty}\frac{a_{n+1}-a_n}{b_{n+1}-b_n}=\lim_{n\to\infty}\frac{\frac{a_{n+1}}{b_{n+1}}-\frac{a_n}{b_n}}{\frac{1}{b_{n+1}}-\frac{1}{b_n}}=\lim_{n\to\infty}\frac{a_{n+1}/b_{n+1}-a_n/b_n}{(b_n-b_{n+1})/b_nb_{n+1}}=\frac{L-L}{L}$$ 因此，我们得到$\lim_{n\to\infty}\frac{a_{n+1}-a_n}{b_{n+1}-b_n}=0$。利用Stolz定理的前提条件，我们可得到
$$\lim_{n\to\infty}\frac{a_n}{b_n}=\lim_{n\to\infty}\frac{a_{n+1}-a_n}{b_{n+1}-b_n}\cdot\frac{b_n}{a_n-a_{n-1}}=0\cdot\lim_{n\to\infty}\frac{b_n}{a_n-a_{n-1}}=0$$
这就证明了Stolz定理。
综上所述，Stolz定理作为极限计算的有力工具，其证明过程不仅简单易懂，而且充满了逻辑和推理。对于初等数学爱好者和专业学者来说，Stolz定理定能帮助大家更好地理解极限的概念和应用，为数学的深入研究打下坚实的基础。
