正确理解欧拉公式 | 欧拉公式推导

注：本文为 “欧拉公式” 相关文章合辑。

略作重排，未整理去重。

---

正确理解欧拉公式

weixin_39851048 于 2020-11-20 00:56:39 发布

欧拉公式是数学中一个非常美丽的公式，它将五个基本数学常数联系在一起：$e$（自然对数的底），$\pi$（圆周率），$i$（虚数单位），以及整数 0 和 1。

$e^{i\pi }+1=0$

笔者第一次见到这个式子是在科普读物上。当时最为困惑的一点就是，$\pi i$ 是纯虚数，$e$ 的 $\pi i$ 次方怎么就变成了一个实数？

事实上，上面提到的公式只是原始欧拉公式的特殊情况，其原始形式如下所示。表面上看，它似乎提供了计算“纯虚数次方”的方法。要正确理解欧拉公式，就有必要先理解“虚数次方”的概念（“虚数”默认指纯虚数，下同）。

原始欧拉公式

$e^{ix}=\cos x+i\sin x$

一个数的“多少次方”的概念最初只对正整数幂次才有意义。$a$ 的 $n$ 次方（$n$ 为正整数）就是 $n$ 个 $a$ 相乘：

$a\times a\times a\times \cdots \times a=a^n=\underset{n\text{ 个}}{\underbrace{a\times a\times \cdots \times a}}={\prod }_{i=1}^{n}a$

在不引入新定义的情况下，若 $n$ 不是正整数，$a$ 的 $n$ 次方就无意义。例如，我们尚不明确 “-3 个 $a$ 相乘” 或是 “1.23 个 $a$ 相乘” 的含义。

在数学中，我们之所以能计算非整数次方，是因为人们对定义做了拓展，这带有人为规定的性质。当然，拓展遵守一个原则：尽量使拓展前的数学性质在拓展后仍适用，类似于软件的“前向兼容性”。此外，作为新定义，拓展必须建立在已有的定义上，否则就会有模糊性。

作为例子，我们来看看 “$a$ 的 $n$ 次方”（简记为 $a^n$）中 $n$ 是如何拓展到负整数的：$n$ 为负整数时，记 $n$ 的绝对值为 $\Vert n\Vert$，则 $a^n$ 等于 $a^{\Vert n\Vert }$ 再取倒数。这一拓展满足“前向兼容性”，例如：

$(a^n)\times (a^m)=a^{n+m}$

这个性质在拓展后仍适用；拓展中的绝对值、倒数运算都是已定义的，没有模糊性。这样看，这个拓展是非常自然的。最终，我们把 $n$ 推广到了任意实数 $x$。

那么，我们能否把实数 $x$ 拓展到虚数情况？为了契合主题，这里只考虑 $e^x$。要以“较为自然”的方式把 $x$ 拓展到虚数，可以考察 $e^x$ 的幂级数形式，如下：

$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$

似乎把上式的 $x$ 简单代换为 $ix$，拓展工作就完成了。但要注意的是，$e^x$ 原本是定义在 $x$ 为实数的情况下，因此上式只对实数情况适用，把 $x$ 简单替换为 $ix$ 得到的“等式”必须理解为仿照 $e^x$ 幂级数形式人为规定的定义式。

$e^{ix}\stackrel{\text{def}}{=}1+ix+\frac{(ix{)}^2}{2!}++\frac{x^4}{4!}+\frac{(ix{)}^3}{3!}+\cdots$

我们特别在等号上加 “$def$” 以强调它是定义式。我们可以把等号右边每一项计算出来，然后把实数部分和虚数部分各自合并，如下。

$e^{ix}\stackrel{\text{def}}{=}\left(1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots \right)+i\left(x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots \right)$

↑↑$e^{ix}$ 正式定义

我们把上式作为 e 的虚数次方 的正式定义。它的右边只涉及乘除运算、正整数次方以及无穷级数求和，因此建立在已有定义上。定义式中括号部分刚好就是余弦、正弦函数的级数形式，从而自然地导出了欧拉公式！利用这点，我们可以证明仍有：

$e^{ix}\times e^{iy}=e^{ix+iy}$

因此这个定义也满足一定 “兼容性”。

根据这些讨论，欧拉公式是 $e^{ix}$ 的定义式的简单推论。不难看出，$e$ 的 “虚数次方” 与 $e$ 的实数次方在定义上有很大差别。

此外，“虚数次方”与实数次方并不是完全兼容，比方说，实数情况下有

$a\ne b$ ，

就一定有

$e^a\ne e^b$，

这个性质在虚数情况下不适用，一个简单例子是：

$e^{\pi i}=e^{3\pi i}$

因此，“虚数次方” 并不是好的说法，$e^{ix}$ 只是一个形式记号。

在一定意义上，$e^{ix}$ 是 $cosx+isinx$ 的简便记法。

---

Euler Formula（欧拉公式）推导

