数列极限导出重要无理数

$\pi$、$\mathrm{e}$与欧拉常数$\gamma$的导出

1.$\pi$的导出

$\pi$被定义为圆的周长和直径比值，通过正多边形逼近的方法求$\pi$是古人的常用方法，通过单调有界定理可以证明这种求$\pi$的方法的确是可行的，因为半径为$1$的正多边形周长数列确实收敛，收敛到的结果被定义为$2\pi$。

要如何求半径为$1$正多边形的周长呢？首先，注意到，将每个圆内接正多边形的顶点向圆心连线，可以得到$n$个三角形，每一个三角形的圆心角是$360^{\circ }/n$（注意这里不能用$\pi$，因为此时的$\pi$是未定义的）。可以求出三角形对边的长度为
$$l_n=2\sin \frac{180^{\circ }}{n},$$
多边形周长的一半就是
$$C_n=n\sin \frac{180^{\circ }}{n}.$$
现在要证明这个数列是收敛的，先构造一个不等式。令$t=\frac{180^{\circ }}{n(n+1)}$，则当$n\ge 3$时，$nt\le 45^{\circ }$，从而
$$\tan nt=\frac{\tan (n-1)t+\tan t}{1-\tan (n-1)t\tan nt}\ge \tan (n-1)t+\tan t\ge \cdots \ge n\tan t.$$
从而
$$\begin{array}{rl}\sin (n+1)t=& \sin nt\cos nt+\cos nt\sin t\\ =& \sin nt\cos t\left(1+\frac{\tan t}{\tan nt}\right)\\ \le & \sin nt\cos t(1+\frac{1}{n})\\ \le & \frac{n+1}{n}\sin nt.\end{array}$$
所以$n\ge 3$时，
$$C_n=n\sin \frac{180^{\circ }}{n}=n\sin (n+1)t\le (n+1)\sin nt=(n+1)\sin \frac{180^{\circ }}{n+1}=C_{n+1}.$$
这就证明了数列$C_n$是单调递增的。

另一方面，单位圆内正$n$边形的面积为
$$S_n=n\sin \frac{180^{\circ }}{n}\cos \frac{180^{\circ }}{n}=C_n\cos \frac{180^{\circ }}{n}<4,$$
所以$n\ge 3$时，有
$$C_n=n\sin \frac{180^{\circ }}{n}<\frac{4}{\cos \frac{180^{\circ }}{n}}\le \frac{4}{\cos 60^{\circ }}=8,$$
这就证明了数列$C_n$是单调递增且有界的，于是$C_n$存在极限，这个极限就被定义为$\pi$，也就是
$$\pi \stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{n\to \infty }{\lim }n\sin \frac{180^{\circ }}{n}.$$
弧度制也是基于这个事实定义的，所以在前面描述角度时一律不使用$\pi$，在弧度制的定义下，上式可以改写成
$$\underset{n\to \infty }{\lim }\frac{\sin (\pi /n)}{\pi /n}=1.$$

---

自然底数$\mathrm{e}$基于“复利”的定义，即探究数列${\left(1+\frac{1}{n}\right)}^n$是否存在极限，为此，记以下两个数列：
{ x n } : x n = ( 1 + 1 n ) n , { y n } : y n = ( 1 + 1 n ) n + 1 . \{x_n\}:x_n=\left(1+\frac 1n\right)^n,\\ \{y_n\}:y_n=\left(1+\frac{1}{n}\right)^{n+1}. {xn​}:xn​=(1+n1​)n,{yn​}:yn​=(1+n1​)n+1.
接下来证明这两个数列都存在极限，且收敛于同一个极限。单调性的证明利用平均值不等式，有
$$x_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},$$
和
$$\frac{1}{y_n}={\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}}.$$
这里就得出了$x_n$单调递增，$y_n$单调递减，而
$$x_1=2<x_n<y_n<y_1=4,x_n<4,y_n>2.$$
这里就得出了$x_n$有上界$4$，$y_n$有下界$2$。接下来证明两个数列有相等的极限，因为
$$y_n=x_n\left(1+\frac{1}{n}\right),$$
两边同时取极限就得到$\underset{n\to \infty }{\lim }{y}_n=\underset{n\to \infty }{\lim }{x}_n$。令这个公共极限为$\mathrm{e}$，即
$$\mathrm{e}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^n.$$

