欢迎来到复数的世界！
在你的 H2 学习历程中，你已经接触过像 \(x^2 + 1 = 0\) 这类方程式在实数系中没有解的概念。到了 H3 数学，我们假设你已经具备了这些“虚数”概念的扎实基础。如果觉得有点生疏也不用担心！这些笔记旨在帮你填补空缺，确保你能以 H3 所需的自信与严谨度处理复数问题。
为什么这很重要？ 复数不只是数学上的小技巧。它们在物理（交流电）、工程学（流体力学），甚至是在求解高次多项式（否则将无法解出）的根时，都扮演着不可或缺的角色。
1. 基本构件：笛卡儿形式 (Cartesian Form)
复数 \(z\) 通常以笛卡儿形式表示为：
\(z = a + bi\)
其中：
- \(a\) 是实部 (real part)，记作 \(Re(z)\)。
- \(b\) 是虚部 (imaginary part)，记作 \(Im(z)\)。
- \(i\) 是虚数单位，定义为 \(i^2 = -1\)。
算术基础
在进行代数运算时，你可以把 \(i\) 看作像 \(x\) 一样的变量，但一定要记得将所有的 \(i^2\) 替换为 \(-1\)。
- 加法/减法： 将实部和虚部分别合并。
例子：\((3 + 2i) + (1 - 4i) = 4 - 2i\) - 乘法： 使用展开法（分配律，即 FOIL）。
例子：\((1 + i)(2 - i) = 2 - i + 2i - i^2 = 2 + i - (-1) = 3 + i\)
小提醒： 实部和虚部本身都是实数。如果 \(z = 5 - 3i\)，那么 \(Im(z) = -3\)，而不是 \(-3i\)。
2. 复共轭 (Complex Conjugate)
对于 \(z = a + bi\)，其复共轭记作 \(z^*\)（或 \(\bar{z}\)），定义为：
\(z^* = a - bi\)
共轭的“魔力”： 当你将复数乘以其共轭时，虚部会互相抵消，留下一个纯实数：
\(z \cdot z^* = (a + bi)(a - bi) = a^2 + b^2\)。
为什么要使用它？
我们利用共轭来进行除法。透过将分数的分子和分母同乘以分母的共轭，我们能将分母“实数化”（使其变成实数）。
关键点： 共轭是解开除法运算以及求取复数模长的“钥匙”。
3. 可视化数字：阿尔冈图 (Argand Diagram)
复数不只是符号；它们是二维平面（称为阿尔冈图）上的点（或向量）。
- 横轴是实轴 (Real Axis, \(Re\))。
- 纵轴是虚轴 (Imaginary Axis, \(Im\))。
类比： 把复数想像成 GPS 坐标。\(z = 3 + 4i\) 的意思是“向东（实数）走 3 步，再向北（虚数）走 4 步”。
4. 极坐标形式与指数形式
有时候，用“距离原点多远”以及“指向什么方向”来描述一个点会更容易，这就是极坐标形式 (Polar Form)。
模长 (Modulus) 与幅角 (Argument)
1. 模长 (\(r\) 或 \(|z|\))： 从原点到该点的距离。
\(|z| = \sqrt{a^2 + b^2}\)
2. 幅角 (\(\theta\) 或 \(\arg z\))： 向量与正实轴所夹的角。
\(\tan \theta = \frac{b}{a}\)（一定要检查该点落在哪个象限！）
各种形式
- 极坐标形式： \(z = r(\cos \theta + i\sin \theta)\)
- 指数形式： \(z = re^{i\theta}\)
你知道吗？ 指数形式让乘法和除法变得非常简单！
乘法：模长相乘，幅角相加。
除法：模长相除，幅角相减。
重要提示： 对于主幅角 (Principal Argument)，我们通常将 \(\theta\) 的范围限制在 \(-\pi < \theta \leq \pi\)。
5. 几何与轨迹 (Loci)
在 H3 中，你经常需要描述阿尔冈图上点的集合（轨迹）。以下是最常见的几种图形：
1. 圆形
\(|z - z_1| = k\)
这代表一个圆心为 \(z_1\)、半径为 \(k\) 的圆。它的字面意义是：“\(z\) 与 \(z_1\) 之间的距离恒等于 \(k\)”。
2. 垂直平分线
\(|z - z_1| = |z - z_2|\)
这是到 \(z_1\) 和 \(z_2\) 距离相等的点的集合。它是一条垂直平分线，将连接 \(z_1\) 和 \(z_2\) 的线段垂直切开。
3. 射线 (Rays / Half-lines)
\(\arg(z - z_1) = \alpha\)
这是一条从 \(z_1\) 出发（但不包含 \(z_1\)）且与水平方向夹角为 \(\alpha\) 的射线。
常见错误： 在绘制射线时，起始点 \(z_1\) 一定要用空心圆圈表示，因为 0 的幅角是没有定义的！
6. 方程式求解：共轭根定理 (Conjugate Root Theorem)
如果你有一个多项式方程式（例如 \(az^2 + bz + c = 0\)），且所有系数 (\(a, b, c\)) 都是实数，那么任何复数根都必须成共轭对 (conjugate pairs) 出现。
例子： 如果已知 \(z = 2 + i\) 是某个实系数多项式的根，那么你自动会知道 \(z = 2 - i\) 也必定是该方程式的根！
单位根 (Roots of Unity)
H3 的问题常涉及 \(z^n = 1\)。这些解称为 \(n\) 次单位根。它们在阿尔冈图的单位圆（半径为 1）上均匀分布。
总结检查清单
在进行进阶的 H3 微积分或级数之前，请确保你已经掌握以下重点：
- 我能熟练地在笛卡儿形式 (\(a+bi\)) 与指数形式 (\(re^{i\theta}\)) 之间转换吗？
- 我记得 \(|z|^2 = z \cdot z^* \) 这个性质吗？
- 我能在阿尔冈图上画出圆形或垂直平分线吗？
- 我知道 \(\arg(z_1 z_2) = \arg z_1 + \arg z_2\) 吗？
如果起初觉得困难也不要灰心！ 复数是一种可视化的数学表达方式。如果你在处理方程式时卡住了，试着在阿尔冈图上画出来。通常，几何图形会给你代数运算所隐藏的答案！