欧拉公式：修订间差异

2026年9月20日 (日) 07:15的最新版本

欧拉公式（Euler's formula）把指数函数与圆周运动联系起来： $e^{i θ} = \cos θ + i \sin θ .$ 这里 $i^{2} = - 1$ ， $θ$ 是以弧度表示的实数角度。理解这条公式，可以先看一个具体问题：怎样用一次乘法，把平面上的向量转过一个指定角度？

乘一个数，怎样使向量转动

把平面上的点 $(x, y)$ 记作复数 $x + i y$ 。例如 $1 + i$ 表示从原点指向 $(1, 1)$ 的向量。乘以 $i$ 后， $i (1 + i) = i + i^{2} = - 1 + i,$ 终点变成 $(- 1, 1)$ ：向量长度未变，方向逆时针转了直角。对一般向量也一样， $i (x + i y) = - y + i x$ ，新坐标是 $(- y, x)$ 。

要转过别的角度，就需要单位圆上别的点。下图中，半径与横轴的夹角为 $θ$ ，横、纵坐标分别是 $\cos θ$ 与 $\sin θ$ 。因此这个点对应复数 $\cos θ + i \sin θ$ ，其长度为1。

复平面单位圆上角度为θ的点，横纵投影分别为余弦θ和正弦θ — 单位圆上的点同时记录两个坐标和一个方向角。

将 $x + i y$ 乘以它，展开得到 $(x + i y) (\cos θ + i \sin θ) = (x \cos θ - y \sin θ) + i (x \sin θ + y \cos θ) .$ 若原向量长为 $r$ 、方向角为 $α$ ，代入 $x = r \cos α$ 、 $y = r \sin α$ ，再用和角公式，新坐标就是 $(r \cos (α + θ), r \sin (α + θ))$ 。乘法确实把方向转过 $θ$ ，同时保留长度。

现在转动最初的 $1 + i$ ，取 $θ = π / 3$ ，也就是60度： $\begin{matrix} (1 + i) (\frac{1}{2} + i \frac{\sqrt{3}}{2}) & = \frac{1}{2} + i \frac{\sqrt{3}}{2} + \frac{i}{2} - \frac{\sqrt{3}}{2} \\ = \frac{1 - \sqrt{3}}{2} + i \frac{1 + \sqrt{3}}{2} . \end{matrix}$ 新坐标约为 $(- 0.366, 1.366)$ ，平方和仍为2。原方向为45度，转后为105度，落在第二象限，与坐标符号吻合。用矩阵写同一变换，就是 $(\begin{matrix} x^{'} \\ y^{'} \end{matrix}) = (\begin{matrix} \cos θ & - \sin θ \\ \sin θ & \cos θ \end{matrix}) (\begin{matrix} x \\ y \end{matrix}) .$

为什么这个旋转数恰好是指数

前面的计算解释了 $\cos θ + i \sin θ$ ，还没有解释 $e^{i θ}$ 。实指数延伸到复数时，可以采用幂级数定义： $e^{z} = 1 + z + \frac{z^{2}}{2!} + \frac{z^{3}}{3!} + \dots = \sum_{n = 0}^{\infty} \frac{z^{n}}{n!} .$ 其中 $n! = 1 \cdot 2 \dots n$ ，规定 $0! = 1$ 。对任何固定复数 $z$ ，相邻项绝对值的比是 $| z | / (n + 1)$ ；从某项起小于 $1 / 2$ ，后面的绝对值之和受到收敛等比级数控制。因此级数绝对收敛，偶数项、奇数项可以分别收集。

代入 $z = i θ$ 。由于 $i^{2} = - 1$ 、 $i^{3} = - i$ 、 $i^{4} = 1$ ，幂次按四项循环： $\begin{matrix} e^{i θ} & = 1 + i θ - \frac{θ^{2}}{2!} - i \frac{θ^{3}}{3!} + \frac{θ^{4}}{4!} + \dots \\ = (1 - \frac{θ^{2}}{2!} + \frac{θ^{4}}{4!} - \dots) + i (θ - \frac{θ^{3}}{3!} + \frac{θ^{5}}{5!} - \dots) . \end{matrix}$ 两个括号分别是余弦与正弦的泰勒级数，欧拉公式由此成立。从圆的几何定义三角函数时，泰勒定理可以证明这两个展开：各阶导数的绝对值不超过1，余项不超过 $| θ |^{n + 1} / (n + 1)!$ ，对固定角度趋于零。标准三角函数导数采用弧度，所以这里的角度也采用弧度。

复指数还保留加法律。把两个绝对收敛的级数相乘，按总次数 $n$ 收集项，其系数为 $\sum_{k = 0}^{n} \frac{z^{k} w^{n - k}}{k! (n - k)!} = \frac{1}{n!} \sum_{k = 0}^{n} (\binom{n}{k}) z^{k} w^{n - k} = \frac{(z + w)^{n}}{n!} .$ 最后一步是二项式定理，因而 $e^{z} e^{w} = e^{z + w}$ 。对纯虚指数，这恰好说先转 $α$ 再转 $β$ ，等于转 $α + β$ 。级数的代数性质与平面的旋转规律在这里相接。

