3.3 1748年 \(e^{i\pi}\) 與公式革命#
事件#
在 1748 年《無窮分析引論》中,歐拉發表了歐拉公式:
\[ e^{ix} = \cos x + i\sin x \]
取 \(x = \pi\) ,即得歐拉恆等式:
\[ e^{i\pi} + 1 = 0 \]
前因:三個常數的三段歷史#
| 常數 | 誰先遇到它 | 歐拉做了什麼 |
|---|---|---|
| \(e\) | 1683 伯努利研究複利 \(\lim(1+1/n)^n\) | 1727-1736 命名為 \(e\) ,建立 \(e^x\) 理論 |
| \(\pi\) | 古代 | 1736 推廣記號並嚴格化其用法 |
| \(i\) | 1545 卡爾達諾的「詭異量」 | 1777 引入記號 \(i\) |
為什麼這是革命?#
歐拉的推導(用現代語言):把 \(e^x\) 、 \(\cos x\) 、 \(\sin x\) 都展開成級數:
\[ e^{ix} = 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \cdots \]
按實部虛部整理,實部恰好是 \(\cos x\) 的級數、虛部恰好是 \(\sin x\) 。於是指數函數與三角函數是同一件事:
flowchart LR
A[實數世界:<br/>指數與三角是兩種函數] -->|歐拉公式| B[複數世界:<br/>指數就是旋轉]
B --> C[複分析誕生]
C --> D[傅立葉分析、電機工程、<br/>量子力學的相位]- 指數 = 旋轉: \(e^{i\theta}\) 代表複平面上轉 \(\theta\) 角。這把「週期現象」與「增長現象」統一起來。
- 傅立葉變換(1807)、麥克斯韋方程的複數形式、量子力學波函數 \(e^{i\omega t}\) ——全部立在這個公式上。
費馬大定理的遠親: \(\zeta\) 函數的起點#
歐拉 1737 年定義(後稱黎曼 \(\zeta\) 函數):
\[ \zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} = \prod_{p \text{ prime}} \frac{1}{1-p^{-s}} \]
這個級數-質數乘積等式是 122 年後黎曼假說的直接起點。