欢迎来到复数的世界！
你有没有试过计算器告诉你「无法对负数开平方」？在这一章里，我们要打破这个规则！复数 (Complex numbers) 是你现有数学知识的一个绝妙延伸。它们让我们能够解开那些看似不可能的方程式，而工程师和科学家更利用它们来设计从智能手机电路到飞机机翼等各种东西。
如果起初觉得这些数字有点「虚构」(imaginary，双关语！)，别担心！我们会一步一步来，从这些数字的基本定义及其绘图方式开始。
1. \(i\) 的魔力与笛卡儿形式
在你以前的学习中，你使用判别式 (Discriminant) (\(b^2 - 4ac\)) 来判断二次方程式是否有根。如果判别式是负数，你会说该方程「无实根」。
复数引入了虚数单位 (Imaginary unit)，记作 \(i\)，其中：
\(i^2 = -1\) 或 \(i = \sqrt{-1}\)
什么是复数？
一个复数 (complex number) (通常称为 \(z\)) 由两部分组成：实部 (Real part) 和 虚部 (Imaginary part)。我们用笛卡儿形式 (Cartesian Form) 来表示它：
\(z = a + bi\)
- \(a\) 是实部 (Real part) (\(Re(z)\))
- \(b\) 是虚部 (Imaginary part) (\(Im(z)\))
例子：在 \(z = 3 + 4i\) 中，实部为 3，虚部为 4。
基本运算
把 \(i\) 看作代数中的 \(x\) 来处理，但每当你看到 \(i^2\)，就把它替换为 \(-1\)。
- 加法/减法： 将实部相加/减，虚部亦然。
\((2 + 3i) + (4 - i) = 6 + 2i\) - 乘法： 使用 FOIL 方法（首项 First、外项 Outer、内项 Inner、末项 Last）。
\((2 + i)(3 - 2i) = 6 - 4i + 3i - 2i^2\)
由于 \(i^2 = -1\)，式子变为： \(6 - i - 2(-1) = 8 - i\)。
重点小笔记：
1. \(i = \sqrt{-1}\)
2. \(i^2 = -1\)
3. \(i^3 = -i\)
4. \(i^4 = 1\)
2. 共轭复数与除法
要进行复数除法，我们需要一个特别的伙伴，叫做共轭复数 (Complex Conjugate)。
什么是共轭复数？
若 \(z = a + bi\)，其共轭复数（记作 \(z^*\) 或 \(\bar{z}\)）就是 \(a - bi\)。只需将虚部的符号反转即可！
为什么要使用它？ 当你将一个数乘以它的共轭时，虚部会互相抵消，留下一个纯实数：
\((a + bi)(a - bi) = a^2 + b^2\)
如何进行除法
要解 \(\frac{2 + i}{3 - i}\)，请将分子和分母同时乘以分母的共轭复数 (\(3 + i\))。这样可以「清理」分母，使其不再包含虚数。
常见错误： 忘记改变共轭符号。如果分母是 \(5 + 2i\)，其共轭为 \(5 - 2i\)。如果分母是 \(4 - 3i\)，则其共轭为 \(4 + 3i\)！
核心重点： 乘法和除法只是代数运算。最后记得要把 \(i^2\) 简化为 \(-1\)！
3. 阿尔冈图 (Argand Diagram)
复数不仅仅是符号，我们还可以把它们画出来！阿尔冈图 (Argand Diagram) 就像标准坐标图，但：
- x 轴 是实轴 (Real Axis)。
- y 轴 是虚轴 (Imaginary Axis)。
类比：把它想象成地图。要找到 \(z = 3 + 2i\)，向东（实数方向）走 3 步，再向北（虚数方向）走 2 步。
模 (Modulus) 与幅角 (Argument)
除了 \(x\) 和 \(y\) 坐标外，我们可以用距离中心多远以及它形成的角度来描述一个点。
- 模 (\(|z|\))： 从原点 \((0,0)\) 到该点的距离。使用毕氏定理！
\(|z| = \sqrt{a^2 + b^2}\) - 幅角 (arg z)： 该线段与正实轴所成的角度 \(\theta\)。我们通常以弧度 (radians) 来度量，范围在 \(-\pi\) 到 \(\pi\) 之间。
\(\tan(\theta) = \frac{b}{a}\)
你知道吗？ 我们使用 \(-\pi < \theta \leq \pi\) 是因为在图表的下半部分「向下」量度，比绕一圈量度要方便得多！
幅角小撇步：
请务必先绘制该点，以确认它位于哪个象限！
- 如果在第二象限，计算器可能会给你一个负值，你需要再加 \(\pi\)。
- 如果在第三象限，你需要减去 \(\pi\)。
4. 模幅形式与指数形式
现在我们有了 \(r\) (模) 和 \(\theta\) (幅角)，我们可以用新的方式来表示复数。
极坐标形式 (模幅形式)
\(z = r(\cos \theta + i \sin \theta)\)
指数形式
利用欧拉恒等式 (Euler's identity)，我们可以更简洁地写出：
\(z = re^{i\theta}\)
为什么要这样做？ 在这些形式下，乘法和除法会变得容易得多！
- 乘法： \(re^{i\theta}\) 乘以 \(se^{i\phi}\) 时，将模相乘 (\(r \times s\))，并将幅角相加 (\(\theta + \phi\))。
- 除法： 将模相除 (\(r / s\))，并将幅角相减 (\(\theta - \phi\))。
核心重点： 加减法使用笛卡儿形式 (\(a + bi\))。乘除法及幂运算使用指数形式 (\(re^{i\theta}\))。
5. 解方程式
9709 课程大纲要求你解涉及复数的方程式。通常会出现两种类型：
求复数的平方根
要找 \(3 + 4i\) 的平方根：
1. 令 \((x + iy)^2 = 3 + 4i\)。
2. 展开： \(x^2 - y^2 + 2xyi = 3 + 4i\)。
3. 建立两个方程式： \(x^2 - y^2 = 3\) (实部) 和 \(2xy = 4\) (虚部)。
4. 使用代入法解 \(x\) 和 \(y\)。
具有复数根的多项式
如果一个多项式具有实系数（例如 \(x^2 + 4x + 13 = 0\)），而你发现其中一个根是复数（例如 \(z = -2 + 3i\)），那么它的共轭复数也必然是根（即 \(z = -2 - 3i\)）。
记忆法： 复数根总是成对出现的！它们就像形影不离的「好朋友」，只是中间的符号相反而已。
6. 轨迹 (Loci，绘制区域)
「轨迹」是指符合某种规则的一组点。在阿尔冈图上，这些轨迹看起来像圆形或直线。
1. 圆： \(|z - a| = r\)
这意味着点 \(z\) 到点 \(a\) 的距离始终为 \(r\)。
草图：一个以 \(a\) 为圆心，\(r\) 为半径的圆。
2. 垂直平分线： \(|z - a| = |z - b|\)
这意味着 \(z\) 位于点 \(a\) 和点 \(b\) 的正中间。
草图：一条垂直平分 \(a\) 与 \(b\) 连线的直线，夹角为 90 度。
3. 半直线： \(arg(z - a) = \alpha\)
这意味着从点 \(a\) 出发的角度固定为 \(\alpha\)。
草图：一条从点 \(a\) 出发（但不包含 \(a\)）并指向角度 \(\alpha\) 的「射线」。
重点小笔记：
- \(|z - (1 + 2i)| = 3\) 是一个圆心在 \((1, 2)\)，半径为 3 的圆。
- 警告： 务必将公式写成 \(|z - (number)|\) 的形式。如果你看到 \(|z + 1|\)，请将其重写为 \(|z - (-1)|\)，这样你才能正确判断圆心在 \(-1\)。
总结：你的复数工具箱
- 标准形式： \(z = a + bi\) (适合加减法)。
- 共轭复数： \(z^* = a - bi\) (用于除法)。
- 地图： 实部为 \(x\)，虚部为 \(y\)。
- 距离： \(|z| = \sqrt{a^2 + b^2}\)。
- 角度： \(\theta = \arctan(b/a)\) (记得检查象限！)。
- 轨迹： 理解规则代表的「图形」（圆形、直线或射线）。
持续练习！复数在普通的数线上看不见，可能会让你觉得有点奇特，但一旦你掌握了阿尔冈图，它们就会成为 A-Level 数学中最具视觉感且最有成就感的部分！