从半周旋转到方程的全部根

转过半周，单位圆上的点为 $(- 1, 0)$ ，所以 $e^{i π} = - 1, e^{i π} + 1 = 0.$ 这称为欧拉恒等式。转过整周则回到原来的方向： $e^{i (θ + 2 π k)} = e^{i θ}$ ，其中 $k$ 是整数。方向相同不意味着角度数值只有一个。

这点在求根时尤其有用。求 $z^{3} = 8$ ，先写成 $z = r e^{i ϕ}$ ，其中 $r = | z | > 0$ 。代入得 $r^{3} e^{3 i ϕ} = 8$ 。比较长度， $r^{3} = 8$ ，所以 $r = 2$ ；比较方向， $3 ϕ = 2 π k$ 。取三个互不重复的方向，得到 $z = 2, 2 e^{2 π i / 3} = - 1 + i \sqrt{3}, 2 e^{4 π i / 3} = - 1 - i \sqrt{3} .$ 再增加 $k$ 就只是给这些根的角度增加整周，没有新根。三个根在半径2的圆上等角排列；它们的和为零，也与多项式 $z^{3} - 8$ 缺少二次项一致。

同理，对正整数 $n$ ， $z^{n} = 1$ 的全部根为 $e^{2 π i k / n}$ ， $k = 0, 1, \dots, n - 1$ 。令 $ζ = e^{2 π i / n}$ ，当 $n > 1$ 时，和 $S = 1 + ζ + \dots + ζ^{n - 1}$ 满足 $(1 - ζ) S = 1 - ζ^{n} = 0.$ 因为 $ζ \neq 1$ ，故 $S = 0$ 。这证明圆周上均匀排列的向量相互抵消。把公比换成 $ζ^{m}$ ，若整数 $m$ 不是 $n$ 的倍数，同样得到和为零；若是倍数，每项为1，和为 $n$ 。

把两个同频振动合成一个

考虑 $\cos t + \sqrt{3} \sin t$ 。欧拉公式允许把两项放进同一个复乘法： $(1 - i \sqrt{3}) e^{i t} = (\cos t + \sqrt{3} \sin t) + i (\sin t - \sqrt{3} \cos t) .$ 我们要的恰好是实部。系数 $1 - i \sqrt{3}$ 长为2，方向为 $- π / 3$ ，所以等于 $2 e^{- i π / 3}$ 。于是 $\cos t + \sqrt{3} \sin t = Re (2 e^{i (t - π / 3)}) = 2 \cos (t - π / 3) .$ 符号 $Re$ 表示取实部。原来的两项合成振幅2、相位 $- π / 3$ 的振动。振幅不是把1与 $\sqrt{3}$ 直接相加，因为两项的峰值并不同时到达。

同频振动都带有共同因子 $e^{i ω t}$ ，计算时可先相加复系数，再取实部。不同频率没有同一个这样的时间因子，通常仍需保留各自的振动。复指数在微分方程中也方便求导：一次求导乘以 $i ω$ ，两次乘以 $- ω^{2}$ ，因而直接给出 $y^{″} + ω^{2} y = 0$ 的振动解。

从圆周回到一般复指数

对实数 $x, y$ ，加法律给出 $e^{x + i y} = e^{x} (\cos y + i \sin y)$ ：实部 $x$ 控制长度 $e^{x}$ ，虚部 $y$ 控制方向。复指数从不等于零。

反过来，给定 $z = r e^{i θ} \neq 0$ ，求所有 $e^{w} = z$ 的解，会得到 $w = \log r + i (θ + 2 π k), k \in ℤ .$ 这就是复对数有多个值的原因。若只选幅角位于 $(- π, π]$ 的主值， $Log (- 1) = i π$ ，但 $Log (1) = 0$ ，故 $Log ((- 1) (- 1))$ 不等于两个 $Log (- 1)$ 之和。实数对数的乘积法则在复数中需要同时处理角度的选择。

共轭把角度反号： $\overline{e^{i θ}} = e^{- i θ}$ 。将这两个数相加、相减，分别保留实部、虚部，便有 $\cos θ = \frac{e^{i θ} + e^{- i θ}}{2}, \sin θ = \frac{e^{i θ} - e^{- i θ}}{2 i} .$ 三角函数既可以画成圆上的坐标，也可以写成旋转指数的组合。

历史

棣莫弗在十八世纪研究复数的幂与角度之间的关系，欧拉则系统发展了指数、对数、三角函数与无穷级数的联系。《无穷分析引论》第一卷出版于1748年；Euler Archive E101保存了原著及书目信息。MacTutor：De Moivre与Euler记录了相关人物的工作。

此处讨论的复指数恒等式，与多面体顶点、棱、面之间的 $V - E + F = 2$ 同称“欧拉公式”，但属于不同问题。

来源与继续阅读

