👋 欢迎来到复数的世界！
不用担心，“复数”这个名字听起来可能有些吓人——其实它仅仅意味着数字中引入了虚数单位。事实上，这些数字至关重要，因为它们允许我们解出任何多项式方程，而这仅仅依靠实数是做不到的！
本章是进阶纯数学（Further Pure Mathematics）的基石。在读完这些笔记后，你将能够自信地从代数和几何两个角度处理这些数字。让我们开始吧！
第1节：虚数单位介绍与基本运算
1.1 定义虚数单位 (\(i\))
几个世纪以来，数学家们无法解出像 \(x^2 + 1 = 0\) 这样的方程。如果你尝试移项，会得到 \(x^2 = -1\)。在实数范围内，这是不可能的，因为任何实数（无论正负）的平方结果都是正数。
为了解决这个问题，我们引入了虚数单位，记作 \(i\)：
- 定义： \(i\) 是满足 \(i^2 = -1\) 的数。
- 因此，\(i = \sqrt{-1}\)。
1.2 什么是复数？
复数通常记作 \(z\)，由实部和虚部组成。
$$z = a + bi$$
- \(a\) 是实部 (\(\text{Re}(z)\))。
- \(b\) 是虚部 (\(\text{Im}(z)\))。注意：虚部仅仅是系数 \(b\)，而不是 \(bi\)。
例子：如果 \(z = 3 + 4i\)，那么 \(\text{Re}(z) = 3\)，\(\text{Im}(z) = 4\)。
1.3 复数的加减法
这是最简单的部分！你可以把 \(i\) 像变量（如 \(x\)）一样对待，只需将实部与实部相加减，虚部与虚部相加减。
若 \(z_1 = a + bi\) 且 \(z_2 = c + di\)：
- 加法： \(z_1 + z_2 = (a+c) + (b+d)i\)
- 减法： \(z_1 - z_2 = (a-c) + (b-d)i\)
1.4 复数的乘法
乘法运算与代数中两个括号的乘法（使用 FOIL 展开法）完全一样，但每当出现 \(i^2\) 时，你必须将其替换为 -1。
若 \(z_1 = (2 + 3i)\) 且 \(z_2 = (4 - i)\)：
$$z_1 z_2 = (2 + 3i)(4 - i)$$
- 展开 (FOIL)：\(8 - 2i + 12i - 3i^2\)
- 代入 \(i^2 = -1\)：\(8 + 10i - 3(-1)\)
- 化简：\(8 + 10i + 3 = 11 + 10i\)
🔥 重点总结： 复数由 \(i^2 = -1\) 定义。运算很简单：加减法合并同类项；乘法使用 FOIL 展开并将 \(i^2\) 替换为 \(-1\)。
第2节：共轭复数与除法
2.1 共轭复数 (\(z^*\))
一个复数 \(z\) 的共轭复数只需改变虚部的符号即可。它记作 \(z^*\) 或 \(\bar{z}\)。
- 如果 \(z = a + bi\)，那么 \(z^* = a - bi\)。
例子：如果 \(z = 5 - 2i\)，那么 \(z^* = 5 + 2i\)。如果 \(w = -3i\)，那么 \(w^* = 3i\)。
为什么共轭复数很重要？
复数与其共轭复数的乘积总是一个纯实数。
$$z z^* = (a + bi)(a - bi) = a^2 - (bi)^2 = a^2 - b^2 i^2 = a^2 - b^2(-1) = a^2 + b^2$$
这对于除法极其有用！
2.2 复数的除法
你不能让 \(i\) 留在分母中。复数的除法过程类似于根式的分母有理化：将分子和分母同时乘以分母的共轭复数。
除法计算步骤示例
计算 \(\frac{1 + 2i}{3 - 4i}\)。
- 确定共轭复数： 分母是 \(3 - 4i\)，其共轭复数是 \(3 + 4i\)。
- 分子分母同乘： $$\frac{1 + 2i}{3 - 4i} \times \frac{3 + 4i}{3 + 4i}$$
- 计算分母： (简便方法：使用 \(a^2 + b^2\)) $$3^2 + 4^2 = 9 + 16 = 25$$
- 计算分子： (使用 FOIL 展开) $$(1 + 2i)(3 + 4i) = 3 + 4i + 6i + 8i^2$$ $$3 + 10i + 8(-1) = 3 + 10i - 8 = -5 + 10i$$
- 合并并化简： $$\frac{-5 + 10i}{25} = \frac{-5}{25} + \frac{10}{25}i = -\frac{1}{5} + \frac{2}{5}i$$
⚠️ 常见错误： 学生常会忘记将分子也乘以共轭复数！一定要记得乘以 \(\frac{z^*}{z^*}\)（本质上就是乘以 1）。
🔥 重点总结： 使用共轭复数 \(z^*\) 进行除法。它能确保分母变为实数 (\(a^2 + b^2\))。
第3节：解多项式方程
3.1 二次方程的复数根
当使用求根公式解二次方程 \(ax^2 + bx + c = 0\)（其中 \(a, b, c\) 为实数）时，如果判别式 (\(b^2 - 4ac\)) 为负，你就会得到复数根。
例子：解 \(z^2 + 2z + 5 = 0\)。
使用公式 \(z = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}\)：
$$z = \frac{-2 \pm \sqrt{2^2 - 4(1)(5)}}{2(1)}$$ $$z = \frac{-2 \pm \sqrt{4 - 20}}{2}$$ $$z = \frac{-2 \pm \sqrt{-16}}{2}$$
由于 \(\sqrt{-16} = \sqrt{16} \times \sqrt{-1} = 4i\)：
$$z = \frac{-2 \pm 4i}{2}$$ $$z = -1 \pm 2i$$
方程的根为 \(z_1 = -1 + 2i\) 和 \(z_2 = -1 - 2i\)。注意到了吗？
3.2 复共轭根定理
对于任何系数为实数的多项式方程，如果一个根是复数 \(z\)，那么它的共轭复数 \(z^*\) 也一定是该方程的根。
这对解高次多项式（三次和四次方程）非常有帮助。
- 如果 \(3 + i\) 是某三次方程的一个根，那么 \(3 - i\) 也一定是它的根。
3.3 寻找未知根与系数
如果你已知三次方程 \(P(z) = 0\) 的一个复数根，你可以利用复共轭根定理找到与该对根相关的二次因式。
如果根是 \(z_1\) 和 \(z_1^*\)，那么二次因式为： $$(z - z_1)(z - z_1^*) = z^2 - (\text{根的和})z + (\text{根的积})$$
因为 \(z_1 + z_1^*\) 和 \(z_1 z_1^*\) 均为实数，所以这个二次因式的系数也是实数。
三次方程求解步骤：
- 识别给定的复数根 \(z_1\) 及其共轭根 \(z_1^*\)。
- 计算这两个根的和 (\(S\)) 和积 (\(P\))。
- 构建二次因式：\(Q(z) = z^2 - Sz + P\)。
- 将原三次多项式 \(P(z)\) 除以 \(Q(z)\)，从而找到剩下的线性因式 \((z - k)\)。
- 实数根即为 \(z = k\)。
🔥 重点总结： 实系数多项式的复数根总是成对出现的。利用该定理分解因式并解方程。
第4节：阿尔冈图（Argand Diagram，复平面几何）
4.1 复数的表示
阿尔冈图（或称复平面）是复数的图形化表示。我们不使用 x-y 坐标系，而是使用分别代表实部和虚部的轴。
- 横轴为实轴 (\(x\))。
- 纵轴为虚轴 (\(y\))。
复数 \(z = a + bi\) 被表示为坐标点 \((a, b)\)。
例子：在图中画出 \(z_1 = 4 + i\) 和 \(z_2 = -2 + 3i\)。
\(z_1\) 位于点 \((4, 1)\)。\(z_2\) 位于点 \((-2, 3)\)。
4.2 运算的可视化
在阿尔冈图上对复数进行加减法时，其表现完全等同于向量的加减法。
- 如果你画出从原点指向 \(z_1\) 和指向 \(z_2\) 的向量，它们的和 \(z_1 + z_2\) 就可以通过平行四边形定则得到。
- 共轭复数 \(z^*\) 是 \(z\) 关于实轴的对称点。
你知道吗？ 这种几何解释正是复数在物理和工程学中如此强大的原因——它们能够同时表示大小和方向！
第5节：模长与辐角（极坐标）
为了从几何上描述一个复数，我们可以使用笛卡尔坐标 \((a, b)\)，也可以使用极坐标：它到原点的距离 (\(r\)) 以及它与正实轴的夹角 (\(\theta\))。
5.1 模长 (\(|z|\))
模长，记作 \(|z|\) 或 \(r\)，是阿尔冈图上点 \(z\) 到原点的距离。根据勾股定理：
$$|z| = r = \sqrt{a^2 + b^2}$$
注意 \(|z|^2 = z z^* = a^2 + b^2\)。
例子：如果 \(z = 3 - 4i\)，那么 \(|z| = \sqrt{3^2 + (-4)^2} = \sqrt{9 + 16} = \sqrt{25} = 5\)。
5.2 辐角 (\(\arg(z)\))
辐角，记作 \(\arg(z)\) 或 \(\theta\)，是正实轴与连接原点到 \(z\) 的线段之间的夹角。
约定（FP1 标准）： 辐角通常以弧度为单位，且必须在以下区间内：
$$-\pi < \theta \leq \pi$$
计算辐角（步骤指南）
这是很多学生最容易出错的地方。切记不要只简单地使用 \(\arctan(b/a)\)。你必须先利用阿尔冈图确定复数所在的象限。
第一步：计算参考角 (\(\alpha\))。
使用边长的正值（忽略 \(a\) 和 \(b\) 的符号）：
$$\alpha = \arctan\left(\left|\frac{b}{a}\right|\right)$$
第二步：判断象限并调整 \(\theta\)。
- 第一象限 (\(a>0, b>0\))： \(\theta = \alpha\)
- 第二象限 (\(a<0, b>0\))： \(\theta = \pi - \alpha\)
- 第三象限 (\(a<0, b<0\))： \(\theta = -\pi + \alpha\) (或 \(\alpha - \pi\))
- 第四象限 (\(a>0, b<0\))： \(\theta = -\alpha\)
类比：把 \(\alpha\) 看作你的初始计算结果，通过象限调整来确保角度是从正实轴正确测量的，并保持在 \(-\pi\) 到 \(\pi\) 的范围内。
例子：求 \(z = -1 - i\) 的辐角。
- \(a=-1, b=-1\)，位于第三象限。
- 参考角：\(\alpha = \arctan\left(\left|\frac{-1}{-1}\right|\right) = \arctan(1) = \frac{\pi}{4}\)。
- 调整至第三象限：\(\theta = -\pi + \alpha = -\pi + \frac{\pi}{4} = -\frac{3\pi}{4}\)。
🔥 重点总结： 模长 (\(r\)) 是距离 (\(\sqrt{a^2+b^2}\))。辐角 (\(\theta\)) 是角度，计算时要用 arctan 并根据象限调整，确保 \(\theta \in (-\pi, \pi]\)。
第6节：复数的极坐标形式（模角式）
6.1 定义
一旦你得到了模长 \(r\) 和辐角 \(\theta\)，你就可以用模角式（也称为极坐标形式）来表示复数 \(z = a + bi\)。
观察图形：
- 实部 \(a\) 是角度 \(\theta\) 的邻边：\(a = r \cos \theta\)
- 虚部 \(b\) 是角度 \(\theta\) 的对边：\(b = r \sin \theta\)
代入 \(z = a + bi\) 得到：
$$z = r \cos \theta + i(r \sin \theta)$$
$$z = r (\cos \theta + i \sin \theta)$$
这种形式对于后续涉及幂运算和开方运算的计算极为有效（尽管这些技术通常会在 FP2 中详细学习）。
6.2 形式转换
A) 笛卡尔坐标转极坐标 (\(a+bi\) 转 \(r(\cos \theta + i \sin \theta)\))
（其实就是第5节内容的综合应用。）
- 计算 \(r = \sqrt{a^2 + b^2}\)。
- 计算 \(\theta\) (辐角)，确保它在区间 \(-\pi < \theta \leq \pi\) 内。
例子：将 \(z = \sqrt{3} + i\) 转为极坐标形式。
- \(r = \sqrt{(\sqrt{3})^2 + 1^2} = \sqrt{3 + 1} = 2\)。
- \(a>0, b>0\) 为第一象限。\(\alpha = \arctan\left(\frac{1}{\sqrt{3}}\right) = \frac{\pi}{6}\)。
- 极坐标形式：\(z = 2\left(\cos \frac{\pi}{6} + i \sin \frac{\pi}{6}\right)\)。
B) 极坐标转笛卡尔坐标 (\(r(\cos \theta + i \sin \theta)\) 转 \(a+bi\))
这部分简单得多！只需算出余弦和正弦值并展开括号即可。
例子：将 \(z = 4\left(\cos \frac{3\pi}{4} + i \sin \frac{3\pi}{4}\right)\) 转为笛卡尔形式。
已知 \(\cos \frac{3\pi}{4} = -\frac{1}{\sqrt{2}}\) 且 \(\sin \frac{3\pi}{4} = \frac{1}{\sqrt{2}}\)。
$$z = 4\left(-\frac{1}{\sqrt{2}} + i \frac{1}{\sqrt{2}}\right)$$ $$z = -\frac{4}{\sqrt{2}} + i \frac{4}{\sqrt{2}}$$ $$z = -2\sqrt{2} + i 2\sqrt{2}$$
🎉 成功自检！ 如果你能熟练地在 \(a+bi\) 和 \(r(\cos \theta + i \sin \theta)\) 之间切换，并掌握所有四种基本运算，你就已经掌握了 FP1 复数的核心要点！