复数

什么是复数#

复数（Complex Numbers）是数的一次根本性扩充，它将实数轴扩展成一个平面——复平面。复数不只是数学家的游戏，它是量子力学的基础语言，是信号处理、电路分析、流体力学不可或缺的工具。

核心定义：首先引入虚数单位 $i$，它满足：

$$i^2 = -1$$

一个复数是形如 $z = a + bi$ 的数，其中 $a, b$ 是实数。 - $a = \mathrm{Re}(z)$ 称为 $z$ 的实部（real part） - $b = \mathrm{Im}(z)$ 称为 $z$ 的虚部（imaginary part）

若 $b = 0$，$z$ 就是普通的实数；若 $a = 0$，$z$ 是纯虚数。

把实数轴扩成平面，不是为了多写一个符号 $i$，而是因为一条线上的乘法做不出旋转。实数轴上的乘法只能沿原方向伸缩，或乘以负数后反向；乘以 $i$ 则把这条线转到与它垂直的方向，于是相位、振荡、交流电这些“转一圈再回来”的对象第一次写进了数里。复分析随后证明，一旦允许沿平面上任意路径求导，可导一次就会自动无穷次可导，并且局部等于幂级数——平面不只是一张图，它改变了函数能有多驯服。

为什么需要虚数#

历史上，人们引入虚数是迫不得已——不是为了好玩，而是因为在解方程时，实数不够用了。最简单的例子：方程 $x^2 = -1$ 在实数范围内无解——任何实数的平方都非负。但如果规定 $i$ 是一个新的数，满足 $i^2 = -1$，那么 $x = i$ 和 $x = -i$ 就是两个解。更早的动机来自三次方程。意大利数学家卡尔达诺（Gerolamo Cardano，1501—1576）在1545年发现，三次方程的求根公式中，有时即使最终答案是实数，中间步骤也必须经过虚数——绕不过去。这被称为"不可约情形"（casus irreducibilis）：

$$x^3 - 15x - 4 = 0$$

用卡尔达诺公式计算，中间出现 $\sqrt{-121}$，但这个方程明明有实数解 $x = 4$。正确处理这个虚数中间量，才能得到实数答案。复数不是数学家的奢侈品，而是实数问题的必需工具。

二次方程缺根只是课堂里最显眼的缺口。三次的不可约情形更刺耳：公式的中间步骤必须经过虚数，最终答案却是实的。邦贝利在 1572 年的《代数》里假定立方根仍可写成 $a+\sqrt{-b}$ 的形状，对出来 $a=2$、$b=1$，于是两段虚量相加恰好得到 $4$。

结论不是虚数比实数更高级，而是：即便最终答案落在实轴上，中间步骤也可以合法地走出实数轴。不承认这段迂回，三次公式在所谓不可约情形里就会停住。

复数的运算#

复数的加法、减法、乘法、除法都有自然的定义：

加法：$(a + bi) + (c + di) = (a+c) + (b+d)i$