越来越胖的 GuanRunwei 已于 2023-12-20 15:20:34 修改

导语

不论是高等数学还是大学物理，欧拉公式都如影随形。因为其重要性和划时代意义，Euler Formula (欧拉公式)有着很多了不起的别称，例如“上帝公式”、“最伟大的数学公式”、“数学家的宝藏”等等。

欧拉公式在数学、物理和工程领域应用广泛。物理学家理查德·费曼 (Richard Phillips Feynman) 将欧拉公式称为：“我们的珍宝”和“数学中最非凡的公式”。

法国数学家皮埃尔-西蒙·拉普拉斯(Pierre-Simon marquis de Laplace)曾这样评价欧拉对于数学的贡献：“读欧拉的著作吧，在任何意义上，他都是我们的大师”。

这个发表于公元1748年的数学公式，将三角函数与复指数函数巧妙地关联了起来。

$e^{ix}=\cos x+i\sin x$

其中，$e$ 为自然常数，$i$ 为虚数，$x$ 则是以弧度为单位的参数（变量)。

尤其是当参数 $x$ 等于 $\pi$ 的时候，欧拉公式可简化为：

$e^{i\pi }+1=0$

上式将 5 个微妙且看似无关的数学符号 $e,i,\pi ,0,1$ 紧密地联系起来，其美妙之处让人称绝。

推导

开头介绍了欧拉公式的一种通用写法是：

$e^{ix}=\cos x+i\sin x$

其将复指数与正弦、余弦函数联系了起来。那么这是如何做到的？能否更加直观一点呢？

通常书本上给出的都是欧拉公式的验证而不是推导，例如，很多人会说：只要分别将两边的自然指数函数和三角函数用泰勒级数展开，即可得出两边相等的结论，但这只是验证而非真正的推导，就连《费曼物理学讲义》里面的计算也是如此。

为了让其更加易于理解，这里试着用直观的方式给予推导！

首先，需要记住的一点是：Euler 方程等号两边都可以看作是描述在一个圆上的位置或者运动。

如果我们用三角函数去描述圆心在复平面原点处的单位圆上的位置或圆周运动轨迹，当圆弧角为 $x$ 弧度时，如图有：

$cos(x)$ ：当前圆周运动位置的横坐标

$sin(x)$：当前圆周运动位置的纵坐标

因此，采用复数 $cos(x)+isin(x)$ ，即可描述单位圆周上点的位置或运动轨迹。

用复数来描述坐标傻子都能理解，那么欧拉公式左边的复指数又代表什么呢？（由于欧拉公式左边复指数中的实部为零，只包含虚部，因此也可以称之为虚指数）

先举个实指数相关的例子，当看到 $3^4$ 时，你可以把它看做4个3连乘，但也可以换一个角度看。因为作为底数来说，$e$ 作为自然底数，是所有连续复利增长过程都共有的基本属性，其内涵是单位数量在经过单位时间增长率为100%的连续复利增值后的最终结果。

我们可以将 $3^4$ 改写为 $e^{ln(3)\cdot 4}$ ，其数学内涵可以解释为：单位数量在单位时间增长率为 $ln(3)$ 的连续复利情况下，经过 4 个单位时间增长后的最终结果。

通式可以写为：$Q=e^{rate\cdot time}$

其中，$rate$ 表示单位时间的增长率，$time$ 表示经历了多少个单位时间的增长，而 $Q$ 表示最终增长结果是初始值的多少倍。

因此，跳开数值本身的大小问题，我们把“乘以实指数”看成是一种“增长”或者说是对初始值的一种“推动”作用（这里初始值是具有大小和方向属性的“复数”，复数包含实数和虚数，表达式可写为：复数 = 实部 + $i$ 虚部）。

再例如实数 $3$，可将其看做是：单位时间增长率为 $ln(3)\approx 1.1$，初始值以该增长率连续复利增长，经过单位时间后最终结果将是 $e^{ln(3)\cdot 1}=3$。

这里先只考虑了增长率为实数时的增长作用，而以实数为增长率的这种“增长”或“推动”是沿着初始值方向进行的（复数可以看做是复平面上的矢量，因此具有方向属性）。

而虚指数所带来的增长作用就和实指数有所不同，虚指数的增长作用的方向与初始值的方向垂直，且随着数值的变化始终保持着这种垂直的关系。

这种增长方式并不改变数的大小，而只改变复数的方向！例如，让任何数乘以虚数 $i$，都不会改变数的大小（或增长），而是改变数的方向。

在《自然底数 $e$ 怎么就“自然”了？》中已经给出了自然底数 $e$ 的定义式：

$e=\underset{n\to \infty }{\lim }{\left(1+\frac{1}{n}\right)}^n=\underset{n\to \infty }{\lim }{\left(1+\frac{100\%}{n}\right)}^n$

不过在上式中，我们假设的增长率为实数，但是，如果增长率为虚数呢？

