欢迎来到复数的世界！
你好！如果你一直以为数学只处理“实数”，那么准备好开启一段探索复数 (Complex Numbers) 的奇妙旅程吧。在这里，我们将打破“负数不能开平方”的陈规，从而解决许多以往看来不可能解出的方程。
复数在高等数学、工程学（尤其是电路和信号处理）以及物理学中具有核心地位。如果起初觉得有些棘手也不必担心——我们将带你一步步拆解每一个概念！
第一节：虚数单位与笛卡尔形式
1.1 定义虚数单位 (\(i\))
复数的基石是虚数单位 (imaginary unit)，记作 \(i\)。
我们定义 \(i\) 满足： $$i = \sqrt{-1}$$
由此立即引出了你必须牢记的最重要性质： $$i^2 = -1$$
你知道吗？ “虚数”这个术语在历史上产生时，数学家们最初对这些数字持怀疑态度，但它们在数学上与实数一样严谨且有用！
1.2 复数的笛卡尔形式
复数通常用 \(z\) 表示，其笛卡尔形式 (Cartesian form)（也称为直角坐标形式）写作： $$z = x + iy$$
其中，\(x\) 和 \(y\) 均为实数。
- \(x\) 是 \(z\) 的实部 (Real Part)，记作 \(Re(z)\)。
- \(y\) 是 \(z\) 的虚部 (Imaginary Part)，记作 \(Im(z)\)。 (注意：\(Im(z)\) 仅指 \(y\)，不包含 \(i\))。
例子： 若 \(z = 3 - 4i\)，则 \(Re(z) = 3\)，\(Im(z) = -4\)。
核心结论：
复数将实部和虚部结合在一起，通过关键恒等式 \(i^2 = -1\)，使我们能够处理 \(\sqrt{\text{负数}}\)。
第二节：复数的代数运算 (\(x + iy\))
复数的算术运算与多项式代数非常相似，只需将 \(i\) 视为变量，同时牢记将 \(i^2\) 化简为 \(-1\)。
2.1 加法与减法
复数的加减法非常简单，只需分别合并实部和虚部即可。
若 \(z_1 = a + ib\) 且 \(z_2 = c + id\)： $$z_1 + z_2 = (a+c) + i(b+d)$$
类比： 想象一下食谱中的配料。你可以把面粉量加在一起，把糖量加在一起；但你不能混淆面粉和糖的总量！
2.2 乘法
利用分配律（就像两个括号相乘的展开法 FOIL）来乘复数：
若 \(z_1 = a + ib\) 且 \(z_2 = c + id\)： $$z_1 z_2 = (a+ib)(c+id) = ac + iad + ibc + i^2bd$$
现在，记住 \(i^2 = -1\)： $$z_1 z_2 = (ac - bd) + i(ad + bc)$$
分步示例： 计算 \((2+3i)(1-i)\)。
- 展开：\(2(1) + 2(-i) + 3i(1) + 3i(-i)\)
- 化简：\(2 - 2i + 3i - 3i^2\)
- 用 \(-1\) 替换 \(i^2\)：\(2 + i - 3(-1)\)
- 合并：\(2 + i + 3 = 5 + i\)
2.3 复共轭 (\(z^*\))
\(z = x + iy\) 的复共轭 (complex conjugate) 记作 \(z^*\) (有时也写为 \(\bar{z}\))，其求法是将虚部的符号取反： $$z^* = x - iy$$
为什么共轭很重要？ 当你将一个复数与它的共轭数相乘时，结果始终是一个实数。 $$z z^* = (x+iy)(x-iy) = x^2 - (iy)^2 = x^2 - i^2y^2 = x^2 + y^2$$
这对于接下来的运算至关重要：除法。
2.4 除法（商）
要计算两个复数的商 \(\frac{z_1}{z_2}\)，必须使用分母的共轭 \(z_2^*\)。这个过程被称为分母实数化 (realising the denominator)。
分步示例： 计算 \(\frac{2+i}{3-2i}\)。
- 找出分母及其共轭：分母为 \(3-2i\)，共轭为 \(3+2i\)。
- 分子分母同时乘以该共轭： $$\frac{2+i}{3-2i} \times \frac{3+2i}{3+2i}$$
- 计算分母（结果应始终为实数）： $$(3-2i)(3+2i) = 3^2 + 2^2 = 9 + 4 = 13$$
- 计算分子： $$(2+i)(3+2i) = 6 + 4i + 3i + 2i^2 = 6 + 7i - 2 = 4 + 7i$$
- 写成 \(x+iy\) 形式： $$\frac{4+7i}{13} = \frac{4}{13} + i \frac{7}{13}$$
运算速查：
- 加/减法：实部与实部对应，虚部与虚部对应。
- 乘法：展开并代入 \(i^2 = -1\)。
- 除法：分子分母同乘分母的共轭。
第三节：根与方程求解
3.1 二次方程的非实根
当你求解一个系数均为实数的二次方程 \(ax^2 + bx + c = 0\) 时，若判别式 (\(b^2-4ac\)) 为负，其根即为复数。
至关重要的是，这些非实根总是成对出现，即共轭复根 (conjugate pairs)。
如果 \(z = \alpha + i\beta\) 是该多项式的一个根，那么 \(z^* = \alpha - i\beta\) 也必是其根。
常见错误： 该规则仅在多项式的系数 (\(a, b, c\)) 全为实数时才成立！
3.2 比较实部与虚部
一个复数方程成立的充要条件是：等式两边的实部相等，且等式两边的虚部相等。
若 \(A + iB = C + iD\)，则 \(A=C\) 且 \(B=D\)。
这种技巧对于求解涉及复数及其共轭的方程非常重要。
示例：求解 \(2z + z^* = 1 + i\)
令 \(z = x + iy\)，则 \(z^* = x - iy\)。
代入方程：
$$2(x+iy) + (x-iy) = 1 + i$$
$$2x + 2iy + x - iy = 1 + i$$
$$3x + iy = 1 + i$$
现在，比较各部分：
实部：\(3x = 1 \implies x = \frac{1}{3}\)
虚部：\(y = 1\)
因此，解为 \(z = \frac{1}{3} + i\)。
核心结论：根与方程
实系数多项式的非实根成共轭对出现。求解复数方程需将实部和虚部拆开分别相等处理。
第四节：阿甘图与极坐标形式
4.1 阿甘图 (Argand Diagram)
复数 \(z = x + iy\) 可以在一个二维平面上表示为点 \((x, y)\)，这个平面称为阿甘图 (Argand diagram)。
- 横轴为实轴 (Real Axis)。
- 纵轴为虚轴 (Imaginary Axis)。
这种几何表示有助于我们直观地理解复数的性质。
4.2 模长 (\(r\))
复数 \(z = x + iy\) 的模长 (modulus) 是点 \((x, y)\) 到阿甘图原点 \((0, 0)\) 的距离。记作 \(|z|\) 或 \(r\)。
利用勾股定理： $$|z| = r = \sqrt{x^2 + y^2}$$
模长始终是非负的。注意 \(|z|^2 = z z^*\)。
4.3 幅角 (\(\theta\))
复数 \(z\) 的幅角 (argument) 是连接原点到 \(z\) 的线段与正实轴之间的夹角，记作 \(\arg(z)\)。
幅角利用三角函数计算： $$\tan \theta = \frac{y}{x}$$
我们通常使用主幅角 (Principal Argument)，其范围为： $$-\pi < \theta \le \pi$$
计算幅角的步骤指南：
- 画图： 在阿甘图上标注该复数，确定所在的象限。
- 参考角 (\(\alpha\))： 计算锐角 \(\alpha = \tan^{-1}\left(\left|\frac{y}{x}\right|\right)\)。注意，此处 \(x\) 和 \(y\) 均取绝对值！
- 调整： 根据象限确定 \(\theta\)：
- 第一象限 (x>0, y>0): \(\theta = \alpha\)
- 第二象限 (x<0, y>0): \(\theta = \pi - \alpha\)
- 第三象限 (x<0, y<0): \(\theta = \alpha - \pi\) (或 \(-\pi + \alpha\))
- 第四象限 (x>0, y<0): \(\theta = -\alpha\)
记忆辅助： 主幅角确保你从正实轴开始，以最短的角度距离（顺时针或逆时针）到达点 \(z\)。
4.4 极坐标形式
利用模长 \(r\) 和幅角 \(\theta\)，我们可以用极坐标表示 \(z\)。
由基本的三角函数知识可得： $$x = r \cos \theta \quad \text{和} \quad y = r \sin \theta$$
代入 \(z = x + iy\) 得到极坐标形式： $$z = r(\cos \theta + i \sin \theta)$$
这种形式在乘除法中非常高效（尽管这些运算会在后续章节涉及，但你现在必须熟练掌握笛卡尔形式与极坐标形式的互换）。
核心结论：阿甘图与极坐标
阿甘图将 \(z=x+iy\) 映射为 \((x, y)\)。模长 \(|z|\) 是到原点的距离；幅角 \(\arg(z)\) 是相对于正实轴的角度（范围在 \((-\pi, \pi]\)）。
第五节：复平面上的简单轨迹
轨迹 (locus) 是满足特定几何条件的所有点的集合。在复平面上，这些条件通常由模长或幅角来定义。
5.1 由模长定义的轨迹（距离）
5.1.1 与定点的固定距离（圆）
满足 \(|z - a| = k\) 的点 \(z\) 的轨迹，其中 \(a\) 是固定的复数，\(k\) 是固定的正实常数。
这描述了所有到点 \(a\) 的距离正好为 \(k\) 的点。
几何意义： 以 \(a\) 为圆心，\(k\) 为半径的圆。
例子： \(|z - (2+i)| = 5\)。
这是一个圆心在 \((2, 1)\)，半径为 \(5\) 的圆。
5.1.2 与两点等距离（垂直平分线）
满足 \(|z - a| = |z - b|\) 的点 \(z\) 的轨迹，其中 \(a\) 和 \(b\) 是固定的复数。
这描述了所有到点 \(a\) 的距离等于到点 \(b\) 的距离的点。
几何意义： 连接 \(a\) 和 \(b\) 的线段的垂直平分线 (perpendicular bisector)。
方法： 要找到笛卡尔方程，将 \(z=x+iy\)、\(a=a_1+ia_2\) 和 \(b=b_1+ib_2\) 代入原方程，并两边平方以消除根号。
5.2 由幅角定义的轨迹（角度）
5.2.1 相对定点的固定幅角（半直线）
满足 \(\arg(z - a) = \theta\) 的点 \(z\) 的轨迹，其中 \(a\) 是固定的复数，\(\theta\) 是固定的角度。
这描述了所有满足以下条件的点 \(z\)：连接 \(a\) 到 \(z\) 的向量与正实轴形成的夹角为 \(\theta\)。
几何意义： 一条从 \(a\) 出发的半直线 (half-line)（或射线），不包含点 \(a\) 本身。
例子： \(\arg(z - 2) = \frac{\pi}{3}\)。
这是一条从 \((2, 0)\) 出发，与水平方向呈 \(60^\circ\) 角向外延伸的射线。
核心结论：轨迹
模长定义距离（圆或垂直平分线）。幅角定义角度（半直线）。时刻留意正在减去的那个复数（即“起点”或“圆心”）。