Euler Archive，E101：《Introductio in analysin infinitorum》卷一，1748：原著与出版记录。
Jiří Lebl，《Notes on Diffy Qs》§2.2：复数、欧拉公式与常系数方程。
MacTutor：Leonhard Euler；Abraham de Moivre：历史背景。
相关：导数、矩阵、群、微分方程。

@@ 第1行： / 第1行： @@
-'''欧拉公式'''（Euler's formula）是连接复指数与三角函数的恒等式：对任意实数 <math>\theta</math>，
+'''欧拉公式'''（Euler's formula）把指数函数与圆周运动联系起来：
-<math display="block">e^{i\theta}=\cos\theta+i\sin\theta,\qquad i^2=-1.</math>
+<math display="block">e^{i\theta}=\cos\theta+i\sin\theta.</math>
-其中角度采用弧度制，<math>e</math> 是自然对数的底。公式说明纯虚数指数对应复平面上的单位圆；复数乘法中的幅角相加，也因此可以用指数的加法规律表示。它不同于多面体的欧拉公式 <math>V-E+F=2</math>，后者属于几何与拓扑背景，可参看[[环面]]。
+这里 <math>i^2=-1</math>，<math>\theta</math> 是以弧度表示的实数角度。理解这条公式，可以先看一个具体问题：怎样用一次乘法，把平面上的向量转过一个指定角度？
-== 从复数坐标到旋转 ==
+== 乘一个数，怎样使向量转动 ==
-复数 <math>z=x+iy</math> 可以表示平面上的点或向量 <math>(x,y)</math>。实部 <math>x</math> 是横坐标，虚部 <math>y</math> 是纵坐标；“虚部”本身是实数，不是 <math>iy</math>。它的模为 <math>|z|=\sqrt{x^2+y^2}</math>。若 <math>z\ne0</math>，还可用长度 <math>r=|z|</math> 和方向角 <math>\theta</math> 表示为 <math>z=r(\cos\theta+i\sin\theta)</math>。
+把平面上的点 <math>(x,y)</math> 记作复数 <math>x+iy</math>。例如 <math>1+i</math> 表示从原点指向 <math>(1,1)</math> 的向量。乘以 <math>i</math> 后，
+<math display="block">i(1+i)=i+i^2=-1+i,</math>
+终点变成 <math>(-1,1)</math>：向量长度未变，方向逆时针转了直角。对一般向量也一样，<math>i(x+iy)=-y+ix</math>，新坐标是 <math>(-y,x)</math>。
-[[File:Gezhi-euler-circle.svg|frame|center|alt=复平面单位圆上角度为θ的点，横纵投影分别为余弦θ和正弦θ|点的横坐标是实部，纵坐标是虚部；单位圆半径固定，角度变化记录旋转。]]
+要转过别的角度，就需要单位圆上别的点。下图中，半径与横轴的夹角为 <math>\theta</math>，横、纵坐标分别是 <math>\cos\theta</math> 与 <math>\sin\theta</math>。因此这个点对应复数 <math>\cos\theta+i\sin\theta</math>，其长度为1。
-乘以 <math>i</math> 将 <math>x+iy</math> 变成 <math>-y+ix</math>，对应把坐标 <math>(x,y)</math> 变为 <math>(-y,x)</math>，即逆时针旋转直角。再乘一次得到 <math>-x-iy</math>，旋转半周，所以 <math>i^2=-1</math> 也有几何解释。欧拉公式把这种四分之一周的旋转推广到任意角度，而不仅是给一个特殊复数起名字。
+[[File:Gezhi-euler-circle-theme.svg|frame|center|alt=复平面单位圆上角度为θ的点，横纵投影分别为余弦θ和正弦θ|单位圆上的点同时记录两个坐标和一个方向角。]]
-非零复数的方向角并不唯一：增加任意整数倍的整周，表示的仍是同一个方向。因此极坐标中的 <math>\theta</math> 只在模 <math>2\pi</math> 的意义下确定。这个看似简单的事实，后来会成为复对数多值性的来源。
+将 <math>x+iy</math> 乘以它，展开得到
+<math display="block">(x+iy)(\cos\theta+i\sin\theta)=(x\cos\theta-y\sin\theta)+i(x\sin\theta+y\cos\theta).</math>
+若原向量长为 <math>r</math>、方向角为 <math>\alpha</math>，代入 <math>x=r\cos\alpha</math>、<math>y=r\sin\alpha</math>，再用和角公式，新坐标就是 <math>(r\cos(\alpha+\theta),r\sin(\alpha+\theta))</math>。乘法确实把方向转过 <math>\theta</math>，同时保留长度。
-== 指数如何延伸到复数 ==
+现在转动最初的 <math>1+i</math>，取 <math>\theta=\pi/3</math>，也就是60度：
-在实数范围内，指数可以从微分方程、极限或幂级数建立。为了给出不循环的证明，本节选择幂级数作为复指数的定义：
-<math display="block">\exp(z)=\sum_{n=0}^{\infty}\frac{z^n}{n!},\qquad z\in\mathbb C.</math>
-对任意固定 <math>z</math>，绝对值级数中相邻两项的比为 <math>|z|/(n+1)</math>，最终小于某个严格小于 1 的常数，因此绝对收敛。在任意有界的复数区域上，还能用同一个收敛级数作上界，保证所需的逐项运算。
-这一定义在实数处与通常的自然指数一致。绝对收敛还允许对两个指数级数作柯西乘积：按总次数 <math>n</math> 合并系数，再用二项式定理，可得
-<math display="block">\exp(z)\exp(w)=\sum_{n=0}^{\infty}\sum_{k=0}^n\frac{z^kw^{n-k}}{k!(n-k)!}=\exp(z+w).</math>
-因此复指数继承指数加法律。这个性质是经过收敛论证得到的，不能对任意条件收敛级数随意重排，也不能把类似写法直接搬到不交换的矩阵指数。
-=== 欧拉公式的级数证明 ===
-将 <math>z=i\theta</math> 代入。偶数次幂 <math>i^{2k}=(-1)^k</math>，奇数次幂 <math>i^{2k+1}=i(-1)^k</math>。由于绝对收敛，可以把偶数项和奇数项分别相加，得到
 <math display="block">\begin{aligned}