$e^i=\underset{n\to \infty }{\lim }{\left(1+\frac{100\%\cdot i}{n}\right)}^n$

其增长的示意图如下图所示：

现在，“新的增长率”其实一直是沿着复数的垂直方向。并且这并不会改变复数的长度，但有人会提出质疑，因为上图所示的示意图是由一个个直角三角形组成，斜边当然比直角边更大。

但要知道，我们正在处理的是一个极限问题，当 $n\to \infty$（其实 $n$ )可以看作到达最后结果所经历的增长步数，这个增长步数是我们人为设定的，上图中每个绿色的直角边都代表一步），则绿色的直角边将越接近斜边。

最终将得到的结果是：复数长度（模长）不变的连续旋转。这是处理其与正弦、余弦之间关系的核心概念，当复数的增量始终与复数的方向保持垂直，得到的轨迹必将是一个圆！

下面用公式来证明这一过程：

$e^i=\underset{n\to \infty }{\lim }{\left(1+\frac{100\%\cdot i}{n}\right)}^n$

复数的模长为实部平方与虚部平方的和的平方根；转角为虚部除以实部的反正切值。

对于上式，如果 $n=1$，则结果为 $1+i$；（注意复数的运算法则是：所有模长增量相乘得到最终模长；所有转角增量相加得到最终转角) img

• 模长增量: $\sqrt{1^2+1^2}$
• 最终模长: $\sqrt{1^2+1^2}$
• 转角增量:$\arctan (\frac{1}{1})$
• 最终转角: $\arctan (\frac{1}{1})$
  

如果上式中 $n=2$，则结果为 $(1+\frac{i}{2}{)}^2$；img

• 模长增量: $\sqrt{1^2+(\frac{1}{2}{)}^2}$
• 最终模长: ${\left(\sqrt{1^2+{\left(\frac{1}{2}\right)}^2}\right)}^2$
• 转角增量: $\arctan (\frac{1}{2})$
• 最终转角: $2\arctan (\frac{1}{2})$

即，将 $n=1$ 的一步完成增长变为了 $n=2$ 的两步完成增长。

那么当 $n\to \infty$ 时，分步增长就变成了连续增长问题；img

• 模长增量: $\underset{n\to \infty }{\lim }\sqrt{1^2+(\frac{1}{n}{)}^2}=1$
• 最终模长: $\underset{n\to \infty }{\lim }{\left(\sqrt{1^2+(\frac{1}{n}{)}^2}\right)}^n=\underset{n\to \infty }{\lim }(1+\frac{1}{n^2}{)}^{n^2\frac{1}{2n}}={\lim }_{n\to \infty }{e}^{\frac{1}{2n}}=1$
• 角度增量: $\underset{n\to \infty }{\lim }\arctan (\frac{1}{n})=\frac{1}{n}$
• 最终角度: $\underset{n\to \infty }{\lim }n\cdot \arctan (\frac{1}{n})=1$

实际上就是复数 $1+i\cdot 0$ 逆时针旋转，每一小步的增长方向都和复数指向方向垂直，且保证模长不变，因此极限状态就是圆周运动，最后转动角度为 $1$ 弧度。

即 $e^i=cos1+i\cdot sin1$。

那对于更为普遍的 $e^{xi}$ 呢？当 $n\to \infty$ 时：img

• 模长增量: $\underset{n\to \infty }{\lim }\sqrt{1^2+(\frac{x}{n}{)}^2}=1$
• 最终模长: $\underset{n\to \infty }{\lim }(\sqrt{1^2+(\frac{x}{n}{)}^2}{)}^n=\underset{n\to \infty }{\lim }(1+\frac{x^2}{n^2}{)}^{\frac{n^2{x}^2}{x^{2}2n}}={\lim }_{n\to \infty }{e}^{\frac{x^2}{2n}}=1$
• 角度增量: $\underset{n\to \infty }{\lim }\arctan (\frac{x}{n})=\frac{x}{n}$
• 最终角度: $\underset{n\to \infty }{\lim }n\cdot \arctan (\frac{x}{n})=x$

实际上也是复数 $1+i\cdot 0$ 逆时针不断旋转，每一小步的转动方向都和复数指向方向垂直，且保证模长不变，因此极限状态也是圆周运动，所以当然可以用欧拉公式等号右边三角函数法定义的单位圆周上的点来完全等效（注意，这里的 $x$ 都采用弧度制)。

即 $e^{xi}=cosx+isinx$

如果 $x$ 是随时间线性变化的参数，则可以得到以下三维等径螺旋线，该螺旋线在复平面上的投影是一个圆，投影点在圆上的运动为匀速圆周运动。

这里只要令 $x=\pi$ ，就有 $e^{\pi i}=cos\pi +i\cdot sin\pi =-1$ 或者 $e^{\pi i}+1=0$

推导完毕。

$e,i,\pi$ 及弧度制的详细介绍及直观推导请分别参考：

