欢迎来到复数的世界！（单元 FP1）

你好！你已经成功掌握了纯数学的基础知识，现在我们将深入探讨一个极其迷人的课题：复数 (Complex Numbers)。如果起初感到有些困惑，请别担心——你正从一个容易直观理解的世界（实数轴）迈向一个全新的二维数学空间。

在本章中，我们将学习如何处理“不可能”的问题（求负数的平方根！），如何对这些新数进行基础代数运算，以及如何用几何图形来展示它们。复数是至关重要的工具，从理解交流电（AC）到悬索桥的设计，复数无处不在。让我们开始吧！

1. 虚数单位与复数的定义

1.1 \(i\) 的诞生

几个世纪以来，数学家们都知道像 \(x^2 = -4\) 这样的方程在实数系 (\(\mathbb{R}\)) 中是没有解的。为了解决这个问题，我们创造了一个新的数，即虚数单位 (imaginary unit)，记作 \(i\)。

  • 虚数单位的定义属性是：
    $${i^2 = -1}$$
  • 这意味着： $${i = \sqrt{-1}}$$

类比：把 \(i\) 看作一种特殊的货币。它在你的银行账户（实数）里不存在，但在数学贸易中却必不可少！

1.2 什么是复数？

复数 (Complex Number) 通常用变量 \(z\) 表示，是任何可以写成如下形式的数：

$${z = a + bi}$$

其中 \(a\) 和 \(b\) 均为实数。

  • \(a\) 是实部 (Real Part)，记作 \(\text{Re}(z)\)。
  • \(b\) 是虚部 (Imaginary Part)，记作 \(\text{Im}(z)\)。

快速自测：如果 \(z = 3 - 5i\)，那么 \(\text{Re}(z) = 3\)，\(\text{Im}(z) = -5\)。(注意：虚部仅仅是系数 \(b\)，而不是 \(bi\) 本身！)

\(i\) 的幂次：四周期循环规则

\(i\) 的幂次以四为周期循环。这是一个简化复杂计算的绝佳记忆技巧。

  1. $${i^1 = i}$$
  2. $${i^2 = -1}$$
  3. $${i^3 = i^2 \times i = -1 \times i = -i}$$
  4. $${i^4 = i^2 \times i^2 = (-1) \times (-1) = 1}$$

循环从 \(i^5 = i\) 开始重复。要计算 \(i\) 的任意高次幂，只需将指数除以 4 并查看余数即可。

快速复习：基础知识

  • $${i^2 = -1}$$
  • $${z = a + bi}$$ （标准形式）
  • 如果 \(i\) 的指数能被 4 整除（余数为 0），结果即为 1。

2. 复数的算术运算

以 \(a + bi\) 形式进行复数运算与处理包含变量 \(x\) 的代数表达式非常相似，但有一个关键区别：时刻牢记 $${i^2 = -1}$$。

2.1 加法与减法

将实部和虚部分开处理，就像合并同类项一样。

若 \(z_1 = a + bi\) 且 \(z_2 = c + di\)：

$${z_1 + z_2 = (a+c) + (b+d)i}$$

示例：若 \(z_1 = 2 + 3i\) 且 \(z_2 = 5 - 7i\)。
$$z_1 + z_2 = (2+5) + (3-7)i = 7 - 4i$$

2.2 乘法

使用分配律（或 FOIL 方法，就像展开两个二项式一样）。

分步示例：计算 \(z_1 = 3 + 2i\) 与 \(z_2 = 1 - 4i\) 的乘积。

  1. 使用 FOIL 展开： $$(3 + 2i)(1 - 4i) = 3(1) - 3(4i) + 2i(1) - 2i(4i)$$ $$= 3 - 12i + 2i - 8i^2$$
  2. 合并 \(i\) 项： $$= 3 - 10i - 8i^2$$
  3. 代入 \(i^2 = -1\)： $$= 3 - 10i - 8(-1)$$ $$= 3 - 10i + 8$$
  4. 合并实部： $$= 11 - 10i$$

乘法要点：一定要注意 \(i^2\) 项，并立即将其转换为实数！

3. 复共轭与除法

除法是基本运算中最棘手的部分，但我们有一个强大的工具可以简化它：复共轭 (Complex Conjugate)。