---

我们知道，调和级数列$a_n=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}$是发散的，这是因为
$$\begin{gathered} \frac{1}{3}+\frac{1}{4}>\frac{1}{4}+\frac{1}{4}=\frac{1}{2} \\ \frac{1}{5}+\cdots +\frac{1}{8}>4\times \frac{1}{8}=\frac{1}{2} \\ \frac{1}{9}+\cdots +\frac{1}{16}>8\times \frac{1}{16}=\frac{1}{2} \\ \cdots \end{gathered}$$
所以有
$$a_{2^n}>1+\frac{n}{2}\to \infty ,$$
即 { a n } \{a_n\} {an​}无界。但是可以证明
$$b_n=a_n-\ln n=1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}-\ln n$$
是存在极限的，这个极限被定义为$\gamma$，称为欧拉常数。

由于我们前面证明了
$${\left(1+\frac{1}{n}\right)}^n<e<{\left(1+\frac{1}{n}\right)}^{n+1},$$
所以同时取对数有
$$n\ln \left(1+\frac{1}{n}\right)<1<(n+1)\ln \left(1+\frac{1}{n}\right),$$
于是有
$$\frac{1}{n+1}<\ln \left(1+\frac{1}{n}\right)<\frac{1}{n}.$$
于是$b_{n+1}-b_n=\frac{1}{n+1}-\ln \frac{n}{n+1}<0$，说明 { b n } \{b_n\} {bn​}是单调递减的。又
$$\begin{array}{rl}{b}_n=& 1+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}-\ln n\\ .>& \ln 2+\ln \frac{3}{2}+\ln \frac{4}{3}+\cdots +\ln \frac{n+1}{n}-\ln n\\ =& \ln (n+1)-\ln n\\ .>& 0.\end{array}$$
说明 { b n } \{b_n\} {bn​}单调递减有下限，所以 { b n } \{b_n\} {bn​}存在极限，这个极限就是欧拉常数$\gamma$。

作为欧拉常数的应用，可以体现在求以下两个极限上：

令$c_n=\frac{1}{n+1}+\frac{1}{n+2}+\cdots +\frac{1}{2n}$，求$\underset{n\to \infty }{\lim }{c}_n$。

显然
$$\begin{array}{rl}& b_{2n}-b_n\\ =& [(1+\frac{1}{2}+\cdots +\frac{1}{n}+\frac{1}{n+1}+\cdots +\frac{1}{2n})-\ln 2n]-[(1+\frac{1}{2}+\cdots +\frac{1}{n})-\ln n]\\ =& c_n-\ln 2n+\ln n\\ =& c_n-\ln 2\to 0,\end{array}$$
所以$c_n\to \ln 2$。

这里还可以用积分法求极限，即
$$\begin{array}{rl}{c}_n=& \sum _{i=1}^n\frac{1}{n}\cdot \frac{n}{n+i}\\ =& \sum _{i=1}^n\frac{1}{n}\cdot \frac{1}{1+\frac{i}{n}}\\ =& {\int }_0^1\frac{1}{1+x}\mathrm{d}x\\ =& \ln 2.\end{array}$$

令$c_n=1-\frac{1}{2}+\frac{1}{3}-\cdots +(-1{)}^{n+1}\frac{1}{n}$，求$\underset{n\to \infty }{\lim }{c}_n$。

这里
$$\begin{array}{rl}& b_{2n}-b_n\\ =& [(1+\frac{1}{2}+\cdots +\frac{1}{n}+\frac{1}{n+1}+\cdots +\frac{1}{2n})-\ln 2n]-[(1+\frac{1}{2}+\cdots +\frac{1}{n})-\ln n]\end{array}$$
更改匹配的次序，让$b_{2n}$中的第$2k$减去$b_n$中的第$k$项，如$1/2-1,1/4-1/2$，就得到
$$b_{2n}-b_n=c_n-\ln 2\to 0,$$
所以$c_n\to \ln 2$。