数列极限：重要极限 π 与 e

数学分析笔记——总目录

数列极限：重要极限 π 与 e

重要极限：π

圆周率，为圆周长与直径之比，记作 $\pi$ 。

通常，用单位圆（半径为 $1$ 的圆）的内接正 $n$ 边形的半周长 $L_n$ 近似。

设圆 $O$ 的半径为 $r=1$，圆内接正 $n$ 边形的半周长为 $L_n$。则
$$L_n=\frac{1}{2}\cdot \left[2n\cdot \sin \left(\frac{1}{2}\cdot \frac{360°}{n}\right)\right]=n\sin \frac{180°}{n}$$

设圆内接正 $n$ 边形的面积为 $S_n$，则

$$S_n=n\sin \frac{180°}{n}\cdot \cos \frac{180°}{n}$$

而单位圆 $O$ 的面积明显小于其圆外接正方形的面积。因此有：

$$S_n=n\sin \frac{180°}{n}\cdot \cos \frac{180°}{n}<4$$

进而有：

$$L_n=n\sin \frac{180°}{n}<\frac{4}{\cos \frac{180°}{n}}\le \frac{4}{\cos \frac{60°}{n}}=8,(n\ge 3)$$

$L_n$ 明显是大于 $0$ 的，因此，数列 { L n } \{L_n\} {Ln​} 有界。

下面，利用 单调有界数列收敛定理 证明数列 { x n } \{x_n\} {xn​} 收敛。

证明：

设 $t=\frac{180°}{n(n+1)}$，则当 $n\ge 3$ 时，显然有 $nt\le 45°$。

然后，考虑 $nt\le 45°$ 时 有什么特殊情况。

$$\begin{array}{rl}\tan \frac{180°}{n+1}& =\tan nt=\tan ((n-1)t+t)\\ & =\frac{\tan (n-1)t+\tan t}{1-\tan (n-1)t\cdot \tan t}\\ & \ge \tan (n-1)t+\tan t\end{array}$$

于是，递归地，又有：

$$\tan (n-1)t\ge \tan (n-2)t+\tan t$$

继续下去，有

$$\tan nt\ge n\tan t$$

因此，有

$$\begin{array}{rl}\sin (n+1)t& =\sin nt\cos t+\cos nt\sin t\\ & =\sin nt\cos t\left(1+\frac{\cos nt\sin t}{\sin nt\cos t}\right)\\ & =\sin nt\cos t\left(1+\frac{\tan t}{\tan nt}\right)\\ & \le \sin nt\cos t\left(1+\frac{1}{n}\right)\\ & <\frac{n+1}{n}\sin nt\end{array}$$

也就是说，当 $n\ge 3$ 时，有：

$$n\sin (n+1)t<(n+1)\sin nt$$

将 $t=\frac{180°}{n(n+1)}$ 带入，即有

$$L_n=n\sin \frac{180°}{n}<(n+1)\sin \frac{180°}{n+1}=L_{n+1}$$

虽然，$n=1,2$ 时，没有实际的几何意义，但计算其数值后，明显有：
$$L_1\le L_2\le L_3<\cdots$$

也就是说，数列 { x n } \{x_n\} {xn​} 为递增数列。

由单调有界数列收敛原理，数列 { L n } \{L_n\} {Ln​} 收敛。

重要极限：e

数学中的常量 $e$ 可使用数列 { ( 1 + 1 n ) n } \{(1+\frac{1}{n})^{n}\} {(1+n1​)n} 进行定义。

设数列 $x_n=(1+\frac{1}{n}{)}^n$，$y_n=(1+\frac{1}{n}{)}^{n+1}$。

由 平均值不等式 ：
$$\frac{a_1+a_2+\cdots +a_n}{n}\ge \sqrt[n]{a_1{a}_2\cdots a_n},a_k>0,k=1,2,3,\cdots ,n$$
有：
$${\left(\frac{a_1+a_2+\cdots +a_n}{n}\right)}^n\ge a_1{a}_2\cdots a_n,a_k>0,k=1,2,3,\cdots ,n$$

因此有：
$$x_n={\left(1+\frac{1}{n}\right)}^n={\left(1+\frac{1}{n}\right)}^n\cdot 1\le {\left(\frac{n(1+\frac{1}{n})+1}{n+1}\right)}^{n+1}={\left(1+\frac{1}{n+1}\right)}^{n+1}=x_{n+1}$$

即：$x_n\le x_{n+1}$，数列 { x n } \{x_n\} {xn​} 为递增数列。

$$\frac{1}{y_n}={\left(\frac{n}{n+1}\right)}^{n+1}={\left(\frac{n}{n+1}\right)}^{n+1}\cdot 1\le {\left(\frac{(n+1)\frac{n}{n+1}+1}{n+2}\right)}^{n+2}={\left(\frac{n+1}{n+2}\right)}^{n+2}=\frac{1}{y_{n+1}}$$
即：$y_n\ge y_{n+1}$，数列 { y n } \{y_n\} {yn​} 为递减数列。

显然，
$$2=x_1\le x_n<y_n\le y_1=4$$
因此数列 { x n } \{x_n\} {xn​} 与 { y n } \{y_n\} {yn​} 均收敛。

设 $\underset{n\to \infty }{\lim }{x}_n=a$，而 $\underset{n\to \infty }{\lim }\frac{y_n}{x_n}=\underset{n\to \infty }{\lim }(1+\frac{1}{n})=1$，因此：
$$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }{y}_n\text{。}$$

在数学中，通常用 $e$ 代表这个极限，即：
$$\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^n=\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^{n+1}=e\text{。}$$

此外，我们有：
$$\underset{n\to \infty }{\lim }{\left(1-\frac{1}{n}\right)}^n=\frac{1}{e}\text{。}$$

参考文献

[1] 陈纪修，于崇华，金路著. 数学分析 上册. 第2版. 北京：高等教育出版社, 2004.06.