Complex numbers

欢迎来到复数的世界！

在 GCSE 和 A Level 数学中，你可能听说过不能对负数取平方根。但在进阶数学（Further Mathematics）中，我们要打破这个规则！复数 (Complex Numbers) 让我们能够解出以前被视为“无解”的方程式。它们不仅仅是数学戏法；它们在现实世界的工程学、物理学，甚至是描述电流流动方式中都有实际应用。如果起初觉得这些概念很陌生，别担心——一旦掌握了基本规则，这就像是带点变化的代数而已。

1. 基础积木：\( i \) 与笛卡儿形式

本章的核心是虚数单位 (imaginary unit)，定义为：\( i = \sqrt{-1} \)，这意味着 \( i^2 = -1 \)。
一个复数 (complex number) \( z \) 通常以笛卡儿形式 (Cartesian form)书写：\( z = x + iy \)。
- \( x \) 是实部 (real part)，写作 \( Re(z) \)。
- \( y \) 是虚部 (imaginary part)，写作 \( Im(z) \)。 (注意：\( y \) 本身是一个实数！)

复数运算

复数的运算与标准代数非常相似——只需将 \( i \) 视为变量，但别忘了将 \( i^2 \) 替换为 \(-1\)。
- 加法/减法： 将实部和虚部分别相加或相减。例子：\( (2 + 3i) + (4 - i) = 6 + 2i \)。
- 乘法： 展开括号（使用 FOIL 法）。例子：\( (2 + i)(3 + 2i) = 6 + 4i + 3i + 2i^2 = 6 + 7i - 2 = 4 + 7i \)。
- 除法： 要进行除法，必须将分子和分母同时乘以分母的共轭复数 (complex conjugate)。这能将分母“有理化”。

共轭复数

若 \( z = x + iy \)，其共轭复数为 \( z^* = x - iy \)。
当你将一个复数与其共轭复数相乘时，结果永远是一个实数：\( z z^* = x^2 + y^2 \)。

快速复习： \( i^2 = -1 \)。在代数中把 \( i \) 当作字母处理，但最后务必简化 \( i^2 \)！

2. 解多项式方程式

AQA 进阶数学的一个关键技能是解出根可能是复数的方程式。

二次方程式

如果你使用二次公式且判别式 \( b^2 - 4ac \) 为负数，你将得到两个复数根。这些根永远是共轭对 (conjugate pairs)（例如：\( 2 + 3i \) 和 \( 2 - 3i \)）。

三次和四次方程式

对于具有实系数 (real coefficients)的多项式：
- 三次方程式： 要么有 3 个实根，要么有 1 个实根和 2 个复数（共轭）根。
- 四次方程式： 要么有 4 个实根，要么有 2 个实根和 2 个复数根，或者是 4 个复数根（作为两对共轭对）。
小贴士： 如果题目告诉你 \( 1 + 2i \) 是某个实系数三次方程式的根，你立刻就知道 \( 1 - 2i \) 也是它的根！

3. 阿尔冈图 (Argand Diagram)

我们无法在标准数轴上放置复数，因此我们使用一个称为阿尔冈图 (Argand Diagram) 的二维平面。
- x 轴是实轴 (Real axis)。
- y 轴是虚轴 (Imaginary axis)。
复数 \( z = 3 + 2i \) 被绘制为点 \( (3, 2) \)。

重点总结： 阿尔冈图只是一种将复数视为坐标的“可视化”方法。

4. 模-幅形式 (Modulus-Argument Form)

除了 \( x \) 和 \( y \)，我们可以用复数到原点的距离，以及它与正实轴所成的角度来描述它。

1. 模 (Modulus)： 到原点的距离。\( r = |z| = \sqrt{x^2 + y^2} \)。
2. 幅角 (Argument)： 从正实轴测量的角度 \( \theta \)。\( \arg(z) = \theta \)。
重要： 幅角务必使用弧度 (radians)。主幅角 (principal argument) 通常给定在范围 \( -\pi < \theta \leq \pi \) 内。

模-幅形式 (Mod-Arg form) 为：\( z = r(\cos \theta + i \sin \theta) \)。

模-幅形式的乘法与除法

这就是模-幅形式比笛卡儿形式快得多的地方！
- 乘法： 将模相乘，并将幅角相加。
- 除法： 将模相除，并将幅角相减。

你知道吗？ 这个性质来自三角学中的复合角公式！

5. 阿尔冈图中的轨迹 (Loci)

“轨迹 (locus)”是指满足特定规则的点集。你需要辨认出以下形状：
- 圆形： \( |z - a| = r \)。这表示一个以复数 \( a \) 为圆心、\( r \) 为半径的圆。
- 半直线： \( \arg(z - a) = \theta \)。这是一条从点 \( a \) 开始（但不包含 \( a \) 本身）并以角度 \( \theta \) 延伸的射线。
- 垂直平分线： \( |z - a| = |z - b| \)。这是一条恰好位于点 \( a \) 和 \( b \) 中间的直线。

常见错误： 当寻找 \( |z + 3 - 2i| = 5 \) 的圆心时，记得将其改写为 \( |z - (-3 + 2i)| = 5 \)。因此圆心是 \( -3 + 2i \)。

6. 棣美弗定理 (de Moivre’s Theorem) 与指数形式

棣美弗定理

对于任何整数 \( n \)：
\( [r(\cos \theta + i \sin \theta)]^n = r^n(\cos n\theta + i \sin n\theta) \)。
这对于计算复数的大次方（如 \( z^{10} \)）极其强大，无需展开庞大的括号。

指数形式 (欧拉公式)

我们定义 \( e^{i\theta} = \cos \theta + i \sin \theta \)。
这导出了书写复数最简洁的方式：\( z = re^{i\theta} \)。
这种形式使得使用标准指数律进行乘法、除法和幂运算变得非常容易。

重点总结： \( z = x + iy = r(\cos \theta + i \sin \theta) = re^{i\theta} \)。这些全都是同一个数字，只是穿上了不同的外衣而已！

7. 复数的根

要寻找复数的 \( n \) 次方根（解 \( z^n = w \)）：
1. 将复数 \( w \) 写成模-幅形式。
2. 将幅角加上 \( 2k\pi \) 的倍数：\( \theta + 2k\pi \)。
3. 反向使用棣美弗定理：\( z = w^{1/n} \)。
4. 这将给出 \( n \) 个不同的根。
几何事实： 在阿尔冈图上，一个数的 \( n \) 个次方根永远形成一个以原点为中心的正 \( n \) 边形顶点。

单位根 (Roots of Unity)

\( z^n = 1 \) 的根称为单位根。它们总是位于半径为 1 的圆上。你可以利用这些根，透过将图形视为阿尔冈图上的点来解决复杂的几何问题。

总结重点：
- 使用共轭复数来进行笛卡儿形式的复数除法。
- 实系数多项式的复数根总是成对出现：\( a \pm bi \)。
- 进行幂运算和求根时，请使用模-幅形式或指数形式。
- 幅角必须使用弧度。
- \( z^n = w \) 的根均匀分布在圆周上。