-e^{i\theta}&=\sum_{k=0}^{\infty}\frac{(-1)^k\theta^{2k}}{(2k)!}
+(1+i)\left(\frac12+i\frac{\sqrt3}2\right)
-+i\sum_{k=0}^{\infty}\frac{(-1)^k\theta^{2k+1}}{(2k+1)!}\\
+&=\frac12+i\frac{\sqrt3}2+\frac i2-\frac{\sqrt3}2\\
-&=\cos\theta+i\sin\theta.
+&=\frac{1-\sqrt3}2+i\frac{1+\sqrt3}2.
 \end{aligned}</math>
-最后一步使用正弦与余弦的泰勒展开。若三角函数从圆的几何定义出发，这些展开可以用泰勒定理证明：其各阶导数绝对值不超过 1，对固定实数角度，余项被 <math>|\theta|^{n+1}/(n+1)!</math> 控制并趋零。若从级数定义正弦、余弦，最后一步则是直接识别定义。两条构建路线都可以，但不应在同一个证明中相互循环援引。
+新坐标约为 <math>(-0.366,1.366)</math>，平方和仍为2。原方向为45度，转后为105度，落在第二象限，与坐标符号吻合。用[[矩阵]]写同一变换，就是
-读到这里，公式中的指数、三角函数与收敛条件都有了独立含义。它不是把实变量指数公式“猜测性地代入一个虚数”，而是实指数延伸到复数后得到的可证明恒等式。复指数及其常微分方程背景可参考 [https://www.jirka.org/diffyqs/html/sec_ccsol.html Jiří Lebl，常系数二阶方程一节]。
-== 算例一：旋转一个具体向量 ==
-将复数 <math>1+i</math> 对应的向量逆时针旋转 <math>\pi/3</math>，等于乘以 <math>e^{i\pi/3}=1/2+i\sqrt3/2</math>：
-<math display="block">(1+i)e^{i\pi/3}=\frac{1-\sqrt3}{2}+i\frac{1+\sqrt3}{2}.</math>
-新坐标约为 <math>(-0.366,1.366)</math>。原向量长为 <math>\sqrt2</math>；新坐标平方和为
-<math display="block">\frac{(1-\sqrt3)^2+(1+\sqrt3)^2}{4}=2,</math>
-长度没有变化。原方向角是 <math>\pi/4</math>，新方向角为 <math>7\pi/12</math>，与坐标落在第二象限一致。这三个检查——代数乘法、长度保持、象限方向——从不同角度核验了同一个旋转。
-把乘法写成实坐标的形式，还会得到旋转[[矩阵]]：
 <math display="block">\begin{pmatrix}x'\\y'\end{pmatrix}=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}\begin{pmatrix}x\\y\end{pmatrix}.</math>
