【数学分析笔记】第2章第4节收敛准则（3）

2. 数列极限

2.4 收敛准则

2.4.3 $\pi$与$e$

假设有一个单位圆，半径为1，在圆内做正$n$边形

则多边形的周长为$2n\sin \frac{180^{\circ }}{n}$，记半周长为$L_n=n\sin \frac{180^{\circ }}{n}$，记数列 { L n } \{L_{n}\} {Ln​}
【例2.4.5】证明 { L n = n sin ⁡ 18 0 ∘ n } \{L_{n}=n\sin\frac{180^{\circ}}{n}\} {Ln​=nsinn180∘​}收敛，并求单位圆长度。
【证】令$t=\frac{180^{\circ }}{n(n+1)}$，当$n\ge 3$时（$n$边形至少是一个三角形，即至少有3条边）$nt=\frac{180^{\circ }}{(n+1)}\le \frac{180^{\circ }}{4}=45^{\circ }$，$\tan nt=\tan ((n-1)t+t)=\frac{\tan (n-1)t+\tan t}{1-\tan (n-1)t\cdot \tan t}$
由于$n\ge 3$，则$0<\tan (n-1)t<\tan nt\le \tan 45^{\circ }=1$，
所以$0<1-\tan (n-1)t\cdot \tan t<1$，故$\tan nt=\tan ((n-1)t+t)=\frac{\tan (n-1)t+\tan t}{1-\tan (n-1)t\cdot \tan t}>\tan (n-1)t+\tan t=\tan ((n-2)t+t)+\tan t(套娃)>\tan (n-2)t+2\tan t>...>n\tan t$
即$\tan nt>n\tan t$
亦即$\frac{\tan t}{\tan nt}<\frac{1}{n}$
$\sin (n+1)t=\sin nt\cos t+\cos nt\sin t=\sin nt\cos t\cdot (1+\frac{\tan t}{\tan nt})<\sin nt\cos t\cdot (1+\frac{1}{n})<\sin nt\cdot (1+\frac{1}{n})=\sin nt\cdot (\frac{1+n}{n})$
即$\sin (n+1)t<\sin nt\cdot (\frac{1+n}{n})$
由于$t=\frac{180^{\circ }}{n(n+1)}$，则
$\sin \frac{180^{\circ }}{n}<\sin \frac{180^{\circ }}{n+1}\cdot (\frac{1+n}{n})$
即$n\sin \frac{180^{\circ }}{n}<(1+n)\sin \frac{180^{\circ }}{n+1}$
亦即$L_n=n\sin \frac{180^{\circ }}{n}<(1+n)\sin \frac{180^{\circ }}{n+1}=L_{n+1}$
所以 { L n } \{L_{n}\} {Ln​}单调增加
正$n$边形中，$|AB|=\sin \frac{180^{\circ }}{n},|BC|=\cos \frac{180^{\circ }}{n}$，对于每个小等腰三角形的一半面积（直角三角形面积）是$\frac{1}{2}|AB||BC|=\frac{1}{2}\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}$，所以一个等腰三角形面积为$\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}$，这样的等腰三角形有$n$个，则
正$n$边形的面积$S_n=n\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}$

则$S_n=n\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}<4$
即$n\sin \frac{180^{\circ }}{n}<\frac{4}{\cos \frac{180^{\circ }}{n}}$，由于$n\ge 3$，则$\frac{180^{\circ }}{n}\le \frac{180^{\circ }}{3}=60^{\circ }$，由于$\cos n$在$n\in (0,\pi )$上单调减少，则
$\cos \frac{180^{\circ }}{n}\ge \cos 60^{\circ }=\frac{1}{2}$
所以$L_n=n\sin \frac{180^{\circ }}{n}<\frac{4}{\cos \frac{180^{\circ }}{n}}<\frac{4}{\frac{1}{2}}=8$
所以 { L n } \{L_{n}\} {Ln​}单调增加有上界
则 { L n = n sin ⁡ 18 0 ∘ n } \{L_{n}=n\sin\frac{180^{\circ}}{n}\} {Ln​=nsinn180∘​}收敛
所以$\underset{n\to \infty }{\lim }n\sin \frac{180^{\circ }}{n}=\pi$（就是将这个极限记作$\pi$）
设单位圆的面积为$S$，

共有$n$个和四边形DGFE一样的四边形
单位圆的外切$n$边形的面积为$S_n^{\prime }=n\tan \frac{180^{\circ }}{n}$
圆的面积介于内接多边形面积和外接多边形面积之间
即$S_n<S<S_n^{\prime }$
$\underset{n\to \infty }{\lim }{S}_n=\underset{n\to \infty }{\lim }n\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}=\pi$
$\underset{n\to \infty }{\lim }{S}_n^{\prime }=\underset{n\to \infty }{\lim }n\tan \frac{180^{\circ }}{n}=\underset{n\to \infty }{\lim }\frac{n\sin \frac{180^{\circ }}{n}}{\cos \frac{180^{\circ }}{n}}=\frac{\pi }{1}=\pi$
由数列极限的夹逼性定理可知，$\underset{n\to \infty }{\lim }S=\pi$
所以单位圆的面积是$\pi$


