ARTICLE

复数

复数 (Complex Number) 是形如 a + bi 的数,其中 a, b R,i 为虚数单位,满足 i^2 = -1。实数 a 称为复数的实部(Real Part),记作 Re(z);实数 b 称为虚部(Imaginary Part),记作 Im(z)。复数域 C 是实数域 R 的扩张,其根本优势在于代数封闭性:任何非常数复系数多项式在 C 中至少

浏览 8 更新 2025-07-16

复数 (Complex Number) 是形如 a+bia + bi 的数,其中 a,bRa, b \in \mathbb{R}ii虚数单位,满足 i2=1i^2 = -1。实数 aa 称为复数的实部(Real Part),记作 Re(z)\operatorname{Re}(z);实数 bb 称为虚部(Imaginary Part),记作 Im(z)\operatorname{Im}(z)。复数域 C\mathbb{C} 是实数域 R\mathbb{R} 的扩张,其根本优势在于代数封闭性:任何非常数复系数多项式在 C\mathbb{C} 中至少有一个根(代数基本定理),这使 C\mathbb{C} 成为现代数学、物理学与工程科学的通用语言。

1. 历史沿革

复数观念的萌芽可追溯至16世纪意大利数学家卡尔达诺(Gerolamo Cardano, 1545)对三次方程 x3+px=qx^3 + px = q 的研究。卡尔达诺发现,即使三个根均为实数,求解公式也会在中间步骤产生负数平方根。他称其为"诡辩的量",但无法回避其存在。1572年,邦贝利(Rafael Bombelli)系统性地给出了虚数的加减乘除规则,奠定了复数代数的运算基础。

17—18世纪,复数逐渐走向成熟。欧拉(Leonhard Euler, 1777)引入符号 i=1i = \sqrt{-1},并发现了划时代的欧拉公式 eiθ=cosθ+isinθe^{i\theta} = \cos\theta + i\sin\theta,将指数函数与三角函数统一为一个简洁的等式。高斯(Carl Friedrich Gauss, 1831)引入"复数"这一术语,并提出复平面的几何表示——将复数 a+bia+bi 对应到平面上的点 (a,b)(a,b),彻底消解了"虚数"的哲学疑虑。此后,柯西(Augustin-Louis Cauchy)与黎曼(Bernhard Riemann)建立了复分析这一完整的数学分支。

2. 代数结构与运算

复数集 C\mathbb{C} 构成一个(Field),即满足加法与乘法的封闭性、交换律、结合律、分配律,且每个非零元素都有乘法逆元。复数的四则运算规则如下:

  • 加法(a+bi)+(c+di)=(a+c)+(b+d)i(a+bi) + (c+di) = (a+c) + (b+d)i
  • 减法(a+bi)(c+di)=(ac)+(bd)i(a+bi) - (c+di) = (a-c) + (b-d)i
  • 乘法(a+bi)(c+di)=(acbd)+(ad+bc)i(a+bi)(c+di) = (ac - bd) + (ad + bc)i
  • 除法a+bic+di=(a+bi)(cdi)c2+d2=ac+bdc2+d2+bcadc2+d2i\dfrac{a+bi}{c+di} = \dfrac{(a+bi)(c-di)}{c^2+d^2} = \dfrac{ac+bd}{c^2+d^2} + \dfrac{bc-ad}{c^2+d^2}i,其中 c+di0c+di \neq 0

虚数单位 ii 具有周期幂性质:i1=i,  i2=1,  i3=i,  i4=1i^1 = i,\; i^2 = -1,\; i^3 = -i,\; i^4 = 1,周期为 4。这一简洁的周期性使复数代数运算始终保持优雅的闭环结构。

3. 几何表示

复数最关键的认知突破是复平面(Complex Plane,亦称高斯平面或阿尔冈图)。在此平面上,横轴(实轴)代表实部 aa,纵轴(虚轴)代表虚部 bb,复数 z=a+biz = a + bi 对应坐标为 (a,b)(a, b) 的点。

