跳转到内容
← 返回概念
基础概念约 16 分钟阅读

复数

Complex Numbers

关键人物

eulergaussargandhamiltonriemann
复数虚数单位复平面欧拉公式基础概念

什么是复数

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

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

i2=−1i^2 = -1

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

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

为什么需要虚数

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

x3−15x−4=0x^3 - 15x - 4 = 0

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

复数的运算

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

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

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

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

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

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

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

1z=zˉ∣z∣2=a−bia2+b2\frac{1}{z} = \frac{\bar{z}}{|z|^2} = \frac{a - bi}{a^2 + b^2}

验证：z⋅1z=(a+bi)(a−bi)a2+b2=a2+b2a2+b2=1z \cdot \frac{1}{z} = \frac{(a+bi)(a-bi)}{a^2+b^2} = \frac{a^2+b^2}{a^2+b^2} = 1 ✓

复平面：几何直觉

复数的革命性在于它有几何意义。法国业余数学家阿尔冈（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=θ\arg z = \theta（辐角，即从正实轴到向量 $z$ 的角度，弧度制），则：

z=r(cos⁡θ+isin⁡θ)z = r(\cos\theta + i\sin\theta)

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

乘法的几何意义：若 z1=r1eiθ1z_1 = r_1 e^{i\theta_1}，z2=r2eiθ2z_2 = r_2 e^{i\theta_2}，则：

z1z2=r1r2⋅ei(θ1+θ2)z_1 z_2 = r_1 r_2 \cdot e^{i(\theta_1 + \theta_2)}

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

欧拉公式

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

eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta

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

eiπ+1=0e^{i\pi} + 1 = 0

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

cos⁡θ=eiθ+e−iθ2,sin⁡θ=eiθ−e−iθ2i\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}, \quad \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}

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

代数基本定理

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

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

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

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

复数的现代应用

量子力学

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

iℏ∂ψ∂t=−ℏ22m∂2ψ∂x2+Vψi\hbar\frac{\partial\psi}{\partial t} = -\frac{\hbar^2}{2m}\frac{\partial^2\psi}{\partial x^2} + V\psi

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

信号处理与电路分析

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

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

流体力学：势流理论

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

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

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

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

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

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

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

欧拉：在1748年的《无穷分析引论》中给出了 eix=cos⁡x+isin⁡xe^{ix} = \cos x + i\sin x，将复指数与三角函数统一（后人由此整理出 eiπ+1=0e^{i\pi} + 1 = 0）；他还在1777年的一篇论文中引入了符号 $i$ 表示虚数单位。欧拉开始将复数视为正常的数来运算。

高斯（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,i2=j2=k2=ijk=−1q = a + bi + cj + dk, \quad i^2 = j^2 = k^2 = ijk = -1

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

常见误区

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

跨域连接

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

参考文献

  1. Needham, Tristan, Visual Complex Analysis, Oxford University Press, 1997（以几何直觉为核心讲解复分析，被许多数学家推荐为最美的数学书之一）。
  2. 高斯（Gauss），《算术探索》（Disquisitiones Arithmeticae），1801（高斯对复数的系统讨论散见于其数论研究中）。
  3. Ahlfors, Lars, Complex Analysis, 3rd ed., McGraw-Hill, 1979（标准的复分析研究生教材，以复数的严格理论为基础）。

延伸阅读

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

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