3.1 定义共轭

复数 \(z = a + bi\) 的共轭写为 \(\bar{z}\)（有时记作 \(z^*\)）。只需改变虚部的符号即可得到共轭数。

如果 \(z = a + bi\)，则 \(\bar{z} = a - bi\)。

示例：如果 \(z = 5 - 3i\)，则 \(\bar{z} = 5 + 3i\)。

为什么要用共轭？

当你将一个复数乘以它的共轭时，虚部项会相互抵消，留下的结果是一个纯实数：

$$(a + bi)(a - bi) = a^2 - abi + abi - b^2i^2$$ $$= a^2 - b^2(-1)$$ $$= a^2 + b^2$$

这永远是一个非负实数！

3.2 除法

进行复数除法时，我们的目标是消去分母中的 \(i\)（这与根式有理化的过程类似）。我们通过将分子和分母同时乘以分母的共轭来实现这一点。

分步示例：计算 \(\frac{2+i}{3-4i}\)。

  1. 确定分母及其共轭。
    分母：\(3 - 4i\)。共轭：\(3 + 4i\)。
  2. 将分数乘以 \(\frac{3+4i}{3+4i}\)：
    $$\frac{2+i}{3-4i} \times \frac{3+4i}{3+4i}$$
  3. 计算分母（这是最简单的部分，即 \(a^2 + b^2\)）：
    $$(3-4i)(3+4i) = 3^2 + 4^2 = 9 + 16 = 25$$
  4. 计算分子（使用 FOIL）：
    $$(2+i)(3+4i) = 6 + 8i + 3i + 4i^2$$ $$= 6 + 11i - 4 = 2 + 11i$$
  5. 合并结果并写成 \(a + bi\) 的标准形式：
    $$\frac{2 + 11i}{25} = \frac{2}{25} + \frac{11}{25}i$$

避坑指南：在进行除法时，请确保你使用的是分母的共轭，而不是分子的共轭！

4. 解多项式方程

复数存在的核心原因之一，就是确保多项式方程总能有解。在 FP1 中，我们专注于系数为实数的多项式（二次、三次和四次方程）。

4.1 共轭根定理（关键的 FP1 概念）

如果多项式方程 \(P(x) = 0\) 的所有系数均为实数，且 \(z = a + bi\) 是其中的一个根，那么它的共轭 \(\bar{z} = a - bi\) 也必然是方程的一个根。

为什么这很重要？这意味着复根总是成对出现的。如果你找到了一个复根，就等于免费获赠了第二个！这对求解三次和四次方程至关重要。

4.2 求解三次方程

一个三次方程 (\(ax^3 + bx^2 + cx + d = 0\)) 必然有 3 个根。由于系数是实数，只有两种可能：

  • 三个实根。
  • 一个实根和一对共轭复根。

分步示例：已知三次方程 \(P(x) = 0\) 的系数均为实数，且 \(2\) 和 \(3 + i\) 是其中两个根，求第三个根。

  1. 确定复根：\(z_1 = 3 + i\)。
  2. 由于系数为实数，共轭根定理适用。
  3. 第二个复根一定是它的共轭：\(z_2 = 3 - i\)。
  4. 三个根即为 \(2, 3 + i\) 和 \(3 - i\)。(实根 2 的共轭还是它自己。)

4.3 根据根构造多项式

如果你已知根，可以通过将因子 \((x - \text{根})\) 相乘来找到多项式。

如果 \(z_1\) 和 \(\bar{z_1}\) 是一对共轭根，明智的做法是先将它们的因子相乘：

$$(x - z_1)(x - \bar{z_1})$$
设 \(z_1 = a + bi\)。 $$(x - (a + bi))(x - (a - bi))$$

当你展开它时，虚部会抵消，结果永远是一个实系数二次因子：

$$(x^2 - (z_1 + \bar{z_1})x + z_1 \bar{z_1})$$

记住：

  • 根的和：\(z_1 + \bar{z_1} = (a+bi) + (a-bi) = 2a\) （实部的两倍）
  • 根的积：\(z_1 \bar{z_1} = a^2 + b^2\) （模的平方 - 见第 5 节）

因此，对于根 \(a \pm bi\)，其对应的二次因子永远是：

$${x^2 - 2ax + (a^2 + b^2)}$$

