欢迎来到复数进阶课程!
在之前的学习中,你已经掌握了复数的基本运算,并学会了在阿根图(Argand diagram)上绘制圆形和直线等简单图形。现在,我们要深入探讨更多复杂的图形(轨迹),并学习如何利用数学函数将整个平面“变换”(transform)到另一个平面。你可以把它想象成一个数字滤镜,能将图片进行拉伸和扭曲——不过这次,我们用的是代数!
1. 进阶轨迹:阿波罗尼奥斯圆(Circle of Apollonius)
你已经知道 \( |z - a| = |z - b| \) 代表一条垂直平分线(连接点 \( a \) 和点 \( b \) 且位于两者正中央的直线)。但如果其中一边乘以一个常数 \( k \) 会怎样呢?
方程: \( |z - a| = k|z - b| \)
当 \( k \neq 1 \) 时,这类轨迹永远是一个圆形。这就是著名的阿波罗尼奥斯圆。
类比:想象有两个无线电塔,分别是 \( a \) 和 \( b \)。塔 \( b \) 的信号比塔 \( a \) 强得多。轨迹代表了所有信号强度比例恰好为 \( k \) 的点(即塔 \( b \) 的信号强度是塔 \( a \) 的 \( k \) 倍)。这些信号平衡点形成的不再是一条直线,而是围绕着较弱信号塔的一个圆形。
解题方法:
1. 将 \( z \) 替换为 \( x + iy \)。
2. 将两边平方以消除根号: \( (x - a_1)^2 + (y - a_2)^2 = k^2[(x - b_1)^2 + (y - b_2)^2] \)。
3. 展开所有项并移项至等式一侧。
4. 对 \( x \) 和 \( y \) 进行配方法(Complete the square),即可找出圆心和半径。
常见错误:忘了对 \( k \) 平方!例如方程为 \( |z - 3| = 2|z - i| \),当你两边平方时,那个 \( 2 \) 必须变成 \( 4 \)。
重点提示:如果 \( k = 1 \),轨迹是一条直线;如果 \( k \neq 1 \),它就是一个圆!
2. “角度”轨迹
这通常是本章节最棘手的部分,但有一个很漂亮的几何技巧可以帮助你。
方程: \( \arg\left(\frac{z - a}{z - b}\right) = \beta \)
这代表一个圆弧(arc of a circle)。具体来说,这是一组点 \( z \),使得连接 \( z \) 到 \( a \) 以及 \( z \) 到 \( b \) 的两条线段之间的夹角刚好为 \( \beta \)。
可以这样想:
想象 \( a \) 和 \( b \) 是球场上的两个球门柱。如果你想站立在某个位置,使得你看这两个门柱的视角始终保持 \( 30^\circ \),你必须沿着一条特定的弯曲路径行走——这就是一个圆弧!
重要规则:
- 圆弧始于 \( b \),止于 \( a \)。
- 若 \( \beta \) 是锐角(小于 \( 90^\circ \)),圆弧为优弧(major arc)(超过半圆)。
- 若 \( \beta \) 是钝角(大于 \( 90^\circ \)),圆弧为劣弧(minor arc)(小于半圆)。
- 若 \( \beta = \pi/2 \) (\( 90^\circ \)),圆弧刚好是一个半圆。
记忆小撇步:“分子”位置的 \( a \) 是终点,而“分母”位置的 \( b \) 是起点。角度是从线段 \( zb \) 到 \( za \) 以逆时针方向测量的。
重点提示:这个轨迹是一条弧,而不是完整的圆。别忘了排除端点 \( a \) 和 \( b \),因为当点就在门柱上时,夹角是没有定义的!
3. 阿根图中的区域
有时候我们寻找的不是线,而是一个完整的区域,这可以用不等式来表示。
水平/垂直带状区域: \( p \le \text{Re}(z) \le q \) 代表实部在 \( p \) 和 \( q \) 之间的所有复数。在图上看起来就像一条垂直的阴影通道。
角度扇形(Angular Wedges): \( \alpha \le \arg(z - z_1) \le \beta \) 代表从点 \( z_1 \) 发散出的“披萨切片”形状。边缘(饼皮)会无限延伸!
快速回顾:
- 实线表示 \( \le \) 或 \( \ge \) (包含边界)。
- 虚线表示 \( < \) 或 \( > \) (不包含边界)。
4. 变换:从 \( z \)-平面到 \( w \)-平面
在这一节中,我们将一个阿根图中的点 \( z \) 利用公式映射到另一个阿根图中的新点 \( w = u + iv \)。
类型 1: \( w = z^2 \)
这种变换是一个“倍增器”。
- 模数平方: 如果 \( |z| = r \),则 \( |w| = r^2 \)。
- 辐角加倍: 如果 \( \arg(z) = \theta \),则 \( \arg(w) = 2\theta \)。
类型 2: 莫比乌斯变换(Möbius Transformation) \( w = \frac{az + b}{cz + d} \)
这是一种非常强大的变换。它其中一个“超能力”就是它通常能将圆和直线映射为其他圆或直线。
变换题型的解题步骤:
示例:求圆形 \( |z| = 2 \) 在变换 \( w = \frac{z + i}{z - 1} \) 下的像(image)。
步骤 1:将 \( z \) 变为主项。 你需要得到 \( z = \dots \) 关于 \( w \) 的表达式。
\( w(z - 1) = z + i \)
\( wz - w = z + i \)
\( wz - z = w + i \)
\( z(w - 1) = w + i \)
\( z = \frac{w + i}{w - 1} \)
步骤 2:代入已知的轨迹方程。 已知 \( |z| = 2 \),所以:
\( \left| \frac{w + i}{w - 1} \right| = 2 \)
步骤 3:化简。 利用法则 \( \left| \frac{A}{B} \right| = \frac{|A|}{|B|} \):
\( \frac{|w + i|}{|w - 1|} = 2 \)
\( |w + i| = 2|w - 1| \)
步骤 4:识别新轨迹。 观察结果。看起来很眼熟吧?没错!这就是在 \( w \)-平面上的阿波罗尼奥斯圆。你现在可以用第 1 节介绍的“配方法”来绘制它了。
如果一开始觉得困难,别担心! 代数运算可能会很繁琐,但步骤永远一样:分离 \( z \)、代入、然后化简。
重点提示:变换只是“代入”游戏。整理好方程让 \( z \) 成为主项,然后把它代入你原始的圆形或直线方程中即可。
总结清单
- 我能识别 \( |z - a| = k|z - b| \) 是一个圆吗?
- 我记得 \( \arg(\dots) = \beta \) 只是一个圆弧吗?
- 我能熟练地绘制带有实线或虚线的区域吗?
- 在处理变换时,我能将 \( w = f(z) \) 重排,让 \( z \) 成为主项吗?
你知道吗? 莫比乌斯变换在现代物理学中被用于研究光线如何绕过黑洞!你现在学习的数学,正是理解宇宙形状的基础。