欢迎来到复数的世界！
在你的 GCSE 和一般的 A Level 课程中，老师可能教过你负数不能开平方。但在进阶数学（Further Mathematics）中，我们要打破这些规则！复数让我们能解开那些“无解”的方程式，而且从电机工程到理解声波的传播，处处都有它的身影。如果一开始觉得很陌生，请别担心——一旦你掌握了基本的“规则”，它就会成为课程中最具逻辑的部分之一。
1. 复数的语言
首先，我们需要处理 \(\sqrt{-1}\) 的方法。我们定义一个新数 i，使得：
\(i^2 = -1\) 或 \(i = \sqrt{-1}\)。
笛卡尔形式 (Cartesian Form)
复数 \(z\) 通常写作：
\(z = x + iy\)
- x 是实部 (real part)，记作 Re(z)。
- y 是虚部 (imaginary part)，记作 Im(z)。
复共轭 (Complex Conjugate)
若 \(z = x + iy\)，则它的共轭复数（记作 \(z^*\)）简单来说就是：
\(z^* = x - iy\)
想象它就像镜中的反射——你只需要改变虚部符号的正负即可。
快速复习：
- \(i^2 = -1\)
- \(z = \text{实部} + i(\text{虚部})\)
- 要找共轭复数，将 \(i\) 项的符号反转即可。
核心观念： 复数由两部分组成——实部和虚部。它们永远是成对出现的！
2. 阿尔冈图 (Argand Diagram)
我们在称为阿尔冈图的平面图上将复数可视化。
- 横轴是实轴 (real axis)（就像 x 轴）。
- 纵轴是虚轴 (imaginary axis)（就像 y 轴）。
运算可视化：
- 加法/减法： 这与向量加法完全相同。如果你将两个复数相加，实际上就是将两个箭头首尾相接。
- 共轭复数： 在阿尔冈图上，\(z^*\) 是 \(z\) 对实轴的反射。
你知道吗？ 阿尔冈图是以让-罗伯特·阿尔冈 (Jean-Robert Argand) 命名的，他是一位业余数学家，平时的工作是在巴黎当会计员！
3. 模与辐角 (Modulus and Argument)
我们也可以用距离中心的位置与角度来描述复数，而不仅仅是用坐标 \((x, y)\)。这就是模辐角形式 (modulus-argument form)。
模 \(|z|\)
模是指从原点 \((0,0)\) 到该点的距离。我们使用毕氏定理：
\(|z| = r = \sqrt{x^2 + y^2}\)
辐角 \(arg(z)\)
辐角是线段与正实轴之间的夹角 \(\theta\)。
- 它以弧度 (radians) 为单位。
- 主辐角 (Principal Argument)： 为了让数值唯一，我们通常将角度范围设定为 \(-\pi < \theta \leq \pi\) 或 \(0 \leq \theta < 2\pi\)。
- \(\tan \theta = \frac{y}{x}\)
常见错误： 一定要画个简图来检查你的复数位于哪个象限 (quadrant)！如果 \(z = -1 - i\)，计算器给你的角度可能会指向错误的方向。画图能确保你的角度指向正确的位置。
核心观念： 模 = 距离；辐角 = 角度。
4. 复数的不同形式
你需要熟练掌握以下三种表达同一个数的方法：
- 笛卡尔形式： \(z = x + iy\)（最适合加减法）。
- 模辐角形式： \(z = r(\cos \theta + i\sin \theta)\)（通常缩写为 \(r\text{cis}\theta\) 或 \([r, \theta]\)）。
- 指数形式： \(z = re^{i\theta}\)（乘法和乘幂运算最强大的形式）。
转换步骤：
- 利用 \(\sqrt{x^2 + y^2}\) 求出 \(r\)。
- 利用 \(\tan^{-1}(\frac{y}{x})\) 并透过画图检查象限来求出 \(\theta\)。
- 将数值代入公式 \(r(\cos \theta + i\sin \theta)\) 或 \(re^{i\theta}\)。
5. 基本运算
加法与减法
使用笛卡尔形式。直接将实部相加，并将虚部相加。
例子：\((3 + 2i) + (1 + 4i) = 4 + 6i\)。
乘法与除法
虽然可以用笛卡尔形式计算（记得 \(i^2 = -1\)），但使用模辐角形式或指数形式会快得多！
乘法规则： 模数相乘，辐角相加。
\(z_1 z_2 = [r_1 r_2, \theta_1 + \theta_2]\)
除法规则： 模数相除，辐角相减。
\(\frac{z_1}{z_2} = [\frac{r_1}{r_2}, \theta_1 - \theta_2]\)
核心观念： 乘法会拉伸/缩短复数的长度，并进行旋转！
6. 解方程式
共轭根定理 (Conjugate Pair Theorem)
如果一个多项式方程式（例如二次或三次方程式）的系数皆为实数，那么其复数根必须成对出现。
如果 \(2 + 3i\) 是一个根，那么 \(2 - 3i\) 一定也是一个根。
求平方根
要求 \(a + ib\) 的平方根，设 \((x + iy)^2 = a + ib\)。
1. 展开左式： \(x^2 - y^2 + 2xyi = a + ib\)。
2. 比较实部： \(x^2 - y^2 = a\)。
3. 比较虚部： \(2xy = b\)。
4. 解联立方程式求出 \(x\) 和 \(y\)。
7. 阿尔冈图上的轨迹 (Loci)
“轨迹”是指符合特定规则的一组点。你需要识别以下四种类型：
- 圆： \(|z - a| = k\)
这意味着“从点 \(a\) 到 \(z\) 的距离始终为 \(k\)”。这是一个中心在 \(a\)，半径为 \(k\) 的圆。 - 垂直平分线： \(|z - a| = |z - b|\)
这意味着“\(z\) 到 \(a\) 的距离与到 \(b\) 的距离相等”。这就是 \(a\) 和 \(b\) 之间的正中直线。 - 射线 (Half-line)： \(arg(z - a) = \theta\)
这是一条从点 \(a\) 出发，且与实轴夹角为 \(\theta\) 的射线。注意：点 \(a\) 本身通常不包含在内（用空心圆圈表示）。 - 垂直线/水平线： \(Re(z) = k\) 或 \(Im(z) = k\)。
小贴士： 如果题目用了不等式，例如 \(|z - a| \leq k\)，你只需要将圆的内部涂色即可。实线代表 \(\leq\) 或 \(\geq\)，虚线则代表 \(<\) 或 \(>\)。
8. 棣美弗定理 (De Moivre’s Theorem)
这个定理在处理乘幂时非常有用：
\((r(\cos \theta + i\sin \theta))^n = r^n(\cos n\theta + i\sin n\theta)\)
简单来说：要将一个复数进行 \(n\) 次方运算，只需将模数取 \(n\) 次方，并将辐角乘以 \(n\)。
应用
- 倍角公式： 你可以使用棣美弗定理将 \(\cos 3\theta\) 之类的表达式写成以 \(\cos \theta\) 为主的形式。
- 求 n 次方根： 要找 \(z^n = w\) 的根，记得会有 \(n\) 个根，它们会形成一个中心在原点的正 n 边形（例如 4 个根会构成正方形，5 个根会构成正五边形）。
单位根 (Roots of Unity)
“单位根”是指 \(z^n = 1\) 的解。它们总是位于半径为 1 的圆上，并围绕中心均匀分布。
总结核心要点：
1. 善用 \(i^2 = -1\)。
2. 加减法用笛卡尔形式；乘除及乘幂运算用指数形式。
3. 务必绘制阿尔冈图。
4. 实系数多项式的复数根总是成对出现 (\(z\) 和 \(z^*\))。
5. 棣美弗定理将乘幂转化为辐角的简单乘法。