关于e的等式及相关证明

$e$的定义式是一切的起点：

$$e=\lim_{n\to\infty}(1+\frac1n)^n$$

据此我们来看这样一个关于 $e$ 的近似值（本质仍然是上式）：

$$e\approx (1+9^{-4^{7\times 6}})^{3^{2^{85}}}$$

二者有着极高的接近度；

最美丽的数学公式——Euler Identity

$$e^{i\pi}+1=0$$

万变不离其宗的泰勒展开

$$e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!}$$

证明$\lim\limits_{n\to-\infty}(1+\frac1n)^n=e$

$$\begin{split} \lim\limits_{n\to-\infty}(1+\frac1n)^n&=\lim\limits_{n\to-\infty}[(1-\frac1{-n})^{-n}]^{-1}\\ &=\lim\limits_{n\to\infty}\frac{1}{(1-\frac1n)^n}\\ &=\lim\limits_{n\to\infty}(\frac n{n-1})^n\\ &=\lim\limits_{n\to\infty}{(1+\frac1{n-1})^n}=e \end{split}$$

证明$\lim\limits_{n\to\infty}(1-\frac1n)^n=e$（e和全体自然数之间的关系）

$$\begin{split} \lim\limits_{n\to\infty}(1-\frac1n)^n&=\lim\limits_{n\to\infty}[(1+\frac1{-n})^{-n}]^{-1}\\ &=\lim\limits_{n\to-\infty}[(1+\frac1n)^n]^{-1}\\ &=\frac1e \end{split}$$

证明$e=\frac1{0!}+\frac1{1!}+\frac1{2!}+\frac1{3!}+\cdots$

$$\begin{split} e&=\lim\limits_{n\to\infty}(1+\frac1n)^n\\ &=\binom n 0 +\binom n 1\frac1n+\binom n 2(\frac1n)^2+\binom n 3 (\frac1n)^3+\cdots\\ &=1+\frac nn+\frac1{2!}\frac nn\frac{n-1}n+\frac1{3!}\frac nn\frac{n-1}n\frac{n-2}n+\cdots\\ &=\lim\limits_{n\to\infty}(1+\frac nn+\frac1{2!}\frac nn\frac{n-1}n+\frac1{3!}\frac nn\frac{n-1}n\frac{n-2}n+\cdots)\\ &=\frac 1{0!}+\frac1{1!}+\frac1{2!}+\frac1{3!}+\cdots \end{split}$$

另有一个等式：

$$1-\frac12+\frac13-\frac14+\cdots=\ln2$$

展开$\lim\limits_{n\to\infty}(1-\frac1n)^n=\frac1e$

$$\begin{split} \frac1e&=\lim\limits_{n\to\infty}(1-\frac1n)^n\\ &=\binom n 0 + \binom n 1 (-1)^1(\frac1n)+\binom n 2 (-1)^2(\frac1n)^2+\binom n 3 (-1)^3(\frac1n)^3+\cdots\\ &=\frac1{0!}-\frac1{1!}+\frac1{2!}-\frac1{3!}+\cdots \end{split}$$

统一于泰勒展开

$$e^x=\sum_{n=0}^\infty\frac{x^n}{n!}$$

连分数

$$e = 2+\frac{1}{1+\frac1{2+\frac2{3+\frac3{4+\frac4{5+\cdots}}}}}$$

自然数的全体是$e$的基因。

与调和级数

$$\gamma=\lim_{n\to\infty}(\sum_{n=1}^\infty\frac1n-\ln n)\approx 0.5772156649\cdots$$

指数函数的微分不变性

首先我们考虑这样一个问题，什么样的函数在微分运算（号称恶魔运算：照妖镜？）之后还能保持原型：

$$f'(x)=f(x)?$$

给定这样一个函数：

$$f(x)=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$$
对其进行求导，得：
$$f'(x)=0+1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$$

观察$f(x)$有一个特点，后一项的导数是前一项。

最终符合条件$f'(x)=f(x)$的函数是：

$$f(x)=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots+\frac{x^n}{n!}+\cdots=\sum_{n=0}^\infty \frac{x^n}{n!}$$

也即满足$(\frac{x^n}{n!})'=\frac{x^{n-1}}{(n-1)!}$

这里我们可进行$f(x)$与$e^x$关系的论证：
已知$e=\lim\limits_{n\to\infty}(1+\frac1n)^n$，可得：

$$e^2=\lim\limits_{n\to\infty}(1+\frac1n)^{2n}=\lim\limits_{n\to\infty}(1+\frac2{2n})^{2n}=\lim\limits_{n\to\infty}(1+\frac2n)^n$$

由$(1+\frac1n)^n=1+\binom{n}{1}\frac1n+\binom{n}{2}\frac1n^2+\binom{n}{3}\frac1n^3+\cdots=1+\frac1{1}+\frac1{2!}+\frac1{3!}+\cdots$可知：

$$\begin{split} (1+\frac2n)^n=&1+\binom{n}{1}\frac2n+\binom{n}{2}\frac2n^2+\binom{n}{3}\frac2n^3+\cdots\\ =&1+\frac1{1}2+\frac1{2!}2^2+\frac1{3!}2^3+\cdots \end{split}$$

有理由推论$e^x=1+x+\frac1{2!}x^2+\frac1{3!}x^3+\cdots$

我们再来看欧拉给出的$e^x$的定义：

$$e^x=\lim\limits_{n\to\infty}(1+\frac xn)^n$$

自然指数函数和它的导数恒等$(e^x)'=e^x$，这实际上是指数函数所有性质的来源，并且在的应用中之所以重要的根本原因。