欢迎来到复数的世界！
在你以往的数学学习中，或许曾被告知不能对负数取平方根。但在进阶数学（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），写作 \(Re(z)\)。
• \(y\) 是虚部（imaginary part），写作 \(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）为单位。
• 逆时针测量的角度为正。
• 顺时针测量的角度为负。
主辐角（principal argument）通常取值于区间 \( (-\pi, \pi] \) 或 \( [0, 2\pi) \)。
你知道吗？在进阶数学中，我们几乎总是使用弧度而不是角度（度）。如果你的计算器上方显示“D”，请记得切换到“R”！
5. 模-辐角形式（Modulus-Argument Form）
我们可以将任何复数 \(z\) 表示为：
\( z = r(\cos\theta + i\sin\theta) \)
其中 \(r\) 是模，\(\theta\) 是辐角。
模-辐角运算的魔力
以这种形式进行乘除法会简单得多！
• 要相乘 \(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\)：将模相除，并将辐角相减。
\( |\frac{z_1}{z_2}| = \frac{r_1}{r_2} \) 且 \( arg(\frac{z_1}{z_2}) = \theta_1 - \theta_2 \)
温故知新小视窗：
要将 \( x+iy \) 转换为 \( r(\cos\theta + i\sin\theta) \)：
1. \( r = \sqrt{x^2 + y^2} \)
2. \( \theta = \arctan(\frac{y}{x}) \) （但在阿尔冈图上检查所在象限！）
6. 解方程式
复数是解开多项式方程式的钥匙。
复数的平方根
要找到 \(\sqrt{w}\)，设 \( (x+iy)^2 = w \)。展开左侧，比较实部和虚部，然后解联立方程式。
二次方程式
如果你在使用二次公式时，发现根号内出现负数，你现在知道该怎么做了！只需用 \(i\) 将其写出来即可。
例子： \( x^2 + 9 = 0 \rightarrow x^2 = -9 \rightarrow x = \pm 3i \)。
共轭根定理（Conjugate Pair Theorem）
对于任何实系数多项式方程式，如果复数 \(z\) 是一个根，那么它的共轭复数 \(z^*\) 也必然是根。
• 三次方程式（3 次方）会有 3 个实根，或者 1 个实根和 1 对共轭复数根。
• 四次方程式（4 次方）会有 4 个实根，2 个实根和 1 对共轭复数根，或是 2 对共轭复数根。
重点提示：复数根总是成对出现（就像鞋子一样！）。如果你找到 \(2 + i\)，你就自动找到了 \(2 - i\)。
7. 阿尔冈图上的轨迹（Loci on the Argand Diagram）
轨迹（locus，复数为 loci）是一组满足特定规则的点。在复数中，这些规则会创造出优美的几何图形。
圆形： \( |z - a| = k \)
这意味着“\(z\) 与点 \(a\) 之间的距离永远是 \(k\)”。
• 这代表一个以 \(a\) 为圆心，半径为 \(k\) 的圆。
常见错误：在 \( |z + 2i| = 3 \) 中，圆心是 \(-2i\)，而不是 \(2i\)。一定要将其写成 \( |z - (-2i)| \)。
垂直平分线： \( |z - a| = |z - b| \)
这意味着“\(z\) 到点 \(a\) 的距离与到点 \(b\) 的距离相等”。
• 这代表连接点 \(a\) 和点 \(b\) 的线段的垂直平分线。
半线（射线）： \( arg(z - a) = \alpha \)
这意味着“从点 \(a\) 到 \(z\) 的角度永远是 \(\alpha\)”。
• 这代表一条从 \(a\) 开始（但不包含 \(a\)）且角度为 \(\alpha\) 的半线（或射线）。我们通常会在 \(a\) 处画一个空心圆，以表示该点不包含在内。
区域与不等式
如果方程式使用 \( < \) 或 \( > \)，它代表一个区域。
• \( |z - a| < k \) 是圆形的内部。
• 对于 \(\le\) 或 \(\ge\)，使用实线（意味着边界包含在内）。
• 对于 \( < \) 或 \( > \)，使用虚线（意味着边界不包含在内）。
温故知新：集合符号
你可能会看到一个区域写作 \( \{z : |z - a| > k\} \)。这只是表示“所有距离 \(a\) 大于 \(k\) 的复数 \(z\) 的集合”。
总结：复数并非因为“不存在”而被称为“虚数”——它们只是我们看待数系的一种更完备的方式。掌握运算，学会如何在阿尔冈图上“看见”它们，你会发现它们是你数学工具箱中强大的工具之一！