Complex numbers

欢迎来到复数的世界！

学校老师有没有告诉过你，负数是不能开平方根的？在进阶数学（Further Maths）里，我们要打破这个规矩！你即将学到数学家们如何创造一个全新的数字维度，来解决那些“无法解决”的问题。从设计飞机机翼到理解屋内的电流流向，复数的应用无处不在。如果起初觉得这些数字很“虚拟”也不用担心，我们会一步一步带你认识！

1. 复数的语言

这一章的核心数字是 \(i\)。我们定义 \(i^2 = -1\)，这意味着 \(i = \sqrt{-1}\)。
一个复数（complex number） \(z\) 通常写作：
\(z = x + yi\)
其中：
- \(x\) 是实部（Real Part），记作 \(Re(z)\)。
- \(y\) 是虚部（Imaginary Part），记作 \(Im(z)\)。
例子：在 \(z = 3 + 4i\) 中，实部为 3，虚部为 4。

复数共轭（Complex Conjugate）

每个复数都有一个“好伙伴”，称为复数共轭，记作 \(z^*\)。要找到它，只需将虚部的符号变号即可。
如果 \(z = x + yi\)，那么 \(z^* = x - yi\)。
这有什么用呢？ 当你将一个复数乘以它的共轭时，虚部会互相抵消，你会得到一个纯实数！
小贴士： \(zz^* = x^2 + y^2\)。这永远是一个正实数。

基本运算

处理复数就像处理基本代数一样——把 \(i\) 当成一个变量（像 \(x\) 一样），但别忘了将所有的 \(i^2\) 替换为 \(-1\)。
1. 加法/减法： 将实部与实部相加减，虚部与虚部相加减。
2. 乘法： 使用“FOIL”方法（首项、外项、内项、末项相乘）。
3. 除法： 这部分比较棘手！要除以一个复数，需将分子和分母同时乘以分母的共轭。这样可以将分母“实数化”。

重点总结： 复数由实部和虚部组成。把它们当作代数运算，但务必记得将 \(i^2\) 化简为 \(-1\)。

2. 解多项式方程

现在我们可以解任何二次方程了！
如果判别式（\(b^2 - 4ac\)）为负数，其根将会是一对共轭复数（conjugate pair）。
例子：解 \(x^2 + 9 = 0\) 会得到 \(x = 3i\) 和 \(x = -3i\)。

共轭根定理（Conjugate Root Theorem）

对于任何系数为实数的多项式方程（如 \(ax^3 + bx^2 + cx + d = 0\)）：
如果 \(x + yi\) 是一个根，那么它的共轭 \(x - yi\) 必然也是一个根。
- 三次方程： 会有 3 个实根，或者 1 个实根和 1 对共轭复根。
- 四次方程： 会有 4 个实根，或者 2 个实根和 1 对共轭复根，又或是 2 对共轭复根。

四次方程解题步骤：
1. 如果题目给出一个复根，立即写下它的共轭。
2. 将因子 \((z - root)\) 和 \((z - conjugate)\) 相乘得到一个二次因子。
3. 使用多项式除法找到剩余的二次因子。

重点总结： 只要方程的系数为实数，复根总是成对出现（\(a + bi\) 和 \(a - bi\)）。

3. 阿尔冈图（Argand Diagram）

你可以把阿尔冈图想像成复数的地图。
- 水平轴是实轴（Real Axis）。
- 垂直轴是虚轴（Imaginary Axis）。
一个复数 \(z = x + yi\) 仅仅是坐标平面上的一个点 \((x, y)\)，或者是一个从原点指向该点的向量。

你知道吗？ 在阿尔冈图上进行复数加法，与向量加法完全一样！只需遵循“首尾相接”原则即可。

重点总结： 阿尔冈图将复数转化为几何图形。实部看左右，虚部看上下。

4. 模幅角形式（Modulus-Argument Form）

除了使用坐标 \((x, y)\)，我们也可以透过距离原点的长度以及与正实轴形成的夹角来描述一个点。
1. 模（Modulus, \(r\) 或 \(|z|\)）： 到原点的距离。使用毕氏定理：\(|z| = \sqrt{x^2 + y^2}\)。
2. 辐角（Argument, \(\theta\) 或 \(arg(z)\)）： 从正实轴测量的角度。
- 角度单位为弧度（radians）。
- 主辐角（Principal Argument）： 我们通常将 \(\theta\) 的范围限制在 \(-\pi\) 到 \(\pi\) 之间。
- 使用 \(\tan \theta = \frac{y}{x}\)，但要注意它位于哪个象限！

