极限的存在准则和两个重要极限
一、极限的存在准则
1. 夹逼定理/迫敛性
- 数列 ,,且 ,可得
- 函数 ,且 ,可得
证明:,,时, ,
即
例题
-
证明
解:若 ,令 ,
,
时,
综上所述, 成立
-
解:
根据夹逼定理,原式
2. 单调有界数列必有极限
例题
-
,证明 有极限,并求出它
解:当 时,;时,
设,则
,即有上界
又 单调递增
存在
设 ,则,解出
-
,证明 有极限,并求极限值
解:当 时, 设,则
,即 有上界
,
单调递增
存在,设
则 ,解得 (舍负)
二、两个重要极限
1.

证明:先证
设
根据夹逼定理,,
再证明
令
即 综上所述,
注:,()
例题
-
计算极限值
-
-
-
2.
证明(单调有界原理):
- 先证明单调性
\begin{align*} (1+\dfrac{1}{n})^n&=1+n\times \dfrac{1}{n}+\dfrac{n(n-1)}{2!}\times (\dfrac{1}{n})^2+\dfrac{n(n-1)(n-2)}{3!}\times(\dfrac{1}{n})^3+\cdots +\dfrac{n!}{n!}\times (\dfrac{1}{n})^n\ &\le 1+1+\dfrac{1}{2!}+\dfrac{1}{3!}+\cdots +\dfrac{1}{n!}\ &\lt 1+1+\dfrac{1}{1\times 2}+\dfrac{1}{2\times 3}+\cdots +\dfrac{1}{(n-1)n}\ &=3-\dfrac{1}{n}\lt 3 \end{align*}
即 $\{x_n\}$ 有上界 $\therefore \displaystyle \lim_{n\to \infty}(1+\dfrac{1}{n})^n$ 存在,记为 $e$ #### 例题 1. $\displaystyle \lim_{x\to \infty}(1-\dfrac{1}{x})=\lim_{x\to \infty}\dfrac{1}{(1+\dfrac{1}{-x})^{-x}}=\dfrac{1}{e}$ 2. $\displaystyle \lim_{x\to \infty}(1+\dfrac{1}{x})^{x+1}=\lim_{x\to \infty}(1+\dfrac{1}{x})^x(1+\dfrac{1}{x})=e$ 3. $\displaystyle \lim_{x\to \infty} (1+\dfrac{x}{3})^\frac{1}{x}=\lim_{x\to \infty}\sqrt[3]{(1+\dfrac{x}{3})^{\dfrac{1}{\frac{x}{3}}}}=\sqrt[3]{e}$ 4. $\displaystyle \lim_{x\to \infty}(\dfrac{x-1}{x+3})^x=\lim_{x\to \infty}\left[(1+\dfrac{1}{-\frac{x+3}{4}})^{-\frac{x+3}{4}}\right]^{-4}=e^{-4}$ ## 三、Cauchy审敛原理{x_n}收敛\Leftrightarrow \forall \epsilon \gt 0\quad \exists N\gt 0\quad m,n\gt N\quad |x_n-x_m|\lt \epsilon
### 例题 证明$x_n=1+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\cdots +\dfrac{1}{n^2}$ 收敛 > [注:该数列实际收敛于 $\dfrac{\pi^2}{6}(n\to \infty)$] 解:$\forall \epsilon \gt 0$,不妨设$m\gt n$ 有\begin{align*} |x_m-x_n|&=\left|\dfrac{1}{(n+1)^2}+\dfrac{1}{(n+2)^2}+\cdots +\dfrac{1}{m^2}\right|\ &\lt \dfrac{1}{n(n+1)}+\dfrac{1}{(n+1)(n+2)}+\cdots + \dfrac{1}{(n-1)m}\ &=\dfrac{1}{n}-\dfrac{1}{m}\ &\lt \dfrac{1}{n}(\lt \epsilon) \end{align*}
要使 $|x_n-x_m|\lt \epsilon$,只需 $n\gt \dfrac{1}{\epsilon}$ $\therefore \forall \epsilon \gt 0$,存在 $N=[\dfrac{1}{\epsilon}]$,当 $m,n\gt N$ 时,有 $|x_m-x_n|\lt \epsilon$ 恒成立 $\therefore \{x_n\}$ 收敛部分信息可能已经过时