把 e 拓展到复数：e^{ix}

问题提出

呼噜星球的学生们已经掌握了 $e^x$ 在实数范围内的性质。有一天，一个大胆的学生问：

老师，指数的幂次可以是虚数吗？$e^{ix}$ 是什么意思？

其他学生议论纷纷：

• “指数怎么能是虚数呢？$e$ 自乘 $ix$ 次？这说不通啊！”
• “我们有 $e^x$ 的级数定义，能不能把 $x$ 换成 $ix$？”

这个问题非常深刻。在实数范围内，$a^b$ 可以理解为 $a$ 自乘 $b$ 次，但当 $b$ 是虚数时，这种直观解释失效了。

我告诉学生们：

要定义 $e^{ix}$，我们需要放弃”自乘”的直观，转而使用级数定义——这是将指数函数拓展到复数域的关键。

观察与猜想

回顾 $e^x$ 的级数定义：

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

如果我们把 $x$ 换成 $ix$（$i$ 是虚数单位，$i^2 = -1$），会发生什么？

$e^{ix} = 1 + ix + \frac{(ix)^2}{2!} + \frac{(ix)^3}{3!} + \frac{(ix)^4}{4!} + \frac{(ix)^5}{5!} + \cdots$

利用 $i^2 = -1$，$i^3 = -i$，$i^4 = 1$，$i^5 = i$，化简：

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

把实部和虚部分开：

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

学生们盯着这两个括号，突然有人喊道：

第一个括号是 $\cos x$ 的泰勒展开！第二个括号是 $\sin x$ 的泰勒展开！

没错！

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

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

所以学生们大胆猜想：

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

这就是著名的欧拉公式！

严格证明

定义复指数函数

对任意复数 $z = x + iy$，定义：

$e^z = \sum_{k=0}^{\infty} \frac{z^k}{k!}$

可以证明这个级数对所有复数 $z$ 都收敛（由比值判别法）。

推导欧拉公式

令 $z = ix$（$x$ 为实数）：

$e^{ix} = \sum_{k=0}^{\infty} \frac{(ix)^k}{k!}$

将级数按奇偶项分开：

$e^{ix} = \sum_{m=0}^{\infty} \frac{(ix)^{2m}}{(2m)!} + \sum_{m=0}^{\infty} \frac{(ix)^{2m+1}}{(2m+1)!}$

化简：

$= \sum_{m=0}^{\infty} \frac{i^{2m}x^{2m}}{(2m)!} + \sum_{m=0}^{\infty} \frac{i^{2m+1}x^{2m+1}}{(2m+1)!}$

因为 $i^{2m} = (-1)^m$，$i^{2m+1} = i(-1)^m$：

$= \sum_{m=0}^{\infty} (-1)^m \frac{x^{2m}}{(2m)!} + i\sum_{m=0}^{\infty} (-1)^m \frac{x^{2m+1}}{(2m+1)!}$

第一个和就是 $\cos x$，第二个和就是 $\sin x$。因此：

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

复指数的运算性质

可以验证复指数函数仍然满足指数法则：

$e^{z_1 + z_2} = e^{z_1} \cdot e^{z_2}$

特别地：

$e^{ix} \cdot e^{iy} = e^{i(x+y)}$

用欧拉公式展开左边：

$(\cos x + i\sin x)(\cos y + i\sin y) = (\cos x \cos y - \sin x \sin y) + i(\sin x \cos y + \cos x \sin y)$

右边：

$\cos(x+y) + i\sin(x+y)$

这正好给出了三角函数的和角公式！这说明欧拉公式不是一个孤立的巧合，而是指数运算和三角函数之间的深刻联系。

几何解释

在复平面上，$e^{ix}$ 表示单位圆上角度为 $x$ 的点：

• 实部 $\cos x$ 是横坐标
• 虚部 $\sin x$ 是纵坐标
• 模长 $|e^{ix}| = \sqrt{\cos^2 x + \sin^2 x} = 1$

当 $x$ 从 $0$ 增加到 $2\pi$ 时，$e^{ix}$ 绕单位圆旋转一周。

更一般地，任意复数 $z$ 可以写成极坐标形式：

$z = r(\cos\theta + i\sin\theta) = re^{i\theta}$

其中 $r = |z|$ 是模长，$\theta$ 是辐角。

结论与应用

• 欧拉公式：$e^{ix} = \cos x + i\sin x$
• 复指数定义：$e^z = \sum_{k=0}^{\infty} \frac{z^k}{k!}$，对所有复数 $z$ 收敛
• 几何意义：$e^{ix}$ 是复平面单位圆上角度为 $x$ 的点
• 复数极坐标：$z = re^{i\theta}$

呼噜星球的学生们被这个公式深深震撼。一个学生说：

太不可思议了！一个从复利和增长中诞生的常数 $e$，竟然能和三角函数、虚数单位完美地结合在一起！

我告诉他们：

欧拉公式只是开胃菜。下一章，我们将代入一个特殊的 $x$ 值，得到数学中最美丽的等式——欧拉恒等式。

上一章节e 的跨界能力：复平面里的 e从 e^{ix} 到欧拉恒等式

下一章节欧拉恒等式与棣莫弗定理探索 e^{i\pi}+1=0 及其与三角形式的联系