欢迎来到复数（Complex Numbers）的世界！
在你目前的数学旅程中，可能一直被告知“负数不能开平方根”。但在进阶数学（Further Maths）里，我们要打破这个规则！你即将认识复数。它们之所以被称为“复数”，并不是因为它们很“复杂”（complex），而是因为它们是由两个不同的部分组合而成的。从电机工程到飞机机翼的升力原理，复数在各种领域都至关重要。
如果起初觉得有点棘手，别担心。 一旦你习惯了基本规则，你会发现它们的运作方式和你已经熟悉的代数非常相似！
1. 基本单元：什么是 \( i \)？
本章的核心是虚数单位（imaginary unit），以 \( \mathbf{i} \) 表示。我们定义为：
\( \mathbf{i^2 = -1} \) 或 \( \mathbf{i = \sqrt{-1}} \)
一个复数 \( z \) 通常写成以下形式：
\( \mathbf{z = x + yi} \)
- x 是实部（Real Part），写作 \( \text{Re}(z) \)。
- y 是虚部（Imaginary Part），写作 \( \text{Im}(z) \)。
共轭复数（Complex Conjugate）
每个复数都有一个“好伙伴”，称为共轭复数，写作 \( \mathbf{z^*} \)。要找到它，只需改变虚部的符号即可：
若 \( z = x + yi \)，则 \( \mathbf{z^* = x - yi} \)。
快速复习：
如果 \( z = 3 + 4i \)，那么：
\( \text{Re}(z) = 3 \)
\( \text{Im}(z) = 4 \)
\( z^* = 3 - 4i \)
重点提示： 复数只是实数与虚数的混合体。你可以把它想象成地图上的坐标（东西向与南北向）。
2. 复数的基本运算
复数的加法和乘法与普通代数非常相似。只需把 \( i \) 当作变量（例如 \( x \)）来处理，但要记住一个特殊的威力：只要看到 \( i^2 \)，就把它替换为 \( -1 \)。
加法与减法
只需合并同类项！将实部相加减，虚部也相加减。
例子：\( (2 + 3i) + (4 - 1i) = (2+4) + (3-1)i = 6 + 2i \)
乘法
使用 FOIL 方法（展开法：首项、外项、内项、末项）。
例子：\( (2 + 3i)(1 - 2i) \)
\( = 2 - 4i + 3i - 6i^2 \)
因为 \( i^2 = -1 \)，变成 \( 2 - i - 6(-1) \)
\( = 2 - i + 6 = \mathbf{8 - i} \)
除法
进行除法时，我们使用一个技巧，称为“乘上共轭复数”。我们将分子和分母同时乘上分母的共轭复数，目的是消除底下的 \( i \)。
除法步骤：
1. 找出分母的共轭复数。
2. 将分子和分母同时乘以该共轭复数。
3. 化简（分母一定会变成实数！）。
避免常见错误：
在计算 \( \text{Im}(z) \) 时，请不要包含 \( i \)。例如 \( z = 5 + 6i \)，虚部是 \( 6 \)，而不是 \( 6i \)。
重点提示： 把 \( i \) 当作 \( x \) 看待，但务必将 \( i^2 \) 化简为 \( -1 \)。做除法时，请找“共轭好伙伴”帮忙。
3. 解多项式方程
复数让我们能够解那些没有实数根的二次方程（即判别式 \( b^2 - 4ac < 0 \) 的情况）。
共轭根定理（Conjugate Pairs Rule）
这是一个非常省时的法则！如果一个多项式方程具有实系数（例如 \( x^2 + 2x + 5 = 0 \)），那么任何复数根必须成对出现。
如果 \( \mathbf{2 + 3i} \) 是一个根，那么 \( \mathbf{2 - 3i} \) 也必然是根！
三次与四次方程
对于更高次方程：
- 三次方程（\( x^3 \)）有 3 个根。它至少会有一个实数根。
- 四次方程（\( x^4 \)）有 4 个根。它可能有 4 个实根、2 个实根与 2 个复根，或是 4 个复根。
记忆口诀： “复数根从不孤单——它们总是成对出现！”
重点提示： 如果你找到一个复数根，其实你就已经找到两个了！请运用因式定理（Factor Theorem）和长除法来找出其余的根。
4. 阿尔冈图（Argand Diagram）
阿尔冈图就是一个用来绘制复数的平面图。
- x 轴是实轴（Real Axis）。
- y 轴是虚轴（Imaginary Axis）。
复数 \( z = 3 + 2i \) 在图上对应点 \( (3, 2) \)。
你知道吗？
在阿尔冈图上进行复数加法，就像向量加法一样。如果你从原点画出连线到各个复数点，它们的总和就是平行四边形的对角线。
重点提示： 阿尔冈图将代数转化为几何。它是复数世界的“地图”。
5. 模-辐角形式（Modulus-Argument Form）
我们除了用坐标（\( x + yi \)）表示复数外，也可以用它与原点的距离以及与正实轴的夹角来描述。
模（Modulus, \( |z| \)）
这是点到 \( (0,0) \) 的距离。利用毕氏定理！
\( \mathbf{|z| = r = \sqrt{x^2 + y^2}} \)
辐角（Argument, \( \text{arg}(z) \)）
这是夹角 \( \theta \)，以弧度（radians）为单位。
- 我们通常使用主辐角（Principal Argument）：\( -\pi < \theta \le \pi \)。
- 使用 \( \tan \theta = \frac{y}{x} \)，但一定要留意象限！务必画个简单的阿尔冈图草图，确认点的位置。
形式
\( \mathbf{z = r(\cos \theta + i \sin \theta)} \)
乘法与除法（简易法）
如果你有两个以模-辐角形式表示的复数：
- 相乘： 将模相乘，将辐角相加。
- 相除： 将模相除，将辐角相减。
类比： 把 \( x + yi \) 想象成“向东走 3 个街区，向北走 4 个街区”（GPS 坐标），而模-辐角形式则像是“以 53 度方位角行走 5 英里”（雷达定位）。
重点提示： 模就是距离。辐角就是角度。采用这种形式做乘法非常方便，因为你只需要把角度加起来就可以了！
6. 阿尔冈图上的轨迹（Loci）
轨迹（Locus）是指满足特定规则的点集。在 MEI 课程中，你需要掌握以下三种主要类型：
- 圆形：\( |z - a| = r \)
这意味着“\( z \) 到点 \( a \) 的距离恒为 \( r \)”。这会画出一个圆心为 \( a \)、半径为 \( r \) 的圆。 - 垂直平分线：\( |z - a| = |z - b| \)
这意味着“\( z \) 到点 \( a \) 和点 \( b \) 的距离相等”。这会画出一条位于 \( a \) 和 \( b \) 正中间的直线。 - 射线（半直线）：\( \text{arg}(z - a) = \theta \)
这意味着“一条从 \( a \) 开始（但不包含 \( a \) 本身），并以角度 \( \theta \) 向外延伸的线”。
区域与不等式：
如果你看到 \( \le \) 或 \( < \)，你代表需要为某个区域上色。
- \( |z - a| < r \) 表示圆的内部。
- \( |z - a| > r \) 表示圆的外部。
快速复习盒：
- 圆心在哪？就是点 \( a \)。 （小心：如果写成 \( |z + 2i| \)，那是 \( |z - (-2i)| \)，所以圆心在 \( -2i \)）。
- 如何涂色？代入一个测试点（例如原点），看看是否符合不等式！
重点提示： 轨迹只是图形的“数学描述”。\( |z - \text{某物}| \) 永远代表“到某物的距离”。