数学分析复习：经典的数列极限题（持续补充中……）

本篇文章适合个人复习翻阅，不建议新手入门使用

极限经典例题

例1

$$\underset{n\to \infty }{\lim }\frac{n^5}{2^n}=0$$

证法1：（二项式定理）
由二项式定理得 $\frac{n^5}{2^n}=\frac{n^5}{1+C_n^1+C_n^2+\cdots +C_n^n}<\frac{n^5}{C_n^6}=\frac{n^4\cdot 6!}{(n-5{)}^5}$
下面由定义易证

证法2：（单调有界数列必收敛）
记$a_n=\frac{n^5}{2^n}$
单调：
$$\frac{a_{n+1}}{a_n}=\frac{1}{2}(1+\frac{1}{n}{)}^5\to \frac{1}{2}<1$$有界：0为下界

故设$\underset{n\to \infty }{\lim }{a}_n=a$
$$a=\underset{n\to \infty }{\lim }{a}_{n+1}=\underset{n\to \infty }{\lim }\frac{1}{2}(1+\frac{1}{n}{)}^5{a}_n=\frac{1}{2}a$$得到 $a=0$

注：该极限的意义是指数函数的阶数比幂函数大

例2

$$\underset{n\to \infty }{\lim }\sqrt[n]{n}=1$$

证法1：（平均值不等式）
$$\begin{array}{rl}1\le & \sqrt[n]{n}=(\sqrt{n}\sqrt{n}\cdot \underset{n-2个1}{\underbrace{1\cdot 1\cdots 1}}{)}^{\frac{1}{n}}\\ <& \frac{2\sqrt{n}+n-2}{n}\\ <& 1+\frac{2}{\sqrt{n}}\end{array}$$

证法2：（二项式定理）
令$y_n=\sqrt[n]{n}-1\ge 0$，则
$$n=(1+y_n{)}^n\ge \frac{n(n-1)}{2}{y}_n^2$$则
$$y_n\le \sqrt{\frac{2}{n-1}}<\epsilon$$

证法3：（单调有界数列必收敛+平均值不等式）
$$a_{n+1}=\sqrt[n+1]{n+1}<a_n=\sqrt[n]{n}\iff (1+\frac{1}{n}{)}^n<n$$由平均值不等式
$$\frac{1}{n}(1+\frac{1}{n}{)}^n=(\frac{1}{\sqrt{n}}{)}^2(1+\frac{1}{n}{)}^n<(\frac{n+1+\frac{2}{\sqrt{n}}}{n+2}{)}^{n+2}$$当$n>4$，得数列单调递减，又以1为下界，则收敛
设$\underset{n\to \infty }{\lim }\sqrt[n]{n}=a\ge 1$，下证$a\le 1$，用反证法
设$a=1+h,h>0$，当n充分大时，$\sqrt{n}>1+h$，则
$$n>(1+h{)}^n>\frac{n(n-1)}{2}{h}^2$$这不可能

例3

$$\underset{n\to \infty }{\lim }\frac{a^n}{n!}(a>0)$$

证法1：（定义）
$$\begin{array}{rl}\frac{a^n}{n!}& <\frac{a^{[a]\cdot a^{n-[a]}}}{1\cdot 2\cdots ([a]+1)\cdot ([a]+1)\cdots ([a]+1)}\\ & =\frac{a^{[a]}}{1\cdot 2\cdots ([a]+1)}(\frac{a}{[a]+1}{)}^{n-[a]}\\ & \to 0\end{array}$$

例4

证明以下数列发散
$$S_n=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}$$

证法1：（Oresme）（找较小的数列，证其发散）
注意到
$$\frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{2n}>n\cdot \frac{1}{2n}=\frac{1}{2}$$则

• $S_2=1+\frac{1}{2}$
• $S_4=S_2+\frac{1}{3}+\frac{1}{4}>1+\frac{2}{2}$
• $S_8=S_4+\frac{1}{5}+\cdots +\frac{1}{8}>1+\frac{3}{2}$

归纳可得$S_{2^n}\ge 1+\frac{n}{2}$，原数列 { S n } \{S_n\} {Sn​}必然发散

证法2：（Jacobi-Bernoulli）（找较小的数列，证其发散）
注意到
$$\frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n^2}>\frac{n^2-n}{n^2}=1-\frac{1}{n}$$即
$$\frac{1}{n}+\frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{n^2}>1$$故

• $S_4=1+(\frac{1}{2}+\frac{1}{3}+\frac{1}{4})>2$
• $S_{25}=S_4+\frac{1}{5}+\cdots +\frac{1}{25}>3$
• ……