• 自然底数 $e$：怎么就“自然”了？ - 知乎
  https://zhuanlan.zhihu.com/p/48391055

• 虚数 $i$: 虚数 $i$ 真的很“虚”吗？ - 知乎
  https://zhuanlan.zhihu.com/p/48392273

• $\pi$：古人是如何寻找到 $\pi$ 的？ - 知乎
  https://zhuanlan.zhihu.com/p/48307582

• 弧度制：一圈为何是360°？ - 知乎
  https://zhuanlan.zhihu.com/p/48767522

---

篇外

“数学之王” 传奇：有数字的地方就有欧拉

原创 科学方程式

“走，去柏林。”

1741 年 6 月 19 日，初夏的圣彼得堡乍暖还寒，接到柏林普鲁士腓特烈大帝亲笔邀请信的莱昂哈德・欧拉（Leonhard Euler），终于下定决心，携家人一道启程前往柏林。这一去，就是 25 年，欧拉将其数学生涯中最辉煌的一段时间留在了日耳曼的国度中。

回顾欧拉的一生，虽然他生于瑞士，但其学术生涯是从圣彼得堡全面开始，进而在柏林成就了一代数学大师的地位，暮年他重返圣彼得堡，并最终长眠于此。

两百年多后的今天，当我们再次审视腓特烈大帝的那次 “挖人才” 行为，发现他不仅为柏林科学院请来了 “数学担当”，更成就了一名数学天才向科学巨匠的华丽转变。那一天，不仅对欧拉个人意义重大，也影响了整个科学界的发展。

01 巴塞尔：数学天才的成长之路

1707 年 4 月，瑞士巴塞尔城一个牧师家庭欣喜地迎来了一名小男孩，曾在巴塞尔大学就读的父亲为其取名为：莱昂哈德・欧拉。

9 岁的欧拉就开始阅读牛顿著名的《自然哲学的数学原理》，十岁时，欧拉自学《代数学》。13 岁时他考入名校巴塞尔大学主修哲学和法律，成为不折不扣的 “少年大学生 “，年轻的他还偷偷跑去听数学课。

当时主讲数学的老师是约翰・伯努利 (Johann Bernoulli)，发现欧拉的数学天赋后约定每周单独给他上数学课。时间一长，约翰・伯努利就问欧拉，你数学这么好，为啥不来数学系呢？受到鼓励后的欧拉立即师从约翰・伯努利学习数学。

伯努利家族是当时世界著名的数学世家

欧拉是大学里年龄最小的学生，还是升级最快的学生，1726 年就获得硕士学位，同年欧拉发表《论桅杆配置的船舶问题》引起学术界的关注，并因此获得当时世界学术中心 —— 巴黎学院的资助。

他异于常人的智慧，令人叹服的记忆力，不仅帮助他在数学领域一飞冲天，更为后来全领域的科学探索奠定了坚实的基石。

02 圣彼得堡：辉煌数学之旅的开端

在 18 世纪，欧洲许多国家非常重视科学和人才的作用。1725 年，俄国成立皇家科学院（即圣彼得堡科学院），彼得大帝不惜重金聘请全世界优秀的科研人才加入。此时，约翰・伯努利的两个儿子都加入了圣彼得堡科学院，其中丹尼尔・伯努利也向欧拉伸出橄榄枝，邀请他到俄国皇家科学院工作。

1727 年，年仅 20 岁的欧拉带着对数学的无限热爱离开瑞士踏上了前往俄国的行程，在圣彼得堡，欧拉辉煌的数学之旅正式开启。

