学习笔记：纯数学 3 (Paper 3)
第 3.9 章：复数 (Complex Numbers)
欢迎来到复数的世界！别担心这个名字听起来有点吓人——它其实只是一种巧妙的工具，用来解决普通实数无法处理的方程。本章将代数、几何与三角学连接在一起，使其成为高等数学中最强大且优美的工具之一。你在电气工程、量子力学和流体力学等领域都会用到这些基础知识。
我们的旅程从复数得以存在的基石概念开始：虚数单位。
1. 基础知识：引入 \(i\) 与笛卡尔坐标形式
在复数出现之前，像 \(x^2 + 1 = 0\) 这样的方程在实数系统中是没有解的。复数通过创造一个新的数字解决了这个问题。
虚数单位 \(i\)
虚数单位（Imaginary Unit），记作 \(i\)，其定义为：
$$i^2 = -1$$
$$i = \sqrt{-1}$$
由此可知，\(i\) 的幂次呈现周期性变化：
$$i^1 = i$$
$$i^2 = -1$$
$$i^3 = -i$$
$$i^4 = 1$$
（这个周期每四次循环一次，这可是个极好的记忆口诀！）
定义与核心术语（笛卡尔形式）
复数通常用 \(z\) 表示，其笛卡尔形式（Cartesian form）写作：
$$z = x + iy$$其中 \(x\) 和 \(y\) 为实数。
• \(z\) 的实部 (Real Part) 是 \(x\)。（记作：\(\text{Re}z = x\)）
• \(z\) 的虚部 (Imaginary Part) 是 \(y\)。（记作：\(\text{Im}z = y\)。注意：虚部是实数 \(y\)，而不是 \(iy\)！）
• 两个复数 \(z_1\) 和 \(z_2\) 相等，当且仅当它们的实部相等且虚部也相等。
1.1 笛卡尔形式的算术运算
在笛卡尔形式 (\(x + iy\)) 下进行复数运算，方法与处理包含 \(x\) 和 \(y\) 的代数表达式非常相似，但关键在于记住 \(i^2 = -1\)。
A. 加法与减法： 将实部和虚部分别相加/相减即可。
例子： 若 \(z_1 = 3 + 4i\) 且 \(z_2 = 1 - i\)。
$$z_1 + z_2 = (3+1) + (4i - i) = 4 + 3i$$
B. 乘法： 像展开二项式一样相乘，别忘了代入 \(-1\) 来替换 \(i^2\)。
例子： 若 \(z_1 = 3 + 4i\) 且 \(z_2 = 1 - i\)。
$$z_1 z_2 = (3)(1) + (3)(-i) + (4i)(1) + (4i)(-i)$$
$$z_1 z_2 = 3 - 3i + 4i - 4i^2$$
$$z_1 z_2 = 3 + i - 4(-1) = 7 + i$$
C. 除法（共轭乘法技巧）： 除法需要一个特殊技巧来将分母实数化。
复共轭 (Complex Conjugate, \(z^*\))
\(z = x + iy\) 的复共轭是 \(z^* = x - iy\)。你只需改变虚部的符号即可。
• 你知道吗？ 当一个复数乘以它的共轭复数时，结果一定是一个实数（这是消除分母中 \(i\) 的绝妙方法！）。
$$z z^* = (x + iy)(x - iy) = x^2 - (iy)^2 = x^2 - i^2 y^2 = x^2 + y^2$$
除法步骤演示
要计算 \(z_1\) 除以 \(z_2\)，需将分子和分母同时乘以分母的共轭复数 \(z_2^*\)：
$$ \frac{z_1}{z_2} = \frac{z_1}{z_2} \times \frac{z_2^*}{z_2^*}$$例子： 化简 \(\frac{3 + 4i}{1 - i}\)。（\(1 - i\) 的共轭是 \(1 + i\)）。
$$ \frac{3 + 4i}{1 - i} \times \frac{1 + i}{1 + i} = \frac{(3+4i)(1+i)}{(1-i)(1+i)}$$
$$ \text{分子：} 3 + 3i + 4i + 4i^2 = 3 + 7i - 4 = -1 + 7i$$
$$ \text{分母：} 1^2 + 1^2 = 2$$
$$ \text{结果：} \frac{-1 + 7i}{2} = -\frac{1}{2} + \frac{7}{2}i $$
1.2 多项式方程与共轭根
这是求解多项式方程的一个基本结论：
• 如果一个多项式方程的系数均为实数，那么任何非实数（复数）根必然成共轭对出现。
比喻： 如果你有一对配套的耳环，其中一个是复数 (\(a+ib\))，那么另一个必然是它的共轭 (\(a-ib\))。
推论： 如果题目告知 \(z=1+2i\) 是一个实系数三次方程的根，你马上就能知道 \(z^* = 1-2i\) 也一定是它的一个根。
第 1 部分重点： 像对待代数一样处理复数算术，时刻记住 \(i^2 = -1\)。进行除法时，务必使用分母的共轭复数。
2. 几何表示：阿甘图 (Argand Diagram)
正如我们用 \(xy\) 平面表示实数一样，我们使用阿甘图来绘制复数。这使我们能够直观地通过几何方式理解复数运算。
• 横轴是实轴 (Real Axis, \(x\))。
• 纵轴是虚轴 (Imaginary Axis, \(y\))。
复数 \(z = x + iy\) 被绘制为点 \((x, y)\)，或者表示为从原点指向该点的位置向量。
2.1 模长与辐角（极坐标）
在阿甘图中，\(z\) 的位置可以用距离和方向来描述，即模长 (Modulus) 和辐角 (Argument)。
A. 模长 (\(|z|\) 或 \(r\))：
模长是指从原点到点 \(z\) 的距离。它永远是非负的。
比喻： 这其实就是勾股定理！
B. 辐角 (\(\arg z\) 或 \(\theta\))：
辐角是指正实轴与连接原点到 \(z\) 的线段之间的角度。
• 辐角通常以弧度为单位。
• 主辐角 (Principal argument) 通常定义在区间 \(-\pi < \theta \leq \pi\) 内（若题目指定，也可能是 \(0 \leq \theta < 2\pi\)）。
如何计算辐角：
1. 找到参考角 \(\alpha = \arctan\left|\frac{y}{x}\right|\)（始终使用 \(x\) 和 \(y\) 的正值）。
2. 根据 \(z = x + iy\) 所在的象限确定 \(\theta\)：
• 第一象限 (\(x>0, y>0\)): \(\theta = \alpha\)
• 第二象限 (\(x<0, y>0\)): \(\theta = \pi - \alpha\)
• 第三象限 (\(x<0, y<0\)): \(\theta = -(\pi - \alpha)\) 或 \(\theta = \alpha - \pi\)
• 第四象限 (\(x>0, y<0\)): \(\theta = -\alpha\)
常见错误： 计算器上的 \(\tan^{-1}\) 函数只返回第一或第四象限的结果。你必须检查 \(x\) 和 \(y\) 的符号来确定复数所在的正确象限，并据此调整角度！
第 2 部分重点： 模长是距离，用勾股定理计算。辐角是角度，用 arctan 计算，并根据 \(x, y\) 的符号调整到正确的象限。
3. 极坐标形式与指数形式 (\(re^{i\theta}\))
一旦有了模长 \(r\) 和辐角 \(\theta\)，我们就可以用极坐标形式表示 \(z\)：
$$z = r(\cos\theta + i\sin\theta)$$以及极其方便的指数形式：
$$z = re^{i\theta}$$这些形式对于快速进行乘法和除法运算至关重要，特别是处理高次幂时（尽管更复杂的幂次运算通常留给进阶数学处理）。
3.1 极坐标形式下的乘法与除法
若 \(z_1 = r_1 e^{i\theta_1}\) 且 \(z_2 = r_2 e^{i\theta_2}\)：
A. 乘法： 模长相乘，辐角相加。
$$z_1 z_2 = (r_1 r_2) e^{i(\theta_1 + \theta_2)}$$• 模长: \(|z_1 z_2| = |z_1| |z_2| = r_1 r_2\)
• 辐角: \(\arg(z_1 z_2) = \arg z_1 + \arg z_2 = \theta_1 + \theta_2\)
几何效应： 乘以 \(z_2\) 相当于将 \(z_1\) 伸缩 \(r_2\) 倍，并逆时针旋转角度 \(\theta_2\)。
B. 除法： 模长相除，辐角相减。
$$\frac{z_1}{z_2} = \left(\frac{r_1}{r_2}\right) e^{i(\theta_1 - \theta_2)}$$• 模长: \(\left|\frac{z_1}{z_2}\right| = \frac{|z_1|}{|z_2|} = \frac{r_1}{r_2}\)
• 辐角: \(\arg\left(\frac{z_1}{z_2}\right) = \arg z_1 - \arg z_2 = \theta_1 - \theta_2\)
第 3 部分重点： 极坐标形式简化了乘法（\(r\) 相乘，\(\theta\) 相加）和除法（\(r\) 相除，\(\theta\) 相减）。
4. 高级运算与轨迹 (Loci)
4.1 求解复数的两个平方根
寻找 \(w = a + ib\) 的 \(\sqrt{w}\) 会产生两个复数根 \(z = x + iy\)。
步骤（使用笛卡尔形式）：
1. 假设平方根为 \(z = x + iy\)。
2. 两边平方：\((x + iy)^2 = a + ib\)。
$$x^2 + 2ixy + (iy)^2 = a + ib$$
$$x^2 - y^2 + i(2xy) = a + ib$$
3. 令实部和虚部相等，建立方程组：
$$ \text{实部：} x^2 - y^2 = a \quad \quad \text{(方程 1)}$$
$$ \text{虚部：} 2xy = b \quad \quad \text{(方程 2)}$$
4. 利用方程 2 将 \(y\) 用 \(x\) 表示（反之亦可），代入方程 1。
5. 解出 \(x\)（通常会得到一个关于 \(x^2\) 的二次方程）。找到对应的 \(y\) 值。
6. 由于 \(b\) 可正可负，需根据 \(2xy = b\) 检查符号。若 \(b > 0\)，则 \(x\) 和 \(y\) 同号；若 \(b < 0\)，则 \(x\) 和 \(y\) 异号。
注意：考试时必须展示完整的推导过程。
4.2 阿甘图中的轨迹 (Loci)
轨迹 (Locus) 是满足一定几何条件的所有点的集合。在复数中，简单的方程或不等式定义了阿甘图中特定的形状。
令 \(z\) 为动点，\(a\) 和 \(b\) 为对应的固定点 \(A\) 和 \(B\)。
情况 1：到固定点的距离 (\(|z - a| = k\))
• \(|z - a|\) 表示点 \(z\) 到固定点 \(a\) 的距离。
• 轨迹：以 \(A\) 为圆心，\(k\) 为半径的圆。
$$|z - (1 + 2i)| = 3$$ 解读： 所有到点 \((1, 2)\) 距离恰好为 3 的点 \(z\)。(如果是 \(< k\)，则为圆内区域。)
情况 2：到两个固定点的距离相等 (\(|z - a| = |z - b|\))
• \(z\) 到 \(a\) 的距离等于 \(z\) 到 \(b\) 的距离。
• 轨迹：线段 \(AB\) 的垂直平分线。
$$|z - 4| = |z - 2i|$$ 解读： 所有到 \(A(4, 0)\) 和 \(B(0, 2)\) 距离相等的点 \(z\)。
情况 3：辐角为常数 (\(\arg(z - a) = \alpha\))
• 这表示向量 \(\vec{AZ}\) 与正实轴所成的角度。
• 轨迹：从固定点 \(A\) 出发的射线 (Half-Line/Ray)。
$$\arg(z - (-2)) = \frac{\pi}{4}$$ 解读： 一条从 \(A(-2, 0)\) 出发，以 \(45^\circ\) (\(\pi/4\) 弧度) 向外延伸的射线。点 \(A\) 本身不包含在轨迹中，因为在向量原点处辐角无定义。
C. 共轭与运算的几何意义：
• 共轭 (\(z \to z^*\)): 实轴对称（关于实轴的反射）。
• 加减法 (\(z_1 \pm z_2\)): 向量加减（平行四边形定则）。
• 乘除法: 导致旋转和缩放（见极坐标部分）。
第 4 部分重点： 复数方程通常定义基本的几何图形。记住三种主要的轨迹类型（圆、垂直平分线、射线）。