乘法：$(a + bi)(c + di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i$

关键：$i^2 = -1$ 让虚数项和实数项之间有了"交流"。

共轭：$z = a + bi$ 的复共轭是 $\bar{z} = a - bi$，虚部取反号。

模：$z$ 的模（或绝对值）是 $|z| = \sqrt{a^2 + b^2}$——这是原点到复平面上点 $(a, b)$ 的距离。

有了共轭，除法变得可行：

$$\frac{1}{z} = \frac{\bar{z}}{|z|^2} = \frac{a - bi}{a^2 + b^2}$$

验证：$z \cdot \frac{1}{z} = \frac{(a+bi)(a-bi)}{a^2+b^2} = \frac{a^2+b^2}{a^2+b^2} = 1$ ✓

共轭在几何上是对实轴的反射。模 $|z|$ 是原点到点的距离，因此 $|z|^2=z\bar{z}$ 是这个距离的平方。除以 $z$ 之所以能写成乘以 $\bar{z}/|z|^2$，正是因为反射再缩放给出了乘法逆。零没有逆，对应几何上原点没有方向、也没有长度的倒数。

复平面：几何直觉#

复数的革命性在于它有几何意义。法国业余数学家阿尔冈（Jean-Robert Argand，1768—1822）在1806年提出：将复数 $z = a + bi$ 表示为平面上的点 $(a, b)$——这个平面称为复平面（complex plane）或阿尔冈图（Argand diagram）。

在复平面中： - 横轴是实轴（实部） - 纵轴是虚轴（虚部） - 复数 $z = a + bi$ 对应点 $(a, b)$

这一表示赋予了复数运算几何含义： - 加法：两个向量的向量加法 - 乘法：旋转加伸缩（见下文极坐标表示）

极坐标表示：复数 $z$ 也可以用极坐标表示。设 $|z| = r$（模），$\arg z = \theta$（辐角，即从正实轴到向量 $z$ 的角度，弧度制），则：

$$z = r(\cos\theta + i\sin\theta)$$

结合欧拉公式（见下文）：$z = r e^{i\theta}$

乘法的几何意义：若 $z_1 = r_1 e^{i\theta_1}$，$z_2 = r_2 e^{i\theta_2}$，则：

$$z_1 z_2 = r_1 r_2 \cdot e^{i(\theta_1 + \theta_2)}$$

即：模相乘，辐角相加。乘以一个复数，相当于对复平面上的点进行旋转和伸缩。乘以 $i = e^{i\pi/2}$，就是逆时针旋转90°。这是复数最深刻的几何直觉。

几何图像并不是阿尔冈一个人的发明。丹麦测绘员韦塞尔（Caspar Wessel，1745—1818）1797 年向丹麦皇家科学院宣读、1799 年发表《方向的解析表示》，已经把 $a+bi$ 写成平面上的有向线段：加法是平行四边形法则，乘法是转角相加、长度相乘。这篇丹麦文论文几乎没有读者，几何表示因此长期记在阿尔冈 1806 年那本自费小册子上。

高斯 1831 年在二次剩余的第二评注里公开把复数等同于平面点 $(a,b)$，并改用“复数”这个词：它不再是“想象出来的量”，而是一对实数配上规定好的乘法。平面比直线多一个垂直方向，恰好够装下乘以 $i$ 的九十度旋转；再往三维走，乘法就不能同时保持结合律、交换律和对除法的要求——这是后来哈密顿发现四元数必须放弃交换律的伏笔，不是复平面本身的缺陷。

欧拉公式#

欧拉公式（Euler's formula）是数学史上最美丽的等式之一：

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

当 $\theta = \pi$ 时，得到欧拉恒等式：

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

这个等式将数学中五个最基本的常数——$e$（自然对数底）、$i$（虚数单位）、$\pi$（圆周率）、$1$（乘法单位元）、$0$（加法单位元）——用一个简洁的等式联系起来。欧拉公式的推导依赖泰勒级数：将 $e^x = \sum x^n/n!$ 中的 $x$ 替换为 $i\theta$，整理实部和虚部，恰好得到 $\cos\theta$ 和 $\sin\theta$ 的泰勒展开（参见trigonometry三角函数词条）。欧拉公式的重要推论：

$$\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}, \quad \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}$$

这两个式子将三角函数表达为复指数函数，使得很多三角恒等式的推导变成简单的代数运算。

欧拉 1748 年《无穷分析引论》第八章走的是级数，不是先在复平面上画圆。他把 $e^{ix}$ 展开，按实部、虚部分组，认出那正是余弦与正弦早已知道的麦克劳林级数。罗杰·科茨 1714 年写过等价的对数形式 $ix=\ln(\cos x+i\sin x)$，但把指数、三角与虚数单位写成同一条公式的，是欧拉。

几何读法——$e^{i\theta}$ 是单位圆上辐角为 $\theta$ 的点——要等到韦塞尔与阿尔冈把复数画成平面之后，才成为教科书的标准画面。一旦接受这幅图，$e^{i\pi}=-1$ 只是说：从 $1$ 出发沿单位圆转半周，落到 $-1$。它不定义 $e$、$i$ 或 $\pi$ 中的任何一个，只约束三者已经各自独立存在之后必须满足的关系。参见欧拉恒等式与泰勒定理。

代数基本定理#

复数最重要的理论意义是代数基本定理（Fundamental Theorem of Algebra）：

任何次数 $n \geq 1$ 的复系数多项式 $p(z) = z^n + a_{n-1}z^{n-1} + \cdots + a_0$，在复数域中恰好有 $n$ 个根（计重数）。

这个定理说：复数是"代数封闭"的——在复数范围内，多项式方程永远有解。实数则不然（$x^2 + 1 = 0$ 无实数解）。该定理由高斯（Carl Friedrich Gauss）在1799年的博士论文中首次严格证明（虽然证明有一处依赖于几何直觉，后来才被补全）。高斯一生给出了这个定理的多个不同证明，足见他对这个定理的重视。

推论：任何实系数多项式都可以在实数中分解为一次和二次因式的乘积——其中二次因式对应共轭复数根。例如 $x^4 + 1 = (x^2 + \sqrt{2}x + 1)(x^2 - \sqrt{2}x + 1)$。

