欧拉公式:为什么 \(e^{i\theta} = \cos\theta + i\sin\theta\)

Published

September 20, 2025

欧拉公式是数学中最美丽的方程之一。它连接了三个看似无关的世界:

  • 指数函数(增长与衰减、复利)
  • 三角函数(圆、波、旋转)
  • 复数(带有”横向”方向的数)

它是理解单位圆上复数旋转等同于乘以指数的关键。工程师用它分析电路,物理学家在量子力学中使用它,信号处理在你每次在线播放音乐或视频时都依赖于它。

本课内容

  • 加法函数与函数方程 \(f(x + y) = f(x) + f(y)\)
  • 证明连续的加法函数必定是线性的
  • 乘法函数与函数方程 \(g(x + y) = g(x) \cdot g(y)\)
  • 通过对数将乘法转化为加法
  • \(e^{i\theta} = \cos\theta + i\sin\theta\) 的证明
  • 连续性:严格的 epsilon 定义

课程视频

课程关键帧

预备知识

复数 \(z = a + bi\) 有实部 \(a\) 和虚部 \(b\),其中 \(i^2 = -1\)

单位圆(半径为 1)上,每个点可以写成:

\[z = \cos\theta + i\sin\theta\]

其中 \(\theta\) 是从正实轴逆时针测量的角度。实部是 \(\cos\theta\)(水平坐标),虚部是 \(\sin\theta\)(垂直坐标)。

当你将两个角度分别为 \(\theta\)\(\phi\) 的单位复数相乘时,得到角度为 \(\theta + \phi\) 的单位复数。展开乘法得到角度加法恒等式

\[\cos(\theta + \phi) = \cos\theta\cos\phi - \sin\theta\sin\phi\]

\[\sin(\theta + \phi) = \cos\theta\sin\phi + \sin\theta\cos\phi\]

这些可以通过在单位圆上作高并计算坐标来几何证明。

我们之前已经证明(通过复利/二项式展开):

\[e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\]

指数函数的一个关键性质是 \(e^{a+b} = e^a \cdot e^b\)——指数相加对应值相乘。

Important核心要点
  1. 加法函数满足 \(L(\theta + \phi) = L(\theta) + L(\phi)\)。若连续,唯一的解是 \(L(\theta) = k\theta\)(过原点的直线)。
  2. 乘法函数满足 \(Z(\theta + \phi) = Z(\theta) \cdot Z(\phi)\)。取对数可将其转化为加法函数。
  3. 对数连接乘法与加法\(\log(ab) = \log a + \log b\)
  4. 欧拉公式 \(e^{i\theta} = \cos\theta + i\sin\theta\) 来自于证明 \(Z(\theta) = e^{k\theta}\) 并从单位圆的几何确定 \(k = i\)
  5. 连续性意味着相近的输入给出相近的输出:对于输出的任意所需精度,你都能找到足够接近的输入来保证它。

第一部分:单位复数的乘法性质

定义 \(Z(\theta) = \cos\theta + i\sin\theta\),即角度 \(\theta\) 处的单位复数。

由角度加法恒等式,我们可以验证:

\[Z(\theta) \cdot Z(\phi) = (\cos\theta + i\sin\theta)(\cos\phi + i\sin\phi)\]

展开乘法并利用 \(i^2 = -1\)

\[= (\cos\theta\cos\phi - \sin\theta\sin\phi) + i(\cos\theta\sin\phi + \sin\theta\cos\phi)\]

\[= \cos(\theta + \phi) + i\sin(\theta + \phi) = Z(\theta + \phi)\]

所以 \(Z\) 是一个乘法函数:角度相加对应复数相乘。

\(\theta = \frac{\pi}{3}\)\(\phi = \frac{\pi}{6}\)

  • \(Z\!\left(\frac{\pi}{3}\right) = \cos 60° + i\sin 60° = \frac{1}{2} + i\frac{\sqrt{3}}{2}\)
  • \(Z\!\left(\frac{\pi}{6}\right) = \cos 30° + i\sin 30° = \frac{\sqrt{3}}{2} + i\frac{1}{2}\)

相乘:

