欢迎来到复数的世界！
在你的数学旅程中，你一直被告知不能对负数取平方根。但在进阶数学（Further Mathematics）中，我们要打破这个规则！复数（Complex numbers）让我们能够解决以往看似“不可能”的方程式。请不要把它们视为虚假或不存在的“虚构”，而是一种全新的数字维度，它帮助我们理解从电机工程到量子物理等各个领域。
如果起初觉得有点奇怪，请不用担心。我们只是在扩充你的数学工具箱。只要你能处理基础代数，你就一定能学好复数！
1. 基础：什么是 \(i\)？
本章的根基在于一个简单的定义：\(i^2 = -1\)。这意味着 \(i = \sqrt{-1}\)。我们称 \(i\) 为虚数单位（imaginary unit）。
一个复数通常写成 \(z = x + iy\) 的形式，其中：
- \(x\) 是实部（real part），记作 \(\text{Re}(z)\)。
- \(y\) 是虚部（imaginary part），记作 \(\text{Im}(z)\)。
复数运算
处理复数的方法与基础代数非常相似（就像合并 \(x\) 的同类项一样）。
- 加法/减法：只需分别加减实部和虚部。
例子：\((3 + 2i) + (5 - 4i) = (3+5) + (2-4)i = 8 - 2i\)。 - 乘法：像平常一样展开括号，但请记住 \(i^2 = -1\)。
例子：\((2 + i)(3 - i) = 6 - 2i + 3i - i^2\)。由于 \(-i^2 = -(-1) = 1\)，答案就是 \(7 + i\)。
快速复习：每当你看到 \(i^2\)，请立即将其替换为 \(-1\)。这是最容易丢分的地方！
重点总结：复数有一个实数“部分”和一个虚数“部分”。请将 \(i\) 视为一个变量，但别忘了它在平方后会变成 \(-1\) 的特殊能力。
2. 共轭复数与除法
如果你有一个复数 \(z = x + iy\)，它的共轭复数（complex conjugate）记作 \(z^* = x - iy\)。你只需要改变虚部的符号即可。
为什么共轭复数很有用？
当你将一个数字乘以它的共轭复数时，虚部会互相抵消，只剩下一个纯实数：
\(z z^* = (x + iy)(x - iy) = x^2 + y^2\)。
除法
要进行复数除法，我们利用共轭复数来“实数化分母”（类似于根式有理化）。将分子和分母同时乘以分母的共轭复数。
例子：要计算 \(\frac{2+i}{1-i}\)，请将分子和分母同时乘以 \((1+i)\)。
常见错误：忘记改变共轭复数的符号。如果分母是 \(3 + 4i\)，其共轭为 \(3 - 4i\)。如果分母是 \(3 - 4i\)，其共轭则为 \(3 + 4i\)。
3. 解多项式方程式
现在我们可以解判别式（\(b^2 - 4ac\)）为负数的二次方程式了！
共轭根定理
对于任何具有实系数的多项式方程式（二次、三次或四次），如果复数 \(z\) 是一个根，那么它的共轭 \(z^*\) 必定也是一个根。它们总是成对出现的！
解三次及四次方程式
你可能会得到三次方程式的一个根，例如 \(z = 2 + i\)。根据上述规则，你可以立即知道另一个根是 \(z = 2 - i\)。
- 将这些根对应的因式相乘：\((z - (2+i))(z - (2-i))\)，从而得到一个二次因式。
- 使用多项式长除法，将原始方程式除以这个二次因式，以求出剩余的根。
你知道吗？三次方程式总会有至少一个实根，因为复数根必须成对出现（2 个、4 个等），而三次方程式总共有 3 个根。
重点总结：实系数多项式的根总是成对出现。只要你找到一个复数根，其实你就已经找到了两个！
4. 阿尔冈图（Argand Diagram）
我们可以在阿尔冈图上可视化复数。它看起来就像标准的 \(x\)-\(y\) 平面坐标系，但：
- 横轴是实轴（Real axis）。
- 纵轴是虚轴（Imaginary axis）。
几何加法：在阿尔冈图上相加两个复数就像加向量一样。你可以使用“平行四边形法则”。结果就是由这两个数所形成的平行四边形的对角线。
5. 模-辐角形式（Modulus-Argument Form）
除了使用坐标 \((x, y)\) 之外，我们可以用复数与原点的距离及其角度来描述它。
模（Modulus, \(|z|\)）
模是点到原点的距离。我们使用毕氏定理：
\(|z| = r = \sqrt{x^2 + y^2}\)。
辐角（Argument, \(\text{arg}(z)\)）
辐角（\(\theta\)）是线段与正实轴所成的角度。
关键规则：我们总是使用弧度（radians），并通常将角度保持在 \(-\pi\) 到 \(\pi\) 之间。
模-辐角形式：\(z = r(\cos\theta + i\sin\theta)\)
实用技巧：在寻找辐角时，一定要快速画出阿尔冈图，看看该复数位于哪个象限。这能防止你在角度上出错（例如搞错了 180 度）！
模-辐角形式的乘法与除法
这正是模-辐角形式的强大之处！它让乘除运算变得简单得多：
- 乘法：将模相乘，将辐角相加。
\(|z_1 z_2| = |z_1||z_2|\) 且 \(\text{arg}(z_1 z_2) = \text{arg}(z_1) + \text{arg}(z_2)\)。 - 除法：将模相除，将辐角相减。
\(|\frac{z_1}{z_2}| = \frac{|z_1|}{|z_2|}\) 且 \(\text{arg}(\frac{z_1}{z_2}) = \text{arg}(z_1) - \text{arg}(z_2)\)。
重点总结：模-辐角形式将乘法变为加法，将除法变为减法。这对你的计算器来说就像魔法一样！
6. 轨迹与区域（Loci and Regions）
轨迹（Locus，复数为 loci）是一组遵循特定规则的点。在阿尔冈图上，这些点会形成各种形状。
圆形：\(|z - a| = r\)
这代表所有距离点 \(a\) 为 \(r\) 的点 \(z\)。
解释：以 \(a\) 为圆心，半径为 \(r\) 的圆。
例子：\(|z - 3i| = 2\) 是一个圆心在 \((0, 3)\)，半径为 2 的圆。
垂直平分线：\(|z - a| = |z - b|\)
这代表点 \(a\) 和点 \(b\) 之间正中间的所有点。
解释：连接 \(a\) 和 \(b\) 的线段的垂直平分线。
射线（Half-Line）：\(\text{arg}(z - a) = \theta\)
这代表所有从点 \(a\) 开始，并以角度 \(\theta\) 向外延伸的点。
注意：点 \(a\) 本身通常是一个空心圆，因为辐角在起点处并未明确定义。
区域
如果你看到不等式（如 \(<\) 或 \(\leq\)），你需要涂抹一个区域。
- \(|z - a| \leq r\) 代表“圆内或圆周上”。
- \(|z - a| > |z - b|\) 代表“直线中靠近 \(b\) 的那一侧”。
快速复习盒：
1. \(|z - a| = r\) → 圆形
2. \(|z - a| = |z - b|\) → 垂直平分线
3. \(\text{arg}(z - a) = \theta\) → 从 \(a\) 开始的射线
重点总结：轨迹只是几何规则。将数学表达式翻译成“到……的距离”或“与……的角度”，形状自然就会浮现出来！