复数的(Modulus)定义为 z=a2+b2|z| = \sqrt{a^2 + b^2},即该点到原点的欧氏距离。辐角(Argument)arg(z)\arg(z) 定义为从正实轴到点 (a,b)(a,b) 的向量方向的夹角,满足 tan(arg(z))=b/a\tan(\arg(z)) = b/a。辐角不是唯一的——相差 2π2\pi 的整数倍均表示同一方向,通常取主值 Arg(z)(π,π]\operatorname{Arg}(z) \in (-\pi, \pi]

任意非零复数 zz 可表示为极坐标形式

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

其中 r=zr = |z|θ=arg(z)\theta = \arg(z)。结合欧拉公式,可进一步缩写为指数形式:

z=reiθz = re^{i\theta}

这一形式将复数的乘法转化为模的乘积与辐角的加法:若 z1=r1eiθ1z_1 = r_1 e^{i\theta_1}z2=r2eiθ2z_2 = r_2 e^{i\theta_2},则

z1z2=r1r2ei(θ1+θ2),z1z2=r1r2ei(θ1θ2)z_1 z_2 = r_1 r_2 e^{i(\theta_1 + \theta_2)},\quad \frac{z_1}{z_2} = \frac{r_1}{r_2} e^{i(\theta_1 - \theta_2)}

几何上,乘以复数 reiθre^{i\theta} 等价于将向量缩放 rr 倍并逆时针旋转 θ\theta 弧度。乘以 ii 即为逆时针旋转 9090^\circ

4. 共轭复数与模的运算

复数 z=a+biz = a+bi共轭复数(Conjugate)定义为 z=abi\overline{z} = a - bi。共轭运算保持实部不变、虚部取反,几何上对应复平面关于实轴的反射。共轭满足以下重要性质:

  • zz=a2+b2=z2z \cdot \overline{z} = a^2 + b^2 = |z|^2
  • z1+z2=z1+z2\overline{z_1 + z_2} = \overline{z_1} + \overline{z_2}z1z2=z1z2\overline{z_1 z_2} = \overline{z_1} \cdot \overline{z_2}
  • z=z\overline{\overline{z}} = z
  • z0z \neq 0,则 z1=z/z2z^{-1} = \overline{z} / |z|^2

共轭运算在除法计算和多项式理论中至关重要:实系数多项式的非实根必以共轭对形式出现,这是实多项式根分布的基本规律。

5. 棣莫弗公式与单位根

