本文主要是介绍【随笔浅谈】自然常数 e 的探讨，对大家解决编程问题具有一定的参考价值，需要的程序猿们随着小编来一起学习吧！

十分浅显，由很多内容没有提到。有空再来填坑！

引入

对下列两个数列进行考察。

\[e_n = \left(1 + \frac{1}{n}\right)^n \\s_n = 1 + \frac{1}{1!} + \frac{1}{2!} + \cdots + \frac{1}{n!} \]

数列 s 单调性证明

显然。

数列 s 收敛性证明

可以证明，当 \(n \ge 4\) 时：

\[\begin{aligned}s_n & \leq 1 + 1 + \frac{1}{2} + \frac{1}{2^2} + \cdots + \frac{1}{2^n} \\& \leq 1 + \frac{1 - \left( \frac{1}{2} \right)^{n + 1}}{1 - \frac{1}{2}} \\& < 3\end{aligned} \]

故 \(\{s_n\}\) 有上界，由于 \(\{s_n\}\) 单调递增，故 \(s = \lim\limits_{n \to \infty} s_n\) 存在。

Q.E.D

数列 e 单调性证明

证明 1

对 \(e_n\) 运用几何平均 - 算术平均不等式：

\[e_n = 1 \cdot \left(1 + \frac{1}{n}\right)^n \leq \left( \frac{n\left(1 + \frac{1}{n}\right) + 1}{n + 1} \right)^{n + 1} = \left(1 + \frac{1}{n + 1}\right)^{n + 1} = e_{n + 1} \]

Q.E.D

证明 2

对 \(e_n\) 运用二项式定理：

\[\begin{aligned}e_n & = 1 + \sum\limits_{k = 1}^n \dbinom{n}{k} \frac{1}{n^k} \\& = 1 + \sum\limits_{k = 1}^n \frac{n!}{k!(n - k)!} \frac{1}{n^k} \\& = 1 + \sum\limits_{k = 1}^n \frac{1}{k!} \left(1 - \frac{0}{n}\right) \cdots \left(1 - \frac{k - 1}{n}\right)\end{aligned} \]

对比 \(e_{n + 1}\)：

\[\begin{aligned}e_{n + 1} & = 1 + \sum\limits_{k = 1}^{n + 1} \dbinom{n + 1}{k} \frac{1}{(n + 1)^k} \\& = 1 + \sum\limits_{k = 1}^{n + 1} \frac{1}{k!} \left(1 - \frac{0}{n + 1}\right) \cdots \left(1 - \frac{k - 1}{n + 1}\right)\end{aligned} \]

可以看出 \(e_{n + 1}\) 同位置的加项都不弱于 \(e_n\)，且 \(e_{n + 1}\) 还多出来一个非负的加项。故 \(e_n < e_{n + 1}\)。

Q.E.D

数列 e 收敛性证明

从「数列 e 单调性证明 - 证明 2」中可以看出：

\[e_n \leq 1 + \sum\limits_{k = 1}^n\frac{1}{k!} = s_n < 3 \]

故 \(\{e_n\}\) 有上界， 由于 \(\{e_n\}\) 单调递增，故 \(e = \lim\limits_{n \to \infty} e_n\) 存在。

数列 e, s 的收敛性

上述分析，我们得出 \(e \leq s\)。

下述探讨 \(e \geq s\)。取 \(e_n\) 的前 \(m(n \geq m)\) 项：

\[e_n \geq 1 + \sum\limits_{k = 1}^m \frac{1}{k!}\left(1 - \frac{0}{n}\right) \cdots \left(1 - \frac{k - 1}{n}\right) \]

暂时将 \(m\) 视为常量，令 \(n \to \infty\)，则：

\[e \geq 1 + \frac{1}{1!} + \frac{1}{2!} + \cdots + \frac{1}{m!} \]

令 \(m \to \infty\)，则 \(e \geq s\)。

故 \(e = s\)，数列 \(\{e_n\}, \{s_n\}\) 收敛于同一极限。在数学上，我们称该极限为自然常数 \(e\)：

\[\lim\limits_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e \\\lim\limits_{n \to \infty} \left(1 + \frac{1}{1!} + \frac{1}{2!} + \cdots + \frac{1}{n!}\right) = e \]

自然常数 e

运用数列 s 逼近的误差分析

由于 \(s_{n + 1}\) 相较于 \(s_n\) 只需多做一次除法运算与加法运算，运用数列 \(\{s_n\}\) 来逼近 \(e\) 是很好的。

对于任意正整数 \(n, m\)，分析 \(s_{n + m}\) 与 \(s_n\) 的误差：

\[\begin{aligned}0 & < s_{n + m} - s_m \\& = \frac{1}{(n + 1)!} + \cdots + \frac{1}{(n + m)!} \\& = \frac{1}{(n + 1)!}\left(1 + \frac{1}{n + 2} + \cdots + \frac{1}{(n + 2)\cdots(n + m)}\right) \\& < \frac{1}{(n + 1)!}\left(1 + \frac{1}{n + 1} + \cdots + \frac{1}{(n + 1)^{m - 1}}\right) \\& < \frac{1}{(n + 1)!} \cdot \frac{1}{1 - \frac{1}{n + 1}} = \frac{1}{n! \cdot n}\end{aligned} \]

令 \(m \to \infty\)，则：

\[0 < e - s_n \leq \frac{1}{n! \cdot n} \]

可以看到在 \(n = 10\) 时，\(s_{10}\) 的误差已经小于 \(10^{-7}\)，此时的近似值为 2.718 281 8。

e 的无理性证明

经典反证法，设即约分数 \(e = \frac{p}{q}\)。因为 \(2 < e < 3\)，故 \(e\) 不可能为整数，从而推断出 \(q \geq 2\)。

由上述分析得：

\[e - s_q \leq \frac{1}{q! \cdot q} \\q!(e - s_q) \leq \frac{1}{q} \leq \frac{1}{2} \]

将上式展开：

\[\begin{aligned}q!(e - s_q) & = q! \cdot \frac{p}{q} - q!\left( 1 + \frac{1}{1!} + \frac{1}{2!} + \cdots \frac{1}{q!} \right) \\& = (q - 1)!p - \left(q^\underline{q} + q^{\underline{q - 1}} + q^\underline{q - 2} + \cdots + q^\underline{1} + q^{\underline{0}} \right)\end{aligned} \]

可以看出 \(q!(e - s_q)\) 是整数，与 \(0 < q!(e - s_q) \leq \frac{1}{2}\) 矛盾。

Q.E.D

这篇关于【随笔浅谈】自然常数 e 的探讨的文章就介绍到这儿，希望我们推荐的文章对大家有所帮助，也希望大家多多支持为之网！