简介：进入新维度
欢迎来到进阶数学（Further Mathematics）中最令人兴奋的章节之一！到目前为止，你可能一直被告知负数无法开平方根。在复数（Complex Numbers）的世界里，我们要抛弃这个规则。通过引入一个全新的符号 \(i\)，我们解锁了一个全新的数学维度，让我们能够解开任何二次方程，并以优美、几何的方式描述旋转。
如果起初觉得这些数字有点“虚构”，请不用担心——读完这些笔记后，你就会明白这些数字遵循着非常合乎逻辑的规则，就像你已经熟悉的代数一样。
1. 基本构件：什么是 \(i\)？
在标准数学中，方程 \(x^2 = -1\) 没有解，因为没有任何实数自乘会等于负数。我们定义虚数单位（imaginary unit）如下：
\(i = \sqrt{-1}\) 或 \(i^2 = -1\)
复数（Complex Number） (\(z\)) 仅仅是实部（Real part）与虚部（Imaginary part）的混合，写作：
\(z = a + bi\)
其中：
- \(a\) 是实部（Real Part） (\(Re(z)\))
- \(b\) 是虚部（Imaginary Part） (\(Im(z)\))
快速复习：相等性
两个复数只有在其实部相同且虚部也相同时才相等。
例子： 若 \(a + bi = 3 + 4i\)，则 \(a = 3\) 且 \(b = 4\)。这是解方程时的一个强大工具！
重点提示： 复数扩展了我们的数系，让我们能够使用符号 \(i\) 来处理负数的平方根。
2. 基础运算：加法、减法与乘法
复数运算与基础代数非常相似，你可以将 \(i\) 视为一个变量（例如 \(x\)），但有一条特殊规则：每当你看到 \(i^2\)，就将其替换为 \(-1\)。
加法与减法
只需“合并同类项”。将实部相加减，虚部亦然。
例子： \((3 + 2i) + (5 - 4i) = (3+5) + (2-4)i = 8 - 2i\)
乘法
使用 FOIL 方法（展开括号：首项、外项、内项、末项），就像在代数中展开括号一样。
例子： 计算 \((2 + 3i)(1 + 2i)\)
1. 首项（First）： \(2 \times 1 = 2\)
2. 外项（Outside）： \(2 \times 2i = 4i\)
3. 内项（Inside）： \(3i \times 1 = 3i\)
4. 末项（Last）： \(3i \times 2i = 6i^2\)
5. 合并： \(2 + 7i + 6i^2\)
6. \(i^2\) 规则： 因为 \(i^2 = -1\)，所以 \(6i^2\) 变为 \(-6\)。
7. 结果： \(2 + 7i - 6 = -4 + 7i\)
重点提示： 把 \(i\) 当作普通变量处理，但务必记得将 \(i^2\) 化简为 \(-1\)。
3. 复数共轭与除法
要进行复数除法，我们需要一个称为复数共轭（Complex Conjugate）的特殊“拍档”。
如果 \(z = a + bi\)，那么其共轭（记作 \(z^*\) 或 \(\bar{z}\)）就是 \(a - bi\)。
神奇性质： 当你将一个复数乘以它的共轭时，虚部会消失！
\((a + bi)(a - bi) = a^2 + b^2\)（这是一个纯实数）。
如何进行除法
要计算 \(\frac{z_1}{z_2}\)，需将分子和分母同时乘以分母的共轭。这样可以实现分母“实数化”。
例子： 计算 \(\frac{10 + 5i}{1 + 2i}\)
1. 分母 (\(1 + 2i\)) 的共轭是 \(1 - 2i\)。
2. 分子分母同乘：\(\frac{(10 + 5i)(1 - 2i)}{(1 + 2i)(1 - 2i)}\)
3. 分子：\(10 - 20i + 5i - 10i^2 = 10 - 15i + 10 = 20 - 15i\)
4. 分母：\(1^2 + 2^2 = 5\)
5. 最后步骤：\(\frac{20 - 15i}{5} = 4 - 3i\)
常见错误： 在找共轭时忘了改变虚部的符号。\(3 - 4i\) 的共轭是 \(3 + 4i\)，而不是 \(-3 - 4i\)！
4. 阿尔冈图（Argand Diagram）：可视化数字
将阿尔冈图（Argand Diagram）想象成一张地图。我们使用标准的二维坐标系，但不是 \(x\) 和 \(y\)，而是：
- 实轴（Real Axis）（水平轴）
- 虚轴（Imaginary Axis）（垂直轴）
复数 \(z = x + iy\) 被绘制为点 \((x, y)\)，或者作为一个从原点 \((0,0)\) 出发的向量。
你知道吗？
在阿尔冈图上进行复数加法，与使用“平行四边形法则”或“首尾相接法”进行向量加法是完全一样的！
5. 模长与辐角
有时候，用“距离有多远”和“方向在哪”来描述一个点，比用 \(x,y\) 坐标更有用。
模长（Modulus，\(|z|\)）
模长是原点到该点的距离。我们使用毕氏定理：
\(|z| = \sqrt{a^2 + b^2}\)
辐角（Argument，\(\arg z\)）
辐角是向量与正实轴之间形成的夹角 \(\theta\)。
- 以弧度（radians）为单位。
- 范围：\(-\pi < \theta \leq \pi\)（这称为主辐角）。
- 夹角 \(\theta = \arctan(\frac{b}{a})\)，但要小心象限位置！
记忆技巧（CAST 图）： 务必快速画一个阿尔冈图草图，看看数字位于哪个象限。如果它在第二或第三象限，你需要通过增加或减去 \(\pi\) 来调整你的 \(\arctan\) 结果。
极坐标形式（模长-辐角形式）
利用基础三角学，我们可以将 \(z = a + bi\) 写成：
\(z = r(\cos \theta + i \sin \theta)\)
其中 \(r = |z|\) 且 \(\theta = \arg z\)。
重点提示： 每个复数都可以通过其坐标 (\(a+bi\)) 或其距离与角度 (\(r, \theta\)) 来描述。
6. 解含复数根的方程
这就是复数成为解多项式超级工具的地方。
二次方程
如果你有 \(ax^2 + bx + c = 0\) 而判别式 (\(b^2 - 4ac\)) 为负数，你将会得到两个复数根。
关键规则： 如果系数 (\(a, b, c\)) 为实数，则根必为彼此的复数共轭。如果一个根是 \(3 + 2i\)，另一个*一定*是 \(3 - 2i\)。
三次与四次方程
课程大纲要求你寻找系数为实数或整数的方程之根。
- 三次方程： 可能有 3 个实根，或是 1 个实根和 2 个共轭复根。
- 四次方程： 可能有 4 个实根、2 个实根和 2 个共轭复根，或是 4 个复根（2 对共轭根）。
逐步解题：已知一个复根求四次方程的根
假设已知 \(x = 2 + i\) 是四次方程 \(f(x) = 0\) 的一个根。
1. 找出第二个根： 因为系数为实数，\(x = 2 - i\) 也必须是根。
2. 形成二次因式： 将这两个因式相乘：\((x - (2+i))(x - (2-i))\)。简化后为 \(x^2 - 4x + 5\)。
3. 多项式除法： 将原始四次方程除以该二次因式，以求出剩余的二次多项式。
4. 求解余项： 解出剩余的二次方程，找到最后两个根。
快速复习盒：
- 共轭根定理： 若 \(z_1\) 是根，则 \(z_1^*\) 也是根（针对实系数）。
- 模长乘积： \(|z_1 z_2| = |z_1| \times |z_2|\)。这是考试时节省时间的好技巧！
总结检查清单
- 我知道 \(i^2 = -1\) 吗？
- 我能进行复数的加、减、乘、除吗？
- 我明白 \(z = a + bi\) 是阿尔冈图上的一个点吗？
- 我能计算距离（模长）和角度（辐角）吗？
- 我记得实系数多项式的复数根总是成对出现（共轭）吗？