【例2.4.6】$x_n=(1+\frac{1}{n}{)}^n,y_n=(1+\frac{1}{n}{)}^{n+1}$，证明 { x n } \{x_{n}\} {xn​}单调增加， { y n } \{y_{n}\} {yn​}单调减少，两者收敛于同一极限。
【证】$x_n=(1+\frac{1}{n}{)}^n=(1+\frac{1}{n}{)}^n\cdot 1\le (\frac{n(1+\frac{1}{n})+1}{n+1}{)}^{n+1}=(1+\frac{1}{1+n}{)}^{n+1}=x_{n+1}$（平均值不等式：$\frac{a_1+a_2+...+a_n}{n}\ge \sqrt[n]{a_1{a}_2...a_n}\ge \frac{n}{\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_n}}$）
则 { x n } \{x_{n}\} {xn​}单调增加。
$\frac{1}{y_n}=(\frac{n}{n+1}{)}^{n+1}\cdot 1\le (\frac{(n+1)\frac{n}{n+1}+1}{n+2}{)}^{n+2}=(\frac{n+1}{n+2}{)}^{n+2}=(\frac{1}{1+\frac{1}{n+2}}{)}^{n+2}=\frac{1}{y_{n+1}}$
则 { 1 y n } \{\frac{1}{y_{n}}\} {yn​1​}单调增加，则 { y n } \{y_{n}\} {yn​}单调减少。
$2=x_1<x_n=(1+\frac{1}{n}{)}^n<y_n=(1+\frac{1}{n}{)}^{n+1}\le y_1=4$
所以 { x n } \{x_{n}\} {xn​}单调增加有上界， { y n } \{y_{n}\} {yn​}单调减少有下界，所以 { x n } \{x_{n}\} {xn​}和 { y n } \{y_{n}\} {yn​}均收敛，设$\underset{n\to \infty }{\lim }{x}_n=a,\underset{n\to \infty }{\lim }{y}_n=b$
$y_n=x_n(1+\frac{1}{n})$，等式两边同时取极限得$a=b$，所以两者收敛于同一极限。
定义$\underset{n\to \infty }{\lim }{x}_n=e\approx \mathrm{2.71828...}$
$e$和$\pi$都是无理数。
定义$\ln ={\log }_e$，称为自然对数，$e$称为自然对数的底数。

【例2.4.7】证明$a_n=1+\frac{1}{2^p}+\frac{1}{3^p}+...+\frac{1}{n^p}(p>0)$，显然 { a n } \{a_{n}\} {an​}单调增加，当$p>1$， { a n } \{a_{n}\} {an​}收敛，当$P\le 1$， { a n } \{a_{n}\} {an​}发散到$+\infty$。
【证】若$p>1$，令$\frac{1}{2^{p-1}}=r,0<r<1$
$\frac{1}{2^p}+\frac{1}{3^p}<\frac{1}{2^p}+\frac{1}{2^p}=\frac{2}{2^p}=\frac{1}{2^{p-1}}=r$
$\frac{1}{4^p}+\frac{1}{5^p}+\frac{1}{6^p}+\frac{1}{7^p}<\frac{1}{4^p}+\frac{1}{4^p}+\frac{1}{4^p}+\frac{1}{4^p}=\frac{4}{4^p}=\frac{2}{2^p}\cdot \frac{2}{2^p}=r^2$
$\frac{1}{8^p}+\frac{1}{9^p}+...+\frac{1}{15^p}<\frac{8}{8^p}=r^3$
$\frac{1}{(2^k{)}^p}+\frac{1}{(2^k+1{)}^p+}+...+\frac{1}{(2^{k+1}-1{)}^p}<\frac{2^k}{(2^k{)}^p}=\frac{1}{(2^k{)}^{p-1}}=r^k$
由于 { a n } \{a_{n}\} {an​}单调增加且$n\in {\mathbb{N}}^{+}$，现在来证明$2^n-1\ge n$成立
当$n=1$时，$2^1-1=1$成立
假设当$n=k$时，$2^k-1\ge k$成立，即$2^k\ge 1+k$成立
当$n=k+1$时，$2^{k+1}-1=2\cdot 2^k-1=2^k+2^k-1\ge 2k+1>k+1$也成立
由数学归纳法可知$2^n-1\ge n$
则$\forall n,a_n\le a_{2^n-1}=1+r+r^2+...+r^{n-1}=\frac{1\cdot (1-r^n)}{1-r}<\frac{1}{1-r}$
所以 { a n } \{a_{n}\} {an​}单调增加有上界，所以$\underset{n\to \infty }{\lim }{a}_n$收敛。
当$p\le 1$时，$\frac{1}{2^p}\ge \frac{1}{2}$
$\frac{1}{3^p}+\frac{1}{4^p}\ge \frac{1}{4^p}+\frac{1}{4^p}\ge \frac{1}{4}+\frac{1}{4}=\frac{1}{2}$
$\frac{1}{5^p}+\frac{1}{6^p}+\frac{1}{7^p}+\frac{1}{8^p}\ge \frac{1}{8^p}+\frac{1}{8^p}+\frac{1}{8^p}+\frac{1}{8^p}\ge \frac{4}{8}=\frac{1}{2}$
……
$\frac{1}{(2^k+1{)}^p}+\frac{1}{(2^k+2{)}^p}+...+\frac{1}{(2^{k+1}{)}^p}\ge \frac{2^k}{(2^{k+1}{)}^p}\ge \frac{2^k}{2^{k+1}}\ge \frac{1}{2}$
$a_n=1+\frac{1}{2^p}+\frac{1}{3^p}+...+\frac{1}{n^p}\ge 1+\frac{1}{2}+\frac{1}{2}+...+\frac{1}{2}$（写大于等于是因为还有可能结尾项的分母不正好是$2^k$，从分母为$2^k$项的后面可能还加上$\frac{1}{(2^k+1{)}^p}+\frac{1}{(2^k+2{)}^p}+...$）
随着$n$的增加， { a n } \{a_{n}\} {an​}没有上界，
所以$\underset{n\to \infty }{\lim }{a}_n=+\infty$
【注】当$p=1$时，$a_n=1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{n}$是正无穷大量，称$\sum _{n=1}^{\infty }\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{n}$为调和级数，则这个调和级数是发散的。