-这说明复数法与二维线性代数法不是两个不相干的技巧，而是同一变换的两种表示。矩阵表示便于推广到高维，复数表示在平面旋转中则更紧凑。
-== 乘法、棣莫弗公式与单位根 ==
+== 为什么这个旋转数恰好是指数 ==
-指数加法律与欧拉公式一起给出
+前面的计算解释了 <math>\cos\theta+i\sin\theta</math>，还没有解释 <math>e^{i\theta}</math>。实指数延伸到复数时，可以采用幂级数定义：
-<math display="block">e^{i\alpha}e^{i\beta}=e^{i(\alpha+\beta)}.</math>
+<math display="block">e^z=1+z+\frac{z^2}{2!}+\frac{z^3}{3!}+\cdots=\sum_{n=0}^{\infty}\frac{z^n}{n!}.</math>
-展开左侧并比较实部、虚部，就得到余弦与正弦的和角公式。这里比较实部是合法的，因为两个复数相等当且仅当实部相等且虚部相等；它不是把含 <math>i</math> 的项随意丢掉。
+其中 <math>n!=1\cdot2\cdots n</math>，规定 <math>0!=1</math>。对任何固定复数 <math>z</math>，相邻项绝对值的比是 <math>|z|/(n+1)</math>；从某项起小于 <math>1/2</math>，后面的绝对值之和受到收敛等比级数控制。因此级数绝对收敛，偶数项、奇数项可以分别收集。
-对任意整数 <math>n</math>，连续相乘或取倒数，得到棣莫弗公式
+代入 <math>z=i\theta</math>。由于 <math>i^2=-1</math>、<math>i^3=-i</math>、<math>i^4=1</math>，幂次按四项循环：
-<math display="block">(\cos\theta+i\sin\theta)^n=\cos(n\theta)+i\sin(n\theta).</math>
+<math display="block">\begin{aligned}
-“整数”条件很重要：非整数幂需要选择复对数的分支，不能无条件沿用单值幂运算。对正整数 <math>n</math>，方程 <math>z^n=1</math> 的全部解为 <math>z_k=e^{2\pi i k/n}</math>，其中 <math>k=0,1,\ldots,n-1</math>。模必须为 1，幅角乘以 <math>n</math> 后必须是整周，这同时证明了解的形式和完整性。
+e^{i\theta}
+&=1+i\theta-\frac{\theta^2}{2!}-i\frac{\theta^3}{3!}+\frac{\theta^4}{4!}+\cdots\\
+&=\left(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots\right)
++i\left(\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots\right).
+\end{aligned}</math>
+两个括号分别是余弦与正弦的泰勒级数，欧拉公式由此成立。从圆的几何定义三角函数时，泰勒定理可以证明这两个展开：各阶导数的绝对值不超过1，余项不超过 <math>|\theta|^{n+1}/(n+1)!</math>，对固定角度趋于零。标准三角函数导数采用弧度，所以这里的角度也采用弧度。
-=== 算例二：解三次方程而不遗漏根 ===
+复指数还保留加法律。把两个绝对收敛的级数相乘，按总次数 <math>n</math> 收集项，其系数为
-考虑 <math>z^3=8</math>。右边的模为 8，幅角可以写作 <math>2\pi k</math>。于是各根模为 2，方向角分别为 <math>0,2\pi/3,4\pi/3</math>，得到
+<math display="block">\sum_{k=0}^n\frac{z^kw^{n-k}}{k!(n-k)!}=\frac1{n!}\sum_{k=0}^n\binom nk z^kw^{n-k}=\frac{(z+w)^n}{n!}.</math>
-<math display="block">z=2,\quad -1+i\sqrt3,\quad -1-i\sqrt3.</math>
+最后一步是二项式定理，因而 <math>e^ze^w=e^{z+w}</math>。对纯虚指数，这恰好说先转 <math>\alpha</math> 再转 <math>\beta</math>，等于转 <math>\alpha+\beta</math>。级数的代数性质与平面的旋转规律在这里相接。
-这三个点在半径为 2 的圆上等角排列。若只取实数三次根，就只得到 2；若把方向角只固定成 0 再除以 3，也会犯同样的遗漏。完整求根必须把原幅角的整周等价性先保留下来。
-三个根的和为零，符合多项式 <math>z^3-8</math> 的二次项系数为零；任意根代回三次幂都为 8。单位根在[[群]]中构成有限循环群，它们既是方程的根，也是平面上反复旋转的轨道。
+== 从半周旋转到方程的全部根 ==
+转过半周，单位圆上的点为 <math>(-1,0)</math>，所以
+<math display="block">e^{i\pi}=-1,\qquad e^{i\pi}+1=0.</math>
+这称为欧拉恒等式。转过整周则回到原来的方向：<math>e^{i(\theta+2\pi k)}=e^{i\theta}</math>，其中 <math>k</math> 是整数。方向相同不意味着角度数值只有一个。
-== 振动为何可以用复指数计算 ==
+这点在求根时尤其有用。求 <math>z^3=8</math>，先写成 <math>z=re^{i\phi}</math>，其中 <math>r=|z|>0</math>。代入得 <math>r^3e^{3i\phi}=8</math>。比较长度，<math>r^3=8</math>，所以 <math>r=2</math>；比较方向，<math>3\phi=2\pi k</math>。取三个互不重复的方向，得到
-对实时间 <math>t</math>，由欧拉公式有 <math>A\cos(\omega t+\varphi)=\operatorname{Re}(Ae^{i(\omega t+\varphi)})</math>。这里 <math>A</math> 是实振幅，<math>\omega</math> 是角频率，<math>\varphi</math> 是初相位。复函数记录正弦和余弦两个相互配合的分量，最后取实部才得到所讨论的实信号。
+<math display="block">z=2,\quad 2e^{2\pi i/3}=-1+i\sqrt3,\quad 2e^{4\pi i/3}=-1-i\sqrt3.</math>
+再增加 <math>k</math> 就只是给这些根的角度增加整周，没有新根。三个根在半径2的圆上等角排列；它们的和为零，也与多项式 <math>z^3-8</math> 缺少二次项一致。
-微分满足 <math>\frac{d}{dt}e^{i\omega t}=i\omega e^{i\omega t}</math>，因此线性常系数微分运算可转成对 <math>i\omega</math> 的代数运算。例如 <math>y''+\omega^2y=0</math> 有复解 <math>e^{i\omega t}</math>，实部与虚部分别给出余弦和正弦解。由于方程系数为实数且是线性的，取实部与施加微分算子可以交换。
+同理，对正整数 <math>n</math>，<math>z^n=1</math> 的全部根为 <math>e^{2\pi ik/n}</math>，<math>k=0,1,\ldots,n-1</math>。令 <math>\zeta=e^{2\pi i/n}</math>，当 <math>n>1</math> 时，和 <math>S=1+\zeta+\cdots+\zeta^{n-1}</math> 满足
+<math display="block">(1-\zeta)S=1-\zeta^n=0.</math>
+因为 <math>\zeta\ne1</math>，故 <math>S=0</math>。这证明圆周上均匀排列的向量相互抵消。把公比换成 <math>\zeta^m</math>，若整数 <math>m</math> 不是 <math>n</math> 的倍数，同样得到和为零；若是倍数，每项为1，和为 <math>n</math>。
-这种方法有明确边界。若方程含 <math>y^2</math> 等非线性项，通常不能先随意复数化再取实部，因为 <math>\operatorname{Re}(z^2)</math> 一般不等于 <math>(\operatorname{Re}z)^2</math>。复指数作为表示工具不意味着现实量本身具有“虚数温度”或“虚数位移”；解释所取分量是建模过程的一部分。
+== 把两个同频振动合成一个 ==
+考虑 <math>\cos t+\sqrt3\sin t</math>。欧拉公式允许把两项放进同一个复乘法：
+<math display="block">(1-i\sqrt3)e^{it}=(\cos t+\sqrt3\sin t)+i(\sin t-\sqrt3\cos t).</math>
+我们要的恰好是实部。系数 <math>1-i\sqrt3</math> 长为2，方向为 <math>-\pi/3</math>，所以等于 <math>2e^{-i\pi/3}</math>。于是
+<math display="block">\cos t+\sqrt3\sin t=\operatorname{Re}(2e^{i(t-\pi/3)})=2\cos(t-\pi/3).</math>
+符号 <math>\operatorname{Re}</math> 表示取实部。原来的两项合成振幅2、相位 <math>-\pi/3</math> 的振动。振幅不是把1与 <math>\sqrt3</math> 直接相加，因为两项的峰值并不同时到达。
-== 周期性、复对数与常见误用 ==
+同频振动都带有共同因子 <math>e^{i\omega t}</math>，计算时可先相加复系数，再取实部。不同频率没有同一个这样的时间因子，通常仍需保留各自的振动。复指数在[[微分方程]]中也方便求导：一次求导乘以 <math>i\omega</math>，两次乘以 <math>-\omega^2</math>，因而直接给出 <math>y''+\omega^2y=0</math> 的振动解。
-取 <math>\theta=\pi</math> 得到 <math>e^{i\pi}+1=0</math>，称为欧拉恒等式。它是一般公式的一个特殊值，而不是全部内容。取 <math>\theta=\pi/2</math> 则得到 <math>e^{i\pi/2}=i</math>。若输入写为 90 度，指数中必须先转换成 <math>\pi/2</math>；直接写 <math>e^{90i}=i</math> 是错误的。
-一般复数指数满足 <math>e^{x+iy}=e^x(\cos y+i\sin y)</math>，其中 <math>x,y</math> 为实数。因此模为 <math>e^x</math>，从不为零；只有纯虚数指数的模固定为 1。把所有复指数都想象成单位圆，会漏掉实部控制的伸缩。
+== 从圆周回到一般复指数 ==
+对实数 <math>x,y</math>，加法律给出 <math>e^{x+iy}=e^x(\cos y+i\sin y)</math>：实部 <math>x</math> 控制长度 <math>e^x</math>，虚部 <math>y</math> 控制方向。复指数从不等于零。
-周期性使复指数不是一一映射。若 <math>z=re^{i\theta}\ne0</math>，所有满足 <math>e^w=z</math> 的值为
+反过来，给定 <math>z=re^{i\theta}\ne0</math>，求所有 <math>e^w=z</math> 的解，会得到
 <math display="block">w=\log r+i(\theta+2\pi k),\qquad k\in\mathbb Z.</math>
