欢迎来到进阶复数 (Further Complex Numbers)！
在之前的学习中，你已经接触过阿尔冈图 (Argand diagram)，并学会了如何绘制简单的圆形和直线。现在，我们正式进入进阶纯数学 2 (Further Pure Mathematics 2) 的领域。我们将探索更进阶的“轨迹”(loci，即点移动的路径)，以及如何在图上标示出特定的区域。
如果起初觉得这些概念比较抽象，不用担心！把这些方程式想象成一套 GPS 指令。与其直接告诉一个点该待在哪里，我们是给它一条必须遵守的规则。当你读完这些笔记后，你将能把这些规则转化为漂亮的几何图形。
1. 距离之比：\( |z - a| = k|z - b| \)
这看起来有点吓人，但让我们拆解一下。请记住，\( |z - a| \) 的意思只是“从点 \( z \) 到点 \( a \) 的距离”。
这是什么？
这个方程式描述了一组点，这些点到点 \( a \) 的距离恰好是到点 \( b \) 距离的 \( k \) 倍。
两种情况：
• 如果 \( k = 1 \)： 这是“公平竞争”。到 \( a \) 的距离与到 \( b \) 的距离相等。这会形成一条垂直平分线 (位于两点正中央的直线)。
• 如果 \( k \neq 1 \)： 这就更有趣了！这会画出一个圆形。在数学上，我们称之为阿波罗尼奥斯圆 (Circle of Apollonius)。
逐步解题指南：
如果你被要求找出笛卡儿方程式 (即 \( x \) 和 \( y \) 的形式)，请遵循以下步骤：
1. 将 \( z \) 替换为 \( x + iy \)。
2. 写出两边的模：\( \sqrt{(x - a_{real})^2 + (y - a_{imag})^2} = k\sqrt{(x - b_{real})^2 + (y - b_{imag})^2} \)。
3. 关键步骤：两边同时平方，把那些平方根去掉！
4. 展开括号，将所有项移到一边，然后针对 \( x \) 和 \( y \)“配方法”(complete the square)，从而找出圆心和半径。
小贴士：务必仔细检查你的平方计算。如果你有 \( 2|z - b| \)，平方后会变成 \( 4|z - b|^2 \)。忘记将 \( k \) 值也进行平方，是学生最常犯的错误！
重点总结：只要你看到一个模等于另一个模的倍数 (且该倍数不为 1)，你所面对的就是一个圆形。
2. 角度与弧：\( arg\left(\frac{z - a}{z - b}\right) = \beta \)
这大概是本章最棘手的部分，但我们可以运用一个巧妙的比喻来简化它。
概念：
表达式 \( arg\left(\frac{z - a}{z - b}\right) \) 等同于 \( arg(z - a) - arg(z - b) \)。在几何上，这代表两条交于点 \( z \) 的直线之间的角度，其中一条线来自点 \( a \)，另一条来自点 \( b \)。
它长什么样子？
这代表穿过 \( a \) 和 \( b \) 两点的圆弧。
• 把它想象成一个“视角”。如果你站在点 \( z \)，看着分别位于 \( a \) 和 \( b \) 的两座雕像，当你沿着这条特定的弧线走动时，你双臂之间夹的角度会保持不变。
优弧与劣弧：
• 如果 \( \beta \) 是锐角 (小于 \( \pi/2 \) 或 90°)，它就是优弧 (Major Arc) (大于半个圆)。
• 如果 \( \beta \) 是钝角 (大于 \( \pi/2 \))，它就是劣弧 (Minor Arc) (小于半个圆)。
• 如果 \( \beta = \pi/2 \)，它就是一个半圆！
常见错误：
不要将端点 \( a \) 和 \( b \) 本身包含在内。在这些点上，辐角 (argument) 是未定义的，因为如果你直接站在雕像上，就无法构成角度！
重点总结：这个方程式在两点之间构成了一条“弧”。利用角度 \( \beta \) 的大小来决定绘制多少部分的圆。
3. 阿尔冈图中的区域阴影
有时候，我们想讨论的不是线或曲线，而是整个范围。这就是不等式派上用场的时候。
A. 实数与虚数边界
课程大纲提到像 \( p \leq Re(z) \leq q \) 这样的区域。
• 这就像一个垂直走廊。如果 \( 1 \leq Re(z) \leq 3 \)，你要把垂直线 \( x = 1 \) 和 \( x = 3 \) 之间的所有区域涂上阴影。
• 同样地，\( p \leq Im(z) \leq q \) 会是两个 \( y \) 值之间的水平走廊。
B. 辐角扇形 (Argument Sectors)
像 \( \alpha \leq arg(z - z_1) \leq \beta \) 这样的区域看起来像聚光灯或披萨切片。
• 点 \( z_1 \) 是光源的“起点”。
• 角度 \( \alpha \) 和 \( \beta \) 是光束的边缘。
• 你需要将光束内部的区域涂上阴影。
C. 组合区域
你可能会被要求画出同时满足两个规则的区域，例如 \( |z - a| \leq |z - b| \)。
• 步骤 1： 先画出边界线 (垂直平分线)。
• 步骤 2： 决定哪一侧要涂阴影。由于“到 \( a \) 的距离”小于“到 \( b \) 的距离”，因此你要涂离点 \( a \) 较近的那一侧。
你知道吗？
在许多工程领域中，这些区域被用来定义“稳定区”。例如，如果代表桥梁震动的复数停留在阿尔冈图上的某个“安全”区域内，桥梁就不会倒塌！
重点总结：对于区域问题，请务必先画出边界 (使用实线表示 \( \leq \) 或 \( \geq \)，虚线表示 \( < \) 或 \( > \))，然后选一个“测试点”来确定哪一边需要涂阴影。
快速复习箱
方程式： \( |z - a| = k|z - b| \) (其中 \( k \neq 1 \))
图形： 圆形。
方程式： \( arg\left(\frac{z - a}{z - b}\right) = \beta \)
图形： 圆弧。
区域： \( \alpha \leq arg(z - z_1) \leq \beta \)
图形： 以 \( z_1 \) 为起点的“楔形”或“披萨切片”。
区域： \( p \leq Re(z) \leq q \)
图形： 位于 \( x = p \) 和 \( x = q \) 之间的垂直长条。
如果阿波罗尼奥斯圆的代数计算需要尝试几次才能弄对，千万别气馁。这主要就是考验你展开括号时是否够细心！持续练习，你就会发现其中的规律。