1.3 复数与旋转：负数开方的几何出路
1.3 复数与旋转：负数开方的几何出路
复数形如 a + bi，其中 i 是虚数单位，满足 i 的平方等于负 1。本节的核心观点：把复数看成平面上的点，乘法就是旋转加缩放——"虚数"这个名字是历史误会，它一点也不虚。承接前两节的扩张主线（本章的终点站），并为第四章三角学的旋转视角埋下伏笔。
一个被嘲笑了两百年的符号
十六世纪卡尔达诺解三次方程时发现：不解出"负数的平方根"，某些实根反而算不出来。他称这类数为"诡辩量"。笛卡尔后来给了 i 一个流传至今的坏名字——虚数（imaginary）。僵局的打破靠的是几何：让 i 住在一条垂直于数轴的新轴上，乘一次 i，平面逆时针转四分之一圈。转两次四分之一圈就是转半圈——正 1 变负 1，所以 i 的平方等于负 1 天经地义。
手算第一个复数乘法
以 1 + i 为例。把它放在平面上：横坐标 1、纵坐标 1，位于第一象限角平分线上，到原点距离是根号 2（勾股定理），与横轴夹角 45 度。
手算 (1 + i) 的平方，用分配律：
(1+i)(1+i) = 1 + i + i + i 平方 = 1 + 2i - 1 = 2i
几何解读：模长根号 2 变成根号 2 的平方 = 2，角度 45 度变成 45 + 45 = 90 度——模长相乘、角度相加，2i 正是模长 2、角度 90 度的点。代数与几何两套说法完全对上。
>>> from sympy import I, expand, Abs, arg >>> z = 1 + I >>> expand(z**2) 2*I >>> Abs(z), arg(z) # 模长与辐角（弧度） (sqrt(2), pi/4) >>> Abs(z**2), arg(z**2) (2, pi/2)
SymPy 复核：模长根号 2、辐角 π/4，平方后模长 2、辐角 π/2，与手算逐一吻合。
再算一个稍复杂的：(3 + 4i) 乘以 (1 - i)。
手算：3·1 + 3·(-i) + 4i·1 + 4i·(-i) = 3 - 3i + 4i - 4 倍 i 平方 = 3 + i + 4 = 7 + i。
>>> from sympy import I, expand >>> expand((3 + 4*I)*(1 - I)) 7 + I
对上了。注意 i 平方等于负 1 代入后那一项 "-4 倍 i 平方" 变成 "+4"，这是初学者最容易丢正负号的地方。
除法：乘共轭
复数没有"直接除"，标准手法是分子分母同乘分母的共轭（虚部取反）。以 (1 + 2i) 除以 (3 - 4i) 为例：分母 (3-4i)(3+4i) = 9 + 16 = 25（实数！），分子 (1+2i)(3+4i) = 3 + 4i + 6i + 8 倍 i 平方 = -5 + 10i。所以商是 (-5 + 10i)/25 = -1/5 + 2/5 i。
>>> from sympy import I, simplify >>> simplify((1 + 2*I)/(3 - 4*I)) -1/5 + 2*I/5
共轭的几何含义是关于横轴镜像。复数与其共轭相乘永远得到模长的平方——这个性质让"分母实数化"机械可行。
代数封闭：扩张的终点
实数里 x 平方加 1 等于 0 无解；复数里它的根是正负 i。事实上更强：任何 n 次复系数多项式方程在复数里恰好有 n 个根（计入重数），这就是代数基本定理。从此，扩张停止了——不是想象力枯竭，是再没有"算不下去"可补。解 x 的四次方等于 1 的全部根试试：1、-1、i、-i，四个根恰好把单位圆四等分。
>>> from sympy import symbols, solve >>> x = symbols('x') >>> solve(x**4 - 1, x) [-1, 1, -I, I] >>> solve(x**2 + 1, x) [-I, I]
四次方程四个根，二次方程两个根，不多不少——高斯对这一定理先后给出四个证明，代数从此在复数域内"齐活"。
💡 关键直觉：复数乘法 = 模长相乘 + 辐角相加。记住这一句，第四章的单位圆、旋转、欧拉公式全是它的展开。
复平面：乘法即旋转
模与辐角：复数的两套坐标
复数 z = a + bi 有两副面孔：直角坐标 (a, b) 与极坐标（模 r、辐角 θ），换算关系是 a = r cos θ、b = r sin θ，反过来 r = 根号下(a 平方加 b 平方)。乘法规则"模相乘、角相加"用极坐标一眼看穿。棣莫弗公式是它的推论：辐角为 θ 的单位复数的 n 次方 = 辐角为 nθ 的单位复数——乘方就是连续旋转，开 n 次方就是把圆周 n 等分取点，这正是"n 次方程恰有 n 个根且均匀分布在圆上"的几何原因。
常见问题
问：i 的平方根存在吗？连 i 也能开方？
答：存在。辐角 π/2 的数开平方，得辐角 π/4 与 π/4 加 π 两个值，即正负 (根号2/2)(1+i)。复数域里开方永远不缺席。
问：复数为什么不能比大小？
答：任何与加乘兼容的序都安不上——若 i 大于 0，两边乘 i 得 i 平方大于 0，即 -1 大于 0，荒谬。复数放弃了全序，换来了代数封闭。
欧拉公式：五颗恒星的合影
e 的 iθ 次方 = cos θ + i sin θ——这个等式把 e、i、π、正弦、余弦五块互不相干的数学遗产收进同一行，被称为最美丽的数学公式。θ 取 π 时得到 e 的 iπ 次方加 1 等于 0。它的几何读法与本章主线一致：e 的 iθ 次方就是单位圆上转了 θ 角的那个点，指数函数的"连续增长"在虚轴方向变成了"连续旋转"。第四章学完三角函数后回看这一行，你会发现自己已经认识合影里的每一位嘉宾。
一道完整的除法演练
再走一遍完整流程，把本节手法串起来：计算 (5 + 3i) ÷ (2 − i)。分母的共轭是 2 + i，分子分母同乘：分母 (2−i)(2+i) = 4 + 1 = 5；分子 (5+3i)(2+i) = 10 + 5i + 6i + 3 倍 i 平方 = 10 + 11i − 3 = 7 + 11i。商 = (7 + 11i)/5 = 1.4 + 2.2i。验算：商乘回除数应还原被除数——(1.4 + 2.2i)(2 − i) = 2.8 − 1.4i + 4.4i − 2.2 倍 i 平方 = 2.8 + 3i + 2.2 = 5 + 3i，闭合。乘共轭、展开、分离实虚部、乘回验算——四步一循环，复数除法再无神秘。
本节要点回顾
- i 的平方等于负 1 的几何真相：转两次四分之一圈等于转半圈；
- 复数乘法遵循"模相乘、角相加"，(1+i) 平方等于 2i 可由代数与几何双路验证；
- 除法靠乘共轭把分母实数化，符号错误高发在 i 平方代入那一步；
- 代数基本定理宣告复数代数封闭，数系扩张就此收工；
- 旋转视角将在第四章三角学与单位圆正式重逢。
数系的骨架搭完了，下一节掉头研究整数内部：什么时候 a 能被 b 整除——这个问题撑起了现代密码学。