自然常数 e

定义陈述

自然常数 $e$ 定义为下列数列的极限：

e := n \to \infty lim (1 + \frac{1}{n})^{n} .

由 ANL-THM-006 单调有界定理，该极限存在；其值近似为

e \approx 2.718 281828459045 \dots

$e$ 是无理数，且是超越数（不是任何有理系数多项式的根）。

概念	关键差别
自然常数 $e$	定义为本极限
指数函数 $e^{x}$	以 $e$ 为底的指数函数（一般定义 $e^{x} := lim_{n} (1 + x / n)^{n}$ 或幂级数）
自然对数 $ln$	$e^{x}$ 的反函数

历史上 $e$ 由 Bernoulli 在研究连续复利时首次发现，后由 Euler 系统化。其他等价定义：

e = k = 0 \sum \infty \frac{1}{k !}, e = h \to 0 lim (1 + h)^{1/ h} .

把数列 $a_{n} = (1 + 1/ n)^{n}$ 想成” $1$ 元年息 100% 复利 $n$ 次后的本利和”：

复利越频繁越赚，但有极限——这个极限就是 $e$ 。这是 Bernoulli 的原始发现，也是 $e$ 在金融数学中无处不在的根本原因。

形式上，两个相反趋势的精妙平衡：

下证：

由 ANL-THM-006 即得 $lim a_{n}$ 存在。完整证明见例题 ANL-EX-003。

证明思路：

单调性：用二项式展开
$a_{n} = k = 0 \sum n (k n) \frac{1}{n ^{k}} = k = 0 \sum n \frac{1}{k !} j = 0 \prod k - 1 (1 - \frac{j}{n})$
当 $n \to n + 1$ 时，每个因子 $(1 - j / n)$ 严格变大且多出一个正项，故 $a_{n + 1} > a_{n}$ 。
有界性：由 $(1 - j / n) < 1$ 及 $\frac{1}{k !} \leq \frac{1}{2 ^{k - 1}}$ （ $k \geq 1$ ）：
$a_{n} < k = 0 \sum n \frac{1}{k !} < 1 + k = 1 \sum \infty \frac{1}{2 ^{k - 1}} = 1 + 2 = 3.$

✗ 把 $lim_{n} (1 + 1/ n)^{n}$ 当成 " $1^{\infty}$ " 不定型按 $1$ 处理。 $1^{\infty}$ 是不定型——它表示”底趋向 1、指数趋向 ∞“，结果完全取决于”接近 1 的速度 vs 趋向无穷的速度”。反例： $lim_{n} (1)^{n} = 1$ ，但 $lim_{n} (1 + 1/ n)^{n} = e$ ， $lim_{n} (1 + 1/ n^{2})^{n} = 1$ 。
✗ 用 $lim_{n} (1 + 1/ n)^{n} = e$ 直接套到 $lim_{n} (1 + 2/ n)^{n}$ 。正确做法：换元 $m = n /2$ ，得 $(1 + 1/ m)^{2 m} \to e^{2}$ 。

金融：连续复利公式 $A = P e^{r t}$ ， $r$ 为年化连续复利率
概率论：在 $n$ 次独立实验、每次概率 $1/ n$ 的极限下，至少一次成功的概率为 $1 - 1/ e \approx 0.632$ （生日悖论、bootstrap 抽样的核心常数）
物理：放射性衰变、RC 电路、热传导——任何”变化率正比于现存量”的系统，解都形如 $e^{- λ t}$
微分方程： $e^{x}$ 是唯一满足 $y^{'} = y, y (0) = 1$ 的初等函数（自函数性质）