复数简介
欢迎来到进阶数学（Further Mathematics）中最令人兴奋的章节之一！在过去，你可能被告知不能对负数开平方根。但在 核心纯数学（Core Pure Mathematics）中，我们要把这条规则抛诸脑后。通过引入虚数单位 \(i\)，我们开启了一个全新的数系维度。如果初看之下觉得这些数字有点“不真实”，别担心——复数在工程、物理，甚至是描述光和声音的行为方面都至关重要！
1. 基础：什么是复数？
复数 \(z\) 由两部分组成：实部和虚部。我们以笛卡尔形式（Cartesian form）写作：
\(z = x + iy\)
- \(x\) 是实部，记作 \(Re(z)\)。
- \(y\) 是虚部，记作 \(Im(z)\)。
- \(i\) 的定义性质为 \(i^2 = -1\)。
复数运算
复数运算与基础代数非常相似。将 \(i\) 视为一个变量（例如 \(x\)），但每当你看到 \(i^2\) 时，将其替换为 \(-1\) 即可。
- 加法/减法： 将实部和虚部分别相加或相减。
例子：\((3 + 2i) + (1 - 4i) = (3+1) + (2-4)i = 4 - 2i\) - 乘法： 使用 FOIL 方法（展开四项）。
例子：\((2 + i)(3 - i) = 6 - 2i + 3i - i^2 = 6 + i - (-1) = 7 + i\) - 除法： 要进行除法，请将分子和分母同时乘以分母的共轭复数，以将分母“实数化”。
共轭复数
\(z = x + iy\) 的共轭复数写作 \(z^* = x - iy\)。
记忆小贴士： 只需将虚部的符号“反转”即可！
快速复习： \(z \times z^*\) 的结果永远是一个实数：\(x^2 + y^2\)。
重点总结
复数由实部和虚部组成。将 \(i\) 视作代数运算，但切记 \(i^2 = -1\)。2. 解多项式方程
在本课程中，你将会解系数为实数的二次、三次和四次方程。
共轭根定理（Conjugate Pair Theorem）
这是一条至关重要的规则：如果一个多项式具有实数系数，且复数 \(z_1\) 是一个根，那么它的共轭复数 \(z_1^*\) 也必定是该方程的根。 复数根总是成对出现的！
逐步解题：解高次方程
如果你被要求解一个三次方程 \(f(z) = 0\)：
- 题目通常会给你一个根或一个线性因式（如 \(z+2\)）。
- 使用多项式除法或观察法，将该三次式除以已知的因式。
- 这会让你剩下一个二次方程。
- 使用二次公式解该二次方程，以求出剩余的两个根（这两个根可能是复数）。
常见错误： 忘记如果 \(3 + 2i\) 是一个根，那么 \(3 - 2i\) 自动也是一个根。题目不需要同时告知两个根！
重点总结
实系数方程的复数根总是成对出现的。3. 阿尔冈图（Argand Diagram）
将阿尔冈图想象成复数的地图。我们不再使用 \(x\) 和 \(y\) 轴，而是使用：
- 实轴（Real Axis）（水平轴）
- 虚轴（Imaginary Axis）（垂直轴）
复数 \(z = x + iy\) 仅仅是平面上的一个点 \((x, y)\)，或者是一个从原点出发指向该点的向量。
模（Modulus）与辐角（Argument）
我们也可以通过复数距离原点的长度及其角度来描述它。
- 模 \(|z|\)： 到原点的距离。使用勾股定理：\(|z| = r = \sqrt{x^2 + y^2}\)。
- 辐角 \(\arg(z)\)： 向量与正实轴之间形成的夹角 \(\theta\)。
以弧度（radians）为单位，范围为 \(-\pi < \theta \leq \pi\)。
你知道吗？ 我们使用“主辐角”，这意味着我们总是取从正实轴出发的最短路径。如果你在第二或第三象限，使用 \(\arctan(y/x)\) 时要特别小心——务必画个草图来检查你的角度！
重点总结
阿尔冈图将数字转化为几何。模是距离；辐角是方向。4. 模-辐角形式与指数形式
除了笛卡尔形式（\(x + iy\)）之外，我们还有另外两种非常有用的复数书写方式：
- 模-辐角形式： \(z = r(\cos\theta + i\sin\theta)\)
- 指数（欧拉）形式： \(z = re^{i\theta}\)
乘法与除法的魔力
使用这些形式，数学运算会变得简单得多：
- 乘法： 将模（\(r\)）相乘，并将辐角（\(\theta\)）相加。
- 除法： 将模（\(r\)）相除，并将辐角（\(\theta\)）相减。
快速复习盒：
\(\cos\theta = \frac{1}{2}(e^{i\theta} + e^{-i\theta})\)
\(\sin\theta = \frac{1}{2i}(e^{i\theta} - e^{-i\theta})\)
重点总结
加减法使用笛卡尔形式（\(x+iy\)）。乘除法使用模-辐角或指数形式（\(re^{i\theta}\)）。5. 棣莫弗定理（De Moivre’s Theorem）
棣莫弗定理是处理复数幂次的“超能力”。它叙述如下：
\([r(\cos\theta + i\sin\theta)]^n = r^n(\cos n\theta + i\sin n\theta)\)
基本上，要将复数进行 \(n\) 次方运算，你只需将模做 \(n\) 次方，并将辐角乘以 \(n\)。
应用
- 多倍角公式： 你可以使用棣莫弗定理和二项式展开，找出 \(\cos(n\theta)\) 或 \(\sin(n\theta)\) 用 \(\cos\theta\) 和 \(\sin\theta\) 的幂次表示的表达式。
- 级数求和： 它有助于计算涉及三角函数的几何级数之和。
重点总结
棣莫弗定理：模做次方，角度乘倍数。6. 阿尔冈图中的轨迹（Loci）与区域
轨迹（Locus，复数为 loci）是一组满足特定规则的点的集合。在复数中，这些规则通常会形成圆形或直线。
常见的轨迹类型：
- 圆形： \(|z - a| = b\)。这是一个以 \(a\) 为圆心、\(b\) 为半径的圆。
（注意：\(a\) 通常是一个像 \(2 + 3i\) 的复数）。 - 垂直平分线： \(|z - a| = |z - b|\)。这是一条位于点 \(a\) 和 \(b\) 正中间的直线。
- 射线（Half-lines）： \(\arg(z - a) = \theta\)。这是一条从点 \(a\) 出发（但不包含 \(a\) 本身）并以角度 \(\theta\) 延伸的直线。
鼓励的话： 轨迹听起来可能很抽象，但试着把它们想成“所有与 \(a\) 点距离刚好为 \(b\) 的点集”。这只是一种几何描述而已！
重点总结
\(|z - a|\) 代表 \(z\) 与 \(a\) 之间的距离。运用这一点来“解读”方程的几何意义。7. 复数的根
正如 \(x^2 = 4\) 有两个根（\(2\) 和 \(-2\)）一样，像 \(z^n = re^{i\theta}\) 这样的复数方程有 \(n\) 个不同的根。
如何求 \(n\) 次方根：
- 将数字写成指数形式：\(re^{i(\theta + 2k\pi)}\)。我们加上 \(2k\pi\) 是因为正弦和余弦函数每转一圈就会重复一次。
- 开 \(n\) 次方：\(z = r^{1/n} e^{i\left(\frac{\theta + 2k\pi}{n}\right)}\)。
- 代入 \(k = 0, 1, 2, \dots, n-1\) 来得到你的 \(n\) 个不同的根。
根的几何意义
如果你在阿尔冈图上绘制一个数的 \(n\) 次方根，它们总是会形成一个以原点为中心的正 \(n\) 边形的顶点。例如，一个数的三个立方根将会形成一个正三角形！