高等数学第一章---函数与极限(1.5 极限存在准则与两个重要极限)

高等数学第一章—函数与极限(1.4 无穷小与无穷大)

§1.5 极限存在准则与两个重要极限

一、极限存在准则

1. 两边夹准则

   • 准则 1（数列形式）：如果数列 { x n } , { y n } , { z n } \{x_n\},\{y_n\},\{z_n\} {xn​},{yn​},{zn​} 满足：

     • 从某项起，即存在 $n_0\in N^{+}$ ，当 $n>n_0$ 时有 $y_n\le x_n\le z_n$ ；
     • ${\lim }_{n\to \infty }{y}_n={\lim }_{n\to \infty }{z}_n=a$ ，
       则数列 { x n } \{x_n\} {xn​} 收敛，且 ${\lim }_{n\to \infty }{x}_n=a$ 。

   • 准则 2（函数形式）：如果函数 $f(x),g(x),h(x)$ 满足：

     • 当 $x\in U(x_0)$ 时有 $g(x)\le f(x)\le h(x)$ ；
     • ${\lim }_{x\to x_0}g(x)={\lim }_{x\to x_0}h(x)=A$ ，
       则 ${\lim }_{x\to x_0}f(x)=A$ 。

2. 单调有界原理

   • (1) 数列的单调性
     若数列 { y n } \{y_n\} {yn​} 满足 $y_n<y_{n+1}$ （或 $y_n>y_{n+1}$ ），则称数列 { y n } \{y_n\} {yn​} 是单调递增（或单调递减）数列。
     例如： { 1 n } , { n n + 1 } , { ( − 1 ) n n } \{\frac{1}{n}\},\{\frac{n}{n+1}\},\{\frac{(-1)^n}{n}\} {n1​},{n+1n​},{n(−1)n​} 。

   • (2) 数列的有界性
     若存在 $M>0$ ，对一切的 $n$ 有 $|y_n|\le M$ ，则称数列 { y n } \{y_n\} {yn​} 有界。

   • (3) 单调有界原理
     若数列 { y n } \{y_n\} {yn​} 单调有界，则数列 ${\lim }_{n\to \infty }{y}_n$ 一定存在。

     注：由于单调分为单调递增和单调递减，有界包括有上界和有下界，因此，将单调有界原理分解为下面两个：

     $1^{\circ }$ 单调递增有上界的数列必有极限；例如： $y_n=1-\frac{1}{n}$ 是单调递增且有上界， ${\lim }_{n\to \infty }(1-\frac{1}{n})=1$ ；

     $2^{\circ }$ 单调递减有下界的数列必有极限；例如： $y_n=1+\frac{1}{n}$ 是单调递减且有下界， ${\lim }_{n\to \infty }(1+\frac{1}{n})=1$ 。

   例 1：证明数列 $\sqrt{2},\sqrt{2+\sqrt{2}},\sqrt{2+\sqrt{2+\sqrt{2}}},\cdots ,\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}},\cdots$ 收敛，并求极限。

   证明：记 $y_n=\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}$ ，则 $y_{n+1}=\sqrt{2+y_n}$ 。

   由数学归纳法易证数列 { y n } \{y_n\} {yn​} 有上界，即 $y_n<2$ ；又由 $y_{n+1}=\sqrt{2+y_n}$ 知， $y_n<y_{n+1}$ ，即数列 { y n } \{y_n\} {yn​} 单调递增。

   因此，由单调有界原理知，数列 { y n } \{y_n\} {yn​} 收敛。

   记 ${\lim }_{n\to \infty }{y}_n=a$ ，由 $y_{n+1}=\sqrt{2+y_n}$ 知， $y_{n+1}^2=2+y_n$ ，等式两边求极限得 $a^2=2+a$ ，解得 $a=2,a=-1$ （舍去，因为 $y_n>0\Rightarrow a\ge 0$ ），因此 ${\lim }_{n\to \infty }{y}_n=2$ 。

二、两个重要极限