\[Z\!\left(\frac{\pi}{3}\right) \cdot Z\!\left(\frac{\pi}{6}\right) = \left(\frac{1}{2}\right)\!\left(\frac{\sqrt{3}}{2}\right) - \left(\frac{\sqrt{3}}{2}\right)\!\left(\frac{1}{2}\right) + i\left[\left(\frac{1}{2}\right)\!\left(\frac{1}{2}\right) + \left(\frac{\sqrt{3}}{2}\right)\!\left(\frac{\sqrt{3}}{2}\right)\right] = 0 + i \cdot 1 = i\]

而确实 \(Z\!\left(\frac{\pi}{2}\right) = \cos 90° + i\sin 90° = i\)。验证通过!

第二部分:证明连续加法函数是线性的

在直接处理 \(Z(\theta)\) 之前,我们先证明关于加法函数的基础结论。

定理。\(L: \mathbb{R} \to \mathbb{R}\) 连续且满足

\[L(\theta + \phi) = L(\theta) + L(\phi) \quad \text{for all } \theta, \phi \in \mathbb{R},\]

\(L(\theta) = k\theta\),其中 \(k\) 为某个常数。

第一步:求 \(L(0)\)

\(\theta = \phi = 0\)

\[L(0) + L(0) = L(0) \implies 2L(0) = L(0) \implies L(0) = 0\]

所以函数过原点。

第二步:对正整数 \(n\) 证明 \(L(n\theta) = nL(\theta)\)

\(\theta = \phi\)\(L(2\theta) = 2L(\theta)\)

然后 \(L(3\theta) = L(\theta + 2\theta) = L(\theta) + L(2\theta) = L(\theta) + 2L(\theta) = 3L(\theta)\)

由数学归纳法:对所有正整数 \(n\)\(L(n\theta) = nL(\theta)\)

第三步:\(L\) 是奇函数。

\(\phi = -\theta\)

\[L(\theta) + L(-\theta) = L(0) = 0 \implies L(-\theta) = -L(\theta)\]

所以结论推广到所有整数:对 \(n \in \mathbb{Z}\)\(L(n\theta) = nL(\theta)\)

第四步:推广到有理倍数。

由第二步,\(L(m \cdot \frac{\theta}{m}) = m \cdot L\!\left(\frac{\theta}{m}\right)\),所以:

\[L\!\left(\frac{\theta}{m}\right) = \frac{1}{m} L(\theta)\]

组合起来:对任意整数 \(n, m\)\(m \neq 0\)),\(L\!\left(\frac{n}{m}\theta\right) = \frac{n}{m}L(\theta)\)

\(\theta = 1\) 并记 \(k = L(1)\)

\[L(q) = kq \quad \text{对所有有理数 } q\]

第五步:用连续性推广到所有实数。

每个实数 \(x\) 都是有理数列 \(q_1, q_2, q_3, \ldots \to x\) 的极限。

由连续性:

\[L(x) = \lim_{n\to\infty} L(q_n) = \lim_{n\to\infty} kq_n = k \cdot \lim_{n\to\infty} q_n = kx\]

因此对所有 \(x \in \mathbb{R}\)\(L(x) = kx\)\(\blacksquare\)

第三部分:什么是连续性?

上面的证明依赖于连续性。以下是严格的定义。

函数 \(f(x)\)\(x_0\)连续,如果:

\[f(x_0) = \lim_{h \to 0} f(x_0 + h)\]

更精确地说:对于任意所需精度 \(\delta > 0\),存在容差 \(\varepsilon > 0\),使得当 \(|h| < \varepsilon\) 时,有 \(|f(x_0 + h) - f(x_0)| < \delta\)

考虑一个在所有有理数上等于 \(kx\) 但在无理数上表现怪异的函数(这是可能的!)。这样的函数满足 \(f(x+y) = f(x) + f(y)\),但连续。

连续性是排除这些”病态”解的条件,迫使 \(L(x) = kx\) 成为唯一的答案。有理数在实数中是稠密的——任意两个实数之间都有有理数——所以一个在有理数上等于 \(kx\) 的连续函数必定在任何地方都等于 \(kx\)

第四部分:通过对数从乘法到加法

单位复数函数 \(Z(\theta)\)乘法的

\[Z(\theta + \phi) = Z(\theta) \cdot Z(\phi)\]

为了利用关于加法函数的结论,我们对两边取自然对数

\(\log a = x\)\(\log b = y\),即 \(e^x = a\)\(e^y = b\)

