欧拉恒等式:五个常数的神秘相逢
1748 年欧拉在《无穷小分析引论》中建立复指数与三角函数的统一公式,其特例 e 的 iπ 次方加 1 等于 0 把五个最基本的数学常数联系在一起,被誉为最美公式。
适用前提与边界条件
- 知道复数单位 i 满足 i 的平方等于负 1
- 知道 e 是自然对数的底、π 是圆周率
背景
数学里有五个最显赫的常数:算术的 与 、几何的 、微积分的 、代数的 。它们分属不同领域,来历各异,似乎毫不相干。1748 年,欧拉在《无穷小分析引论》中写下一条公式,把这五个常数在最短的等式里聚齐:
理查德·费曼称之为「最卓越的公式」;《数学信使》杂志 1988 年读者票选中它高居「最美公式」榜首。
史料辨析
史实 欧拉(1707—1783)是史上最高产的数学家之一,以他命名的公式、定理、常数遍及数学各领域。1748 年《无穷小分析引论》第 8 章系统建立了复指数与三角函数的关系,欧拉恒等式是其直接特例。
史实 雏形更早:1714 年英国数学家科茨已发现对数与三角函数之间的等价关系,相当于欧拉公式的对数形式,但欧拉给出了今天通行的清晰表述并使其成为分析学的基石。
数学内核
一切从欧拉公式开始:
为什么它成立:三个函数的泰勒展开分别为
把 代入 ,利用 逐项整理:奇次项凑出 ,偶次项凑出 ,等式分毫不差。
恒等式的诞生:令 ,则 、,于是
它不是偶然的巧合,而是「复指数 = 旋转」这一深层结构的必然推论:乘以 就是在复平面上旋转 角;旋转 (半圈),自然从 转到 。这条思想后来成为傅里叶分析、信号处理与量子力学的共同语言——最美公式的背后,是最有用的工具。
说法与史实
| 流传说法 | 史实 |
|---|---|
| 欧拉恒等式是欧拉随手写的妙句 | 它是复指数函数理论的自然推论,1748 年系统发表于《无穷小分析引论》 |
| 五个常数相遇纯属巧合 | 背后是「复指数即旋转」的深层结构,用泰勒展开可严格证明 |
| 欧拉只贡献了这一个著名公式 | 以欧拉命名的成果超过百个:欧拉线、欧拉示性数、欧拉函数…… |
| 它只是好看的装饰品 | 欧拉公式是傅里叶分析、交流电计算与量子力学的日常工具 |
正例与反例
✅ 正例
- 在欧拉公式中令 ,得 ,移项即恒等式
❌ 反例
- 「把 iπ 当普通实数代入指数运算」——复指数不能直接套实数指数的直觉
高频误解与考试易错
- 以为欧拉恒等式是「碰巧写出来的」(它是复指数函数定义与泰勒展开的必然推论)
- 把 e 的 iπ 次方当成实数指数来理解(复指数只能通过欧拉公式定义)
- 以为欧拉一生只贡献这一个公式(以他命名的公式定理超过百个,遍及数学各领域)
常见问题
欧拉恒等式写了什么?
,把 、、、、 五个常数用一个等式联系在一起。
欧拉公式与欧拉恒等式有何区别?
欧拉公式是 (一般形式);令 得到的特例叫欧拉恒等式。
它「美」在哪里?
五个来自不同领域的常数(算术的 0 与 1、几何的 π、分析的 e、代数的 i)在最简短的等式中相遇,且等式可以用泰勒展开严格证明。
史料出处
- 欧拉《无穷小分析引论》(1748)