1. ${\lim }_{x\to 0}\frac{\sin x}{x}=1$

   证明：
   

   先证明 ${\lim }_{x\to 0^{+}}\frac{\sin x}{x}=1$ 。作单位圆，设 $\angle AOB=x(0<x<\frac{\pi }{2})$ ，过 $A$ 作圆的切线交 $OB$ 的延长线于 $D$ ，连接 $AB$ 。

   由图形可知， $S_{△AOB}<S_{\text{扇形}AOB}<S_{△AOD}$ ，即 $\frac{1}{2}\sin x\times 1<\frac{1}{2}x\times 1^2<\frac{1}{2}\tan x\times 1$ ，即 $\sin x<x<\tan x$ ，即 $\frac{\sin x}{x}<1$ 且 $\frac{\sin x}{x}>\frac{\cos x}{1}$ ，由迫敛性知 ${\lim }_{x\to 0^{+}}\frac{\sin x}{x}=1$ 。

   再证明 ${\lim }_{x\to 0^{-}}\frac{\sin x}{x}=1$ 。

   ${\lim }_{x\to 0^{-}}\frac{\sin x}{x}={\lim }_{x\to 0^{-}}\frac{\sin (-x)}{-x}\stackrel{令-x=t}{=}{\lim }_{t\to 0^{+}}\frac{\sin t}{t}=1$ ，因此有 ${\lim }_{x\to 0}\frac{\sin x}{x}=1$ 。

   注：几种常用的变形形式：

   $(1){\lim }_{x\to 0}\frac{x}{\sin x}=1$ ；

   $(2){\lim }_{f(x)\to 0}\frac{\sin f(x)}{f(x)}=1$ ；

   $(3){\lim }_{f(x)\to 0}\frac{f(x)}{\sin f(x)}=1$ 。

   例 2：计算下列极限

   $(1){\lim }_{x\to 0}\frac{\tan x}{x}$

   $(2){\lim }_{x\to 0}\frac{\sin kx}{x}$

   $(3){\lim }_{x\to 0}\frac{\sin 2x}{\sin 3x}$

   $(4){\lim }_{x\to 0}\frac{1-\cos x}{x^2}$