则:

\[ab = e^x \cdot e^y = e^{x+y}\]

取对数:

\[\log(ab) = x + y = \log a + \log b \quad \blacksquare\]

这是将乘法转化为加法的基本性质。

定义 \(f(\theta) = \log Z(\theta)\)。则:

\[f(\theta + \phi) = \log Z(\theta + \phi) = \log\!\big[Z(\theta) \cdot Z(\phi)\big] = \log Z(\theta) + \log Z(\phi) = f(\theta) + f(\phi)\]

所以 \(f\)加法的!由于 \(Z(\theta)\) 连续(它平滑地描绘单位圆),而 \(\log\) 连续(对非零输入),复合函数 \(f\) 也连续。

由第二部分的定理:

\[f(\theta) = k\theta \quad \text{对某个常数 } k\]

从对数翻译回指数:

\[\log Z(\theta) = k\theta \implies Z(\theta) = e^{k\theta}\]

第五部分:确定 \(k = i\)

我们已经证明了 \(Z(\theta) = e^{k\theta}\),但 \(k\) 是什么?

考虑接近零的无穷小角度 \(d\theta\)。幂级数给出:

\[Z(d\theta) = e^{k \cdot d\theta} = 1 + k \, d\theta + \frac{(k \, d\theta)^2}{2!} + \cdots \approx 1 + k \, d\theta\]

(当 \(d\theta\) 很小时,像 \((d\theta)^2\) 这样的高阶项可以忽略。)

现在看 \(Z(d\theta)\) 在单位圆上的几何意义

  • \(Z(0) = 1\)(实轴上的点 \((1, 0)\)
  • \(Z(d\theta)\) 相对于 \(Z(0)\) 有一个长度为 \(d\theta\) 的微小弧偏移
  • \(d\theta \approx 0\) 时,这段弧本质上是竖直的(垂直于实轴)
  • 所以位移是 \(i \cdot d\theta\)(大小为 \(d\theta\),方向为 \(90°\)

比较:\(Z(d\theta) \approx 1 + k \, d\theta \approx 1 + i \, d\theta\),所以 \(k = i\)

因此:

\[\boxed{Z(\theta) = e^{i\theta} = \cos\theta + i\sin\theta}\]

这就是欧拉公式

在欧拉公式中令 \(\theta = \pi\)

\[e^{i\pi} = \cos\pi + i\sin\pi = -1 + 0 = -1\]

因此:

\[e^{i\pi} + 1 = 0\]

这个方程将数学中最基本的五个常数联系在一起:\(e\)\(i\)\(\pi\)\(1\)\(0\)

第六部分:证明策略总结

这个证明遵循了一条优美的推理链:

  1. 几何 \(\to\) 角度加法公式表明 \(Z(\theta)\cdot Z(\phi) = Z(\theta+\phi)\)
  2. 代数 \(\to\) 取对数将乘法方程转化为加法方程
  3. 分析 \(\to\) 唯一连续的加法函数是 \(f(\theta) = k\theta\)
  4. 再次几何 \(\to\) 考察无穷小旋转可知 \(k = i\)

每一步使用不同的数学分支,它们完美地结合在一起证明了一个优美的公式。

速查表

概念 公式 / 定义
角度 \(\theta\) 处的单位复数 \(Z(\theta) = \cos\theta + i\sin\theta\)
欧拉公式 \(e^{i\theta} = \cos\theta + i\sin\theta\)
欧拉恒等式 \(e^{i\pi} + 1 = 0\)
加法函数 \(L(x+y) = L(x) + L(y)\);若连续,则 \(L(x) = kx\)
乘法函数 \(Z(x+y) = Z(x)\cdot Z(y)\)
对数将乘法转为加法 \(\log(ab) = \log a + \log b\)
\(x_0\) 处的连续性 \(\forall\,\delta>0,\;\exists\,\varepsilon>0\) 使得 \(|h|<\varepsilon \Rightarrow |f(x_0+h)-f(x_0)|<\delta\)
\(e^x\) 的幂级数 \(e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\)
角度加法(余弦) \(\cos(\theta+\phi) = \cos\theta\cos\phi - \sin\theta\sin\phi\)
角度加法(正弦) \(\sin(\theta+\phi) = \cos\theta\sin\phi + \sin\theta\cos\phi\)