吉拉尔 1629 年已经猜测 $n$ 次方程该有 $n$ 个根，但当时连这些根必须落在哪种数里都说不清。代数基本定理真正钉死的是：把实数扩成复数之后，不必再为了求根而发明更新的数——$\mathbb{C}$ 作为域已经代数封闭。纯代数的四则运算证明不了这件事：奇数次实系数多项式“必有实根”在不完备的有序域上可以失败，存在性必须借用连续性或全纯函数。

刘维尔路线是今天最干净的分析证明：若 $p$ 无根，则 $1/p$ 是有界整函数，因而为常数，与次数 $n\ge 1$ 矛盾。名字里的“代数”容易误导人：它保证根存在，不保证能用根式写出来——后者是伽罗瓦理论的事。推论落到线性代数：复方阵的特征多项式必有根，因而一定有特征值；实矩阵则可能只有复特征值，必须放到复数域上才能说完对角化或若尔当形。详见代数基本定理。

复数的现代应用#

量子力学#

量子力学是复数最深刻的物理应用。量子态由复值波函数 $\psi(x, t)$ 描述，薛定谔方程：

$$i\hbar\frac{\partial\psi}{\partial t} = -\frac{\hbar^2}{2m}\frac{\partial^2\psi}{\partial x^2} + V\psi$$

方程中的 $i$ 不是偶然的——量子力学本质上是复数的理论。物理可观测量是 $|\psi|^2$（概率密度），但波函数本身是复数。量子叠加态、干涉、相位——这些量子力学的核心概念，都依赖于复数的相位结构。

信号处理与电路分析#

交流电路：电压 $V = V_0 e^{i\omega t}$，电感 $L$ 和电容 $C$ 的阻抗分别是 $i\omega L$ 和 $1/(i\omega C)$，用复数表示后，基尔霍夫定律变成简单的代数方程，避免了繁琐的三角函数运算。

信号处理：离散傅里叶变换（DFT）将时域信号 $x[n]$ 变换到频域 $X[k]$，公式中包含 $e^{-2\pi i kn/N}$——正是复数的旋转。快速傅里叶变换（FFT）是现代数字信号处理的核心算法，依赖复数的代数结构实现高效计算。

$e^{i\omega t}$ 把正弦与余弦捆成一次旋转。傅里叶变换把信号拆成这些旋转的叠加，相位差就是复平面上的辐角。没有复数，滤波与调制仍能用实三角恒等式硬算，只是每一步都要分开写正弦和余弦。傅里叶分析与信号处理把这套代数变成算法。

流体力学：势流理论#

在二维无黏不可压流体中，复速度势 $F(z) = \phi + i\psi$（$z = x + iy$）将流动问题转化为复分析问题。复平面上的解析函数自动满足拉普拉斯方程，可以用保角映射等工具分析绕圆柱体、翼型等复杂几何的流场。

历史：虚数从"不可能"到不可或缺#

虚数的历史是数学接受"不舒适"概念的漫长过程。

卡尔达诺（1545年）：第一次在计算中使用 $\sqrt{-15}$ 等量，但称它们是"无用的"和"神秘的"。

邦贝利（Rafael Bombelli，1572年）：系统发展了复数的运算规则，意识到用虚数可以正确处理三次方程的不可约情形。但他也承认，复数的意义仍不清楚。

笛卡尔（1637年）：引入了"虚数"（imaginary）这个词——这个词带有"想象出来的、不真实的"的意味，是一种隐含的贬低。这个不幸的名字沿用至今。

莱布尼茨（17世纪末）：视复数为"上帝的两栖动物，既存在又不存在"——足见当时数学家的迷惑。

欧拉：在1748年的《无穷分析引论》中给出了 $e^{ix} = \cos x + i\sin x$，将复指数与三角函数统一（后人由此整理出 $e^{i\pi} + 1 = 0$）；他还在1777年的一篇论文中引入了符号 $i$ 表示虚数单位。欧拉开始将复数视为正常的数来运算。欧拉公式比复平面的通行画法更早：1748 年的级数论证并不依赖阿尔冈图；单位圆图像是韦塞尔、阿尔冈与高斯把 $a+bi$ 画成平面点之后，后人才读出来的。

高斯（1799—1832年）：将复数定义为实数对 $(a, b)$，配备加法 $(a, b)+(c, d) = (a+c, b+d)$ 和乘法 $(a, b)(c, d) = (ac-bd, ad+bc)$——彻底将复数建立在实数的基础上，不再需要"虚数"这个神秘的概念。高斯还推广了复数平面的使用，并在1831年引入了"复数"（complex number）这个词（代替"虚数"）。

