欢迎来到复数的世界！
你有没有试过在解二次方程（例如 \(x^2 + 1 = 0\)）时感到束手无策？在高中时期，我们通常只会说这类方程“无实数根”。但在 H2 数学中，我们将开启一个全新的数字维度，让你能够解开这些看似“不可能”的问题。复数不仅仅是一个数学技巧；它在电机工程、量子物理，甚至电脑绘图中都扮演着不可或缺的角色！
在本指南中，我们将探讨复数的笛卡儿形式 (Cartesian form)，以及如何使用阿尔冈图 (Argand diagrams) 将它们可视化。如果一开始觉得它们有点“虚幻”也没关系——我们会一步步为你拆解。
1. 扩展数字系统：什么是 \(i\)？
复数的基础是虚数单位，记作 \(i\)。我们定义为：
\(i = \sqrt{-1}\) 或 \(i^2 = -1\)
复数 \(z\) 通常写作笛卡儿形式：
\(z = x + iy\)
其中：
• \(x\) 是实部 (real part)，记作 \(Re(z)\)。
• \(y\) 是虚部 (imaginary part)，记作 \(Im(z)\)。 (注意：\(y\) 是一个实数！)
例子：如果 \(z = 3 + 4i\)，那么 \(Re(z) = 3\) 且 \(Im(z) = 4\)。
重点温习：\(i\) 的幂次
由于 \(i^2 = -1\)，\(i\) 的幂次呈现循环规律：
• \(i^1 = i\)
• \(i^2 = -1\)
• \(i^3 = i^2 \times i = -i\)
• \(i^4 = (i^2)^2 = 1\)
2. 二次方程的复数根
当二次方程的判别式 (\(b^2 - 4ac\)) 为负数时，其根为复数。若系数为实数，这些根总会以共轭对 (conjugate pairs) 的形式出现。
逐步示例： 解 \(x^2 - 4x + 13 = 0\)。
1. 使用二次公式：\(x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}\)
2. 代入数值：\(x = \frac{4 \pm \sqrt{(-4)^2 - 4(1)(13)}}{2(1)}\)
3. 化简：\(x = \frac{4 \pm \sqrt{16 - 52}}{2} = \frac{4 \pm \sqrt{-36}}{2}\)
4. 由于 \(\sqrt{-36} = \sqrt{36} \times \sqrt{-1} = 6i\)：
5. 结果：\(x = \frac{4 \pm 6i}{2} = 2 \pm 3i\)
核心要点： 如果一个二次方程具有实系数，且其中一个根是 \(2 + 3i\)，那么另一个根必定是 \(2 - 3i\)。
3. 阿尔冈图 (Argand Diagram)
你可以将阿尔冈图想象成复数的坐标平面。我们不使用 \(x\) 和 \(y\) 轴，而是使用：
• 水平轴：实轴 (Real axis, \(Re\))
• 垂直轴：虚轴 (Imaginary axis, \(Im\))
复数 \(z = x + iy\) 可以表示为点 \((x, y)\)，或者是由原点指向该点的向量。
类比：就像你使用 GPS 坐标（纬度，经度）在地图上定位一样，我们使用（实部，虚部）在阿尔冈图上定位一个复数。
4. 模 (Modulus)、辐角 (Argument) 与共轭 (Conjugate)
共轭 (\(\bar{z}\))
若 \(z = x + iy\)，其共轭记作 \(\bar{z} = x - iy\)。在几何上，这是该点对实轴的反射 (reflection)。
模 (\(|z|\))
模是该点到原点的距离。我们使用勾股定理计算：
\(|z| = \sqrt{x^2 + y^2}\)
辐角 (\(\arg z\))
辐角是向量与正实轴之间形成的夹角 \(\theta\)。按惯例，我们使用主辐角 (Principal Argument)，其范围为 \(-\pi < \arg z \le \pi\)（或 \(-180^\circ < \theta \le 180^\circ\)）。
• 对于第一象限的点：\(\theta = \tan^{-1}(\frac{y}{x})\)
• 常见错误： 在计算角度之前，请务必先确认该点位于哪个象限！不要只依赖计算器计算出的 \(\tan^{-1}\) 值。
5. 复数运算
加法与减法
只需将 \(i\) 当作变量（例如 \(x\)）并合并“同类项”即可。
\((a + bi) + (c + di) = (a + c) + (b + d)i\)
乘法
使用“FOIL”方法（展开括号）并记住 \(i^2 = -1\)。
例子：\((2 + 3i)(1 - 2i) = 2 - 4i + 3i - 6i^2\)
= \(2 - i - 6(-1)\)
= \(2 - i + 6 = 8 - i\)
除法
要进行除法，我们将分子和分母同时乘以分母的共轭，这称为“分母有理化”。
\(\frac{z_1}{z_2} = \frac{x_1 + iy_1}{x_2 + iy_2} \times \frac{x_2 - iy_2}{x_2 - iy_2}\)
重点温习： 复数与其共轭的乘积永远是一个实数：\((x + iy)(x - iy) = x^2 + y^2\)。
复数相等
如果 \(a + bi = c + di\)，那么 \(a = c\) 且 \(b = d\)。你可以通过“比较实部与虚部”来解方程。
6. 阿尔冈图上的几何效应
复数运算在几何上具有优美的含义：
• 取负 (\(-z\))： 相对于原点的反射。
• 取共轭 (\(\bar{z}\))： 相对于实轴的反射。
• 加法 (\(z_1 + z_2\))： 遵循平行四边形法则（就像向量加法一样）。
• 乘以 \(i\)： 绕原点逆时针旋转 90°。
• 乘以 \(-i\)： 绕原点顺时针旋转 90°。
你知道吗？连续乘以两次 \(i\) 得到 \(i^2 = -1\)。从几何角度看，两次 90° 的旋转等于 180° 的旋转，这正是一个数字乘以 -1 时的效果！
7. 共轭根定理 (Conjugate Roots Theorem)
对于任何具有实系数的多项式方程 \(P(z) = 0\)，如果复数 \(w\) 是一个根，那么它的共轭 \(\bar{w}\) 也一定是该方程的根。
重要提示： 这个定理只在所有系数均为实数时成立。如果方程是 \(z^2 + iz + 2 = 0\)，其根就不一定互为共轭。
重点摘要
• 笛卡儿形式： \(z = x + iy\)。
• \(i^2 = -1\)： 乘法中最关键的规则。
• 阿尔冈图： 实部在 x 轴，虚部在 y 轴。
• 共轭： 改变虚部的符号，即实轴反射。
• 比较部分： 通过设定 Re = Re 和 Im = Im 来解方程。
• 旋转： 乘以 \(i\) 会使向量逆时针旋转 90°。
如果一开始觉得这些内容有点棘手也别担心！复数是一种全新的思维方式。多练习在阿尔冈图上绘制复数，代数运算就会变得越来越自然。