形式：

\(z = r(\cos \theta + i \sin \theta)\)
这是一种非常强大的表示方式，因为乘法会变得非常简单：
- 乘法： 将模相乘，辐角相加。
- 除法： 将模相除，辐角相减。

重点总结： 模是“距离多远”，辐角是“指向哪个方向”。记得使用弧度！

5. 轨迹与区域（Loci and Regions）

轨迹（Locus）是一组遵循特定规则的点集。在阿尔冈图上，这些点会构成图形：
- 圆形： \(|z - a| = r\) 意味着“\(z\) 与点 \(a\) 之间的距离始终为 \(r\)”。这是一个以 \(a\) 为圆心、半径为 \(r\) 的圆。
- 垂直平分线： \(|z - a| = |z - b|\) 意味着“\(z\) 到 \(a\) 的距离与到 \(b\) 的距离相等”。这是一条位于 \(a\) 与 \(b\) 正中间的直线。
- 半直线： \(arg(z - a) = \theta\) 是一条从点 \(a\) 开始（但不包含 \(a\)）且方向角为 \(\theta\) 的射线。

常见错误： 绘制 \(arg(z - a)\) 时，记得这条线从 \(a\) 开始。通常我们会在 \(a\) 处画一个空心圆，表示该点不包含在内。

重点总结： 将 \(|z - a|\) 解读为“从 \(z\) 到 \(a\) 的距离”，这样会更容易将轨迹可视化。

6. 棣美弗定理（De Moivre’s Theorem）与欧拉公式（Euler's Form）

这就是进阶数学最酷的地方！
欧拉关系式： \(e^{i\theta} = \cos \theta + i \sin \theta\)。
因此，我们可以将复数写作 \(z = re^{i\theta}\)。这使得指数运算变得极其简单！

棣美弗定理

对于任何整数 \(n\)：
\([r(\cos \theta + i \sin \theta)]^n = r^n(\cos n\theta + i \sin n\theta)\)
这能省下大量时间。不用将括号乘以自己 10 次，只需要将角度乘以 10 即可！

几何效应

在阿尔冈图上乘以一个复数 \(re^{i\theta}\) 有两个效果：
1. 以原点为中心，进行缩放（放大），倍率为 \(r\)。
2. 绕原点逆时针旋转，角度为 \(\theta\)。
例子：乘以 \(i\) 相当于旋转 \(\frac{\pi}{2}\)（即 90 度）。

重点总结： 棣美弗定理将幂运算转化为简单的角度乘法。乘法本质上就是旋转！

7. 复数的根

每个非零复数都有刚好 \(n\) 个互异的 \(n\) 次根。
如果你找到这些根并将它们标绘在阿尔冈图上：
- 它们全都位于以原点为中心的同一个圆上。
- 它们会构成一个正 \(n\) 边形的顶点（例如 4 个根构成正方形，6 个根构成正六边形）。
- 所有这些根的总和始终为零。

单位根（Roots of Unity）

这些是方程 \(z^n = 1\) 的根。
第一个根永远是 1。其余的根均匀分布在单位圆上。
根的公式为：\(z = e^{\frac{2k\pi i}{n}}\)，其中 \(k = 0, 1, ..., n-1\)。

重点总结： 根具有完美的对称性。只要找到一个根，透过绕圆旋转就能找到其他所有的根。

最终快速复习

1. \(i^2 = -1\)。
2. 共轭会将 \(i\) 部分的符号变号。
3. 模是距离；辐角是角度。
4. 模幅角形式的乘法： 模相乘，辐角相加。
5. 棣美弗定理： 模取幂，辐角相乘。
6. 轨迹： 用可视化的方式思考距离与角度。
7. 根： 均匀分布在圆上；总和为零。

如果起初觉得这些内容很复杂也不用担心！习惯复数需要时间，因为这需要一种全新的思维方式。多练习运算，几何概念自然会慢慢变得清晰。