复数的推广：四元数与更高维#

哈密顿（William Hamilton，1805—1865）在1843年试图构造三维的"复数"，失败了——但他意外发现了四元数（quaternions）：

$$q = a + bi + cj + dk, \quad i^2 = j^2 = k^2 = ijk = -1$$

四元数是非交换的（$ij = k$ 但 $ji = -k$），可以看作4维的"超复数"，用于描述三维旋转（今天在计算机图形学、机器人、航空航天中广泛使用）。诺特（Emmy Noether）和格罗滕迪克（Alexander Grothendieck）的代数工作，将复数推广到一般的域（field）——复数是实数域的"代数闭包"。复数在代数几何中作为"基底域"，是描述代数簇的自然环境。

常见误区#

• "虚数是虚构的、不真实的"：名字误导了人。虚数和实数一样"真实"——量子力学的波函数是复值的，交流电路用复数计算，这些都是真实的物理现象。
• "$i = \sqrt{-1}$"这个写法有风险：严格来说，$i$ 是满足 $i^2 = -1$ 的数，而不是"$-1$的平方根"（$-1$ 的平方根有两个：$i$ 和 $-i$）。在实数中，$\sqrt{ab} = \sqrt{a}\sqrt{b}$，但在复数中这个性质不一定成立：$\sqrt{(-1)(-1)} = \sqrt{1} = 1$，但 $\sqrt{-1}\sqrt{-1} = i \cdot i = -1 \neq 1$。
• "实数是复数的特殊情形"：这是正确的——实数就是虚部为零的复数。复数是更大的数系，完全包含实数。

跨域连接#

• 代数基本定理：只需添进一个虚数单位，此后每个非常数多项式都有根。推论是：复数不是"又一次凑合的扩充"，而是这一列扩充的终点——为解多项式而造新数的历程到此结束，而"到此为止"这件事本身需要证明，不能靠直觉断定。
• 概率幅的相位：量子理论里的幅是复数，两条路径的幅先相加再取模方，交叉项就是干涉。推论是：把理论限制到实数上并非只是换记号——多体纠缠的某些关联在实数版本里给出不同的预言，因此两者原则上可以被实验分辨开。
• 复折射率：一个复数同时编码光在介质里走得多慢（实部）与衰减得多快（虚部），而因果性把这两部分绑在一起。推论是：只要测全了整段吸收谱，就能把折射率算出来而不必再测一次——这条互推关系可以拿两组独立测量直接对账。
• 磁共振的原始信号：采集到的数据本身就是复数，模给出强度，辐角给出相位。推论是：只保留模就丢掉了相位所携带的流速与磁化率信息，相位对比类成像因此无法从常规的幅值图像事后重建，必须在采集阶段就留住复数。
• 交流电路：把正弦量写成复指数后，求导变成乘一个常数，微分方程随之塌缩为代数方程。推论是：阻抗的辐角可以直接读作电压与电流的相位差，而串并联的合成规则与直流电阻完全同形——省掉的是整套三角恒等式。

参考文献#

1. Needham, Tristan, Visual Complex Analysis, Oxford University Press, 1997（以几何直觉为核心讲解复分析，被许多数学家推荐为最美的数学书之一）。
2. Euler, Leonhard, Introductio in analysin infinitorum, Lausanne, 1748（欧拉公式的级数形式）。
3. 高斯（Gauss），《算术探索》（Disquisitiones Arithmeticae），1801（高斯对复数的系统讨论散见于其数论研究中）。
4. Ahlfors, Lars, Complex Analysis, 3rd ed., McGraw-Hill, 1979（标准的复分析研究生教材，以复数的严格理论为基础）。
5. Cardano, Gerolamo, Artis magnae, sive de regulis algebraicis, Nuremberg, 1545（三次公式与不可约情形的原始出处）。
6. Wessel, Caspar, "Om directionens analytiske betegning", Nye Samling af det Kongelige Danske Videnskabernes Selskabs Skrifter, 1799（复平面几何表示；1797 年宣读）。

延伸阅读#

1. Nahin, Paul J., An Imaginary Tale: The Story of $\sqrt{-1}$, Princeton University Press, 1998（虚数历史的普及读物，叙述生动）。

「复数是上帝最精妙的创造，数学家可以用它来计算，物理学家可以用它来描述世界。」——雅克·哈达马（Jacques Hadamard，意译概括，确切原文存疑）