在圣彼得堡的 14 年间，欧拉发表的多篇数学论文都在数学界都引起了极大震动，其中对巴塞尔问题 (Basel Problem）、哥尼斯堡七桥问题的研究更是让其名声大噪。

巴塞尔问题的精妙解法

意大利数学家彼得罗・门戈利于 1650 年提出巴塞尔问题，这个问题难倒了上百位数学家。1734 年，欧拉给出了巴塞尔问题的精妙解法，让他由此享誉整个欧洲。

巴塞尔问题是求自然数的平方倒数之和的精确值：

$$\sum _{n=1}^{\infty }\frac{1}{n^2}=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\dots$$

欧拉的独到见解是将 $\text{sinc}(\pi x)$ 函数写成了根式解的形式，并将有限多项式的观察推广到无穷级数，由此推导出巴塞尔问题的准确值是 $\frac{{\pi }^2}{6}$。

$$\text{sinc}(\pi x)=\frac{\sin (\pi x)}{\pi x}$$

图论、拓扑学、欧拉乘积公式等创新

1735 年，欧拉以其惊人的才智，用时三天计算出一个曾困扰天文学家数月的难题 —— 彗星轨道的计算。接下来一年，欧拉发表了论文《哥尼斯堡的七座桥》，从而开创了数学的一个新分支：图论和几何拓扑。那一年，欧拉年仅 29 岁。

一直到 1737 年，欧拉创新的步伐并未停歇，发表欧拉乘积公式，其对数论、复变函数以及素数分布、黎曼 ζ 函数等领域产生了深远的影响。

• 欧拉乘积公式

  $\epsilon (z)={\prod }_p\frac{1}{1-p^{-z}}$，$p$ 为素数，$z\in C$。

• 黎曼 ζ 函数

  $\zeta (z)={\sum }_{n=1}^{\infty }\frac{1}{n^z}$

• 黎曼和 - 欧拉积等值定理

  $\zeta (z)=\epsilon (z)$，即

  ${\sum }_{n=1}^{\infty }\frac{1}{n^z}={\prod }_p\frac{1}{1-p^{-z}}$

1735 年，欧拉为协助地理所编制当时俄国的第一张全境地图，投入了极大精力和细致专注，以至于连续多日的劳累使他高烧不退，最终导致右眼失明。

03 柏林篇章：最美公式铸就数学传奇

尽管在圣彼得堡的成就蒸蒸日上，但俄国内部的权力之争愈演愈烈，此时已结婚生子的欧拉，为避免打压和迫害，内心萌生了离开彼得堡的想法。

受普鲁士国王腓特烈大帝的邀请，1741 年 6 月 19 日，34 岁的欧拉携带家人跨越国界来到柏林科学院，开启了学术生涯的新篇章。25 年的柏林岁月里，欧拉用他近 400 篇论文奠定了其最伟大数学家之一的地位。

1748 年，欧拉出版了一生中影响最大的两本数学专著，一本是关于函数的《无穷小分析引论》。

该书给出了著名的极限公式：

$e={\lim }_{n\to \infty }{\left(1+\frac{1}{n}\right)}^n$

当 𝑛 趋向于无穷大时，e 就是一个非常重要的数学常数，大约等于 2.71828…

而复变函数论里的欧拉公式

$e^{i\theta }=\cos \theta +i\sin \theta$

更是在微积分教程中占据了重要地位。这个公式把微积分的三个极为重要的函数联系在了一起，这些函数成为后代学者们研究了几百年的课题。

另一本则是更为著名的《微分学原理》。在这本书里，欧拉用形式化方法把微积分从几何中解放出来，使其建立在算术化与代数的基础之上，对函数及微分学发展做出极为重要的贡献：

1） 给出了基于量的代数关系下的函数的新定义，并引进现在普遍使用的函数符号；

2） 提出代数函数与超越函数的概念，定了多元函数，并对显函数和隐函数，单值函数与多值函数进行区分；

3） 建立了三角函数与指数函数之间的关系；

4） 首创了对数函数 $logx$ 与 $e$ 的现代讲法，并发现 logx 是无穷多值；

5） 提出二阶偏导数的演算，给出了 $z/xy=z/yx$ 成立的条件；

6） 研究二元函数极值，给出了全微分的可积条件；

7） 区分了函数的增量与函数的微分；

8） 把导数作为微积分的基本概念。

由于理念过于超前，欧拉在柏林出版的这些书籍长期以来被作为欧洲学院数学的必学教材。

欧拉发明并在这些书中使用的符号 —— 圆周率的符号 π、函数符号 f (x)、以及三角学符号 sin、cos、tg 等等，成为了全世界通用的数学符号。这或许连欧拉本人都没有想到。

除了出版这两本名著，欧拉在柏林最 “出圈” 的科学研究成果则是其于 1748 提出的 “欧拉恒等式”。

欧拉恒等式将数学中几个看似不相关的常数 —— 自然对数底 e、圆周率 π、虚数单位 i、以及整数 1 和 0，以一种令人难以置信的简洁方式联系起来，它以一种几乎魔法般的方式，将数学中最基本的常数编织在一起，揭示了宇宙秩序的内在和谐。这样简短的公式蕴含了深刻的意义，展示了数学结构的精妙和谐。欧拉恒等式被公布以来，人们丝毫不吝惜溢美之词，将 “上帝赐予的公式”、“人类最美丽的公式” 这些赞美送给了欧拉。

$e^{i\pi }+1=0$

除了具有简洁的形式之美外，欧拉恒等式还为数论和数学分析之间搭建了桥梁，从而使微积分等工具能够应用于数论的研究领域。这让欧拉成为解析数论的重要奠基人之一。1859 年，著名数学家高斯的学生黎曼将欧拉恒等式推广到复数，并提出了黎曼 ζ 函数零点分布的猜想（黎曼猜想），至今仍是数学界未解的重大难题之一。

04 重返圣彼得堡：暮年的辉煌与遗产

岁月流转，1762 年俄国新女皇叶卡捷琳娜二世继位，她非常仰慕欧拉的学术成就。1766 年，年逾 60 的欧拉应叶卡捷琳娜二世之邀重返寒冷的圣彼得堡。尽管视力日渐衰退，他对数学以及物理等多个学科的研究反而愈发勤奋与深刻。

在重返圣彼得堡不久后，欧拉彻底失明，但他凭借超强的记忆力和心算能力，用口述的方式继续以平均每周一篇的速度发表论文。

在 1768 年到 1770 年之间，欧拉发表了他人生中最重要三本书的最后一本《积分学原理》。他把前人的发现加以总结并注入自己的见解，书中包含了欧拉对于积分数学的深度研究内容，还展示了他在常微分方程和偏微分方程理论方面的众多发现。后世数学家评论，《积分学原理》的出版标志着欧拉将牛顿和莱布尼茨发明的微积分方法，推向了新的高度。

欧拉出版《无穷分析引论》(1748)、《微分学》(1755) 和《积分学》(共三卷，1768-1770) 三本书，堪称微积分发展史上里程碑式的著作，在很长时间内一直被作为分析课本的典范在全世界使用。

与在柏林不断地发表原创性成果不同，欧拉第二次返回圣彼得堡后，还凭借一己之力改变了俄国落后的数学研究状况。欧拉在俄国的 31 年里，还为俄国编写了初等数学教程，帮助改革度量衡制度，设计计算税率、年金和养老保险等的公式，他为俄罗斯数学的全面崛起奠定了坚实的基础。在欧拉离世 80 年后，圣彼得堡科学院竟然还在出版他撰写的论文。

1911 年，彼得堡科学院开始整理出版欧拉的著作《欧拉全集》，这是对这位数学巨人学术遗产的全面梳理。目前已出版 80 余卷，还尚未完成此项任务。这个耗费了将近一个世纪时间的庞大的出版项目，充分证明了欧拉与生俱来的过人数学天赋。

05 欧拉已逝，精神永存：数学可以让生活更美好

1783 年 9 月 18 日，欧拉一边喝着茶，一边给小孙女讲解天王星运算轨道的数学计算。突然之间，烟斗从他手中掉了下来。他说了一句 “我死了”，随即欧拉 “停止了生命和计算”，人们在悲痛中与这位伟大的数学巨匠告别。

回顾欧拉光辉的一生，他不仅用自己的天赋和勤奋，将数学在理论上推向了新的高度，更用自己实际行动证明了 “数学可以让生活更美好。” 他用数学设计轮船，启动了波浪动力学。他用数学研究耳朵，探索声波的秘密。他用数学来测量，整合了平面测量学。他用数学算渠道断面，开启了应用流体力学。他用数学来算保险，精准货币，产生了计量经济学。他又用数学算老鹰的飞翔，建立了航空动力学。

欧拉已逝，精神永存。站在欧拉的肩膀上，欧洲又相继诞生了高斯、拉格朗日等伟大的数学巨匠，他们用手中的笔，剥开 “数学王国” 的重重迷雾，引导人类孜孜以求地从自然的不确定性中找寻确定性，人类迎来了数学的 “黄金时代”。

有数字的地方就有欧拉。

参考资料：

• On the Beauty of Math. The Great Mathematician Euler and History| by Marco Tavora Ph.D. | Towards Data Science
  https://towardsdatascience.com/on-the-beauty-of-math-f2453be9db84

---

科普篇：史上最美数学公式 —— 欧拉恒等式

 

这个公式一共包含 5 个常数与 2 个符号，全都是构成数学的最基本要素，以极其简洁的形式结合在一起。

0 和 1 是最简单的两个实数，也是构造代数的基础，有了它们就可以得到其他任何数字。 任何数与 0 相加等于它本身，任何数与 1 相乘也等于它自身，因此它们也是抽象代数中群、环、域的基本元素。

圆周率 $\pi$，隐藏着世界上最完美的平面对称图形 —— 圆。 它代表着人类自古以来对数与形的探索，是几何与三角函数的基础。

自然常数 $e$ 与微积分相伴而生。 它是微积分与概率论的化身，代表着与工业革命相适应的数学。

虚数单位 $i$，是 $-1$ 的平方根，有了它就有了虚数、平面向量与四元数，也因此构成了电子学与量子力学的理论基础。

“$+$” 是最基础的运算符号，减法是加法的逆运算，乘法是累计的加法，有了加法就能引申出其余的运算。

“$=$” 是最基本的关系符号，它代表了世上最重要的关系 —— 平衡。

这就是最美公式的构成。

它诞生于群星璀璨的时代，与微积分的发展密不可分。

牛顿和莱布尼茨发明了微积分，但当时的微积分还只是个孩童，真正拉扯它长大成人的，是四大数学家之一的欧拉。正因如此，欧拉也被称为 “分析的化身”。

雅各布・伯努利在研究复利问题时，首先提出了著名的极限，而后，欧拉将其推广，并将该常数命名为 e，也就是自然常数。

艾萨克·牛顿（Isaac Newton，1643年1月4日－1727年3月31日），爵士，英国物理学家、数学家、哲学家。

戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz，1646年7月1日－1716年11月14日），德国哲学家、数学家，是历史上少见的通才，被誉为十七世纪的亚里士多德。

莱昂哈德·欧拉（Leonhard Euler，1707年4月15日—1783年9月18日），瑞士数学家、自然科学家。

雅各布·伯努利(Jakob Bernoulli‎,1654－1705年)，伯努利家族代表人物之一，瑞士数学家。被公认的概率论的先驱之一。他是最早使用“积分”这个术语的人，也是较早使用极坐标系的数学家之一。还较早阐明随着试验次数的增加，频率稳定在概率附近。他还研究了悬链线，还确定了等时曲线的方程。概率论中的伯努利试验与大数定理也是他提出来的。

指数函数 $e^x$ 成为了微积分中最重要的函数，没有之一，因为它是唯一一个（不考虑常数倍）导数和积分都是其自身的函数。

紧随其后的就是余弦函数 $cosx$ 和正弦函数 $sinx$ 。

在泰勒公式的加持下，三个函数都有优美的级数展开形式：

$e^x=1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\dots$

$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\dots$

$\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\dots$

布鲁克·泰勒（Brook Taylor，1685年8月18日－1731年12月29日）英国数学家，他主要以泰勒公式和泰勒级数闻名。

将它们联系起来，就得到了欧拉公式：img

欧拉公式推导

一、麦克劳林级数基础

麦克劳林级数是函数在 $x=0$ 处的泰勒级数展开形式。以下三个函数的麦克劳林级数是后续推导的重要基础：

1. 指数函数 $e^x$ 的麦克劳林级数：
   $$e^x=\sum _{n=0}^{\infty }\frac{x^n}{n!}=1+\frac{x}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$$
2. 正弦函数 $\sin x$ 的麦克劳林级数：
   $$\sin x=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n+1}}{(2n+1)!}=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots$$