记忆技巧：如果根是 \(1 \pm 2i\)，则 \(a=1, b=2\)。因子即为 \(x^2 - 2(1)x + (1^2 + 2^2) = x^2 - 2x + 5\)。比 FOIL 展开四项快多了！

你知道吗？

代数基本定理指出，次数为 \(n\)（其中 \(n \ge 1\)）且系数为复数的多项式，在复数系中必然恰好有 \(n\) 个根（计入重根）。这保证了所有多项式都是可解的！

5. 直观展现复数：阿尔冈图 (Argand Diagram)

由于复数 \(z = a + bi\) 有两个分量（\(a\) 和 \(b\)），我们无法在简单的数轴上绘制它。相反，我们使用一个二维平面，称为阿尔冈图 (Argand Diagram)。

5.1 复平面

阿尔冈图本质上是一个笛卡尔坐标系，其中：

  • 水平轴是实轴 (Real Axis)（表示 \(a\)）。
  • 垂直轴是虚轴 (Imaginary Axis)（表示 \(b\)）。

复数 \(z = a + bi\) 被标记为坐标点 \((a, b)\)。

示例： \(z = 4 - 3i\) 绘制在第四象限的点 \((4, -3)\) 处。

5.2 模 (Modulus)：到原点的距离

\(z\) 的模，记作 \(|z|\)，表示点 \((a, b)\) 到原点 \((0, 0)\) 的距离。因为两轴垂直，我们使用勾股定理。

$${|z| = \sqrt{a^2 + b^2}}$$

由于 \(a\) 和 \(b\) 均被平方，模永远是一个非负实数。

示例：求 \(z = -5 + 12i\) 的模。
$$|z| = \sqrt{(-5)^2 + (12)^2} = \sqrt{25 + 144} = \sqrt{169} = 13$$

5.3 幅角 (Argument)：角度

\(z\) 的幅角，记作 \(\arg(z)\) 或 \(\theta\)，是正实轴与连接原点到点 \(z\) 的线段之间的夹角。

在 FP1 中，我们通常处理主幅角 (Principal Argument)，它必须满足：

$${-\pi < \theta \le \pi \quad \text{或} \quad -180^\circ < \theta \le 180^\circ}$$

（取决于题目要求弧度制还是角度制。）

求幅角（分步法）
  1. 画图！ 这是最重要的一步。 绘制阿尔冈图以确定 \(z\) 落在哪个象限。
  2. 求参考角 ($\alpha$)。 基于边长 \(|a|\) 和 \(|b|\)（三角形边的非负长度）使用三角函数。 $${\tan(\alpha) = \frac{|b|}{|a|}}$$
  3. 求主幅角 ($\theta$)。 根据象限对 \(\alpha\) 进行调整：
    • 第一象限 (\(a>0, b>0\))： \(\theta = \alpha\)
    • 第二象限 (\(a<0, b>0\))： \(\theta = \pi - \alpha\)
    • 第三象限 (\(a<0, b<0\))： \(\theta = -(\pi - \alpha)\) （从正实轴反向旋转）
    • 第四象限 (\(a>0, b<0\))： \(\theta = -\alpha\)

示例（弧度）：求 \(z = -1 - i\) 的幅角。

  1. 绘图： \(z\) 在第三象限。\(a=-1, b=-1\)。
  2. 参考角 ($\alpha$)： \(\tan(\alpha) = \frac{|-1|}{|-1|} = 1\)。因此，\(\alpha = \frac{\pi}{4}\)。
  3. 主幅角 ($\theta$)： 由于在第三象限，我们计算 \(\pi - \alpha\)，然后取其负值。 $$\theta = - \left(\pi - \frac{\pi}{4}\right) = - \frac{3\pi}{4}$$

幅角计算要点：永远不要在未检查象限的情况下直接使用 \(\arctan(b/a)\) 计算幅角。计算器只会给你第一或第四象限的角度！

结论：你已掌握基础！

你现在已经为 FP1 打下了坚实的复数系统基础！你能够处理代数运算，通过共轭根定理求解挑战性的多项式方程，并理解了通过阿尔冈图、模和幅角进行的几何表示。多练习除法和幅角的计算步骤——这些是学生最容易犯小错误的地方。祝你好运！