e 的第二个定义:无穷级数

问题提出

上一章我们用数列极限定义了 ee

e=limn(1+1n)ne = \lim_{n \to \infty} \left(1+\frac{1}{n}\right)^n

但呼噜星球的学生们发现,用这个定义计算 ee 的近似值效率不高——n=10000n=10000 时才精确到小数点后 3 位。

一个学生问:

老师,有没有更快的方法计算 ee?比如用级数?

我笑着说:这个问题问得好。事实上,ee 有一个非常简洁的级数表达式。

观察与猜想

回顾二项式展开:

(1+1n)n=k=0n(nk)1nk=k=0n1k!(11n)(12n)(1k1n)\left(1+\frac{1}{n}\right)^n = \sum_{k=0}^{n} \binom{n}{k}\frac{1}{n^k} = \sum_{k=0}^{n} \frac{1}{k!}\left(1-\frac{1}{n}\right)\left(1-\frac{2}{n}\right)\cdots\left(1-\frac{k-1}{n}\right)

nn \to \infty 时,对于固定的 kk

(11n)(12n)(1k1n)1\left(1-\frac{1}{n}\right)\left(1-\frac{2}{n}\right)\cdots\left(1-\frac{k-1}{n}\right) \to 1

所以每一项趋向 1k!\frac{1}{k!}

学生们大胆猜想:

nn \to \infty 时,(1+1n)n(1+\frac{1}{n})^n 应该趋向 k=01k!\sum_{k=0}^{\infty} \frac{1}{k!}

让我们验证一下这个级数的部分和:

nnk=0n1k!\sum_{k=0}^{n} \frac{1}{k!}
01.00000
12.00000
22.50000
32.66667
42.70833
52.71667
62.71806
72.71825
82.71828

只需要前 9 项,就精确到了小数点后 5 位!比数列定义快得多。

严格证明

定理:e=k=01k!e = \sum_{k=0}^{\infty} \frac{1}{k!}

第一步:证明级数收敛

考虑正项级数 k=01k!\sum_{k=0}^{\infty} \frac{1}{k!}

k2k \geq 2 时,k!2k1k! \geq 2^{k-1},所以 1k!12k1\frac{1}{k!} \leq \frac{1}{2^{k-1}}

而等比级数 k=112k1=2\sum_{k=1}^{\infty} \frac{1}{2^{k-1}} = 2 收敛。

由比较判别法,k=01k!\sum_{k=0}^{\infty} \frac{1}{k!} 收敛。记其和为 SS

第二步:证明 eSe \leq S

由二项式展开,对任意 nn

(1+1n)n=k=0n1k!j=1k1(1jn)k=0n1k!S\left(1+\frac{1}{n}\right)^n = \sum_{k=0}^{n} \frac{1}{k!}\prod_{j=1}^{k-1}\left(1-\frac{j}{n}\right) \leq \sum_{k=0}^{n} \frac{1}{k!} \leq S

两边取极限 nn \to \infty,得 eSe \leq S

第三步:证明 eSe \geq S

对任意固定的 mnm \leq n

(1+1n)nk=0m1k!j=1k1(1jn)\left(1+\frac{1}{n}\right)^n \geq \sum_{k=0}^{m} \frac{1}{k!}\prod_{j=1}^{k-1}\left(1-\frac{j}{n}\right)

先令 nn \to \inftymm 固定),右边趋向 k=0m1k!\sum_{k=0}^{m} \frac{1}{k!},所以:

ek=0m1k!e \geq \sum_{k=0}^{m} \frac{1}{k!}

再令 mm \to \infty,得 eSe \geq S

综上,e=S=k=01k!e = S = \sum_{k=0}^{\infty} \frac{1}{k!}

更一般的指数函数级数

类似地,可以证明对任意实数 xx

ex=k=0xkk!=1+x+x22!+x33!+e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots

这个级数对所有实数 xx 都收敛(由比值判别法,limkxk+1/(k+1)!xk/k!=limkxk+1=0<1\lim_{k \to \infty} \frac{|x|^{k+1}/(k+1)!}{|x|^k/k!} = \lim_{k \to \infty} \frac{|x|}{k+1} = 0 < 1)。

用级数计算 ee 的精度

用前 n+1n+1 项近似 ee,误差为:

Rn=k=n+11k!=1(n+1)!(1+1n+2+1(n+2)(n+3)+)R_n = \sum_{k=n+1}^{\infty} \frac{1}{k!} = \frac{1}{(n+1)!}\left(1 + \frac{1}{n+2} + \frac{1}{(n+2)(n+3)} + \cdots\right)

括号内的和 <1+1n+1+1(n+1)2+=n+1n< 1 + \frac{1}{n+1} + \frac{1}{(n+1)^2} + \cdots = \frac{n+1}{n}

所以:

Rn<1(n+1)!n+1n=1nn!R_n < \frac{1}{(n+1)!} \cdot \frac{n+1}{n} = \frac{1}{n \cdot n!}

例如 n=10n=10 时,误差 <11010!2.8×108< \frac{1}{10 \cdot 10!} \approx 2.8 \times 10^{-8},非常精确。

结论与应用

  • 级数定义e=k=01k!=1+1+12!+13!+e = \sum_{k=0}^{\infty} \frac{1}{k!} = 1 + 1 + \frac{1}{2!} + \frac{1}{3!} + \cdots
  • 指数函数ex=k=0xkk!e^x = \sum_{k=0}^{\infty} \frac{x^k}{k!},对所有实数 xx 收敛
  • 计算效率:级数定义比数列定义收敛快得多,前 10 项即可达到 10710^{-7} 精度

呼噜星球的学生们非常满意。一个学生说:

原来 ee 有两个完全不同的定义——一个是数列极限,一个是无穷级数——但它们指向同一个数!这太神奇了!

我告诉他们:

这还不是全部。接下来我们会发现,ee 最神奇的性质在微积分里——以 ee 为底的指数函数,它的导数等于它自身。