数学分析复习：圆周率和 Euler 常数的构造

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

圆周率 $\pi$ 和 Euler 常数 $e$ 的构造

圆周率$\pi$ 的构造

我们将以下数列的极限定义为 $\pi$
$$L_n=n\cdot \sin \frac{180^{\circ }}{n}$$
数列 $L_n$ 的几何意义即为单位圆内接正 $n$ 边形的半周长

证明思路：（单调有界数列必收敛）

$L_n$ 单调递增：即证 $n\sin \frac{180^{\circ }}{n}\le (n+1)\sin \frac{180^{\circ }}{n+1}$，作代换 $t=\frac{180^{\circ }}{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$ 有上界：设单位圆内接正 $n$ 边形的面积为 $S_n$ ，则
$$S_n=n\cdot \sin \frac{180^{\circ }}{n}\cdot \cos \frac{180^{\circ }}{n}<4$$故
$$L_n=n\cdot \sin \frac{180^{\circ }}{n}<\frac{4}{\cos \frac{180^{\circ }}{n}}\le \frac{4}{\cos 60^{\circ }}=8$$

Euler常数e的构造

我们将e定义为极限$\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^n$，首先来证明这个极限的存在性

证明思路：（单调有界数列必收敛）

• $k!\ge 2^{k-1}$：数学归纳法易证
• $(1+\frac{1}{n}{)}^n\le \sum _{k=0}^n\frac{1}{k!}$：二项式定理展开
  $$\begin{array}{rl}(1+\frac{1}{n}{)}^n& =\sum _{k=0}^n{C}_n^k\frac{1}{n^k}\\ & =\sum _{k=0}^n\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{k-1}{n})\\ & \le \sum _{k=0}^n\frac{1}{k!}\end{array}$$
• $x_n=(1+\frac{1}{n}{)}^n$有界：$$x_n\le 1+1+\sum _{k=1}^n\frac{1}{2^k}<3$
• { x n } \{x_n\} {xn​}单调递增：
  $$\begin{array}{rl}(1+\frac{1}{n}{)}^n& =\sum _{k=0}^n\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{k-1}{n})\\ & <\sum _{k=0}^{n+1}\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{k-1}{n+1})\\ & =(1+\frac{1}{n+1}{)}^{n+1}\end{array}$$

根据上述e的定义，可得出一个重要结论：$$e=\sum _{k=0}^{\infty }\frac{1}{k!}$$证明思路：先证级数收敛，再证$A\ge B,B\ge A$

• 级数$\sum _{k=1}^{\infty }\frac{1}{2^k}$收敛，故为Cauchy列
• 级数$\sum _{k=2}^{\infty }\frac{1}{k!}$收敛
  $$\frac{1}{(n+1)!}+\cdots +\frac{1}{(n+m)!}\le \frac{1}{2^{n+1}}+\cdots +\frac{1}{2^{n+m}}<\epsilon$$
• $e\le \sum _{k=0}^{\infty }\frac{1}{k!}$
  $$(1+\frac{1}{n}{)}^n\le \sum _{k=0}^{\infty }\frac{1}{k!}$$
• $e\ge \sum _{k=0}^{\infty }\frac{1}{k!}$：利用 { x n } \{x_n\} {xn​}是单调递增的
  $$\begin{array}{rl}e& =\underset{m\to \infty }{\lim }(1+\frac{1}{m}{)}^m\ge (1+\frac{1}{n}{)}^n\\ & =\sum _{k=0}^n\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{k-1}{n})\\ & \ge \sum _{k=0}^{n_0}\frac{1}{k!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{k-1}{n})\end{array}$$固定 $n_0$，令 $n\to \infty$，得 $e\ge \sum _{k=0}^{n_0}\frac{1}{k!}$
  令 $n_0\to \infty$，得 $e\ge \sum _{k=0}^{\infty }\frac{1}{k!}$

总结：$$e=\underset{n\to \infty }{\lim }(1+\frac{1}{n}{)}^n=\sum _{k=0}^{\infty }\frac{1}{k!}$$

参考书：

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