欢迎来到进阶复数的世界！
在之前的学习中，你可能已经接触过复数，它是用来解像 \(x^2 + 1 = 0\) 这类没有「实数」解的方程的工具。这一章，我们会进行更深入的探讨。我们将学习如何在平面上表示这些数字（称为 **阿尔冈图 (Argand Diagram)**），从另一个角度看待它们（**极坐标形式 (Polar Form)**），并利用它们来解决像三次及四次方程这样的大型问题。
起初觉得这些概念有点「虚拟」别担心——在这些笔记结束时，你会发现复数遵循的规则非常合乎逻辑，就像你从小学开始一直使用的数字一样！
1. 基本概念：笛卡儿形式 (Cartesian Form)
每个复数 \(z\) 都可以写成 **笛卡儿形式**：
\[z = a + ib\]
其中：
- **\(a\)** 是 **实部 (real part)**，记作 \(Re(z)\)。
- **\(b\)** 是 **虚部 (imaginary part)**，记作 \(Im(z)\)。
- **\(i\)** 是 \(-1\) 的平方根，因此 \(i^2 = -1\)。
复数共轭 (Complex Conjugate)
如果你有一个复数 \(z = a + ib\)，它的 **共轭复数 (conjugate)**（记作 \(z^*\)）就是将虚部的符号改变后的结果：
\[z^* = a - ib\]
小撇步：把共轭想象成一种反射。如果 \(z\) 是「向上」的，那么 \(z^*\) 就是「向下」的。当你把一个数与它的共轭相乘时，「虚部」就会消失，得到一个实数：\(z z^* = a^2 + b^2\)。
2. 阿尔冈图 (Argand Diagram)
**阿尔冈图** 其实就是复数的坐标图。我们不使用 \(x\) 和 \(y\)，而是使用：
- **实轴 (Real Axis)**（水平轴）。
- **虚轴 (Imaginary Axis)**（垂直轴）。
例子： 要标绘 \(z = 3 + 2i\)，你只需向右走 3 个单位，再向上走 2 个单位。就像标绘坐标点 \((3, 2)\) 一样！
重点总结：复数不仅仅是数值；它们是二维平面上的 **点** 或 **向量**。
3. 模 (Modulus) 与 幅角 (Argument)
有时候，与其说「向左/右和向上/下」，用距离中心多远以及面向什么方向来描述一个点会更方便。这就引出了 **模-幅角** 形式。
模 (\(|z|\))
**模** 是从原点 \((0,0)\) 到点 \(z\) 的距离。我们使用勾股定理来求得：
\[|z| = \sqrt{a^2 + b^2}\]
你知道吗？考试需要用到的一个规则是：两个复数相乘的模，等于它们各自模的乘积：**\(|z_1 z_2| = |z_1| |z_2|\)**。
幅角 (\(arg(z)\))
**幅角** (\(\theta\)) 是该向量与 **正实轴** 之间所成的角度。
- 角度以 **逆时针** 为正，**顺时针** 为负。
- 通常我们以 **弧度 (radians)** 给出答案，范围在 \(-\pi\) 到 \(\pi\) 之间。
- 使用三角函数：\(\tan \theta = \frac{b}{a}\)。
常见错误警告：在计算幅角前，请务必先画一个草图！如果你的点位于第二或第三象限，计算机给你的角度可能是错误的。画草图能帮助你将角度调整到正确的象限。
4. 极坐标形式 (Polar Form)
一旦你有了模 (\(r\)) 和幅角 (\(\theta\))，你就可以将复数写成 **极坐标形式**：
\[z = r(\cos \theta + i\sin \theta)\]
这与 \(a + ib\) 完全相同，只是写法不同！
- \(a = r \cos \theta\)
- \(b = r \sin \theta\)
重点总结：笛卡儿形式 (\(a + ib\)) 非常适合进行加减法；极坐标形式 (\(r(\cos \theta + i\sin \theta)\)) 则非常适合直观地处理旋转和距离问题。
5. 复数运算
加法与减法
只需将实部相加减，虚部也相加减即可。这和代数中的「合并同类项」完全一样。
乘法
使用 **FOIL** 法（首项、外项、内项、末项相乘）。只要记得每当看到 \(i^2\)，就把它替换成 \(-1\)。
除法
要进行复数除法，我们的目标是消除分母中的 \(i\)。方法是将分子和分母同时乘以分母的 **共轭复数**。
例子： 要解 \(\frac{1}{2 + i}\)，请将分子和分母都乘以 \((2 - i)\)。
6. 解方程
这是复数变得非常强大的地方。在这个单元中，你将会解二次、三次和四次方程。
共轭根定理 (Conjugate Root Theorem)
这是你考试的一个重大「作弊码」：
如果一个方程有实系数，且 \(z_1\) 是一个复根，那么它的共轭 \(z_1^*\) 也必定是该方程的根。
复根总是成对出现的！
二次方程
如果你使用二次公式时，根号内的部分 (\(b^2 - 4ac\)) 是负数，你只需运用 \(i\) 即可。
例子： \(\sqrt{-16} = 4i\)。
三次及四次方程
对于 **三次方程** (\(ax^3 + bx^2 + cx + d = 0\))：
- 它会有 3 个实根，或者 1 个实根与 2 个复根（共轭对）。
对于 **四次方程** (\(ax^4 + bx^3 + cx^2 + dx + e = 0\))：
- 它可能有 4 个实根、2 个实根与 2 个复根，或者 4 个复根（两对共轭）。
考试题解步骤：
1. 如果题目给你一个复根（例如 \(2 + i\)），立刻写下第二个根（\(2 - i\)）。
2. 将这两个根的因子相乘：\((x - (2 + i))(x - (2 - i))\)。这会给你一个实系数的二次多项式。
3. 使用 **多项式除法** 将原方程除以该二次多项式，以找出剩余的根。
速查箱
- \(i^2 = -1\)
- 模： \(|z| = \sqrt{a^2 + b^2}\)（距离）
- 幅角： 从正实轴起算的夹角。
- 共轭： 改变 \(i\) 项的符号。
- 根： 如果 \(a + bi\) 是根，则 \(a - bi\) 也是根（针对实系数方程）。
最后的鼓励：复数可能会让你觉得奇怪，因为我们不能用手指头来「数」它们，但它们遵循着你已经熟悉的代数规则。多练习多项式除法以及 \(r\) 和 \(\theta\) 的转换，你很快就能掌握这一章的内容！