3. 余弦函数 $\cos x$ 的麦克劳林级数：
   $$\cos x=\sum _{n=0}^{\infty }\frac{(-1{)}^n{x}^{2n}}{(2n)!}=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots$$

二、欧拉公式推导过程

欧拉公式 $e^{ix}=\cos x+i\sin x$ 可通过麦克劳林级数严格推导，具体步骤如下：

1. 建立 $e^{ix}$ 的展开式：
    
   将 $e^x$ 麦克劳林级数中的 $x$ 替换为虚数 $ix$，得到
   $$e^{ix}=1+\frac{ix}{1!}+\frac{(ix{)}^2}{2!}+\frac{(ix{)}^3}{3!}+\frac{(ix{)}^4}{4!}+\frac{(ix{)}^5}{5!}+\frac{(ix{)}^6}{6!}+\cdots$$

2. 利用虚数性质化简：
    
   根据虚数单位的幂次性质 $i^2=-1$，$i^3=-i$，$i^4=1$，
    
   $i^5=i$，$i^6=-1\cdots$ 对上述展开式进行化简：
    
   $$e^{ix}=1+\frac{ix}{1!}-\frac{x^2}{2!}-\frac{i{x}^3}{3!}+\frac{x^4}{4!}+\frac{i{x}^5}{5!}-\frac{x^6}{6!}+\cdots$$