{ S n } \{S_n\} {Sn​}必然发散

证法3：（反证法）
设$S_{2n}=A_n+B_n$收敛，其中

• $A_n=1+\frac{1}{3}+\frac{1}{5}+\cdots +\frac{1}{2n-1}$
• $B_n=\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\cdots +\frac{1}{2n}$

则$\underset{n\to \infty }{\lim }{B}_n=\frac{1}{2}S,\underset{n\to \infty }{\lim }(S_{2n}-B_n)=\frac{1}{2}S$
又$\forall n,A_n-B_n>\frac{1}{2}$，则$A_n,B_n$收敛于同一极限不可能

例5

数列 { sin ⁡ n } \{\sin n\} {sinn}发散

证法1：（构造两个收敛于不同极限的子列）
对每个k，区间$[2k\pi +\frac{\pi }{4},2k\pi +\frac{3}{4}\pi ]$内必能选到一个正整数，记为$n_k$，子列 { sin ⁡ n k } \{\sin n_k\} {sinnk​}若收敛，极限必大于等于$\frac{\sqrt{2}}{2}$
对每个k，区间$[2k\pi +\pi ,2k\pi +2\pi ]$内必能选到一个正整数，记为$n_k^{\prime }$，子列 { sin ⁡ n k ′ } \{\sin n_k'\} {sinnk′​}若收敛，极限必小于等于0

证法2：（反证法）
设$\underset{n\to \infty }{\lim }\sin n=a$，则
$\sin (n+1)-\sin (n-1)=2\sin 1\cdot \cos n\to 0\Rightarrow \cos n\to 0$
则$\cos (n+1)-\cos (n-1)\to 0\Rightarrow \sin n\to 0$
这与${\sin }^{2}n+{\cos }^{2}n=1$矛盾

例6

证明以下数列收敛 $$L_n=n\cdot \sin \frac{\pi }{n}$$

证法1：（单调有界数列必收敛）

$L_n$ 单调递增：即证 $n\sin \frac{\pi }{n}\le (n+1)\sin \frac{\pi }{n+1}$，作代换 $t=\frac{\pi }{n(n+1)}$，即证
$$n\sin (n+1)t\le (n+1)\sin nt$$注意到
$$\begin{array}{rl}\tan nt& =\frac{\tan (n-1)t+\tan t}{1-\tan (n-1)t\tan t}\\ & \ge \tan (n-1)t+\tan t\\ & \ge n\tan t\end{array}$$则
$$\begin{array}{rl}\sin (n+1)t& =\sin nt\cos t+\cos nt\sin t\\ & =\sin nt\cos t(1+\frac{\tan t}{\tan nt})\\ & \le \sin nt(1+\frac{1}{n})\end{array}$$ $L_n$ 有上界易证

注：

1. $L_n$ 的几何意义：单位圆内接正 $n$ 边形的半周长
2. $S_n=n\cdot \sin \frac{\pi }{n}\cdot \cos \frac{\pi }{n}<\pi$
3. $S_n$ 的几何意义：单位圆内接正 $n$ 边形的面积

例7

$$\underset{x\to \infty }{\lim }{x}^{\frac{1}{x}}=1$$

证法1
注意到 $$1\le x^{\frac{1}{x}}\le (1+n{)}^{\frac{1}{n}}$$

例8

证明以下两个数列收敛，并收敛于同一极限
$$\{(1+\frac{1}{n}{)}^n\},\{(1+\frac{1}{n}{)}^{n+1}\}$$

证法（单调有界数列必收敛）
单调性：由平均值不等式
$$x_n=(1+\frac{1}{n}{)}^n\cdot 1\le [\frac{n(1+\frac{1}{n})+1}{n+1}{]}^{n+1}=x_{n+1}$$$$\frac{1}{y_n}=(\frac{n}{n+1}{)}^{n+1}\le [\frac{n+1\frac{n}{n+1}+1}{n+2}{]}^{n+2}=\frac{1}{y_{n+1}}$$
有界性：$$2=x_1\le x_n<y_n\le y_1=4$$

极限相同：只需找到两个数列的关系，易证

注：即 $$\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^n=\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^{n+1}=e$$

例9

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

证明
注意到对任意 $x\ge 1$ ，有$$(1+\frac{1}{[x]+1}{)}^{[x]}<(1+\frac{1}{x}{)}^x<(1+\frac{1}{[x]}{)}^{[x]+1}$$

参考书：

• 《数学分析》陈纪修 於崇华 金路
• 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
• 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著