棣莫弗公式(de Moivre's Formula)是复数乘方运算的核心工具:

(r(cosθ+isinθ))n=rn(cosnθ+isinnθ),nZ(r(\cos\theta + i\sin\theta))^n = r^n(\cos n\theta + i\sin n\theta),\quad n \in \mathbb{Z}

该公式揭示了复数的整数次幂即是对模的幂乘和对辐角的整数倍缩放。

nn单位根(Roots of Unity)是方程 zn=1z^n = 1 的全部解,由下式给出:

zk=e2πik/n=cos2πkn+isin2πkn,k=0,1,,n1z_k = e^{2\pi i k / n} = \cos\frac{2\pi k}{n} + i\sin\frac{2\pi k}{n},\quad k = 0,1,\ldots,n-1

nn 个单位根在复平面上均匀分布在单位圆上,构成一个 nn 阶循环群。单位根在傅里叶变换(尤其是离散傅里叶变换 DFT 中的旋转因子 WNknW_N^{kn})、数论中的同余方程求解以及群表示论中均有基础性应用。

6. 代数基本定理

代数基本定理(Fundamental Theorem of Algebra)是复数理论的核心结论:任何 nn 次复系数多项式 P(z)=anzn+an1zn1++a0P(z) = a_n z^n + a_{n-1}z^{n-1} + \cdots + a_0(其中 an0a_n \neq 0)在 C\mathbb{C} 上恰有 nn 个根(计入重数)。换言之,复数域是代数封闭的。

该定理的首次严格证明由高斯于1799年在其博士论文中给出(尽管达朗贝尔于1746年已提出该断言)。代数基本定理意味着复多项式总可分解为一次因式的乘积:

P(z)=ank=1n(zzk)P(z) = a_n \prod_{k=1}^n (z - z_k)

这一性质在实数域中不成立——例如 x2+1=0x^2 + 1 = 0R\mathbb{R} 中无解。正是代数封闭性使复数从"可疑的数"升格为数学分析的标准基底。

7. 在经济学中的应用

复数在经济学和金融学中扮演着深刻且实用的角色。

时间序列计量经济学中,单位根检验(如 Augmented Dickey-Fuller 检验)和谱分析依赖特征方程根在复平面上的位置。对于 AR(p) 模型 yt=ϕ1yt1++ϕpytp+εty_t = \phi_1 y_{t-1} + \cdots + \phi_p y_{t-p} + \varepsilon_t,特征方程 1ϕ1zϕ2z2ϕpzp=01 - \phi_1 z - \phi_2 z^2 - \cdots - \phi_p z^p = 0 的复根以共轭对形式出现。若根的模均小于1,过程平稳;共轭复根的辐角 ω\omega 决定了经济周期的自然频率,对应的周期长度为 2π/ω2\pi / \omega。这一方法被广泛用于识别宏观时间序列中的隐含周期成分。

金融工程中,特征函数 ϕX(u)=E[eiuX]\phi_X(u) = \mathbb{E}[e^{iuX}](即概率密度的傅里叶变换)是期权定价的基石。在随机波动率模型(如 Heston 模型)和 Lévy 过程定价中,特征函数方法避免了复杂的偏微分方程数值求解,直接通过快速傅里叶变换(FFT)计算期权价格。Carr-Madan (1999) 开创性地证明,欧式看涨期权的价格可由特征函数的单一积分表达,使复数分析成为现代定量金融的标准工具。

宏观经济学中,动态随机一般均衡(DSGE)模型的稳定性分析依赖 Blanchard-Kahn (1980) 条件:线性化系统的特征值在单位圆内外分布决定了均衡的确定性与鞍点稳定性。若前向变量的个数恰等于单位圆外特征值的个数,则模型存在唯一有界均衡解。这一条件的验证本质上是对复特征值的位置计数问题,其判断离不开复数域的代数工具。

8. 在科学和工程中的延伸

电气工程中,交流电路的稳态分析使用复数阻抗 Z=R+jXZ = R + jX(工程领域用 jj 表示虚数单位),将时域的微分方程转化为频域的复数代数方程。电容的电抗 XC=1/(ωC)X_C = -1/(\omega C) 与电感的电抗 XL=ωLX_L = \omega L 由复数统一刻画,欧姆定律在复数域保持形式不变。

量子力学中,波函数 ψ(x,t)\psi(x,t) 天然是复值函数,薛定谔方程 iψ/t=H^ψi\hbar\partial\psi/\partial t = \hat{H}\psi 中的 ii 并非数学便利,而是量子态幺正演化的本质要求。概率幅的模平方 ψ2|\psi|^2 给出位置概率密度——复数模的平方运算因此具有直接的物理意义。

信号处理中,傅里叶变换将实信号投影到复指数基 eiωte^{i\omega t},幅值和相位信息分别由复数的模和辐角承载。离散傅里叶变换(DFT)及其快速算法 FFT 是所有数字通信和信号处理系统的数学核心。

9. 总结

复数将代数、几何与分析编织为统一的体系,其核心洞察——将二维向量空间嵌入具有乘法结构的域——深刻改变了数学与科学的面貌。从三次方程的求解到高阶经济模型的稳定性分析,复数始终是理论创新与实际应用不可或缺的数学语言。

复数将代数、几何与分析编织为统一的体系,其核心洞察——将二维向量空间嵌入具有乘法结构的域——深刻改变了数学与科学的面貌。从三次方程的求解到高阶经济模型的稳定性分析,复数始终是理论创新与实际应用不可或缺的数学语言。