复数 (Complex Number) 是形如 a + b i a + bi a + bi a , b ∈ R a, b \in \mathbb{R} a , b ∈ R i i i 虚数单位 ，满足 i 2 = − 1 i^2 = -1 i 2 = − 1 a a a 实部 （Real Part），记作 Re ( z ) \operatorname{Re}(z) Re ( z ) b b b 虚部 （Imaginary Part），记作 Im ( z ) \operatorname{Im}(z) Im ( z ) C \mathbb{C} C R \mathbb{R} R 代数封闭性 ：任何非常数复系数多项式在 C \mathbb{C} C C \mathbb{C} C
1. 历史沿革
复数观念的萌芽可追溯至16世纪意大利数学家卡尔达诺（Gerolamo Cardano, 1545）对三次方程 x 3 + p x = q x^3 + px = q x 3 + p x = q
17—18世纪，复数逐渐走向成熟。欧拉（Leonhard Euler, 1777）引入符号 i = − 1 i = \sqrt{-1} i = − 1 e i θ = cos θ + i sin θ e^{i\theta} = \cos\theta + i\sin\theta e i θ = cos θ + i sin θ a + b i a+bi a + bi ( a , b ) (a,b) ( a , b )
2. 代数结构与运算
复数集 C \mathbb{C} C 域 （Field），即满足加法与乘法的封闭性、交换律、结合律、分配律，且每个非零元素都有乘法逆元。复数的四则运算规则如下：
加法 ：( a + b i ) + ( c + d i ) = ( a + c ) + ( b + d ) i (a+bi) + (c+di) = (a+c) + (b+d)i ( a + bi ) + ( c + d i ) = ( a + c ) + ( b + d ) i 减法 ：( a + b i ) − ( c + d i ) = ( a − c ) + ( b − d ) i (a+bi) - (c+di) = (a-c) + (b-d)i ( a + bi ) − ( c + d i ) = ( a − c ) + ( b − d ) i 乘法 ：( a + b i ) ( c + d i ) = ( a c − b d ) + ( a d + b c ) i (a+bi)(c+di) = (ac - bd) + (ad + bc)i ( a + bi ) ( c + d i ) = ( a c − b d ) + ( a d + b c ) i 除法 ：a + b i c + d i = ( a + b i ) ( c − d i ) c 2 + d 2 = a c + b d c 2 + d 2 + b c − a d c 2 + d 2 i \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 + d i a + bi = c 2 + d 2 ( a + bi ) ( c − d i ) = c 2 + d 2 a c + b d + c 2 + d 2 b c − a d i c + d i ≠ 0 c+di \neq 0 c + d i = 0 虚数单位 i i i i 1 = i , i 2 = − 1 , i 3 = − i , i 4 = 1 i^1 = i,\; i^2 = -1,\; i^3 = -i,\; i^4 = 1 i 1 = i , i 2 = − 1 , i 3 = − i , i 4 = 1
3. 几何表示
复数最关键的认知突破是复平面 （Complex Plane，亦称高斯平面或阿尔冈图）。在此平面上，横轴（实轴）代表实部 a a a b b b z = a + b i z = a + bi z = a + bi ( a , b ) (a, b) ( a , b )
复数的模 （Modulus）定义为 ∣ z ∣ = a 2 + b 2 |z| = \sqrt{a^2 + b^2} ∣ z ∣ = a 2 + b 2 辐角 （Argument）arg ( z ) \arg(z) arg ( z ) ( a , b ) (a,b) ( a , b ) tan ( arg ( z ) ) = b / a \tan(\arg(z)) = b/a tan ( arg ( z )) = b / a 2 π 2\pi 2 π Arg ( z ) ∈ ( − π , π ] \operatorname{Arg}(z) \in (-\pi, \pi] Arg ( z ) ∈ ( − π , π ]
任意非零复数 z z z 极坐标形式 ：
z = r ( cos θ + i sin θ ) z = r(\cos\theta + i\sin\theta) z = r ( cos θ + i sin θ ) 其中 r = ∣ z ∣ r = |z| r = ∣ z ∣ θ = arg ( z ) \theta = \arg(z) θ = arg ( z )
z = r e i θ z = re^{i\theta} z = r e i θ 这一形式将复数的乘法转化为模的乘积与辐角的加法：若 z 1 = r 1 e i θ 1 z_1 = r_1 e^{i\theta_1} z 1 = r 1 e i θ 1 z 2 = r 2 e i θ 2 z_2 = r_2 e^{i\theta_2} z 2 = r 2 e i θ 2
z 1 z 2 = r 1 r 2 e i ( θ 1 + θ 2 ) , z 1 z 2 = r 1 r 2 e i ( θ 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)} z 1 z 2 = r 1 r 2 e i ( θ 1 + θ 2 ) , z 2 z 1 = r 2 r 1 e i ( θ 1 − θ 2 ) 几何上，乘以复数 r e i θ re^{i\theta} r e i θ r r r θ \theta θ i i i 90 ∘ 90^\circ 9 0 ∘
4. 共轭复数与模的运算
复数 z = a + b i z = a+bi z = a + bi 共轭复数 （Conjugate）定义为 z ‾ = a − b i \overline{z} = a - bi z = a − bi
z ⋅ z ‾ = a 2 + b 2 = ∣ z ∣ 2 z \cdot \overline{z} = a^2 + b^2 = |z|^2 z ⋅ z = a 2 + b 2 = ∣ z ∣ 2 z 1 + z 2 ‾ = z 1 ‾ + z 2 ‾ \overline{z_1 + z_2} = \overline{z_1} + \overline{z_2} z 1 + z 2 = z 1 + z 2 z 1 z 2 ‾ = z 1 ‾ ⋅ z 2 ‾ \overline{z_1 z_2} = \overline{z_1} \cdot \overline{z_2} z 1 z 2 = z 1 ⋅ z 2 z ‾ ‾ = z \overline{\overline{z}} = z z = z 若 z ≠ 0 z \neq 0 z = 0 z − 1 = z ‾ / ∣ z ∣ 2 z^{-1} = \overline{z} / |z|^2 z − 1 = z /∣ z ∣ 2 共轭运算在除法计算和多项式理论中至关重要：实系数多项式的非实根必以共轭对形式出现，这是实多项式根分布的基本规律。
5. 棣莫弗公式与单位根
棣莫弗公式 （de Moivre's Formula）是复数乘方运算的核心工具：
( r ( cos θ + i sin θ ) ) n = r n ( cos n θ + i sin n θ ) , n ∈ Z (r(\cos\theta + i\sin\theta))^n = r^n(\cos n\theta + i\sin n\theta),\quad n \in \mathbb{Z} ( r ( cos θ + i sin θ ) ) n = r n ( cos n θ + i sin n θ ) , n ∈ Z 该公式揭示了复数的整数次幂即是对模的幂乘和对辐角的整数倍缩放。
n n n 单位根 （Roots of Unity）是方程 z n = 1 z^n = 1 z n = 1
z k = e 2 π i k / n = cos 2 π k n + i sin 2 π k n , k = 0 , 1 , … , n − 1 z_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 z k = e 2 πik / n = cos n 2 πk + i sin n 2 πk , k = 0 , 1 , … , n − 1 这 n n n n n n W N k n W_N^{kn} W N kn
6. 代数基本定理
代数基本定理 （Fundamental Theorem of Algebra）是复数理论的核心结论：任何 n n n P ( z ) = a n z n + a n − 1 z n − 1 + ⋯ + a 0 P(z) = a_n z^n + a_{n-1}z^{n-1} + \cdots + a_0 P ( z ) = a n z n + a n − 1 z n − 1 + ⋯ + a 0 a n ≠ 0 a_n \neq 0 a n = 0 C \mathbb{C} C n n n
该定理的首次严格证明由高斯于1799年在其博士论文中给出（尽管达朗贝尔于1746年已提出该断言）。代数基本定理意味着复多项式总可分解为一次因式的乘积：
P ( z ) = a n ∏ k = 1 n ( z − z k ) P(z) = a_n \prod_{k=1}^n (z - z_k) P ( z ) = a n k = 1 ∏ n ( z − z k ) 这一性质在实数域中不成立——例如 x 2 + 1 = 0 x^2 + 1 = 0 x 2 + 1 = 0 R \mathbb{R} R
7. 在经济学中的应用
复数在经济学和金融学中扮演着深刻且实用的角色。
时间序列计量经济学 中，单位根检验（如 Augmented Dickey-Fuller 检验）和谱分析依赖特征方程根在复平面上的位置。对于 AR(p) 模型 y t = ϕ 1 y t − 1 + ⋯ + ϕ p y t − p + ε t y_t = \phi_1 y_{t-1} + \cdots + \phi_p y_{t-p} + \varepsilon_t y t = ϕ 1 y t − 1 + ⋯ + ϕ p y t − p + ε t 1 − ϕ 1 z − ϕ 2 z 2 − ⋯ − ϕ p z p = 0 1 - \phi_1 z - \phi_2 z^2 - \cdots - \phi_p z^p = 0 1 − ϕ 1 z − ϕ 2 z 2 − ⋯ − ϕ p z p = 0 ω \omega ω 2 π / ω 2\pi / \omega 2 π / ω
金融工程 中，特征函数 ϕ X ( u ) = E [ e i u X ] \phi_X(u) = \mathbb{E}[e^{iuX}] ϕ X ( u ) = E [ e i u X ]
宏观经济学 中，动态随机一般均衡（DSGE）模型的稳定性分析依赖 Blanchard-Kahn (1980) 条件：线性化系统的特征值在单位圆内外分布决定了均衡的确定性与鞍点稳定性。若前向变量的个数恰等于单位圆外特征值的个数，则模型存在唯一有界均衡解。这一条件的验证本质上是对复特征值的位置计数问题，其判断离不开复数域的代数工具。
8. 在科学和工程中的延伸
在电气工程 中，交流电路的稳态分析使用复数阻抗 Z = R + j X Z = R + jX Z = R + j X j j j X C = − 1 / ( ω C ) X_C = -1/(\omega C) X C = − 1/ ( ω C ) X L = ω L X_L = \omega L X L = ω L
在量子力学 中，波函数 ψ ( x , t ) \psi(x,t) ψ ( x , t ) i ℏ ∂ ψ / ∂ t = H ^ ψ i\hbar\partial\psi/\partial t = \hat{H}\psi i ℏ ∂ ψ / ∂ t = H ^ ψ i i i ∣ ψ ∣ 2 |\psi|^2 ∣ ψ ∣ 2
在信号处理 中，傅里叶变换将实信号投影到复指数基 e i ω t e^{i\omega t} e iω t
9. 总结
复数将代数、几何与分析编织为统一的体系，其核心洞察——将二维向量空间嵌入具有乘法结构的域——深刻改变了数学与科学的面貌。从三次方程的求解到高阶经济模型的稳定性分析，复数始终是理论创新与实际应用不可或缺的数学语言。
复数将代数、几何与分析编织为统一的体系，其核心洞察——将二维向量空间嵌入具有乘法结构的域——深刻改变了数学与科学的面貌。从三次方程的求解到高阶经济模型的稳定性分析，复数始终是理论创新与实际应用不可或缺的数学语言。