欢迎来到复数的世界！
在你以往的数学学习中，或许曾被告知不能对负数取平方根。但在进阶数学（Further Maths）中，我们要打破这个规则！复数（Complex Numbers）让我们能解开以往认为“不可能”的方程式。它们在现实世界中无处不在，从设计飞机机翼到理解电力如何在你的家中流动，都离不开复数。
如果起初觉得这些数字有点“虚幻”，请别担心——读完这份笔记后，你会发现这些数字遵循着非常合乎逻辑的规则，就像你自小学以来所使用的数字一样。
1. 基础：什么是 \(i\)？
整个章节的基础源于一个简单的定义：虚数单位（imaginary unit），以 \(i\) 表示，定义为：
\( i^2 = -1 \) (或 \( i = \sqrt{-1} \))
笛卡儿形式（Cartesian Form）
复数（complex number） \(z\) 通常写成笛卡儿形式：
\( z = x + iy \)
• \(x\) 是实部（real part），写作 \(\text{Re}(z)\)。
• \(y\) 是虚部（imaginary part），写作 \(\text{Im}(z)\)。
例子：在 \( z = 3 + 4i \) 中，实部是 3，虚部是 4。
复数共轭（The Complex Conjugate）
如果你有一个复数 \( z = x + iy \)，它的共轭复数（conjugate）（写作 \(z^*\)）只需将虚部的符号改变即可：\( z^* = x - iy \)。
温故知新：当且仅当一个复数的实部和虚部皆为零时，该复数才等于零。
重点提示：每个复数都有一个“实数”面和一个“虚数”面。把它想象成地图上的坐标吧！
2. 阿尔冈图（The Argand Diagram）
我们无法在标准的数线上标示复数，因此我们使用一个二维图表，称为阿尔冈图（Argand Diagram）。
• 横轴是实数轴（Real Axis）（就像 x 轴）。
• 纵轴是虚数轴（Imaginary Axis）（就像 y 轴）。
类比：如果实数就像是在钢索上前后行走，那么复数就像是拥有了整个地板可以走动！
几何效应
• 加法：相加 \(z_1 + z_2\) 就像向量相加。你只需分别移动两者的实部和虚部。
• 共轭：取共轭 \(z^*\) 相当于将该点沿着实数轴进行反射。就像是在放在地板上的镜子中看这个数字一样。
3. 基本运算
复数运算与基础代数非常相似，只需记住黄金法则：\( i^2 = -1 \)。
加法与减法
只需合并“同类项”。将实部相加，虚部相加。
例子： \( (2 + 3i) + (4 - i) = (2+4) + (3-1)i = 6 + 2i \)。
乘法
使用“FOIL”法（First, Outside, Inside, Last）或方格法来展开括号。
关键步骤：每当看到 \(i^2\)，就将其替换为 \(-1\)。
例子： \( (2+i)(3+2i) = 6 + 4i + 3i + 2i^2 = 6 + 7i - 2 = 4 + 7i \)。
除法
要进行复数除法，我们将分子和分母同时乘以分母的共轭复数。这能将分母“实数化”（变为实数）。
步骤 1：找出分母的共轭复数。
步骤 2：将分子和分母同时乘以该共轭复数。
步骤 3：使用 \(i^2 = -1\) 进行化简。
重点提示：把 \(i\) 看作变量（像 \(x\) 一样）来处理，但一定要记得将 \(i^2\) 转变为 \(-1\)。
4. 模（Modulus）与辐角（Argument）
除了使用坐标（\(x\) 和 \(y\)）外，我们还可以用它到原点的距离以及角度来描述复数。
模 \( |z| \)
模（modulus）是从原点 \((0,0)\) 到点 \(z\) 的距离。我们使用勾股定理：
\( |z| = r = \sqrt{x^2 + y^2} \)
注意：模永远是一个正实数或零。
辐角 \( \arg(z) \)
辐角（argument）（\(\theta\)）是该连线与正实数轴所夹的角度，以弧度（radians）为单位。
• 逆时针测量的角度为正。
• 顺时针测量的角度为负。
在 OCR 课程标准中，主辐角（principal argument）取值于区间 \( (-\pi, \pi] \)。
你知道吗？在进阶数学中，我们几乎总是使用弧度而不是角度（度）。如果你的计算器上方显示“D”，请记得切换到“R”！
5. 模-辐角形式（Modulus-Argument Form）
我们可以将任何复数 \(z\) 表示为：
\( z = r(\cos\theta + i\sin\theta) \)
其中 \(r = |z|\) 是模，\(\theta = \arg(z)\) 是辐角。
模-辐角运算的魔力
以这种形式进行乘除法会简单得多！
• 要相乘 \(z_1\) 和 \(z_2\)：将模相乘，并将辐角相加。
\( |z_1 z_2| = r_1 r_2 \) 且 \( \arg(z_1 z_2) = \theta_1 + \theta_2 \)
• 要相除 \(z_1\) 和 \(z_2\)：将模相除，并将辐角相减。
\( \left|\frac{z_1}{z_2}\right| = \frac{r_1}{r_2} \) 且 \( \arg\left(\frac{z_1}{z_2}\right) = \theta_1 - \theta_2 \)
温故知新小视窗：
要将 \( x+iy \) 转换为 \( r(\cos\theta + i\sin\theta) \)：
1. \( r = \sqrt{x^2 + y^2} \)
2. 利用三角学求出 \(\theta\)，并务必在阿尔冈图上检查所在象限！
6. 解方程式
复数是解开多项式方程式的钥匙。
复数的平方根
要找到 \(\sqrt{w}\)，设 \( (x+iy)^2 = w \)。展开左侧，比较实部和虚部，然后解所得到的联立方程式以求出实数 \(x\) 和 \(y\)。
二次方程式
当解实系数方程式 \(az^2 + bz + c = 0\) 且判别式 \(b^2 - 4ac < 0\) 时，其解为包含负数平方根的非实数复数。
例子： \( z^2 + 9 = 0 \implies z^2 = -9 \implies z = \pm 3i \)。
共轭根定理（The Conjugate Pair Theorem）
对于任何实系数多项式方程式，如果非实数复数 \(\alpha\) 是一个根，那么它的共轭复数 \(\alpha^*\) 也必然是根。
• 三次方程式（3 次方）会有 3 个实根，或者 1 个实根和 1 对共轭复数根。
• 四次方程式（4 次方）会有 4 个实根，2 个实根和 1 对共轭复数根，或是 2 对共轭复数根。
解高次多项式方程式
如果你已知一个复数根 \(\alpha = x + iy\)，你立刻就能知道它的共轭复数根 \(\alpha^* = x - iy\)。
1. 组成二次因式： \( (z - \alpha)(z - \alpha^*) = z^2 - 2xz + (x^2 + y^2) \)。请注意，这个二次因式的系数全是纯实数！
2. 将多项式除以这个二次因式（或比较系数）以找出其余的一次方或二次方因式。
3. 解其余的因式以求出方程式的所有根。
总结：复数并非因为“不存在”而被称为“虚数”——它们只是我们看待数系的一种更完备的方式。掌握运算，学会如何在阿尔冈图上“看见”它们，你会发现它们是你数学工具箱中最强大的工具之一！