2. ${\lim }_{n\to \infty }(1+\frac{1}{n}{)}^n=e$

   证明：需要利用二项式定理：

   $(a+b{)}^n=C_n^0{a}^n{b}^0+C_n^1{a}^{n-1}b+\cdots +C_n^k{a}^{n-k}{b}^k+\cdots +C_n^n{a}^0{b}^n$

   其中 $C_n^k=\frac{n!}{k!(n-k)!}$ 。

   记 $y_n=(1+\frac{1}{n}{)}^n$ ，则由二项式定理的展开式有

   $y_n=(1+\frac{1}{n}{)}^n=1+C_n^1\frac{1}{n}+C_n^2\frac{1}{n^2}+\cdots +C_n^k\frac{1}{n^k}+\cdots +C_n^n\frac{1}{n^n}$

   因此

   $y_n=1+\frac{1}{1!}(1-\frac{1}{n})+\frac{1}{2!}(1-\frac{1}{n})(1-\frac{2}{n})+\cdots +\frac{1}{n!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{n-1}{n})$

   $y_{n+1}=1+1+\frac{1}{2!}(1-\frac{1}{n+1})+\frac{1}{3!}(1-\frac{1}{n+1})(1-\frac{2}{n+1})+\cdots +$

   $\frac{1}{n!}(1-\frac{1}{n+1})(1-\frac{2}{n+1})\cdots (1-\frac{n-1}{n+1})+\frac{1}{(n+1)!}(1-\frac{1}{n+1})(1-\frac{2}{n+1})\cdots (1-\frac{n}{n+1})$

   即 $y_n<y_{n+1}$ ，即数列 { y n } \{y_n\} {yn​} 单调递增；

   又

   $y_n<1+1+\frac{1}{2!}+\frac{1}{3!}+\cdots +\frac{1}{n!}<1+1+\frac{1}{2}+\frac{1}{2^2}+\cdots +\frac{1}{2^{n-1}}=3-\frac{1}{2^{n-1}}<3(n!>2^{n-1},n>2)$

   即数列 { y n } \{y_n\} {yn​} 有上界，由单调有界原理知数列 { y n } \{y_n\} {yn​} 收敛。

   由于当 $n\to \infty$ 时，数列 $y_n=(1+\frac{1}{n}{)}^n$ 无限接近常数 $e$ ，因此 ${\lim }_{n\to \infty }(1+\frac{1}{n}{)}^n=e$ 。

   注：

   $1^{\circ }{\lim }_{n\to \infty }(1+\frac{1}{n+1}{)}^n={\lim }_{n\to \infty }(1+\frac{1}{n+1}{)}^{n+1}/{\lim }_{n\to \infty }(1+\frac{1}{n+1})=e$ ；

   $2^{\circ }{\lim }_{n\to \infty }(1+\frac{1}{n}{)}^{n+1}={\lim }_{n\to \infty }(1+\frac{1}{n}{)}^n\times {\lim }_{n\to \infty }(1+\frac{1}{n+1})=e$ ；

   $3^{\circ }$ 推广到一般函数：${\lim }_{x\to \infty }(1+\frac{1}{x}{)}^x=e$ 。

   证明：

   先证明 ${\lim }_{x\to +\infty }(1+\frac{1}{x}{)}^x=e$ 。

   对 $\forall x>1$ 有 $[x]\le x<[x]+1$ ，即 $\frac{1}{1+[x]}<\frac{1}{x}\le \frac{1}{[x]}$ ，即 $1+\frac{1}{1+[x]}<1+\frac{1}{x}\le 1+\frac{1}{[x]}$ ，即

   $(1+\frac{1}{1+[x]}{)}^{[x]}<(1+\frac{1}{x}{)}^x<(1+\frac{1}{[x]}{)}^{[x]+1}$ ，记 $[x]=n$ ，即

   $(1+\frac{1}{1+n}{)}^n<(1+\frac{1}{x}{)}^x<(1+\frac{1}{n}{)}^{n+1}$ ，由迫敛性知：${\lim }_{x\to +\infty }(1+\frac{1}{x}{)}^x=e$ 。

   再证明 ${\lim }_{x\to -\infty }(1+\frac{1}{x}{)}^x=e$ 。

   ${\lim }_{x\to \infty }(1+\frac{1}{x}{)}^x\stackrel{{令}_{t=-x}}{=}{\lim }_{t\to +\infty }(1-\frac{1}{t}{)}^{-t}={\lim }_{t\to +\infty }(1+\frac{1}{t-1}{)}^{t-1}\times (1+\frac{1}{t-1})=e$

   因此有 ${\lim }_{x\to \infty }(1+\frac{1}{x}{)}^x=e$ 。

   注：几种常用的变形形式：

   $(1){\lim }_{x\to \infty }(1+x{)}^{\frac{1}{x}}=e$ ；

   $(2){\lim }_{f(x)\to \infty }(1+\frac{1}{f(x)}{)}^{f(x)}=e$ ；

   $(3){\lim }_{f(x)\to 0}(1+f(x){)}^{\frac{1}{f(x)}}=e$ 。

   例 3：求下列极限

   $(1){\lim }_{x\to \infty }(1+\frac{2}{x}{)}^x$

   $(2){\lim }_{x\to \infty }(1-\frac{2}{x}{)}^{\frac{x}{2}-1}$

   $(3){\lim }_{x\to 0}(1+2x{)}^{\frac{1}{x}}$

   $(4){\lim }_{x\to \infty }(\frac{x-1}{x+1}{)}^x$

   $(5){\lim }_{x\to \infty }(\frac{x^2}{x^2-1}{)}^x$

   $(6){\lim }_{x\to 0}\frac{\ln (1+2x)}{\sin 3x}$

   $(7){\lim }_{n\to \infty }n[\ln (n+2)-\ln n]$

作业

1.计算下列极限

${\lim }_{x\to 0}\frac{\sin wx}{x}$

${\lim }_{x\to 0}\frac{\tan 3x}{x}$

${\lim }_{x\to 0}\frac{\sin 2x}{\sin 5x}$

${\lim }_{x\to 0}x\cot x$

${\lim }_{x\to 0}\frac{1-\cos 2x}{x\sin x}$

${\lim }_{x\to 0}{2}^n\sin \frac{x}{2^n}$

2.计算下列极限

${\lim }_{x\to 0}(1-x{)}^{\frac{1}{x}}$

${\lim }_{x\to 0}(1+2x{)}^{\frac{1}{x}}$

${\lim }_{x\to \infty }(\frac{1+x}{x}{)}^{2x}$

${\lim }_{x\to \infty }(1-\frac{1}{x}{)}^{kx}$

参考答案

1.

2.