-选择一段角度区间可以定义一个对数分支，但这个选择会影响跨越割线时的连续性和代数规则。例如主值 <math>\operatorname{Log}(-1)=i\pi</math>，于是两次相加为 <math>2\pi i</math>，而 <math>\operatorname{Log}((-1)(-1))=\operatorname{Log}(1)=0</math>；主值对数并不总满足无条件的乘积变和。
+这就是复对数有多个值的原因。若只选幅角位于 <math>(-\pi,\pi]</math> 的主值，<math>\operatorname{Log}(-1)=i\pi</math>，但 <math>\operatorname{Log}(1)=0</math>，故 <math>\operatorname{Log}((-1)(-1))</math> 不等于两个 <math>\operatorname{Log}(-1)</math> 之和。实数对数的乘积法则在复数中需要同时处理角度的选择。
-== 相同频率的振动如何合成 ==
-考虑两个实信号 <math>\cos t</math> 与 <math>\sqrt3\sin t</math> 的和。利用正弦与余弦的相位关系，可以把合成结果写为
-<math display="block">\cos t+\sqrt3\sin t=2\cos(t-\pi/3).</math>
-检查时展开右边：<math>2\cos t\cos(\pi/3)+2\sin t\sin(\pi/3)</math> 正好得到左侧。用复数表示，则对应复振幅 <math>1-i\sqrt3=2e^{-i\pi/3}</math> 乘以 <math>e^{it}</math>，再取实部；模给振幅，幅角给相位。
-这个例子说明，振幅不能直接按普通正数相加。两个等幅但相反相位的信号可能完全抵消，同相位才达到幅值之和。复振幅的加法保留了方向信息，使计算与平面向量加法一致。在电路或波动计算中使用相量，基本思想就是把共同频率的时间因子暂时提出来，只处理这些复振幅。
-共同频率是能够这样合并为单一常复振幅的关键。若频率不同，提取一个时间因子后，剩余因子一般仍随时间变化；不能把不同频率的所有振动都压成一个固定相位的正弦。使用简洁表示时，需要说明它简化了哪部分结构，以及哪些变化仍然保留。
-== 单位根的和为何消失 ==
-令 <math>\zeta=e^{2\pi i/n}</math>，其中整数 <math>n>1</math>。单位根之和为 <math>S=1+\zeta+\cdots+\zeta^{n-1}</math>。乘以 <math>1-\zeta</math>，中间项抵消，得到 <math>(1-\zeta)S=1-\zeta^n=0</math>。由于 <math>\zeta\ne1</math>，所以 <math>S=0</math>。几何上，这些均匀分布的单位向量没有偏向任何方向。
-更一般地，整数 <math>m</math> 给出
-<math display="block">\sum_{k=0}^{n-1}e^{2\pi i mk/n}=\begin{cases}n,&n\mid m,\\0,&n\nmid m.\end{cases}</math>
-若 <math>n</math> 整除 <math>m</math>，每一项都是 1；否则公比不为 1，而第 <math>n</math> 次幂仍为 1，仍可使用有限等比求和。这个简单计算说明不同离散旋转频率之间为何能出现相消，是离散傅里叶分析中正交关系的代数来源之一。
-正交关系让一个有限数据序列可以分解为若干不同旋转频率的组合，但将这一结论推广到连续信号和无限级数，还需讨论收敛、采样与函数空间。有限求和恒等式本身没有自动回答这些分析问题；它只是提供了结构清楚的起点。
-== 微分方程给出的另一条证明路线 ==
-如果已经独立建立复指数的求导法则，以及正弦、余弦的导数，便可令 <math>u(\theta)=\cos\theta+i\sin\theta</math>，算出 <math>u'=iu</math> 且 <math>u(0)=1</math>。复指数 <math>v(\theta)=e^{i\theta}</math> 也满足相同的方程与初值。这里变量 <math>\theta</math> 为实数，可以把复方程视为两个耦合的实方程。
-要证明它们相同，不必仅说“由唯一性显然成立”。令 <math>w=u-v</math>，则 <math>w'=iw,w(0)=0</math>。模的平方是实函数，利用共轭求导可得 <math>(|w|^2)'=w'\overline w+w\overline{w'}=i|w|^2-i|w|^2=0</math>，所以模平方恒为零，进而 <math>w=0</math>。因此两者一致，欧拉公式再次得到证明。
-这条证明强调旋转运动：速度方向总与当前位置垂直，长度保持不变。级数证明则强调不同函数的解析展开如何吻合。两种证明各有前提，不能在尚未独立证明指数导数时又用欧拉公式证明它，再返回本段证明欧拉公式；那会把相互解释误当成逻辑证明。
-== 近似复指数时如何保留误差意识 ==
-计算机通常不真正相加无穷多项，而使用有限近似及数值算法。若直接截断指数级数，在有界的 <math>|z|</math> 下可以给余项估计。例如沿实参数对 <math>e^{i\theta}</math> 作泰勒展开，由各阶导数模为 1，可用积分余项得到截断到 <math>n</math> 次后的误差不超过 <math>|\theta|^{n+1}/(n+1)!</math>。误差界描述的是复数平面上的距离。
-对于很大的实角度，先利用周期性把角度规约到较小范围，通常比直接计算许多巨大而相消的级数项更合适。浮点数还可能让算出的模略偏离 1，这属于数值误差，不是公式的例外。若在反复旋转算法中长期累积这种偏差，就需要关注稳定性或重新归一化；精确恒等式与具体实现的有限精度应分别评价。
-还有一种容易混淆的运算是复数的共轭。共轭把 <math>x+iy</math> 变为 <math>x-iy</math>，几何上关于实轴反射；对于单位圆上的点，<math>\overline{e^{i\theta}}=e^{-i\theta}</math>，同时也是它的乘法逆元。因此逆时针旋转之后再按相同角度顺时针旋转，会回到原处。一般复数的逆元还需要除以模的平方，不能只把虚部变号。
-利用共轭还能从复指数中分别提取三角函数：<math>\cos\theta=(e^{i\theta}+e^{-i\theta})/2</math>，<math>\sin\theta=(e^{i\theta}-e^{-i\theta})/(2i)</math>。相加保留实部，相减保留虚部，两个公式各有明确来源。这种改写便于处理三角乘积，但其中的 <math>i</math> 仍遵守复数乘法；分母有虚数单位时，符号应通过 <math>1/i=-i</math> 核验。
-公式也解释了“旋转一次”与“把角度的数值平方”不同。复数乘法的平方把方向角加倍，而并不把角度平方；模则变成原模的平方。把指数规律和几何变量区分开，能避免在求根、相位和幂运算之间混用直觉。
-== 历史：公式与命名不是同一回事 ==
-欧拉在十八世纪系统研究指数、对数、三角函数和无穷级数之间的联系。《无穷分析引论》第一卷于 1748 年出版，其原著资料与书目记录可在太平洋大学维护的 [https://scholarlycommons.pacific.edu/euler-works/101/ Euler Archive，E101] 核验。现代写法把这些关系概括成以欧拉命名的公式。
-复数三角关系也有更早的发展背景，例如棣莫弗研究的幂与角度关系。因此不能因今天公式的名字，就把整套复数、指数与三角学说成由欧拉独自创造。这里采用的是现代级数证明，它解释了公式为何成立，并不声称逐字再现十八世纪原著的证明方式。有关人物与背景可参见 [https://mathshistory.st-andrews.ac.uk/Biographies/Euler/ MacTutor：Euler] 与 [https://mathshistory.st-andrews.ac.uk/Biographies/De_Moivre/ De Moivre]。
-== English overview ==
-<div lang="en" class="math-english-summary">
-Euler's formula identifies a complex exponential with a point on the unit circle: its real coordinate is a cosine and its imaginary coordinate is a sine. The angle is measured in radians. A rigorous route defines the complex exponential by an absolutely convergent power series, separates its even and odd terms, and recognizes the corresponding trigonometric series. Convergence justifies these rearrangements.
-Geometrically, multiplication by a unit complex number rotates the plane. Multiplication of general nonzero complex numbers combines a change of scale with addition of angles. This interpretation produces rotation matrices, angle-addition identities, integer powers, and the equally spaced roots of unity. Solving a complex power equation requires retaining all angles that differ by complete revolutions.
+共轭把角度反号：<math>\overline{e^{i\theta}}=e^{-i\theta}</math>。将这两个数相加、相减，分别保留实部、虚部，便有
+<math display="block">\cos\theta=\frac{e^{i\theta}+e^{-i\theta}}2,\qquad \sin\theta=\frac{e^{i\theta}-e^{-i\theta}}{2i}.</math>
+三角函数既可以画成圆上的坐标，也可以写成旋转指数的组合。
-Complex exponentials also simplify linear differential equations because differentiation multiplies an exponential by its exponent coefficient. Taking real parts recovers real oscillations when the operator has real coefficients and is linear. Periodicity creates an important limitation: the exponential is not one-to-one, so a complex logarithm requires branch choices. The familiar identity involving e, i, pi, one, and zero is a special case of a broader relationship between analysis and planar geometry.
+== 历史 ==
-</div>
+棣莫弗在十八世纪研究复数的幂与角度之间的关系，欧拉则系统发展了指数、对数、三角函数与无穷级数的联系。《无穷分析引论》第一卷出版于1748年；[https://scholarlycommons.pacific.edu/euler-works/101/ Euler Archive E101]保存了原著及书目信息。[https://mathshistory.st-andrews.ac.uk/Biographies/De_Moivre/ MacTutor：De Moivre]与[https://mathshistory.st-andrews.ac.uk/Biographies/Euler/ Euler]记录了相关人物的工作。
-== 编者评注（AI 辅助） ==
+此处讨论的复指数恒等式，与多面体顶点、棱、面之间的 <math>V-E+F=2</math> 同称“欧拉公式”，但属于不同问题。
-本站选择把级数证明与旋转计算放在同一篇，是希望区分“成立的理由”与“好用的表示”。这是编排判断，而不是认为其他证明路线较差。单位根例子显示幅角的多值性能够产生全部解，对数例子则显示同一性质也会限制代数规则。理解公式时，如果既能解释一次旋转为何保持长度，又能指出级数重排为何合法，所得认识通常比只记住一个特殊恒等式更完整。
 == 来源与继续阅读 ==