复数：从代数到几何的桥梁
复数不仅是实数系的扩张，更是连接代数与几何的密钥。本讲从生活实例（二维旋转）引入虚数单位，系统讲解复数的代数形式、三角形式、指数形式，深入探讨复数乘除的几何意义（旋转与伸缩），并利用欧拉公式和棣莫弗定理求解高次方程。结合图形（复平面、向量旋转、几何变换）直观展示复数运算，帮助学生建立数形结合的严密思维。
一、概念导入：从真实旋转到“虚”而不虚
考虑一个二维平面上的点 $(x, y)$。我们经常需要将它绕原点逆时针旋转 $90^\circ$。旋转后的坐标是 $(-y, x)$。如果我们定义一种“数” $i$，使得 $i \cdot (x + iy) = -y + ix$，那么 $i$ 正好实现了 $90^\circ$ 旋转操作。但 $i$ 满足 $i^2 = -1$——在实数范围内无解。因此我们引入虚数单位 $i = \sqrt{-1}$，并定义复数 $z = a + bi$（$a, b$ 为实数）。这样，实数轴上的数就扩展到了二维的复平面（Argand 图）。
二、核心讲解：复数的四种语言
2.1 代数形式与运算
复数 $z = a + bi$，其中 $a$ 称为实部 $\Re(z)$，$b$ 称为虚部 $\Im(z)$。
- 加减：实部与实部，虚部与虚部分别相加减。
- 乘法：$(a+bi)(c+di) = (ac - bd) + (ad + bc)i$。
- 除法：分母实数化 $\dfrac{a+bi}{c+di} = \dfrac{(a+bi)(c-di)}{c^2+d^2}$。
- 共轭：$\overline{z} = a - bi$，乘积极为 $|z|^2$。
2.2 几何表示与模、幅角
每个复数 $z = a+bi$ 对应复平面上的点 $P(a,b)$ 或向量 $\overrightarrow{OP}$。定义
- 模 $|z| = \sqrt{a^2+b^2}$，表示向量长度。
- 幅角 $\arg(z)$：向量与正实轴的夹角（通常取主值 $(-\pi, \pi]$）。
于是复数可写成三角形式：$z = r(\cos\theta + i\sin\theta)$，其中 $r = |z|$，$\theta = \arg(z)$。
2.3 指数形式（欧拉公式）
欧拉公式 $e^{i\theta} = \cos\theta + i\sin\theta$ 将复数与指数函数统一。于是 $z = r e^{i\theta}$，乘除运算转化为指数的加减：$r_1 e^{i\theta_1} \cdot r_2 e^{i\theta_2} = r_1 r_2 e^{i(\theta_1+\theta_2)}$。
2.4 棣莫弗定理
$(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\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 e^{i(\theta_1+\theta_2)}$。这意味着：
- 模相乘：$|z_1 z_2| = |z_1| \cdot |z_2|$
- 辐角相加：$\arg(z_1 z_2) = \arg(z_1) + \arg(z_2)$（模 $2\pi$ ）
因此，乘法等价于旋转 + 放缩。乘以 $e^{i\theta}$ 对应逆时针旋转 $\theta$ 角；乘以实数 $r>1$ 对应拉伸 $r$ 倍。
四、典型例题
例1（中档） 已知 $z = \dfrac{2-i}{1+2i}$，求 $|z|$ 和 $"overline{z}$ 的三角形式。
解答：
- 化简：$z = \dfrac{(2-i)(1-2i)}{1^2+2^2} = \dfrac{(2-4i -i +2i^2)}{5} = \dfrac{(2-5i-2)}{5} = \dfrac{-5i}{5} = -i$。
- 所以 $|z| = 1$，$\arg(z) = -\dfrac{\pi}{2}$（主值），三角形式 $z = \cos(-\frac{\pi}{2}) + i\sin(-\frac{\pi}{2})$。
- 共轭 $\overline{z} = i$，其三角形式 $\overline{z} = \cos\frac{\pi}{2} + i\sin\frac{\pi}{2}$。
易错点：简单化后忘记考虑分母，或幅角主值范围取错。
例2（较难） 设 $w = \dfrac{2+2i}{1-\sqrt{3}i}$，求 $w^{2024}$。
解答：
- 先求三角形式：$2+2i = 2\sqrt{2}(\cos\frac{\pi}{4}+i\sin\frac{\pi}{4})$；$1-\sqrt{3}i = 2(\cos(-\frac{\pi}{3})+i\sin(-\frac{\pi}{3}))$。
- 相除得 $w = \sqrt{2} e^{i(\frac{\pi}{4} - (-\frac{\pi}{3}))} = \sqrt{2} e^{i\frac{7\pi}{12}}$。
- 幂：$w^{2024} = (\sqrt{2})^{2024} e^{i \cdot 2024 \cdot \frac{7\pi}{12}} = 2^{1012} e^{i \cdot \frac{2024 \cdot 7\pi}{12}}$。
- 简化指数：$\frac{2024}{12} = \frac{506}{3}$，故角度 = $\frac{506 \times 7\pi}{3} = \frac{3542\pi}{3}$。模 $2\pi$：$3542 \div 6 = 590$ 余 $2$（因为 $\frac{\pi}{3}$ 为单位），$3542\pi/3$ 减去 $590\times 2\pi = 590 \times 6\pi/3 = 3540\pi/3$，余 $2\pi/3$。所以 $w^{2024} = 2^{1012} (\cos\frac{2\pi}{3} + i\sin\frac{2\pi}{3}) = 2^{1012}(-\frac12 + i\frac{\sqrt{3}}{2})$。
易错点：角度化简错误，或忘记模的指数。
例3（困难） 已知 $z$ 满足 $|z-1| = |z+1|$ 且 $|z-2i| = \sqrt{2}$，求 $z$ 的三角形式。
解答：
- 由 $|z-1| = |z+1|$ 得 $z$ 到点 $(1,0)$ 和 $(-1,0)$ 距离相等，所以 $z$ 在虚轴上，设 $z = yi$（$y$ 为实数）。
- 代入 $|z-2i| = \sqrt{2}$：$|yi - 2i| = |i(y-2)| = |y-2| = \sqrt{2}$，所以 $y-2 = \pm \sqrt{2}$，$y = 2 \pm \sqrt{2}$。
- 故 $z = (2+\sqrt{2})i$ 或 $z = (2-\sqrt{2})i$。三角形式分别为 $z = (2+\sqrt{2}) e^{i\frac{\pi}{2}}$ 和 $z = (2-\sqrt{2}) e^{i\frac{\pi}{2}}$。
易错点：将 $|z-1|=|z+1|$ 误认为实轴上，实际上它是虚轴（中垂线）。
五、常见误区
- 虚部概念混淆：$z=2+3i$ 的虚部是 $3$，不是 $3i$。
- 除法忘记分母实数化：必须乘以分母的共轭。
- 辐角主值范围：主值 $(-\pi, \pi]$，点落在二三象限时注意调整。
- 模与绝对值区别：复数模是距离，实数绝对值是特殊情况，但 $\sqrt{a^2+b^2}$ 才是模。
- 共轭性质不熟：$\overline{z+w} = \overline{z} + \overline{w}$，$\overline{z w} = \overline{z} \; \overline{w}$。
六、学习建议
- 将复数视为二维向量，利用数形结合理解运算。
- 熟练掌握三角形式和指数形式的转换，尤其是常见的角度（$\pi/6, \pi/4, \pi/3, \pi/2$等）。
- 练习用复数的乘法几何意义快速求解几何变换（旋转、伸缩）。
- 对于高次幂问题，优先考虑棣莫弗定理，而不是代数展开。
七、知识链接
- 向量：复数的加减与向量加减一致；乘法对应旋转与缩放。
- 三角函数：和差公式可借助复数乘法推导：$\cos(\alpha+\beta) = \Re(e^{i(\alpha+\beta)})$。
- 一元二次方程：判别式 $\Delta < 0$ 时，根为共轭复数，可用复数表示。
- 解析几何：复数可用来表示圆、直线（$|z-z_0|=r$ 表示圆）。
八、习题自测
- 求 $\dfrac{(1+i)^6}{(\sqrt{3}-i)^4}$。
- 复数 $z$ 满足 $z^2 + 2z + 4 = 0$，求 $z$ 的三角形式和 $z^{12}$ 的值。
- 在复平面上，点 $A,B,C$ 分别对应复数 $1, i, -1$。将三角形 $ABC$ 绕原点逆时针旋转 $30^\circ$ 并放大 $2$ 倍，得到新三角形 $A'B'C'$，求 $A'$ 对应的复数。
答案与提示
- 先分别化成指数形式：$(1+i)^6 = (\sqrt{2}e^{i\pi/4})^6 = 8 e^{i3\pi/2}$；$(\sqrt{3}-i)^4 = (2e^{-i\pi/6})^4 = 16 e^{-i2\pi/3}$；相除得 $\frac{1}{2} e^{i(3\pi/2 + 2\pi/3)} = \frac12 e^{i13\pi/6} = \frac12 e^{i\pi/6} = \frac{\sqrt{3}}{4} + \frac{i}{4}$。
- $z = -1 \pm \sqrt{3}i$，三角形式 $z = 2 e^{i\pm 2\pi/3}$；$z^{12} = 2^{12} e^{i\cdot 12 \cdot \pm 2\pi/3} = 4096 e^{i\pm 8\pi} = 4096$（实数）。
- $A' = 2 \cdot e^{i\pi/6} \cdot 1 = 2(\cos30^\circ + i\sin30^\circ) = \sqrt{3} + i$。