3. 分离实部与虚部：
    
   将实部与虚部分别合并，可得
   $$e^{ix}=\left(1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots \right)+i\left(\frac{x}{1!}-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots \right)$$

4. 关联三角函数级数：
   对比 $\cos x$ 和 $\sin x$ 的麦克劳林级数表达式，可知：
    
   实部 $1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots =\cos x$
    
   虚部 $\frac{x}{1!}-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots =\sin x$
    
   由此可得 欧拉公式：
   $$e^{ix}=\cos x+i\sin x$$
   欧拉公式通过幂级数展开，建立了指数函数与三角函数在复数域的深刻联系，在数学分析、复变函数及工程应用领域具有核心地位。

当 $x$ 取特殊值 $\pi$ 时，就化作了最美公式 —— 欧拉恒等式：

$e^{i\pi }=\cos (\pi )+i\sin (\pi )$

$e^{i\pi }=-1$

$e^{i\pi }+1=0$

它融合了数学上最重要的 5 个常数，以极其简洁的方式，连接了不同的数学分支。

同时，也包含了物理学中的圆周运动、简谐振动、机械波、电磁波和概率波等，对后世产生了深远影响。

它仿佛一首完美而简洁的诗，道尽了数学之美。

难怪数学家们评价它为：“神创造的公式，我们只能看它却不能完全理解它”。

---

篇外：

泰勒级数不同领域的应用

泰勒级数展开在数学、物理学、工程学和计算机科学等领域有广泛的应用。

指数函数 $e^x$ 可以用于计算复利、放射性衰变、自然生长和衰减过程。在物理学中，它描述量子力学中的波函数演化。

