指数函数

它指向谁（出边）

推出 1

• 本页 ⟹ Euler 公式推出
  级数的奇偶拆分 $\implies$ Euler 公式

  把 $\exp(i\theta)$ 的级数按 $n$ 的奇偶拆开：

  $$\exp(i\theta) = \sum_{n=0}^{\infty} \frac{(i\theta)^{n}}{n!} = \sum_{k=0}^{\infty} \frac{(i\theta)^{2k}}{(2k)!} + \sum_{k=0}^{\infty} \frac{(i\theta)^{2k+1}}{(2k+1)!}$$

  用 $i^{2k} = (-1)^{k}$、$i^{2k+1} = (-1)^{k} i$：

  $$= \sum_{k=0}^{\infty} \frac{(-1)^{k}\theta^{2k}}{(2k)!} + i \sum_{k=0}^{\infty} \frac{(-1)^{k}\theta^{2k+1}}{(2k+1)!} = \cos\theta + i\sin\theta$$

  （拆分与重排的合法性来自绝对收敛。）取 $\theta = \pi$：由 $\cos\pi = -1$、$\sin\pi = 0$ 得 $e^{i\pi} = -1$。∎

  整条证明只有「拆奇数项与偶数项」这一个动作 —— 但这一步把指数函数与三角函数之间的关系揭示成一个恒等式，而不是两个巧合。

定义引用 1

• 对数函数与 e 用到 本页定义引用

  $\log$ 定义为 $\exp$（限制在 $\mathbb{R}$ 上）的反函数，所以它的存在性来自 $\exp$ 的单调性。

谁指向它（入边）

定义引用 1

• 幂级数 → 本页定义引用

  $\exp$ 的级数 $\sum z^{n}/n!$ 就是一个收敛半径为 $+\infty$ 的幂级数。