正弦函数 $\sin x$ 和余弦函数 $\cos x$ 都可以用于描述周期性现象，如声波、光波和电磁波。在工程学中，它们用于设计振荡器和滤波器。

自然对数 $\ln (1+x)$ 可以用于计算连续复利。在物理学中，它描述某些类型的热力学过程。

几何级数 $\frac{1}{1-x}$ 和反向几何级数 $\frac{1}{1+x}$ 都可以用于计算无限级数的和，如在数列求和和概率论中的应用。

幂函数 $(1+x{)}^{\alpha }$ 可以用于计算复利和金融数学中的增长模型。在物理学中，它描述某些类型的物理过程，如气体的压强-体积关系。

反正切函数 $\arctan x$ 和反正弦函数 $\arcsin x$ 都可以用于计算三角函数的反函数，解决涉及角度的问题。在电子学中，反正切函数用于设计积分器和微分器电路。

正切函数 $\tan x$ 可以用于计算三角函数，描述角度和边长之间的关系。在物理学中，它描述周期性运动，如简谐振动。

泰勒级数展开形式使得它们在需要近似计算时非常有用，尤其是在数值分析和计算机科学中，可以简化复杂的数学表达式，进行数值计算和模拟。

常见泰勒公式展开

1. $e^x={\sum }_{n=0}^{\infty }\frac{1}{n!}{x}^n$，$x\in (-\infty ,+\infty )$

2. $\sin x={\sum }_{n=0}^{\infty }\frac{(-1{)}^n}{(2n+1)!}{x}^{2n+1}=x-\frac{1}{3!}{x}^3+\frac{1}{5!}{x}^5+\cdots$，$x\in (-\infty ,+\infty )$

3. $\cos x={\sum }_{n=0}^{\infty }\frac{(-1{)}^n}{(2n)!}{x}^{2n}=1-\frac{1}{2!}{x}^2+\frac{1}{4!}{x}^4+\cdots$，$x\in (-\infty ,+\infty )$

4. $\ln (1+x)={\sum }_{n=0}^{\infty }\frac{(-1{)}^n}{n+1}{x}^{n+1}=x-\frac{1}{2}{x}^2+\frac{1}{3}{x}^3+\cdots$，$x\in (-1,1]$

5. $\frac{1}{1-x}={\sum }_{n=0}^{\infty }{x}^n=1+x+x^2+x^3+\cdots$，$x\in (-1,1)$

6. $\frac{1}{1+x}={\sum }_{n=0}^{\infty }(-1{)}^n{x}^n=1-x+x^2-x^3+\cdots$，$x\in (-1,1)$

7. $(1+x{)}^{\alpha }=1+{\sum }_{n=1}^{\infty }\frac{\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}{x}^n$，$x\in (-1,1)$

8. $\arctan x={\sum }_{n=0}^{\infty }\frac{(-1{)}^n}{2n+1}{x}^{2n+1}=x-\frac{1}{3}{x}^3+\frac{1}{5}{x}^5+\cdots +x$，$x\in [-1,1]$

9. $\arcsin x={\sum }_{n=0}^{\infty }\frac{(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}=x+\frac{1}{6}{x}^3+\frac{3}{40}{x}^5+\frac{5}{112}{x}^7+\frac{35}{1152}{x}^9+\cdots$，$x\in (-1,1)$

10. $\tan x={\sum }_{n=1}^{\infty }\frac{B_{2n}}{(2n)!}\left(\frac{(-4{)}^n(1-4^n)}{(2n-1)}\right)x^{2n-1}=x+\frac{1}{3}{x}^3+\frac{2}{15}{x}^5+\frac{17}{315}{x}^7+\frac{62}{2835}{x}^9+\frac{1382}{155925}{x}^{11}+\frac{21844}{6081075}{x}^{13}+\frac{929569}{638512875}{x}^{15}+\cdots$，$x\in (-\frac{\pi }{2},\frac{\pi }{2})$

    $B_n$​ 表示伯努利数

---

via:

• 无穷级数求和 7 个公式_如何正确地理解欧拉公式 - CSDN 博客 weixin_39851048 于 2020-11-20 00:56:39 发布
  https://blog.csdn.net/weixin_39851048/article/details/109915175

• 傻子都能看懂的 —— 详解欧拉公式推导_欧拉公式推导全过程-CSDN博客 越来越胖的 GuanRunwei 已于 2023-12-20 15:20:34 修改
  https://blog.csdn.net/qq_38890412/article/details/117334679

• “数学之王” 传奇：有数字的地方就有欧拉 原创 科学方程式 2024 年 06 月 19 日 17:11 北京
  https://mp.weixin.qq.com/s/NUJ4zu5-V1NDGhKYIhzmVg

• 史上最美数学公式 原创 蔡驰南 2024年06月05日 12:38 浙江
  https://mp.weixin.qq.com/s/wG6_91ZShQGr-bvHy7zkxg