ch03双线性变换（莫比乌斯变换）

双线性变换（莫比乌斯变换）知识点详解

这部分内容是复变函数中共形映射的核心基础，双线性变换（也叫莫比乌斯变换）是复平面上最基础、最重要的一类变换，它实现了扩充复平面上的一一映射，并且保持圆和直线的结构、保持角度不变，是复几何、复分析的核心工具。

---

一、双线性变换的定义与基础概念

1.1 标准表达式

双线性变换的标准形式为：

\[w = f(z) = \frac{a + bz}{c + dz} \]

其中：

• \(a,b,c,d\)为给定的复常数；
• \(c,d\)不能同时为0（若\(c=d=0\)，表达式无意义）；
• 定义域为所有使得分母\(c+dz \neq 0\)的复数\(z\)。

1.2 “双线性”的命名由来

将表达式交叉相乘、移项整理，可得：

\[dwz + cw - bz - a = 0 \]

这个方程对变量\(w\)和变量\(z\)都是线性的（一次的），因此被称为双线性变换（Bilinear Transformation）。

1.3 别名：莫比乌斯变换

这类变换也被称为莫比乌斯变换（Mobius Transformation），以德国数学家奥古斯特·费迪南德·莫比乌斯（A.F. Mobius, 1790-1868）命名，他是最早系统研究这类变换的数学家。

1.4 映射的几何意义

我们将复数\(z\)和\(w\)分别对应到z平面和w平面上的点，双线性变换的本质是：建立了z平面上的点\(z\)到w平面上的点\(w\)的对应关系，这个对应关系被称为变换（Transformation）或映射（Mapping）。

• 点\(w\)被称为点\(z\)在双线性变换下的像（image）；
• 点\(z\)被称为点\(w\)的原像（preimage）。

双线性变换的核心研究内容之一，就是变换下保持不变的性质（不变量），比如后续会学到的保圆性、保角性、交比不变性等。

---

二、双线性变换的核心性质：单射性（一一对应）

2.1 核心公式推导

设\(z_1,z_2\)是z平面上的两个点，它们在变换下的像分别为\(w_1,w_2\)，即：

\[w_1 = \frac{a + bz_1}{c + dz_1}, \quad w_2 = \frac{a + bz_2}{c + dz_2} \]

对两点的像做差，通分展开化简：

\[\begin{align*} w_2 - w_1 &= \frac{a + bz_2}{c + dz_2} - \frac{a + bz_1}{c + dz_1} \\ &= \frac{(a + bz_2)(c + dz_1) - (a + bz_1)(c + dz_2)}{(c + dz_1)(c + dz_2)} \\ &= \frac{ad(z_1 - z_2) + bc(z_2 - z_1)}{(c + dz_1)(c + dz_2)} \\ &= \frac{(ad - bc)(z_1 - z_2)}{(c + dz_1)(c + dz_2)} \end{align*} \]

最终得到核心恒等式：

\[\boldsymbol{w_2 - w_1 = \frac{(ad - bc)(z_1 - z_2)}{(c + dz_1)(c + dz_2)}} \]

2.2 行列式（雅可比）的核心意义

我们把\(ad - bc\)称为这个双线性变换的行列式（Determinant）或雅可比（Jacobian），它直接决定了变换的性质，是双线性变换的核心参数：

行列式条件	变换性质	核心结论
\(ad - bc = 0\)	退化变换	此时\(w_2 - w_1 = 0\)，无论\(z_1,z_2\)是否相等，像都相同，变换是常值映射，将整个z平面映射到w平面的同一个点，无研究价值
\(ad - bc \neq 0\)	非退化变换	此时\(z_1 \neq z_2 \iff w_1 \neq w_2\)，即不同的原像对应不同的像，变换是单射（一一映射），是双线性变换有意义的前提

因此，后续所有关于双线性变换的研究，都默认满足核心非退化条件：\(\boldsymbol{ad - bc \neq 0}\)。

2.3 补充说明

当\(ad - bc \neq 0\)时，\(c\)和\(d\)不可能同时为0：
若\(c=d=0\)，则\(ad - bc = 0\)，与非退化条件矛盾，因此\(c,d\)至少有一个不为0，保证分母不会恒为0。

---

三、核心知识点归纳总结表

核心模块	核心内容	关键公式/条件	核心结论
双线性变换定义	标准表达式	\(w = \frac{a + bz}{c + dz}\)	\(a,b,c,d\)为复常数，\(c,d\)不同时为0
	双线性的由来	\(dwz + cw - bz - a = 0\)	对\(w\)和\(z\)均为线性（一次）方程，因此得名双线性
	别名	莫比乌斯变换	以数学家A.F. Mobius命名，是复分析、共形映射的核心变换
核心性质推导	两点像的差	\(w_2 - w_1 = \frac{(ad - bc)(z_1 - z_2)}{(c + dz_1)(c + dz_2)}\)	刻画变换的单射性，是所有性质的基础
行列式（雅可比）	定义	\(\Delta = ad - bc\)	双线性变换的核心参数，决定变换是否退化
	退化情况	\(\Delta = 0\)	变换为常值映射，无几何意义与研究价值
	非退化条件	\(\Delta \neq 0\)	变换为一一映射（单射），是研究的默认前提
映射几何意义	平面对应	z平面的点\(\to\)w平面的点	建立复平面间的映射，核心研究变换下的不变量（保圆性、保角性等）

---

补充拓展

双线性变换是扩充复平面（复平面+无穷远点）上的自同构映射，它可以分解为平移、旋转、伸缩、反演这四种基本变换的复合，并且具有三大核心不变性质：

1. 保圆性：将复平面上的圆或直线映射为圆或直线（直线可看作半径无穷大的圆）；
2. 保角性：在导数不为0的点处，保持两条曲线的夹角大小与方向不变；
3. 交比不变性：四个点的交比在双线性变换下保持不变，这是双线性变换的核心不变量，也是构造特定双线性变换的关键工具。

---

扩充复平面与双线性变换的全局映射性质 知识点详解

承接上一讲双线性变换的基础定义，本讲核心解决普通复平面上双线性变换的例外点问题，通过引入扩充复平面（含无穷远点），让双线性变换成为扩充复平面到自身的完美一一映射，这是双线性变换几何理论的核心基础。

---

一、普通复平面上双线性变换的映射缺陷

我们先分析非退化双线性变换 \(w = \frac{a + bz}{c + dz}\ (ad-bc \neq 0)\) 在普通复平面（不含无穷远点）上的定义域、值域与逆映射，分两种情况讨论。

1.1 情况1：\(d \neq 0\)

步骤1：求逆变换

将原变换交叉相乘，解出用\(w\)表示\(z\)的表达式：

\[\begin{align*} w(c + dz) &= a + bz \\ cw + dwz &= a + bz \\ z(dw - b) &= a - cw \end{align*} \]

最终得到逆变换：

\[\boldsymbol{z = \frac{-a + cw}{b - dw}} \]

步骤2：分析定义域与值域的例外点

• 原变换的定义域：分母\(c+dz \neq 0\)，即\(z \neq -\frac{c}{d}\)，普通复平面上需排除这个点；
• 逆变换的定义域：分母\(b-dw \neq 0\)，即\(w \neq \frac{b}{d}\)，说明原变换的值域需排除\(w=\frac{b}{d}\)这个点。

结论：当\(d \neq 0\)时，双线性变换仅在「去掉\(z=-\frac{c}{d}\)的z平面」和「去掉\(w=\frac{b}{d}\)的w平面」之间建立一一映射，存在两个例外点，无法覆盖整个复平面。

1.2 情况2：\(d = 0\)

由非退化条件\(ad-bc \neq 0\)，\(d=0\)时必有\(c \neq 0\)（否则\(c=d=0\)，原表达式无意义），且\(-bc \neq 0\)。

此时原变换简化为：

\[w = \frac{a + bz}{c} \]

• 定义域：分母\(c \neq 0\)，覆盖整个普通复平面，无例外点；
• 逆变换：\(z = \frac{cw - a}{b}\)，值域也覆盖整个普通复平面，无例外点。

结论：\(d=0\)时变换是普通复平面到自身的一一映射，但\(d \neq 0\)的普遍情况仍存在例外点，需要引入新的数学工具消除这个缺陷。

---

二、扩充复平面与无穷远点（\(\infty\)）

2.1 引入目的

为了让所有非退化双线性变换都能实现「全平面的一一映射」，我们给普通复平面添加一个新的点，称为无穷远点（Infinite Point / Point at Infinity），记作\(\infty\)。

添加了无穷远点的复平面，称为扩充复平面（Extended Complex Plane），也叫闭复平面，其几何模型就是我们之前讲过的黎曼球面（球面北极点对应无穷远点\(\infty\)）。

2.2 无穷远点的代数运算规则

无穷远点不是普通复数，我们仅定义它与有限复数的部分运算，未定义的运算不可随意使用：

✅ 已定义的合法运算

对任意有限复数\(a \neq \infty\)，有：

1. 加减运算：\(\infty \pm a = \infty\)
2. 乘法运算：\(a \cdot \infty = \infty\)（\(a \neq 0\)）
3. 除法运算：
   • \(\frac{a}{\infty} = 0\)，\(\frac{\infty}{a} = \infty\)（\(a \neq \infty\)）
   • \(\frac{a}{0} = \infty\)（\(a \neq 0\)）
4. 共轭定义：\(\infty\)的共轭是自身，即\(\bar{\infty} = \infty\)

❌ 未定义的非法运算

以下运算无数学意义，禁止使用：

\[\infty + \infty,\quad \infty - \infty,\quad 0 \cdot \infty,\quad \frac{\infty}{\infty},\quad \frac{0}{0} \]

无穷远点不支持自由的代数运算，仅能通过上述定义的规则参与计算。

---

三、扩充复平面上双线性变换的全局一一映射

引入无穷远点后，我们可以给例外点补充定义，让双线性变换成为扩充复平面到自身的一一双射，完美消除例外点。

3.1 无穷远点的对应关系

对非退化双线性变换 \(w = \frac{a + bz}{c + dz}\ (ad-bc \neq 0)\)，补充定义：

1. 当\(z = \infty\)时：
   对原式分子分母同除以\(z\)，得 \(w = \frac{\frac{a}{z} + b}{\frac{c}{z} + d}\)，当\(z \to \infty\)时，\(\frac{a}{z} \to 0\)，\(\frac{c}{z} \to 0\)，因此定义：

   \[\boldsymbol{z = \infty \implies w = \frac{b}{d}} \]

   （\(d=0\)时，\(\frac{b}{d}=\infty\)，即\(z=\infty\)对应\(w=\infty\)，与\(d=0\)的情况完全兼容）

2. 当\(z = -\frac{c}{d}\)时：
   此时原式分母为0，\(w \to \infty\)，因此定义：

   \[\boldsymbol{z = -\frac{c}{d} \implies w = \infty} \]

3.2 核心结论

补充定义后，非退化双线性变换是扩充复平面到自身的一一映射（双射）：

• 扩充z平面的每一个点，都唯一对应扩充w平面的一个点；
• 扩充w平面的每一个点，都唯一对应扩充z平面的一个原像；
• 无任何例外点，实现了全局的一一对应。

这也是双线性变换成为复几何、共形映射核心工具的关键原因——它是扩充复平面上最基础的自同构映射。

---

四、核心知识点归纳总结表

核心模块	核心内容	关键公式/定义	核心结论
双线性变换的逆映射	\(d \neq 0\)的逆变换	\(z = \frac{-a + cw}{b - dw}\)	原变换定义域排除\(z=-\frac{c}{d}\)，值域排除\(w=\frac{b}{d}\)
	\(d = 0\)的特殊情况	\(w = \frac{a + bz}{c}\)	普通复平面上的一一映射，无例外点
扩充复平面	定义	普通复平面 + 无穷远点\(\infty\)	几何上对应黎曼球面，消除双线性变换的例外点
无穷远点运算规则	合法运算	\(\infty \pm a = \infty\)，\(a\cdot\infty=\infty(a\neq0)\)，\(\frac{a}{\infty}=0\)，\(\frac{a}{0}=\infty(a\neq0)\)	仅支持定义内的运算，不可自由代数操作
	非法运算	\(\infty\pm\infty\)、\(0\cdot\infty\)、\(\frac{\infty}{\infty}\)、\(\frac{0}{0}\)	无数学意义，禁止使用
扩充复平面的全局映射	无穷远点对应关系	\(z=\infty \implies w=\frac{b}{d}\)；\(z=-\frac{c}{d} \implies w=\infty\)	覆盖所有例外点，实现全平面对应
	核心性质	非退化双线性变换\(ad-bc\neq0\)	是扩充复平面到自身的一一双射

---

扩充复平面的几何统一：球极投影、反演点与直线-圆的等价性 知识点详解

本讲是扩充复平面理论的核心落地，通过球极投影将扩充复平面与黎曼球面完全对应，同时利用无穷远点消除了反演点、直线与圆的例外情况，最终实现了「直线是过无穷远点的圆」这一复几何的核心统一视角，为双线性变换的保圆性奠定了理论基础。

---

一、球极投影：无穷远点与黎曼球面的一一对应

1.1 球极投影的坐标公式回顾

我们在之前的内容中已经推导过：单位球面（球心在原点，半径为1）上的点\(P(X,Y,Z)\)，与复平面上的点\(z=x+iy\)，通过球极投影建立的对应关系为：

\[\boldsymbol{ X = \frac{z + \bar{z}}{z\bar{z} + 1},\quad Y = \frac{z - \bar{z}}{i(z\bar{z} + 1)},\quad Z = \frac{z\bar{z} - 1}{z\bar{z} + 1} } \]

其中，球极投影的顶点（球面北极点）为\(V(0,0,1)\)，复平面为球面的赤道平面（\(Z=0\)）。

1.2 无穷远点的球面对应

我们需要确定扩充复平面的无穷远点\(z=\infty\)在球面上的对应点：
将坐标公式的分子、分母同时除以\(z\bar{z}\)，得：

\[X = \frac{\frac{1}{z} + \frac{1}{\bar{z}}}{1 + \frac{1}{z\bar{z}}},\quad Y = \frac{\frac{1}{z} - \frac{1}{\bar{z}}}{i\left(1 + \frac{1}{z\bar{z}}\right)},\quad Z = \frac{1 - \frac{1}{z\bar{z}}}{1 + \frac{1}{z\bar{z}}} \]

当\(z \to \infty\)时，\(\frac{1}{z} \to 0\)，\(\frac{1}{\bar{z}} \to 0\)，\(\frac{1}{z\bar{z}} \to 0\)，代入得：

\[X \to 0,\quad Y \to 0,\quad Z \to 1 \]

1.3 核心结论

1. 扩充复平面的无穷远点\(z=\infty\)，对应单位球面的北极点\((0,0,1)\)（球极投影的顶点）；
2. 球极投影建立了单位球面的所有点与扩充复平面的所有点的一一对应关系，无任何例外点；
3. 这个与扩充复平面一一对应的单位球面，称为黎曼球面，是扩充复平面的标准几何模型。

---

二、圆的反演点：圆心与无穷远点互为反演

2.1 反演点的例外问题回顾

在普通复平面中，关于圆的反演点定义存在一个例外：圆的圆心没有对应的反演点（除圆心外，平面上每个点都有唯一的反演点）。
引入无穷远点后，我们可以完美消除这个例外。

2.2 反演点的统一条件

圆与直线的统一复数方程为：

\[\boldsymbol{p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0} \]

其中\(p,r\)为实数，\(\alpha\)为非零复常数。

两点\(z_1,z_2\)关于该圆互为反演点的充要条件为：

\[\boldsymbol{p z_1 \bar{z_2} + \bar{\alpha} z_1 + \alpha \bar{z_2} + r = 0} \]

2.3 圆心与无穷远点的反演关系推导

1. 先求圆的圆心：将统一方程两边除以\(p\)，得圆的标准一般式\(z\bar{z} + \frac{\bar{\alpha}}{p}z + \frac{\alpha}{p}\bar{z} + \frac{r}{p} = 0\)，因此圆心对应的复数为\(z_1 = -\frac{\alpha}{p}\)。
2. 将圆心\(z_1 = -\frac{\alpha}{p}\)代入反演点条件，解\(\bar{z_2}\)：
   \[\bar{z_2} = -\frac{r + \bar{\alpha} z_1}{\alpha + p z_1} \]

3. 代入\(z_1 = -\frac{\alpha}{p}\)，分母\(\alpha + p z_1 = \alpha - \alpha = 0\)，分子\(r + \bar{\alpha} z_1 = r - \frac{|\alpha|^2}{p} \neq 0\)（圆的半径平方\(\frac{|\alpha|^2}{p^2} - \frac{r}{p} > 0\)，因此分子非零），因此\(\bar{z_2} \to \infty\)，即\(z_2 = \infty\)。

2.4 核心结论

圆的圆心与无穷远点，关于该圆互为反演点。
引入无穷远点后，扩充复平面上的每个点都有唯一的反演点，彻底消除了普通复平面中“圆心无反演点”的例外，反演变换成为扩充复平面上的全局变换。

---

三、直线与圆的统一：直线是过无穷远点的圆

3.1 图形过无穷远点的充要条件

我们仍使用圆与直线的统一方程：

\[p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0 \]

要判断图形是否经过无穷远点\(z=\infty\)，将方程两边除以\(z\bar{z}\)，得：

\[p + \frac{\bar{\alpha}}{\bar{z}} + \frac{\alpha}{z} + \frac{r}{z\bar{z}} = 0 \]

当\(z \to \infty\)时，\(\frac{1}{z},\frac{1}{\bar{z}},\frac{1}{z\bar{z}}\)均趋于0，方程简化为\(p=0\)。

因此得到核心结论：

统一方程表示的图形经过无穷远点，当且仅当\(\boldsymbol{p=0}\)。

3.2 直线的圆视角

当\(p=0\)时，统一方程退化为：

\[\bar{\alpha} z + \alpha \bar{z} + r = 0 \]

这正是我们之前推导的直线的一般复数方程。

结合上述结论，我们得到复几何中最核心的统一视角：
直线可以看作是扩充复平面上，经过无穷远点的圆。

3.3 推论与意义

1. 普通的圆：\(p \neq 0\)，不经过无穷远点；
2. 直线：\(p = 0\)，经过无穷远点的圆；
3. 过两个定点\(z_1,z_2\)的直线，等价于过\(z_1,z_2,\infty\)三个点的圆。

这个统一视角的核心价值，是为双线性变换的保圆性提供了简洁的表述：双线性变换将扩充复平面上的圆（包括直线，即过无穷远点的圆）映射为扩充复平面上的圆，无需再单独区分直线和圆。

---

核心知识点归纳总结表

核心模块	核心内容	关键公式/条件	核心结论
球极投影与无穷远点	无穷远点的球面对应	\(X=\frac{z+\bar{z}}{z\bar{z}+1},\ Y=\frac{z-\bar{z}}{i(z\bar{z}+1)},\ Z=\frac{z\bar{z}-1}{z\bar{z}+1}\)	\(z=\infty\)对应球面北极点\((0,0,1)\)，球极投影建立黎曼球面与扩充复平面的一一对应
反演点的全局化	圆心与无穷远点的反演关系	反演条件：\(p z_1 \bar{z_2} + \bar{\alpha} z_1 + \alpha \bar{z_2} + r = 0\)	圆的圆心与无穷远点关于该圆互为反演点，扩充复平面上所有点都有唯一反演点
直线与圆的统一	直线是过无穷远点的圆	统一方程：\(p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0\)	图形过\(\infty \iff p=0\)，\(p=0\)对应直线方程，因此直线是过\(\infty\)的圆
核心意义	扩充复平面的几何统一	-	消除了普通复平面的所有例外，实现了反演变换、直线与圆的统一，为双线性变换的保圆性奠定基础

---

双线性变换的复合与逆变换 知识点详解

本讲是双线性变换代数性质的核心内容，我们将证明：两个非退化双线性变换的复合仍然是非退化双线性变换，且非退化双线性变换的逆变换也同样是非退化双线性变换，最终引出所有双线性变换构成的代数结构——莫比乌斯群。

---

一、双线性变换的复合（Resultant / Composite Transformation）

1. 问题引入

我们定义两个连续的非退化双线性变换：

1. 变换\(P\)：将\(z\)平面的点映射到\(Z\)平面，非退化条件\(a_1d_1 - b_1c_1 \neq 0\)
   \[Z = P(z) = \frac{a_1 + b_1 z}{c_1 + d_1 z} \]

2. 变换\(Q\)：将\(Z\)平面的点映射到\(w\)平面，非退化条件\(a_2d_2 - b_2c_2 \neq 0\)
   \[w = Q(Z) = \frac{a_2 + b_2 Z}{c_2 + d_2 Z} \]

我们的目标是消去中间变量\(Z\)，直接得到从\(z\)到\(w\)的映射，这个映射称为两个变换的复合变换（Resultant / Composite），记作\(w = (Q \circ P)(z) = Q[P(z)]\)，执行顺序为：先执行变换\(P\)，再执行变换\(Q\)。

2. 复合变换的完整推导

将\(Z = \frac{a_1 + b_1 z}{c_1 + d_1 z}\)代入\(w\)的表达式，得：

\[w = \frac{a_2 + b_2 \cdot \frac{a_1 + b_1 z}{c_1 + d_1 z}}{c_2 + d_2 \cdot \frac{a_1 + b_1 z}{c_1 + d_1 z}} \]

对分子、分母同时乘以\(c_1 + d_1 z\)通分，整理后得到：

• 分子：\(a_2(c_1 + d_1 z) + b_2(a_1 + b_1 z) = (a_2 c_1 + b_2 a_1) + (a_2 d_1 + b_2 b_1) z\)
• 分母：\(c_2(c_1 + d_1 z) + d_2(a_1 + b_1 z) = (c_2 c_1 + d_2 a_1) + (c_2 d_1 + d_2 b_1) z\)

最终得到复合变换的标准双线性形式：

\[\boldsymbol{w = \frac{(a_2 c_1 + b_2 a_1) + (a_2 d_1 + b_2 b_1) z}{(c_2 c_1 + d_2 a_1) + (c_2 d_1 + d_2 b_1) z}} \]

3. 复合变换的非退化性证明

双线性变换有意义的核心前提是行列式非零，我们计算复合变换的行列式\(\Delta\)：

\[\Delta = (a_2 c_1 + b_2 a_1)(c_2 d_1 + d_2 b_1) - (a_2 d_1 + b_2 b_1)(c_2 c_1 + d_2 a_1) \]

展开后所有交叉项相互抵消，最终化简得：

\[\boldsymbol{\Delta = - (a_1 d_1 - b_1 c_1)(a_2 d_2 - b_2 c_2)} \]

由于原两个变换均为非退化，即\(a_1d_1 - b_1c_1 \neq 0\)且\(a_2d_2 - b_2c_2 \neq 0\)，因此\(\Delta \neq 0\)，复合变换仍然是非退化的双线性变换。

4. 核心结论

1. 封闭性：两个非退化双线性变换的复合，仍然是一个非退化双线性变换；
2. 行列式性质：复合变换的行列式，等于两个原变换行列式的乘积的相反数；
3. 顺序性：复合变换的执行顺序不可随意交换，\(Q \circ P\)与\(P \circ Q\)通常是完全不同的变换，双线性变换的复合不满足交换律。

---

二、双线性变换的逆变换（Inverse of a Bilinear Transformation）

1. 逆变换的推导

对于非退化双线性变换\(w = P(z) = \frac{a + b z}{c + d z}\)（\(ad - bc \neq 0\)），逆变换的目标是解出\(z\)关于\(w\)的表达式，得到从\(w\)平面映射回\(z\)平面的变换，记作\(z = P^{-1}(w)\)。

推导过程：
将原变换交叉相乘，整理含\(z\)的项：

\[\begin{align*} w(c + d z) &= a + b z \\ cw + dwz &= a + b z \\ z(dw - b) &= a - cw \end{align*} \]

解出\(z\)，得到逆变换的标准形式：

\[\boldsymbol{z = \frac{a - c w}{-b + d w} = \frac{-a + c w}{b - d w}} \]

2. 逆变换的非退化性

逆变换的形式为\(z = \frac{A + B w}{C + D w}\)，其中\(A=-a, B=c, C=b, D=-d\)，计算其行列式：

\[\Delta' = AD - BC = (-a)(-d) - c \cdot b = ad - bc \]

由于原变换非退化\(ad - bc \neq 0\)，因此逆变换的行列式也非零，逆变换同样是一个非退化的双线性变换。

3. 逆变换的核心性质

1. 恒等变换性质：原变换与逆变换的复合结果为恒等变换\(I(z)=z\)，即：
   \[P[P^{-1}(w)] = w,\quad P^{-1}[P(z)] = z \]
   恒等变换是特殊的双线性变换，对应\(w=z\)，行列式为\(1\)，是双线性变换复合运算的单位元。
2. 逆元的唯一性：每个非退化双线性变换的逆变换是唯一的，且逆变换的逆变换就是原变换，即\((P^{-1})^{-1} = P\)。

---

三、拓展：莫比乌斯群（Mobius Group）

所有非退化双线性变换，关于复合运算构成一个群，称为莫比乌斯群，它是复分析、黎曼几何的核心代数结构，满足群的四大公理：

1. 封闭性：两个非退化双线性变换的复合仍是非退化双线性变换；
2. 结合律：对任意三个变换\(T_1,T_2,T_3\)，有\((T_1 \circ T_2) \circ T_3 = T_1 \circ (T_2 \circ T_3)\)；
3. 单位元：存在恒等变换\(I(z)=z\)，对任意变换\(T\)满足\(T \circ I = I \circ T = T\)；
4. 逆元：每个非退化双线性变换都存在唯一的逆变换，满足\(T \circ T^{-1} = T^{-1} \circ T = I\)。

莫比乌斯群的本质，是扩充复平面上所有的共形自同构映射的集合，刻画了扩充复平面上所有保角、保圆的一一变换。

---

核心知识点归纳总结表

核心模块	核心内容	关键公式/条件	核心结论
双线性变换的复合	复合变换推导	变换1：\(Z=\frac{a_1+b_1 z}{c_1+d_1 z}\)，变换2：\(w=\frac{a_2+b_2 Z}{c_2+d_2 Z}\)，复合后\(w=\frac{(a_2c_1+b_2a_1)+(a_2d_1+b_2b_1)z}{(c_2c_1+d_2a_1)+(c_2d_1+d_2b_1)z}\)	两个双线性变换的复合仍是双线性变换
	复合变换的行列式	\(\Delta = -(a_1d_1 - b_1c_1)(a_2d_2 - b_2c_2)\)	原变换非退化\(\implies\)复合变换非退化
	复合的顺序	记作\(w=Q[P(z)]=(QP)(z)\)	先执行\(P\)，再执行\(Q\)，复合不满足交换律
双线性变换的逆变换	逆变换推导	原变换\(w=\frac{a+bz}{c+dz}\)，逆变换\(z=\frac{a - cw}{-b + dw}\)	逆变换也是非退化双线性变换
	逆变换的行列式	\(\Delta' = ad - bc\)	逆变换的行列式与原变换行列式相等
	核心性质	\(P[P^{-1}(w)]=w\)，\(P^{-1}[P(z)]=z\)	原变换与逆变换的复合为恒等变换\(I(z)=z\)
莫比乌斯群	代数结构	所有非退化双线性变换关于复合运算	满足封闭性、结合律、单位元、逆元，是扩充复平面的共形自同构群

---

双线性变换的线性群（莫比乌斯群） 知识点详解与定理证明

本讲的核心是证明所有非退化双线性变换的集合，在变换的复合运算下构成一个非阿贝尔群，这个群是复分析、复几何的核心代数结构，称为莫比乌斯群（Mobius Group），它刻画了扩充复平面上所有保角、保圆的一一自同构映射，是连接复几何与代数学的关键桥梁。

---

一、核心定理与基础概念

1.1 核心定理

定理：所有非退化双线性变换的集合，在变换的乘积（复合）运算下，构成一个非阿贝尔群。

1.2 基础定义

1. 非退化双线性变换：标准形式为
   \[T(z) = \frac{az + b}{cz + d} \]
   其中\(a,b,c,d\)为复常数，且满足非退化条件\(\Delta = ad - bc \neq 0\)（保证变换是扩充复平面上的一一映射）。
2. 变换的乘积（复合）：两个变换\(T_1, T_2\)的乘积\(T_1 T_2\)定义为先执行\(T_2\)，再执行\(T_1\)，即
   \[(T_1 T_2)(z) = T_1\left(T_2(z)\right) \]
   这是群的二元运算。

---

二、群公理的逐条严谨证明

一个集合要构成群，必须满足四大公理：封闭性、结合律、单位元存在、逆元存在，我们逐一证明：

2.1 封闭性公理（Closure Axiom）

命题：任意两个非退化双线性变换的复合，仍然是一个非退化双线性变换。

证明：
根据之前复合变换的推导结论，对两个非退化双线性变换：

\[T_1(z) = \frac{a_1 z + b_1}{c_1 z + d_1}\ (a_1d_1 - b_1c_1 \neq 0),\quad T_2(z) = \frac{a_2 z + b_2}{c_2 z + d_2}\ (a_2d_2 - b_2c_2 \neq 0) \]

它们的复合为：

\[(T_1 T_2)(z) = \frac{(a_1a_2 + b_1c_2)z + (a_1b_2 + b_1d_2)}{(c_1a_2 + d_1c_2)z + (c_1b_2 + d_1d_2)} \]

复合变换的行列式为：

\[\Delta = (a_1d_1 - b_1c_1)(a_2d_2 - b_2c_2) \neq 0 \]

因此复合变换仍然是非退化双线性变换，属于原集合，封闭性成立。

2.2 结合律（Associative Law）

命题：对任意三个双线性变换\(T_1,T_2,T_3\)，有

\[(T_1 T_2) T_3 = T_1 (T_2 T_3) \]

证明：
结合律是映射复合的通用性质，对任意集合上的映射都成立：

• 左边\((T_1 T_2) T_3\)的执行顺序：先执行\(T_3\)，再执行\(T_2\)，最后执行\(T_1\)；
• 右边\(T_1 (T_2 T_3)\)的执行顺序：先执行\(T_3\)，再执行\(T_2\)，最后执行\(T_1\)。

两者的执行逻辑完全一致，对任意复数\(z\)，都有：

\[((T_1 T_2) T_3)(z) = (T_1 (T_2 T_3))(z) \]

因此结合律成立。

2.3 单位元存在性（Identity Element）

命题：存在恒等变换\(I(z)=z\)，它是双线性变换，且对任意变换\(T\)，满足\(T I = I T = T\)。

证明：

1. 恒等变换\(I(z)=z\)是双线性变换：对应\(a=1,b=0,c=0,d=1\)，行列式\(\Delta=1\cdot1 - 0\cdot0=1\neq0\)，满足非退化条件，属于原集合。
2. 单位元性质：对任意双线性变换\(T\)，有
   \[(T I)(z) = T(I(z)) = T(z),\quad (I T)(z) = I(T(z)) = T(z) \]
   即\(T I = I T = T\)，恒等变换是群的单位元，单位元存在性成立。

2.4 逆元存在性（Inverse Element）

命题：对任意非退化双线性变换\(T\)，存在唯一的逆变换\(T^{-1}\)，它也是非退化双线性变换，且满足\(T^{-1} T = T T^{-1} = I\)。

证明：

1. 逆变换的构造：对\(T(z) = \frac{az + b}{cz + d}\ (ad-bc\neq0)\)，其逆变换为
   \[T^{-1}(w) = \frac{dw - b}{-cw + a} \]

2. 逆变换的非退化性：\(T^{-1}\)的行列式\(\Delta' = d\cdot a - (-b)\cdot(-c) = ad - bc \neq 0\)，满足非退化条件，属于原集合。
3. 逆元性质验证（核心推导）：
   对任意\(z\)，计算\(T^{-1}(T(z))\)：
   \[\begin{align*} T^{-1}(T(z)) &= T^{-1}\left( \frac{az + b}{cz + d} \right) \\ &= \frac{d \cdot \frac{az + b}{cz + d} - b}{-c \cdot \frac{az + b}{cz + d} + a} \\ &= \frac{d(az + b) - b(cz + d)}{-c(az + b) + a(cz + d)} \quad \text{（分子分母同乘$cz + d$）} \\ &= \frac{adz + bd - bcz - bd}{-acz - bc + acz + ad} \\ &= \frac{(ad - bc)z}{ad - bc} \\ &= z = I(z) \end{align*} \]
   同理可验证\(T T^{-1}(w) = w\)，因此\(T^{-1} T = T T^{-1} = I\)，逆元存在性成立。

---

三、群的非阿贝尔性证明

阿贝尔群（交换群）的定义是：群的运算满足交换律，即对任意两个元素\(T_1,T_2\)，有\(T_1 T_2 = T_2 T_1\)。反之，交换律不成立的群称为非阿贝尔群。

反例证明交换律不成立

取两个简单的双线性变换：

• 平移变换\(T_1(z) = z + 1\)（对应\(a=1,b=1,c=0,d=1\)）
• 伸缩变换\(T_2(z) = 2z\)（对应\(a=2,b=0,c=0,d=1\)）

分别计算两个顺序的复合：

1. \(T_1 T_2(z) = T_1(T_2(z)) = T_1(2z) = 2z + 1\)
2. \(T_2 T_1(z) = T_2(T_1(z)) = T_2(z+1) = 2(z+1) = 2z + 2\)

显然\(2z+1 \neq 2z+2\)，即\(T_1 T_2 \neq T_2 T_1\)，交换律不成立。

因此，双线性变换构成的群是非阿贝尔群。

---

四、拓展：双线性变换群与矩阵群的对应

双线性变换群与二阶复矩阵群有天然的同构关系，这也是它被称为线性群的核心原因：

1. 每个双线性变换\(T(z) = \frac{az + b}{cz + d}\)，都对应一个二阶可逆复矩阵
   \[M = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in GL(2,\mathbb{C}) \]
   其中\(GL(2,\mathbb{C})\)是二阶复一般线性群，即所有行列式非零的二阶复矩阵的集合。
2. 变换的复合对应矩阵的乘法：\(T_1 T_2\)对应的矩阵，就是\(T_1\)的矩阵与\(T_2\)的矩阵的乘积。
3. 注意：矩阵\(M\)和\(kM\)（\(k\neq0\)为复常数）对应同一个双线性变换，因此双线性变换群同构于射影线性群\(PGL(2,\mathbb{C}) = GL(2,\mathbb{C}) / \mathbb{C}^* I\)，即\(GL(2,\mathbb{C})\)模去非零常数倍单位矩阵的商群。

---

核心知识点归纳总结表

群公理	核心内容	证明结论
封闭性	两个非退化双线性变换的复合仍是非退化双线性变换	复合变换行列式=原变换行列式的乘积，非零性保持，封闭性成立
结合律	\((T_1 T_2) T_3 = T_1 (T_2 T_3)\)	映射复合的通用性质，执行顺序完全一致，结合律成立
单位元	恒等变换\(I(z)=z\)，满足\(T I = I T = T\)	\(I(z)=z\)是双线性变换，符合单位元定义，单位元存在
逆元	对任意\(T\)，存在逆变换\(T^{-1}(w)=\frac{dw - b}{-cw + a}\)，满足\(T^{-1}T=TT^{-1}=I\)	逆变换非退化，且复合后为恒等变换，逆元存在
非阿贝尔性	一般情况下\(T_1 T_2 \neq T_2 T_1\)	平移+伸缩变换的反例证明交换律不成立，群为非阿贝尔群
代数本质	与二阶复矩阵群的对应	同构于射影线性群\(PGL(2,\mathbb{C})\)，是扩充复平面的共形自同构群

---

双线性变换的临界点（Critical Points）知识点详解

本讲聚焦双线性变换的临界点，核心是通过复变函数的导数，分析双线性变换的保角性例外点，同时结合扩充复平面的映射规则，完整解释临界点的定义、推导与几何意义。

---

一、双线性变换的例外点与扩充复平面映射

我们先回顾非退化双线性变换的标准形式与逆变换，明确普通复平面上的无定义点，以及扩充复平面下的对应关系，这是理解临界点的基础。

1.1 变换与逆变换

非退化双线性变换（\(ad-bc \neq 0\)）：

\[w = T(z) = \frac{az + b}{cz + d} \tag{1} \]

通过交叉相乘解出\(z\)，得到逆变换：

\[z = T^{-1}(w) = \frac{b - wd}{wc - a} \tag{2} \]

1.2 普通复平面的例外点

当\(c \neq 0\)时，变换存在两个无定义的例外点：

1. 对原变换(1)：分母\(cz+d=0\)时，\(z=-\frac{d}{c}\)，普通复平面上该点无对应\(w\)值；
2. 对逆变换(2)：分母\(wc-a=0\)时，\(w=\frac{a}{c}\)，普通复平面上该点无对应\(z\)值。

1.3 扩充复平面的全局映射

引入无穷远点\(\infty\)后，我们补充定义，实现扩充复平面的一一映射：

• \(z=-\frac{d}{c}\) 对应 \(w=\infty\)（分母为0，\(w\)趋向无穷大）；
• \(w=\frac{a}{c}\) 对应 \(z=\infty\)（逆变换分母为0，\(z\)趋向无穷大）。

补充：当\(c=0\)时，变换退化为线性变换\(w=\frac{a}{d}z + \frac{b}{d}\)，有限复平面内无例外点，仅\(z=\infty\)对应\(w=\infty\)。

---

二、双线性变换的导数推导

复变函数的导数是判断变换保角性的核心：导数不为0的点，变换是保角（共形）的；导数为0或无穷大的点，保角性失效，也就是我们要研究的临界点。

2.1 有限平面内的导数计算

对双线性变换\(w = \frac{az + b}{cz + d}\)，用商的求导法则求导：

\[\frac{dw}{dz} = \frac{\frac{d}{dz}(az+b) \cdot (cz+d) - (az+b) \cdot \frac{d}{dz}(cz+d)}{(cz+d)^2} \]

展开分子并化简：

\[\frac{dw}{dz} = \frac{a(cz+d) - c(az+b)}{(cz+d)^2} = \frac{acz + ad - acz - bc}{(cz+d)^2} \]

交叉项\(acz\)相互抵消，最终得到核心导数公式：

\[\boldsymbol{\frac{dw}{dz} = \frac{ad - bc}{(cz + d)^2}} \]

2.2 无穷远点\(z=\infty\)处的导数

无穷远点的导数需要通过变量替换分析：令\(\zeta = \frac{1}{z}\)，则\(z=\frac{1}{\zeta}\)，当\(z \to \infty\)时，\(\zeta \to 0\)。

将\(z=\frac{1}{\zeta}\)代入原变换，化简：

\[w = \frac{a \cdot \frac{1}{\zeta} + b}{c \cdot \frac{1}{\zeta} + d} = \frac{a + b\zeta}{c + d\zeta} \]

根据复合函数求导法则\(\frac{dw}{dz} = \frac{dw}{d\zeta} \cdot \frac{d\zeta}{dz}\)，分别计算：

1. \(\frac{dw}{d\zeta} = \frac{b(c+d\zeta) - d(a+b\zeta)}{(c+d\zeta)^2} = \frac{bc - ad}{(c+d\zeta)^2}\)
2. \(\frac{d\zeta}{dz} = -\frac{1}{z^2} = -\zeta^2\)

因此：

\[\frac{dw}{dz} = \frac{bc - ad}{(c+d\zeta)^2} \cdot (-\zeta^2) = \frac{(ad - bc) \cdot \zeta^2}{(c + d\zeta)^2} \]

当\(\zeta \to 0\)（即\(z \to \infty\)）时，分子趋向0，分母趋向\(c^2\)，因此：

\[\boldsymbol{\left. \frac{dw}{dz} \right|_{z=\infty} = 0} \]

---

三、临界点的定义与取值分析

3.1 临界点的定义

复变函数的临界点，是指导数为0，或导数为无穷大（导数不存在）的点。

3.2 双线性变换的临界点

结合导数公式，我们得到双线性变换的两个临界点：

1. \(z=-\frac{d}{c}\)（\(c \neq 0\)时）：
   代入导数公式，分母\((cz+d)^2=0\)，分子\(ad-bc \neq 0\)，因此\(\frac{dw}{dz} = \infty\)，导数不存在，是临界点。
2. \(z=\infty\)：
   无论\(c\)是否为0，该点处导数\(\frac{dw}{dz}=0\)，是临界点。

补充：当\(c=0\)时，变换为线性变换\(w=\frac{a}{d}z+\frac{b}{d}\)，有限平面内导数\(\frac{dw}{dz}=\frac{a}{d} \neq 0\)，无有限临界点，仅\(z=\infty\)是唯一临界点。

---

四、临界点的核心几何意义

1. 保角性的例外点
   双线性变换在扩充复平面上除两个临界点外的所有点，导数\(\frac{dw}{dz} \neq 0\)且有限，因此变换是保角（共形）的，即保持两条曲线的夹角大小与方向不变；
   仅在两个临界点处，导数为0或无穷大，保角性失效，角度会发生畸变。

2. 映射的畸变点

   • 在\(z=-\frac{d}{c}\)处，变换将有限点映射到无穷远点，局部的几何结构被拉伸到无穷大，导数无穷大；
   • 在\(z=\infty\)处，变换将无穷远点映射到有限点\(w=\frac{a}{c}\)，无穷远的结构被压缩到有限平面，导数为0。

3. 双线性变换的全局性质
   双线性变换是扩充复平面上的一一同胚映射，仅在两个临界点处失去共形性，这也是它被称为“分式线性共形映射”的核心原因。

---

核心知识点归纳总结表

核心模块	核心内容	关键公式/结论
变换与逆变换	双线性变换标准形式	\(w=\frac{az+b}{cz+d}\)，非退化条件\(ad-bc \neq 0\)
	逆变换	\(z=\frac{b - wd}{wc - a}\)
扩充复平面映射	例外点的对应	\(z=-\frac{d}{c} \iff w=\infty\)；\(w=\frac{a}{c} \iff z=\infty\)
导数推导	有限平面导数	\(\frac{dw}{dz} = \frac{ad - bc}{(cz + d)^2}\)
	无穷远点导数	$\left. \frac{dw}{dz} \right
临界点	定义	导数为0或无穷大的点
	临界点取值	\(z=-\frac{d}{c}\)（\(c \neq 0\)）、\(z=\infty\)
几何意义	保角性	除临界点外，双线性变换处处保角（共形）
	映射性质	临界点处映射发生拉伸/压缩，保角性失效

---

双线性变换的基本分解：几何意义与推导证明

本讲的核心结论是：任意非退化双线性变换，都可以分解为三类最基础的双线性变换的复合。这三类基本变换都有直观的几何意义，通过分解，我们可以把复杂的双线性变换拆解为简单的几何操作，从而彻底理解双线性变换的全局几何行为。

---

一、核心定理

定理：任意非退化双线性变换

\[w = \frac{az + b}{cz + d},\quad ad - bc \neq 0 \]

都可以表示为以下三类基本双线性变换的复合（乘积）：

1. 平移变换：\(w = z + \alpha\)（\(\alpha\)为复常数）
2. 旋转+伸缩变换：\(w = \beta z\)（\(\beta\)为非零复常数）
3. 反演（倒数）变换：\(w = \frac{1}{z}\)

---

二、分情况严谨推导

我们分两种情况讨论：\(d=0\)的特殊线性变换，和\(d \neq 0\)的一般双线性变换。

2.1 情况1：\(d=0\)（整线性变换）

当\(d=0\)时，由非退化条件\(ad-bc \neq 0\)，可得\(c \neq 0\)（若\(c=d=0\)，原变换无意义），且\(-bc \neq 0\)。

原变换可化简为：

\[w = \frac{az + b}{c} = \frac{b}{c} \cdot z + \frac{a}{c} \]

我们可以将其分解为两步基本变换的复合：

1. 第一步（旋转+伸缩）：\(Z = \frac{b}{c} \cdot z\)，对应\(\beta = \frac{b}{c} \neq 0\)；
2. 第二步（平移）：\(w = Z + \frac{a}{c}\)，对应\(\alpha = \frac{a}{c}\)。

因此，\(d=0\)时的整线性变换，是旋转伸缩+平移的复合，无需反演变换。

2.2 情况2：\(d \neq 0\)（一般双线性变换）

对于一般形式\(w = \frac{az + b}{cz + d}\ (d \neq 0, ad-bc \neq 0)\)，我们通过变量替换逐步拆解：

步骤1：线性变换简化分母

令中间变量\(t = cz + d\)，这是一个整线性变换，解出\(z\)得：

\[z = \frac{t - d}{c} \]

步骤2：代入原变换化简

将\(z = \frac{t - d}{c}\)代入原变换的分子，通分整理：

\[\begin{align*} w &= \frac{a + b \cdot \frac{t - d}{c}}{t} \\ &= \frac{ac + b(t - d)}{ct} \\ &= \frac{bt + (ac - bd)}{ct} \\ &= \frac{ad - bc}{d} \cdot \frac{1}{t} + \frac{b}{d} \end{align*} \]

步骤3：拆解为基本变换的复合

我们可以将整个过程完整分解为4步基本变换，执行顺序从左到右：

1. 平移+旋转伸缩：\(t = cz + d\)，可进一步拆分为\(Z = c \cdot z\)（旋转伸缩）、\(t = Z + d\)（平移）；
2. 反演变换：\(u = \frac{1}{t}\)；
3. 旋转伸缩变换：\(v = \frac{ad - bc}{d} \cdot u\)，系数\(\beta = \frac{ad - bc}{d} \neq 0\)（非退化条件保证）；
4. 平移变换：\(w = v + \frac{b}{d}\)。

至此，一般双线性变换被完全拆解为三类基本变换的复合，定理得证。

---

三、三类基本变换的几何意义

双线性变换的几何行为，完全由这三类基本变换的几何性质决定，我们逐一解析：

3.1 平移变换：\(w = z + \alpha\)

设\(\alpha = a + ib\)为复常数，几何意义为：
将复平面上的所有点，沿向量\(\alpha\)的方向，平移\(|\alpha|\)的距离。

• 性质：刚性变换，不改变图形的形状、大小、角度，是保距、保角、保圆变换。

3.2 旋转+伸缩变换：\(w = \beta z\ (\beta \neq 0)\)

将\(\beta\)写为极坐标形式\(\beta = r(\cos\theta + i\sin\theta)\)，其中\(r=|\beta|>0\)，\(\theta=\arg\beta\)，几何意义分为两步：

1. 伸缩：将点\(z\)到原点的距离乘以\(r\)，以原点为中心缩放\(r\)倍；
2. 旋转：将点\(z\)绕原点逆时针旋转\(\theta\)角。

• 性质：相似变换，保持图形的形状、角度不变，仅改变大小，是保角、保圆变换。

3.3 反演（倒数）变换：\(w = \frac{1}{z}\)

设\(z = r(\cos\theta + i\sin\theta)\)，则\(\frac{1}{z} = \frac{1}{r}(\cos(-\theta) + i\sin(-\theta))\)，几何意义为两步操作的复合：

1. 关于单位圆的反演：将\(z\)映射为\(\frac{1}{r}(\cos\theta + i\sin\theta)\)，模长取倒数，辐角不变；单位圆内的点映射到圆外，圆外的点映射到圆内，单位圆上的点保持不变；
2. 关于实轴的对称（共轭）：将上一步的结果取共轭，辐角取反，得到最终的\(\frac{1}{z}\)。

• 性质：保圆变换（将圆/直线映射为圆/直线），除原点和无穷远点外，处处保角。

---

四、分解的核心意义

双线性变换的两大核心性质——保圆性和保角性，都可以通过分解得到完美解释：

1. 三类基本变换都具有保圆性（将圆/直线映射为圆/直线），因此它们的复合（双线性变换）也具有保圆性；
2. 三类基本变换在定义域内处处保角，因此双线性变换在扩充复平面上除两个临界点外，处处保角（共形）。

通过分解，我们可以把任意复杂的双线性变换，拆解为平移、旋转、缩放、反演这几个直观的几何操作，从而快速分析变换对图形的影响。

---

核心知识点归纳总结表

变换类型	标准形式	几何意义	核心性质
平移变换	\(w = z + \alpha\)	平面沿向量\(\alpha\)平移$	\alpha
旋转+伸缩变换	\(w = \beta z\ (\beta \neq 0)\)	绕原点旋转\(\arg\beta\)，缩放$	\beta
反演变换	\(w = 1/z\)	单位圆反演+实轴对称	保圆，除原点/无穷远点外保角
一般双线性变换	\(w=(az+b)/(cz+d)\)	平移+旋转伸缩+反演+平移的复合	扩充复平面上的一一映射，保圆、保角（除临界点）

---

三类基本双线性变换的几何意义 详解

本讲我们将拆解双线性变换的三类基本单元的几何本质，结合平行四边形法则、旋转伸缩、反演变换的几何构造，彻底理解每一类变换对复平面的作用，最终解释双线性变换保圆、保角的核心来源。

---

一、平移变换：\(\boldsymbol{w = z + \alpha}\)（\(\alpha\)为复常数）

1.1 几何构造

设复数\(z\)对应复平面上的动点\(P\)，复常数\(\alpha\)对应固定点\(A\)。以\(OA\)、\(OP\)为邻边作平行四边形，平行四边形的第四个顶点\(P'\)，就是\(w=z+\alpha\)对应的点。

从向量视角看，\(\overrightarrow{PP'} = \overrightarrow{OA} = \alpha\)，即：平移变换的本质，是将整个复平面沿向量\(\alpha\)的方向，平移\(|\alpha|\)的距离。

1.2 核心性质

• 刚性变换：平移不改变图形的形状、大小、角度，仅改变图形的位置，是保距、保角、保圆变换；
• 无穷远点映射：当\(z \to \infty\)时，\(w = z+\alpha \to \infty\)，因此平移变换将无穷远点\(\infty\)映射到自身。

---

二、旋转+伸缩变换：\(\boldsymbol{w = \beta z}\)（\(\beta\)为非零复常数）

2.1 几何构造

设复数\(z\)对应点\(P\)，\(\beta\)对应固定点\(B\)，\(w\)对应点\(P'\)，变换满足两个核心几何关系：

1. 角度关系：\(\angle POP' = \angle AOB = \arg\beta\)，即射线\(OP\)绕原点逆时针旋转\(\arg\beta\)的角度，与射线\(OP'\)重合；
2. 模长关系：\(OP' = |\beta| \cdot OP\)，即\(OP\)的长度缩放\(|\beta|\)倍后，得到\(OP'\)的长度。

因此，旋转+伸缩变换的本质，是将复平面上的点绕原点逆时针旋转\(\arg\beta\)，再以原点为中心缩放\(|\beta|\)倍。

2.2 两类特例

1. 纯旋转变换：当\(|\beta|=1\)（\(\beta\)为幺模复数）时，\(OP'=OP\)，无缩放，仅绕原点旋转\(\arg\beta\)。例如\(\beta=i\)，对应逆时针旋转90°；\(\beta=-1\)对应旋转180°。
2. 纯伸缩变换：当\(\arg\beta=0\)（\(\beta\)为正实数）时，无旋转，仅以原点为中心缩放\(|\beta|\)倍。例如\(\beta=2\)对应放大2倍，\(\beta=1/2\)对应缩小为原来的1/2。

2.3 核心性质

• 相似变换：保持图形的形状、角度不变，仅改变图形的大小，是保角、保圆变换；
• 无穷远点映射：当\(z \to \infty\)时，\(w=\beta z \to \infty\)，因此旋转+伸缩变换将无穷远点\(\infty\)映射到自身。

---

三、反演（倒数）变换：\(\boldsymbol{w = \frac{1}{z}}\)

3.1 几何分解

反演变换可以拆解为两步基础几何操作的复合：

\[w = \frac{1}{z} = \overline{\left( \frac{1}{\bar{z}} \right)} \]

即：

1. 第一步：关于实轴的反射（共轭变换）：\(Z = \bar{z}\)，将点\(z\)映射为它关于实轴的对称点，横坐标不变，纵坐标取反；
2. 第二步：关于单位圆的反演：\(w = \frac{1}{\bar{Z}}\)，将点\(Z\)映射为它关于单位圆\(|z|=1\)的反演点。

因此，反演变换的本质，是「实轴对称」与「单位圆反演」的复合。

3.2 单位圆反演的几何意义

对于单位圆\(|z|=1\)，点\(z\)的反演点\(w\)满足两个核心条件：

1. 共线同侧：原点\(O\)、\(z\)、\(w\)三点共线，且\(z\)和\(w\)在原点的同一侧；
2. 模长倒数：\(|z| \cdot |w| = 1\)，即两点到原点的距离互为倒数。

几何效果：

• 单位圆内的点（\(|z|<1\)）被映射到单位圆外（\(|w|>1\)）；
• 单位圆外的点（\(|z|>1\)）被映射到单位圆内（\(|w|<1\)）；
• 单位圆上的点（\(|z|=1\)）映射到自身，是反演变换的不动点。

3.3 核心性质

• 保圆变换：将复平面上的圆/直线映射为圆/直线（直线可看作过无穷远点的圆）；
• 保角性：除原点\(z=0\)和无穷远点\(z=\infty\)外，变换在复平面上处处保角（共形）；
• 无穷远点映射：当\(z \to \infty\)时，\(w=\frac{1}{z} \to 0\)；当\(z=0\)时，\(w \to \infty\)。因此反演变换将\(\infty\)映射到0，0映射到\(\infty\)，不将无穷远点映射到自身。

---

四、核心结论

综合本讲与上一讲的内容，我们得到最终结论：
任意非退化双线性变换，都可以分解为一系列平移、旋转、伸缩、反演的复合。

双线性变换的两大核心性质——保圆性、保角性，正是来源于这四类基本操作的共同性质：

1. 四类操作都具有保圆性，因此它们的复合（双线性变换）也具有保圆性；
2. 四类操作在定义域内处处保角，因此双线性变换在扩充复平面上除两个临界点外，处处保角。

---

五、例题证明

题目：证明无穷远点\(\infty\)被所有平移、伸缩、旋转变换映射到自身，但不被圆的反演变换映射到自身。

证明：

1. 平移变换：对\(w=z+\alpha\)，当\(z \to \infty\)时，\(w = z+\alpha \to \infty\)，因此\(\infty\)的像仍为\(\infty\)，映射到自身。
2. 旋转+伸缩变换：对\(w=\beta z\ (\beta \neq 0)\)，当\(z \to \infty\)时，\(w=\beta z \to \infty\)，因此\(\infty\)的像仍为\(\infty\)，映射到自身。
3. 反演变换：对\(w=\frac{1}{z}\)，当\(z \to \infty\)时，\(w=\frac{1}{z} \to 0\)，因此\(\infty\)被映射到0，而非自身。

综上，命题得证。

---

核心知识点归纳总结表

变换类型	标准形式	几何本质	核心性质	无穷远点映射
平移变换	\(w=z+\alpha\)	复平面沿向量\(\alpha\)平移$	\alpha	$
旋转+伸缩变换	\(w=\beta z\ (\beta \neq 0)\)	绕原点旋转\(\arg\beta\)，缩放$	\beta	$倍
反演变换	\(w=1/z\)	实轴对称 + 单位圆反演	保圆，除0和\(\infty\)外处处保角	\(\infty \mapsto 0\)，不映射到自身

---

双线性变换的反演分解：偶数次反演的复合 知识点详解

本讲的核心定理是：任意非退化双线性变换，都可以表示为偶数个反演（inversion，含直线反射）的复合。
反演的核心性质是：关于直线的反射是反演的特例（直线可看作过无穷远点的圆）；每次反演会反转平面的定向，偶数次反演则保持定向，这与双线性变换的保定向共形性完全一致。

---

一、核心定理与基础概念

1.1 核心定理

定理：任意非退化双线性变换，都可以分解为偶数个反演的复合。
证明思路：双线性变换可分解为平移、旋转、伸缩、倒数变换四类基本变换，而每一类基本变换都可以表示为两次反演的复合，因此整体的双线性变换就是偶数次反演的复合。

1.2 反演的特例：直线的反射

关于直线的反射（reflection）是反演的特殊情况：直线可看作半径无穷大的圆，关于直线的反射，就是关于这个“无穷大圆”的反演。因此后续的“两次反射”，本质就是两次反演。

---

二、三类基本变换的反演分解推导

2.1 平移变换：\(\boldsymbol{w = z + \alpha}\)

几何构造

平移变换可以表示为关于两条平行直线的两次反射，满足两个条件：

1. 两条直线都与向量\(\alpha\)垂直；
2. 两条直线之间的距离为\(\frac{1}{2}|\alpha|\)。

推导与几何意义

平面几何中，关于两条平行直线的两次反射，复合结果为平移：

• 平移的方向：垂直于两条平行直线，与\(\alpha\)同向；
• 平移的距离：等于两条直线间距的2倍。

因此，若要实现平移\(|\alpha|\)，只需取两条间距为\(\frac{1}{2}|\alpha|\)、且垂直于\(\alpha\)的平行直线，两次反射的结果就是平移变换\(w=z+\alpha\)。

结论：平移变换是两次反演（直线反射）的复合。

---

2.2 伸缩变换：\(\boldsymbol{w = |\beta| z}\)（纯放大/缩小）

几何构造

纯伸缩变换可以表示为关于两个以原点为圆心的同心圆的两次反演，设两圆半径为\(a,b\)，满足\(|\beta| = \frac{b^2}{a^2}\)。

严谨推导

1. 关于圆\(|z|=a\)的反演规则：点\(z\)的反演点为\(\frac{a^2}{\bar{z}}\)（满足反演的核心条件：\(|z| \cdot |w|=a^2\)，且与原点共线）；
2. 第一次反演：\(z\)经过圆\(|z|=a\)反演，得到\(z_1 = \frac{a^2}{\bar{z}}\)；
3. 第二次反演：\(z_1\)经过圆\(|z|=b\)反演，得到\(w = \frac{b^2}{\overline{z_1}}\)；
4. 代入化简：\(\overline{z_1} = \frac{a^2}{z}\)，因此\(w = \frac{b^2}{\frac{a^2}{z}} = \frac{b^2}{a^2} z = |\beta| z\)，与伸缩变换完全一致。

结论：纯伸缩变换是两次反演（同心圆反演）的复合。

---

2.3 旋转变换：\(\boldsymbol{w = \gamma z}\)（\(|\gamma|=1\)，纯旋转）

设旋转角为\(\theta = \arg\gamma\)，即变换将平面绕原点逆时针旋转\(\theta\)角。

几何构造

旋转变换可以表示为关于两条过原点的相交直线的两次反射，两条直线的夹角为\(\frac{1}{2}\theta\)。

推导与几何意义

平面几何中，关于两条过同一点的相交直线的两次反射，复合结果为绕该点的旋转：

• 旋转中心：两条直线的交点（原点）；
• 旋转角：等于两条直线夹角的2倍，方向从第一条直线指向第二条直线。

因此，若要实现旋转\(\theta\)，只需取两条过原点、夹角为\(\frac{\theta}{2}\)的直线，两次反射的结果就是旋转变换\(w=\gamma z\)。

结论：旋转变换是两次反演（直线反射）的复合。

---

三、倒数变换的反演分解

倒数变换\(w=\frac{1}{z}\)是双线性变换的核心单元，它可以分解为两次反演的复合：

1. 第一次反演：关于单位圆\(|z|=1\)的反演，\(z \to \frac{1}{\bar{z}}\)；
2. 第二次反演：关于实轴的反射（反演特例），\(\frac{1}{\bar{z}} \to \overline{\left( \frac{1}{\bar{z}} \right)} = \frac{1}{z}\)。

因此，倒数变换也是两次反演的复合，保持平面定向。

---

四、最终结论

双线性变换可分解为平移、旋转、伸缩、倒数变换的复合，而每一类基本变换都是两次反演的复合，因此任意非退化双线性变换，都可以表示为偶数个反演的复合。

同时，双线性变换的保圆性、保角性，本质都来源于反演的保圆性与保角性（反演除反演中心外处处保角）。

---

核心知识点归纳总结表

基本变换	标准形式	反演分解方式	几何构造核心参数
平移变换	\(w=z+\alpha\)	两条平行直线的两次反射	直线垂直于\(\alpha\)，间距为$\frac{1}
伸缩变换	$w=	\beta	z$
旋转变换	$w=\gamma z\ (	\gamma	=1)$
倒数变换	\(w=1/z\)	单位圆反演+实轴反射	两次反演的复合
一般双线性变换	\(w=\frac{az+b}{cz+d}\)	偶数次反演的复合	由基本变换的反演分解组合得到

---

双线性变换的保角性（共形性） 知识点详解与证明

本讲是双线性变换的核心性质之一：保角性（共形性）。我们将先证明反演变换的保角性质，再基于双线性变换的反演分解，推导其保角性，最终完成正交圆族的例题证明。

---

一、核心定理

定理（双线性变换的保角性）：任意非退化双线性变换都是保角（共形）变换。
即：复平面上，过同一点的任意两条曲线的夹角，与它们在双线性变换下的像的夹角，不仅大小相等，且方向（旋转方向）也完全相同。

证明的基础引理

反演变换的保角性质：关于任意圆的反演变换，两条曲线的夹角，与它们反演像的夹角，大小相等，但方向相反。
（直线反射是反演的特例，同样满足该性质）

---

二、反演变换保角性的严谨证明

2.1 设定与基础推导

设反演圆的圆心为\(O\)，半径为\(r\)；曲线\(C_1\)是原曲线，\(C_1'\)是\(C_1\)关于该圆的反演像。

1. 过\(O\)作两条射线，分别交\(C_1\)于\(P,Q\)，交\(C_1'\)于\(P',Q'\)，其中\(P'\)是\(P\)的反演点，\(Q'\)是\(Q\)的反演点。
2. 由反演的定义，反演点满足：\(OP \cdot OP' = OQ \cdot OQ' = r^2\)。
3. 由圆幂定理的逆定理，\(OP \cdot OP' = OQ \cdot OQ'\)说明\(P,P',Q,Q'\)四点共圆。
4. 由共圆的外角性质，得：
   \[\angle Q'P'L = \angle Q'QP \]
   其中\(L\)是射线\(OP\)的延长线。

2.2 极限下的切线夹角

当射线\(OQ\)无限趋近于\(OP\)时：

• 割线\(PQ\)趋近于曲线\(C_1\)在\(P\)点的切线\(T_1\)；
• 割线\(P'Q'\)趋近于曲线\(C_1'\)在\(P'\)点的切线\(T_1'\)。

此时角度关系取极限，得：

\[\angle T_1'P'L = \pi - \angle T_1PL \]

该式的几何意义：原曲线的切线与射线\(OL\)的夹角，与像曲线的切线与\(OL\)的夹角，大小相等，方向相反。

2.3 两条相交曲线的夹角

设两条曲线\(C_1,C_2\)交于点\(P\)，它们的反演像\(C_1',C_2'\)交于点\(P'\)。
对两条曲线分别应用上述结论，可得：
两条曲线在\(P\)点的切线夹角\(\angle T_1PT_2\)，与像曲线在\(P'\)点的切线夹角\(\angle T_1'P'T_2'\)，大小完全相等，旋转方向相反。

至此，反演变换的保角性（保大小、反向）得证。

---

三、双线性变换的保角性证明

我们已经证明核心结论：任意非退化双线性变换，都可以表示为偶数个反演变换的复合。

结合反演的保角性质，分析复合后的角度变化：

1. 每一次反演，保持角度大小不变，将角度的方向反转1次；
2. 偶数次反演后，角度方向反转偶数次，最终与原角度的方向完全一致；
3. 整个过程中，角度的大小始终保持不变。

因此，双线性变换对任意两条曲线的夹角，同时保持大小与方向不变，是保角（共形）变换。

补充：双线性变换仅在两个临界点处失去保角性，在扩充复平面的其余所有点处，均满足保角性。

---

四、例题证明：正交圆族

题目

证明圆族\(\left| \frac{z-\alpha}{z-\beta} \right| = \lambda\)与\(\arg\left( \frac{z-\alpha}{z-\beta} \right) = \mu\)互相正交。

核心思路

利用双线性变换的保角性，将复杂的圆族映射为简单的正交图形，通过保角性反推原图形正交。

完整证明

1. 构造双线性变换：令\(w = \frac{z-\alpha}{z-\beta}\)，这是一个非退化双线性变换，具有保角性。
2. 分析变换后的图形：
   • 原圆族\(\left| \frac{z-\alpha}{z-\beta} \right| = \lambda\)，变换后为\(|w| = \lambda\)，即\(w\)平面上以原点为圆心的同心圆族；
   • 原圆族\(\arg\left( \frac{z-\alpha}{z-\beta} \right) = \mu\)，变换后为\(\arg w = \mu\)，即\(w\)平面上过原点的射线族。
3. 变换后图形的正交性：
   在\(w\)平面上，过圆心的射线与同心圆在交点处必然正交（射线是圆的半径，半径与圆的切线垂直）。
4. 保角性反推原图形正交：
   双线性变换保持角度不变，因此原\(z\)平面上的两个圆族，在交点处的夹角也为90°，即两族圆互相正交。

命题得证。

---

核心知识点归纳总结表

变换类型	保角性质	角度变化	核心结论
反演变换（含直线反射）	保角大小，反向	角度大小不变，旋转方向反转	反演是反向保角变换
双线性变换	保角大小+保方向	角度大小、旋转方向均不变	双线性变换是保角（共形）变换，由偶数次反演复合得到
平移/旋转/伸缩变换	保角大小+保方向	角度完全不变	刚性/相似变换，是特殊的保角变换

补充说明

保角性（共形性）是双线性变换最核心的应用价值之一，它被广泛应用于复变函数的共形映射、流体力学、电磁学、空气动力学等领域，通过双线性变换可以将复杂的几何区域映射为简单区域，同时保持边界的夹角不变，极大简化问题的求解。

---

双线性变换的交比不变性 知识点详解与证明

交比（Cross-Ratio）是射影几何与复分析的核心不变量，也是双线性变换最本质的代数特征——双线性变换的唯一不变量就是交比，所有双线性变换的核心性质都可以通过交比不变性推导，同时交比也是构造特定双线性变换、判定四点共圆/共线的核心工具。

---

一、交比的定义

对于复平面上四个互不相同的点\(z_1,z_2,z_3,z_4\)，按顺序的交比定义为：

\[\boldsymbol{(z_1, z_2, z_3, z_4) = \frac{(z_4 - z_1)(z_2 - z_3)}{(z_2 - z_1)(z_4 - z_3)}} \]

也有等价的常用形式（不同教材的点顺序略有差异，核心是四个点的有序比值）：

\[(z_1, z_2, z_3, z_4) = \frac{z_1 - z_2}{z_2 - z_3} \bigg/ \frac{z_4 - z_1}{z_3 - z_4} \]

关键注意：交比是有序的，四个点的排列顺序改变，交比的值也会改变；四个点的24种排列仅能得到6个不同的交比值。

---

二、核心定理1：双线性变换保持交比不变

定理内容

设非退化双线性变换\(w = \frac{az + b}{cz + d}\ (ad-bc \neq 0)\)，将\(z_1,z_2,z_3,z_4\)分别映射为\(w_1,w_2,w_3,w_4\)，则：

\[\boldsymbol{(w_1, w_2, w_3, w_4) = (z_1, z_2, z_3, z_4)} \]

即：非退化双线性变换保持四个点的交比不变。

完整严谨证明

1. 变换后点的表达式
   对\(i=1,2,3,4\)，变换后的点满足：

   \[w_i = \frac{a + b z_i}{c + d z_i} \]

2. 两点差的核心公式
   对任意两个点\(z_i,z_j\)，计算\(w_i - w_j\)，通分化简：

   \[\begin{align*} w_i - w_j &= \frac{a + b z_i}{c + d z_i} - \frac{a + b z_j}{c + d z_j} \\ &= \frac{(a + b z_i)(c + d z_j) - (a + b z_j)(c + d z_i)}{(c + d z_i)(c + d z_j)} \\ &= \frac{ad(z_j - z_i) + bc(z_i - z_j)}{(c + d z_i)(c + d z_j)} \\ &= \frac{(ad - bc)(z_i - z_j)}{(c + d z_i)(c + d z_j)} \end{align*} \]

   这是证明的核心基础式，所有交叉项均被抵消，仅保留与原两点差相关的项。

3. 代入交比的分子与分母

   • 交比分子项：\((w_2 - w_1)(w_4 - w_3)\)
     代入差公式得：

     \[w_2 - w_1 = \frac{(ad - bc)(z_2 - z_1)}{(c + d z_1)(c + d z_2)},\quad w_4 - w_3 = \frac{(ad - bc)(z_4 - z_3)}{(c + d z_3)(c + d z_4)} \]

     相乘后：

     \[(w_2 - w_1)(w_4 - w_3) = \frac{(ad - bc)^2 \cdot (z_2 - z_1)(z_4 - z_3)}{(c + d z_1)(c + d z_2)(c + d z_3)(c + d z_4)} \]

   • 交比分母项：\((w_4 - w_1)(w_2 - w_3)\)
     同理代入差公式，相乘后：

     \[(w_4 - w_1)(w_2 - w_3) = \frac{(ad - bc)^2 \cdot (z_4 - z_1)(z_2 - z_3)}{(c + d z_1)(c + d z_2)(c + d z_3)(c + d z_4)} \]

4. 比值化简得结论
   分子分母相除，\((ad-bc)^2\)和分母的公共乘积项全部抵消，最终得到：

   \[(w_1,w_2,w_3,w_4) = \frac{(w_2 - w_1)(w_4 - w_3)}{(w_4 - w_1)(w_2 - w_3)} = \frac{(z_2 - z_1)(z_4 - z_3)}{(z_4 - z_1)(z_2 - z_3)} = (z_1,z_2,z_3,z_4) \]

   定理得证。

核心意义

交比不变性是双线性变换的本质特征：扩充复平面上的一一映射是双线性变换，当且仅当它保持所有四点的交比不变。同时，双线性变换的保圆性、保角性，本质上都可以由交比不变性推导而来。

---

三、核心定理2：交比为实数的充要条件

定理内容

四个互不相同的点\(z_1,z_2,z_3,z_4\)的交比\((z_1,z_2,z_3,z_4)\)为实数，当且仅当这四个点共圆或共线（直线可看作过无穷远点的圆）。

完整证明

1. 交比的辐角形式
   由商的辐角等于辐角的差，可得：

   \[\arg(z_1,z_2,z_3,z_4) = \arg\left( \frac{z_1 - z_2}{z_2 - z_3} \right) - \arg\left( \frac{z_4 - z_1}{z_3 - z_4} \right) \]

2. 复数为实数的充要条件
   一个复数为实数，当且仅当它的辐角为\(k\pi\)（\(k\)为整数，即\(0\)或\(\pm\pi\)）。因此：

   \[(z_1,z_2,z_3,z_4) \in \mathbb{R} \iff \arg(z_1,z_2,z_3,z_4) = k\pi,\ k\in\mathbb{Z} \]

3. 几何意义对应
   辐角的差为\(0\)或\(\pm\pi\)，意味着两个辐角要么相等，要么互补：

   • \(\arg\left( \frac{z_1 - z_2}{z_2 - z_3} \right)\)是点\(z_2\)对\(z_1,z_3\)的张角；
   • \(\arg\left( \frac{z_4 - z_1}{z_3 - z_4} \right)\)是点\(z_4\)对\(z_1,z_3\)的张角。

   平面几何中，四点共圆的充要条件正是同弧所对的圆周角相等或互补；而四点共线时，张角均为\(0\)或\(\pi\)，交比也为实数。反之，若交比为实数，则张角相等或互补，四点必然共圆或共线。

   定理得证。

核心应用

这个定理是复平面上判定四点共圆的最简洁工具，无需计算距离或角度，仅需验证交比是否为实数即可，是双线性变换保圆性的直接体现。

---

四、交比的核心应用：构造唯一的双线性变换

交比不变性最直接的应用，是构造唯一的双线性变换，将三个指定的点\(z_1,z_2,z_3\)映射为三个指定的点\(w_1,w_2,w_3\)。

根据交比不变性，对任意动点\(z\)和它的像\(w\)，有：

\[(w, w_1, w_2, w_3) = (z, z_1, z_2, z_3) \]

解这个方程，即可得到唯一的双线性变换\(w=f(z)\)，实现指定的三点映射。

补充结论：扩充复平面上，三个互不相同的点唯一确定一个双线性变换，这正是交比不变性的直接结果。

---

核心知识点归纳总结表

核心模块	核心内容	关键公式/结论
交比的定义	四个有序点的交比	\((z_1,z_2,z_3,z_4) = \frac{(z_4-z_1)(z_2-z_3)}{(z_2-z_1)(z_4-z_3)}\)
交比不变性	双线性变换保持交比不变	若\(w_i\)是\(z_i\)的双线性变换像，则\((w_1,w_2,w_3,w_4)=(z_1,z_2,z_3,z_4)\)
共圆/共线判定	交比为实数的充要条件	\((z_1,z_2,z_3,z_4) \in \mathbb{R} \iff z_1,z_2,z_3,z_4\)共圆或共线
核心应用	构造双线性变换	由\((w,w_1,w_2,w_3)=(z,z_1,z_2,z_3)\)可唯一确定三点映射的双线性变换

---

双线性变换的保圆性 知识点详解与证明

双线性变换的保圆性是其最核心的几何性质之一，它彻底刻画了双线性变换对复平面上基本几何图形的作用，也是共形映射、复几何应用的核心基础。

---

一、核心定理

定理（保圆性）：任意非退化双线性变换，将扩充复平面上的圆或直线，映射为扩充复平面上的圆或直线。

注：在扩充复平面中，直线被视为过无穷远点的圆，因此该定理可以简洁表述为：双线性变换将扩充复平面上的圆映射为扩充复平面上的圆，即“保圆性”。

---

二、第一种证明：交比不变性法（简洁几何证明）

这个证明基于两个前置核心定理，逻辑链清晰，是理解保圆性本质的最佳方式。

证明的前置定理

1. 四点共圆/共线的充要条件：四个互不相同的点共圆或共线，当且仅当它们的交比为实数；
2. 双线性变换的交比不变性：非退化双线性变换保持任意四个点的交比不变。

完整证明

设\(\Gamma\)是扩充复平面上的任意一个圆（含直线，即过无穷远点的圆），在\(\Gamma\)上任取四个互不相同的点\(z_1,z_2,z_3,z_4\)。

1. 由共圆/共线的充要条件，这四个点的交比为实数：\((z_1,z_2,z_3,z_4) \in \mathbb{R}\)；
2. 设双线性变换将\(z_i\)映射为\(w_i\)（\(i=1,2,3,4\)），由交比不变性，\((w_1,w_2,w_3,w_4) = (z_1,z_2,z_3,z_4)\)，因此像的交比也为实数；
3. 再由共圆/共线的充要条件，\(w_1,w_2,w_3,w_4\)也共圆或共线，即\(\Gamma\)的像也是扩充复平面上的圆（含直线）。

定理得证。

---

三、第二种证明：代数方程法（严谨推导证明）

这个证明通过直接代入双线性变换到圆/直线的统一方程，验证变换后的方程仍然是圆/直线的统一形式，是最严谨的代数证明。

步骤1：圆与直线的统一方程

扩充复平面上，任意圆或直线的统一复数方程为：

\[\boldsymbol{p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0} \tag{1} \]

其中：

• \(p,r\)为实数；
• \(\alpha\)为复常数；
• 满足非退化条件\(\alpha\bar{\alpha} \geq pr\)（保证方程对应实的圆或直线）。
  • 当\(p \neq 0\)时，方程对应普通的圆（不经过无穷远点）；
  • 当\(p = 0\)时，方程退化为直线的一般式\(\bar{\alpha} z + \alpha \bar{z} + r = 0\)（过无穷远点的圆）。

步骤2：代入双线性变换的逆变换

设非退化双线性变换为：

\[w = \frac{a + bz}{c + dz}\ (ad - bc \neq 0) \]

其逆变换为：

\[z = \frac{-a + cw}{b - dw} \]

我们将\(z\)和它的共轭\(\bar{z} = \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}}\)代入原方程(1)。

步骤3：代入化简

将\(z\)和\(\bar{z}\)代入方程(1)，得：

\[p \cdot \frac{-a + cw}{b - dw} \cdot \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}} + \bar{\alpha} \cdot \frac{-a + cw}{b - dw} + \alpha \cdot \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}} + r = 0 \]

两边同乘公分母\((b - dw)(\bar{b} - \bar{d}\bar{w})\)消去分母，展开整理后，得到关于\(w\)和\(\bar{w}\)的方程：

\[\boldsymbol{q w\bar{w} + \bar{\beta} w + \beta \bar{w} + s = 0} \tag{2} \]

其中系数为：

• \(q = p c\bar{c} - (\alpha \bar{c}d + \bar{\alpha} c\bar{d}) + r d\bar{d}\)
• \(\beta = -p a\bar{c} + \alpha b\bar{c} + \bar{\alpha} a\bar{d} - r b\bar{d}\)
• \(s = p a\bar{a} - (\alpha \bar{a}b + \bar{\alpha} a\bar{b}) + r b\bar{b}\)

步骤4：验证方程的圆/直线属性

我们需要验证方程(2)满足圆/直线统一方程的条件：

1. 系数的实数性：

   • \(q\)：\(c\bar{c}=|c|^2\)、\(d\bar{d}=|d|^2\)都是实数，\(\alpha \bar{c}d + \bar{\alpha} c\bar{d}\)是复数与其共轭的和，也为实数，结合\(p,r\)为实数，因此\(q\)是实数；
   • \(s\)：同理，\(a\bar{a}=|a|^2\)、\(b\bar{b}=|b|^2\)为实数，\(\alpha \bar{a}b + \bar{\alpha} a\bar{b}\)为实数，因此\(s\)是实数；
   • \(\bar{\beta}\)是\(\beta\)的共轭，完全符合统一方程的形式。

2. 非退化条件验证：
   计算\(\beta\bar{\beta} - qs\)，展开化简后可得：

   \[\beta\bar{\beta} - qs = (\alpha\bar{\alpha} - pr) \cdot |bc - ad|^2 \]

   由原方程的非退化条件\(\alpha\bar{\alpha} - pr \geq 0\)，且双线性变换非退化\(|bc - ad|^2 > 0\)，因此\(\beta\bar{\beta} - qs \geq 0\)，满足圆/直线方程的非退化条件。

因此，变换后的方程(2)仍然是扩充复平面上圆或直线的统一方程，原图形的像仍然是圆或直线，定理得证。

---

四、保圆性的关键细节：直线与圆的映射规律

保圆性的核心是“圆映射为圆”，我们可以通过变换的极点，精准判断原图形的像为直线还是普通圆：
双线性变换的极点是\(z = -\frac{d}{c}\)，这个点会被映射到无穷远点\(w=\infty\)。

1. 原图形经过极点：若原圆/直线经过\(z=-d/c\)，则它的像会经过无穷远点，因此像为直线（过无穷远点的圆）；
2. 原图形不经过极点：若原圆/直线不经过\(z=-d/c\)，则它的像不会经过无穷远点，因此像为普通的圆。

典型例子：反演变换\(w=1/z\)的极点是\(z=0\)，因此过原点的直线/圆会被映射为直线，不过原点的直线/圆会被映射为普通的圆。

---

核心知识点归纳总结表

核心模块	核心内容	关键结论
保圆性定理	双线性变换对圆/直线的映射	非退化双线性变换将扩充复平面上的圆/直线，映射为圆/直线
几何证明	交比不变性法	共圆/共线\(\iff\)交比为实数，双线性变换保持交比不变，因此保持共圆/共线性
代数证明	统一方程代入法	圆/直线的统一方程经双线性变换后，仍为圆/直线的统一方程，形式与非退化条件均保持
映射规律	直线与圆的转化	原图形经过变换极点\(z=-d/c\) \(\implies\) 像为直线；否则像为普通圆
本质意义	扩充复平面的几何不变性	双线性变换是扩充复平面上的圆保持变换，是复平面共形映射的核心基础

---

双线性变换的反演点对保持性 知识点详解与证明

本讲是双线性变换保圆性的延伸与深化，核心定理揭示了双线性变换不仅保持圆/直线的几何结构，还保持关于圆的反演点对（对称点对），这是双线性变换最核心的对称不变性，也是反演几何、共形映射的核心基础。

---

一、核心定理

定理：若点\(A,B\)是关于圆\(\Gamma\)的反演点（对称点），非退化双线性变换将\(A,B,\Gamma\)分别映射为\(A',B',\Gamma'\)，则\(A',B'\)是关于像圆\(\Gamma'\)的反演点。

简单来说：非退化双线性变换保持关于圆的反演点对。

---

二、前置知识回顾：反演点的充要条件

1. 圆与直线的统一方程

扩充复平面上，任意圆或直线的统一复数方程为：

\[\boldsymbol{p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0} \tag{1} \]

其中：

• \(p,r\)为实数，\(\alpha\)为复常数；
• 非退化条件\(\alpha\bar{\alpha} \geq pr\)，保证方程对应实的圆或直线。

2. 反演点的代数充要条件

两个点\(z_1,z_2\)是关于圆/直线(1)的反演点，当且仅当：

\[\boldsymbol{p z_1 \bar{z_2} + \bar{\alpha} z_2 + \alpha \bar{z_1} + r = 0} \tag{2} \]

这个条件的本质是：将原圆方程中的\(z\)替换为\(z_1\)，\(\bar{z}\)替换为\(\bar{z_2}\)，就得到了反演点的判定条件。

特例：当\(p=0\)时，方程退化为直线，反演点就是直线的反射点（对称点），因此直线的反射是反演的特殊情况。

---

三、定理的完整严谨证明

步骤1：设定变换与映射关系

设非退化双线性变换为：

\[w = \frac{a + bz}{c + dz},\quad ad - bc \neq 0 \tag{3} \]

其逆变换为（解出\(z\)关于\(w\)的表达式）：

\[z = \frac{-a + cw}{b - dw} \tag{4} \]

其共轭形式为：

\[\bar{z} = \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}} \]

设：

• 原圆\(\Gamma\)的方程为(1)，经双线性变换后的像为\(\Gamma'\)；
• \(z_1,z_2\)是\(\Gamma\)的反演点，满足条件(2)；
• \(z_1,z_2\)经变换后的像为\(w_1,w_2\)，即\(z_1 = \frac{-a + cw_1}{b - dw_1}\)，\(z_2 = \frac{-a + cw_2}{b - dw_2}\)。

步骤2：求原圆的像\(\Gamma'\)的方程

将逆变换(4)及其共轭代入原圆方程(1)，得到像\(\Gamma'\)的方程：

\[p \cdot \frac{-a + cw}{b - dw} \cdot \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}} + \bar{\alpha} \cdot \frac{-a + cw}{b - dw} + \alpha \cdot \frac{-\bar{a} + \bar{c}\bar{w}}{\bar{b} - \bar{d}\bar{w}} + r = 0 \tag{5} \]

这个方程是关于\(w\)和\(\bar{w}\)的圆/直线统一方程，对应像\(\Gamma'\)，这也正是保圆性的代数证明。

步骤3：验证像点满足反演点条件

将\(z_1,z_2\)的逆变换表达式，代入原反演点条件(2)，得到：

\[p \cdot \frac{-a + cw_1}{b - dw_1} \cdot \frac{-\bar{a} + \bar{c}\bar{w_2}}{\bar{b} - \bar{d}\bar{w_2}} + \bar{\alpha} \cdot \frac{-a + cw_2}{b - dw_2} + \alpha \cdot \frac{-\bar{a} + \bar{c}\bar{w_1}}{\bar{b} - \bar{d}\bar{w_1}} + r = 0 \tag{6} \]

对比方程(5)和(6)可以发现：
方程(6)正是将像圆\(\Gamma'\)的方程(5)中的\(w\)替换为\(w_1\)、\(\bar{w}\)替换为\(\bar{w_2}\)得到的结果，这恰好是\(w_1,w_2\)关于像圆\(\Gamma'\)的反演点充要条件。

因此，\(w_1,w_2\)是关于\(\Gamma'\)的反演点，定理得证。

---

四、定理的核心意义与推论

1. 对称关系的保持

直线的反射点（对称点）是反演点的特例（直线为过无穷远点的圆），因此双线性变换也保持关于直线的反射对称关系。

2. 正交圆的保持性

圆的反演点与正交圆有核心联系：若\(z_1,z_2\)是圆\(\Gamma\)的反演点，则所有过\(z_1,z_2\)的圆都与\(\Gamma\)正交。结合本定理，双线性变换保持反演点对，因此也保持圆之间的正交性，这是流体力学、电磁学中正交网格映射的核心基础。

3. 双线性变换的构造工具

利用反演点保持性，可以快速构造满足特定对称条件的双线性变换，例如将单位圆映射为单位圆的变换，核心就是保持关于单位圆的反演点对。

---

核心知识点归纳总结表

核心模块	核心内容	关键公式/结论
核心定理	反演点对保持性	双线性变换将关于圆\(\Gamma\)的反演点对，映射为关于像圆\(\Gamma'\)的反演点对
前置条件	反演点充要条件	\(z_1,z_2\)关于\(p z\bar{z} + \bar{\alpha} z + \alpha \bar{z} + r = 0\)反演\(\iff p z_1\bar{z_2} + \bar{\alpha}z_2 + \alpha\bar{z_1} + r = 0\)
证明逻辑	代数代入验证	逆变换代入原圆方程得到像圆方程，反演点条件代入后恰好是像圆的反演点条件
核心推论	对称与正交保持	1. 保持直线的反射对称关系；2. 保持圆之间的正交性
应用价值	变换构造	是构造特定共形映射、分析圆族对称结构的核心工具

---

双线性变换的不动点（Fixed Points）知识点详解

不动点是双线性变换分类与标准化的核心依据，它刻画了变换在扩充复平面上的“不动位置”，所有非恒等的双线性变换，都可以通过不动点的特征进行分类，是复分析中研究双线性变换几何行为的核心工具。

---

一、不动点的定义

对于非退化双线性变换

\[w = f(z) = \frac{a + bz}{c + dz},\quad ad - bc \neq 0 \]

若点\(z\)满足变换后映射到自身，即\(f(z) = z\)，则称\(z\)为该双线性变换的不动点（Fixed Point）。

注：我们在扩充复平面上讨论不动点，包含无穷远点\(\infty\)。

---

二、不动点方程的推导

令\(w = z\)，代入变换表达式，推导不动点满足的方程：

\[z = \frac{a + bz}{c + dz} \]

两边同乘分母\(c + dz\)，移项整理得：

\[dz^2 + (c - b)z - a = 0 \tag{1} \]

这是关于\(z\)的一元二次方程，因此非恒等的双线性变换，在扩充复平面上最多有2个不动点。

平凡特例：恒等变换

当且仅当\(d=0,\ c-b=0,\ a=0\)时，方程(1)对所有复数\(z\)成立，此时变换为恒等变换\(w=z\)，扩充复平面上的所有点都是不动点。
这是无研究价值的平凡情况，后续我们均讨论非恒等的双线性变换。

---

三、不动点的分类讨论

我们分\(d \neq 0\)（一般分式线性变换）和\(d = 0\)（整线性变换）两种情况，完整讨论不动点的所有可能。

情况1：\(d \neq 0\)（一般分式线性变换）

此时不动点方程(1)是标准的一元二次方程，其判别式为：

\[\Delta = (b - c)^2 + 4ad \]

根据判别式是否为0，分为两种子情况：

子情况I：\(\Delta \neq 0\)（两个不同的有限不动点）

判别式非零，方程(1)有两个互不相等的根：

\[z_{1,2} = \frac{(b - c) \pm \sqrt{(b - c)^2 + 4ad}}{2d} \]

两个不动点均为有限复数，无无穷远点不动点。

子情况II：\(\Delta = 0\)（一个有限二重不动点）

判别式为0，方程(1)有一个二重根（重根）：

\[z_0 = \frac{b - c}{2d} \]

仅存在一个有限不动点，是变换的二重不动点，这类变换也称为抛物型双线性变换。

---

情况2：\(d = 0\)（整线性变换）

当\(d=0\)时，由非退化条件\(ad - bc \neq 0\)，得\(-bc \neq 0\)，因此\(b \neq 0\)且\(c \neq 0\)，变换退化为整线性变换：

\[w = \frac{a}{c} + \frac{b}{c} z \]

整线性变换的核心特征：无穷远点\(\infty\)一定是不动点（当\(z \to \infty\)时，\(w \to \infty\)），因此我们只需讨论有限不动点的存在性。

令\(z = \frac{a}{c} + \frac{b}{c} z\)，移项整理得有限不动点方程：

\[(c - b)z = a \]

子情况III：\(c - b \neq 0\)（一个无穷不动点 + 一个有限不动点）

此时方程有唯一有限解：

\[z_0 = \frac{a}{c - b} \]

加上无穷远点\(\infty\)，变换共有两个不动点：\(\infty\)和\(z_0\)。

子情况IV：\(c - b = 0\)（仅无穷远点一个不动点）

此时\(c = b\)，方程变为\(0 \cdot z = a\)，由于我们排除了恒等变换，因此\(a \neq 0\)，方程无有限解。
变换仅存在唯一的不动点\(\infty\)，这类变换是平移变换\(w = z + \frac{a}{c}\)，属于抛物型双线性变换。

---

四、不动点的完整分类总结表

我们将非恒等双线性变换\(w=\frac{a+bz}{c+dz}\ (ad-bc\neq0)\)的不动点情况，总结为下表：

分类	条件	不动点情况	变换类型
I	\(d \neq 0\)，\((b-c)^2 + 4ad \neq 0\)	两个不同的有限不动点	双曲型/椭圆型/斜驶型（双不动点变换）
II	\(d \neq 0\)，\((b-c)^2 + 4ad = 0\)	一个有限二重不动点	抛物型变换（单不动点）
III	\(d = 0\)，\(c - b \neq 0\)	两个不动点：\(\infty\) + 有限点\(a/(c-b)\)	双不动点整线性变换
IV	\(d = 0\)，\(c - b = 0\)，\(a \neq 0\)	唯一不动点：\(\infty\)	平移变换（抛物型整线性变换）

---

五、核心结论与拓展

1. 扩充复平面的核心结论
   所有非恒等的非退化双线性变换，在扩充复平面上，要么有2个不同的不动点，要么有1个二重不动点，不存在其他情况。

2. 不动点的应用：双线性变换的标准化
   不动点是双线性变换标准化的核心工具：

   • 对于双不动点变换，可通过共轭变换，将两个不动点映射到0和\(\infty\)，将变换标准化为\(w = kz\)（\(k\)为复常数）；
   • 对于单不动点（抛物型）变换，可通过共轭变换将不动点映射到\(\infty\)，将变换标准化为\(w = z + 1\)。

3. 几何意义
   不动点是变换在复平面上的“锚点”，变换的所有几何行为（旋转、缩放、平移、反演）都围绕不动点展开，是分析变换对图形作用的核心参考。

---

双线性变换的标准形式（范式）知识点详解

双线性变换的标准形式是基于不动点分类的最简表达形式，它将任意双线性变换转化为平移、旋转、缩放的基础形式，是分析变换几何行为的核心工具。我们根据不动点的数量与类型，分四大类完整讲解。

---

一、两个有限不动点的标准形式

核心定理

若双线性变换有两个不同的有限不动点\(\alpha, \beta\)，则它一定可以表示为如下标准形式：

\[\boldsymbol{\frac{w - \alpha}{w - \beta} = k \cdot \frac{z - \alpha}{z - \beta}} \]

其中\(k\)为非零复常数，称为变换的乘子（Multiplier）。

完整推导

双线性变换的核心性质是交比不变性。
已知\(\alpha, \beta\)是不动点，即\(f(\alpha)=\alpha, f(\beta)=\beta\)；取任意点\(z\)的像为\(w\)，参考点\(\gamma\)的像为\(\delta\)。根据交比不变性：

\[(\alpha, \gamma, \beta, z) = (\alpha, \delta, \beta, w) \]

代入交比定义\((z_1,z_2,z_3,z_4)=\frac{(z_2-z_1)(z_4-z_3)}{(z_2-z_3)(z_4-z_1)}\)，展开得：

\[\frac{(\gamma - \alpha)(z - \beta)}{(z - \alpha)(\gamma - \beta)} = \frac{(\delta - \alpha)(w - \beta)}{(w - \alpha)(\delta - \beta)} \]

将含\(\gamma,\delta\)的常数项合并为\(k = \frac{(\delta - \alpha)(\gamma - \beta)}{(\gamma - \alpha)(\delta - \beta)}\)，整理后即得到标准形式。

基于乘子的变换分类

我们可以通过乘子\(k\)的性质，将双不动点变换分为三类，对应不同的几何行为。
首先定义两组正交的圆族：

• 共点圆族S：\(\arg\left( \frac{z - \alpha}{z - \beta} \right) = \lambda\)（\(\lambda\)为实常数），是过\(\alpha,\beta\)的所有圆；
• 阿波罗尼斯圆族T：\(\left| \frac{z - \alpha}{z - \beta} \right| = \mu\)（\(\mu\)为正实常数），是以\(\alpha,\beta\)为反演点的所有圆，与圆族S处处正交。

对标准形式分别取辐角和模，得到变换对两个圆族的作用：

\[\arg\left( \frac{w - \alpha}{w - \beta} \right) = \arg k + \arg\left( \frac{z - \alpha}{z - \beta} \right) \]

\[\left| \frac{w - \alpha}{w - \beta} \right| = |k| \cdot \left| \frac{z - \alpha}{z - \beta} \right| \]

变换类型	乘子条件	几何行为	核心性质
双曲型（Hyperbolic）	\(k\)为正实数（\(k>0,k≠1\)）	\(\arg k=0\)，圆族S的每个圆映射到自身；模被缩放\(k\)倍，圆族T的圆映射为同族的其他圆	沿不动点连线的拉伸/压缩，保持过不动点的圆不变
椭圆型（Elliptic）	\(k\)为幺模复数（$	k	=1,k≠1$）
斜驶型（Loxodromic）	\(k\)既非正实数也非幺模复数	同时改变辐角和模，是椭圆型与双曲型的复合	既旋转又缩放，轨迹为斜驶线，是最一般的双不动点变换

---

二、单个有限不动点（抛物型）的标准形式

核心定理

若双线性变换有唯一的有限二重不动点\(\alpha\)（抛物型变换），则它一定可以表示为如下标准形式：

\[\boldsymbol{\frac{1}{w - \alpha} = \frac{1}{z - \alpha} + k} \]

其中\(k\)为非零复常数。

完整推导

\(\alpha\)是不动点方程\(dz^2 + (c - b)z - a = 0\)的二重根，因此方程可写为：

\[dz^2 + (c - b)z - a = d(z - \alpha)^2 \]

展开右边并比较系数，得到：

1. 一次项：\(c - b = -2d\alpha \implies b = c + 2d\alpha\)
2. 常数项：\(-a = d\alpha^2 \implies a = -d\alpha^2\)

将\(a,b\)代入原变换\(w=\frac{a+bz}{c+dz}\)，计算\(w-\alpha\)并化简：

\[\begin{align*} w - \alpha &= \frac{-d\alpha^2 + (c + 2d\alpha)z - \alpha(c + dz)}{c + dz} \\ &= \frac{(c + d\alpha)(z - \alpha)}{c + dz} \end{align*} \]

两边取倒数，拆分分子后整理：

\[\begin{align*} \frac{1}{w - \alpha} &= \frac{c + dz}{(c + d\alpha)(z - \alpha)} \\ &= \frac{1}{z - \alpha} + \frac{d}{c + d\alpha} \end{align*} \]

令\(k = \frac{d}{c + d\alpha}\)，即得到抛物型变换的标准形式。

几何意义

只有一个不动点的双线性变换称为抛物型变换，它将以\(\alpha\)为切点的相切圆族映射为自身，几何上等价于复平面上的“切向平移”，是双线性变换的极限情况。

---

三、一个不动点为\(\infty\)、一个为有限点的标准形式

核心定理

若双线性变换的不动点为\(\infty\)和有限点\(\alpha\)，则它一定可以表示为如下标准形式：

\[\boldsymbol{w - \alpha = k(z - \alpha)} \]

其中\(k\)为非零复常数。

推导与几何意义

不动点包含\(\infty\)，说明变换是整线性变换（\(d=0\)），形式为\(w = \frac{a}{c} + \frac{b}{c}z\)。
由\(\alpha\)是不动点，得\(\alpha = \frac{a}{c} + \frac{b}{c}\alpha\)，两式相减即得到标准形式。

几何意义：该变换是绕点\(\alpha\)的旋转+缩放，\(|k|\)是缩放比例，\(\arg k\)是旋转角度。

---

四、唯一不动点为\(\infty\)的标准形式

核心定理

若双线性变换的唯一不动点为\(\infty\)，则它是平移变换，标准形式为：

\[\boldsymbol{w = z + \alpha} \]

其中\(\alpha\)为非零复常数。

推导与几何意义

唯一不动点为\(\infty\)，说明变换是整线性变换（\(d=0\)），且无有限不动点。整线性变换的有限不动点方程为\((c - b)z = a\)，无有限解的条件是\(c - b = 0\)且\(a≠0\)，因此变换退化为\(w = z + \frac{a}{c}\)，令\(\alpha = \frac{a}{c}\)即得标准形式。

几何意义：整个复平面沿向量\(\alpha\)的方向平移\(|\alpha|\)的距离，是刚性保距变换，保持所有图形的形状、大小、角度完全不变。

---

核心总结表

不动点情况	标准形式	变换类型	核心几何行为
两个不同有限不动点\(\alpha,\beta\)	\(\frac{w - \alpha}{w - \beta} = k \cdot \frac{z - \alpha}{z - \beta}\)	双曲/椭圆/斜驶型	旋转+缩放，保持正交圆族结构
单个有限二重不动点\(\alpha\)	\(\frac{1}{w - \alpha} = \frac{1}{z - \alpha} + k\)	抛物型	切向平移，保持相切圆族
不动点\(\infty\)+有限点\(\alpha\)	\(w - \alpha = k(z - \alpha)\)	整线性变换	绕\(\alpha\)的旋转+缩放
唯一不动点\(\infty\)	\(w = z + \alpha\)	平移变换	全平面刚性平移

核心价值

双线性变换的标准形式，将任意复杂的分式线性变换，拆解为平移、旋转、缩放的基础操作，让我们可以直观分析变换对复平面图形的作用，是共形映射、流体力学、电磁学等领域的核心分析工具。

---

双线性变换不动点与标准形式 例题详解

本组例题是双线性变换核心知识点的综合应用，覆盖了不动点求解、标准形式推导、变换类型分类三大核心考点，完整覆盖抛物型、双曲型、斜驶型三类变换的判定方法。

---

例题1

题目

求一个不动点为有限点\(\alpha\)，另一个不动点为\(\infty\)的双线性变换的形式。

解答

1. 变换形式初步确定
   不动点包含\(\infty\)，说明变换是整线性变换（分母无\(z\)项，即\(c=0\)），非退化条件\(ad-bc\neq0\)要求\(a-d\neq0\)，因此变换可写为：

   \[w = \frac{a}{d}z + \frac{b}{d} \]

2. 代入有限不动点条件
   \(\alpha\)是不动点，即\(z=\alpha\)时\(w=\alpha\)，代入得：

   \[\alpha = \frac{a}{d}\alpha + \frac{b}{d} \]

3. 整理为标准形式
   将变换式与不动点条件相减，消去常数项：

   \[w - \alpha = \frac{a}{d}(z - \alpha) \]

   令\(\lambda = \frac{a}{d}\)（非零复常数），最终得到变换的标准形式：

   \[\boldsymbol{w - \alpha = \lambda(z - \alpha)} \]

---

例题2

题目

求下列双线性变换的不动点、标准形式，并判断变换是双曲型、椭圆型、抛物型还是斜驶型：
(i) \(\displaystyle w = \frac{3z - 4}{z - 1}\)
(ii) \(\displaystyle w = \frac{3iz + 1}{z + i}\)
(iii) \(\displaystyle w = \frac{(2+i)z - 2}{z + i}\)
(iv) \(\displaystyle w = \frac{z}{2 - z}\)

---

(i) \(\boldsymbol{w = \frac{3z - 4}{z - 1}}\)

步骤1：求不动点

令\(w=z\)，代入变换式得不动点方程：

\[z = \frac{3z - 4}{z - 1} \]

两边乘分母展开整理：

\[z(z-1) = 3z - 4 \implies z^2 -4z +4 =0 \implies (z-2)^2=0 \]

方程有唯一二重根\(z=2\)，即唯一有限不动点\(z=2\)。

步骤2：推导标准形式

将原变换交叉相乘整理：

\[wz - w = 3z -4 \implies wz -w -3z +4 =0 \]

对式子进行配方，凑出\((w-2)(z-2)\)：

\[(w-2)(z-2) + (w-2) - (z-2) = 0 \]

两边除以\((w-2)(z-2)\)，化简得抛物型变换的标准形式：

\[\boldsymbol{\frac{1}{w - 2} = \frac{1}{z - 2} + 1} \]

步骤3：变换类型判定

仅有一个二重不动点，因此该变换为抛物型变换。

---

(ii) \(\boldsymbol{w = \frac{3iz + 1}{z + i}}\)

步骤1：求不动点

令\(w=z\)，代入得不动点方程：

\[z = \frac{3iz + 1}{z + i} \]

展开整理：

\[z(z+i) = 3iz +1 \implies z^2 -2iz -1=0 \implies (z-i)^2=0 \]

方程有唯一二重根\(z=i\)，即唯一有限不动点\(z=i\)。

步骤2：推导标准形式

将原变换交叉相乘整理：

\[wz + iw = 3iz +1 \implies wz +iw -3iz -1=0 \]

配方凑出\((w-i)(z-i)\)：

\[(w-i)(z-i) + 2i(w-i) - 2i(z-i) =0 \]

两边除以\((w-i)(z-i)\)，化简得标准形式：

\[\boldsymbol{\frac{1}{w - i} = \frac{1}{z - i} - \frac{i}{2}} \]

步骤3：变换类型判定

仅有一个二重不动点，因此该变换为抛物型变换。

---

(iii) \(\boldsymbol{w = \frac{(2+i)z - 2}{z + i}}\)

步骤1：求不动点

令\(w=z\)，代入得不动点方程：

\[z = \frac{(2+i)z - 2}{z + i} \]

展开整理：

\[z(z+i) = (2+i)z -2 \implies z^2 -2z +2=0 \]

解得两个不同的有限不动点：

\[z = \frac{2\pm\sqrt{4-8}}{2} = 1+i,\ 1-i \]

步骤2：推导标准形式

双不动点变换的标准形式为：

\[\frac{w - (1+i)}{w - (1-i)} = \lambda \cdot \frac{z - (1+i)}{z - (1-i)} \]

分别计算\(w-(1+i)\)和\(w-(1-i)\)：

• \(w-(1+i) = \frac{(2+i)z-2}{z+i} - (1+i) = \frac{z-(1+i)}{z+i}\)
• \(w-(1-i) = \frac{(2+i)z-2}{z+i} - (1-i) = \frac{(1+2i)\left[z-(1-i)\right]}{z+i}\)

两式相除，消去公共项，得到标准形式：

\[\boldsymbol{\frac{w - (1+i)}{w - (1-i)} = \frac{1-2i}{5} \cdot \frac{z - (1+i)}{z - (1-i)}} \]

其中乘子\(\lambda = \frac{1+2i}{5}\)。

步骤3：变换类型判定

乘子\(\lambda\)既不是正实数，也不是幺模复数（\(|\lambda|=\frac{\sqrt{5}}{5}\neq1\)），因此该变换为斜驶型（Loxodromic）变换。

---

(iv) \(\boldsymbol{w = \frac{z}{2 - z}}\)

步骤1：求不动点

令\(w=z\)，代入得不动点方程：

\[z = \frac{z}{2 - z} \]

展开整理：

\[z(2-z)=z \implies z - z^2=0 \implies z(1-z)=0 \]

解得两个不同的不动点：\(z=0\)和\(z=1\)。

步骤2：推导标准形式

双不动点变换的标准形式为：

\[\frac{w}{w - 1} = \lambda \cdot \frac{z}{z - 1} \]

计算\(w\)和\(w-1\)：

• \(w = \frac{z}{2-z}\)
• \(w-1 = \frac{z}{2-z} -1 = \frac{2(z-1)}{2-z}\)

两式相除，消去公共项，得到标准形式：

\[\boldsymbol{\frac{w}{w - 1} = \frac{1}{2} \cdot \frac{z}{z - 1}} \]

其中乘子\(\lambda = \frac{1}{2}\)。

步骤3：变换类型判定

乘子\(\lambda\)是正实数，因此该变换为双曲型（Hyperbolic）变换。

---

核心结论总结表

题号	不动点	标准形式	变换类型
(i)	唯一二重不动点\(z=2\)	\(\frac{1}{w-2} = \frac{1}{z-2} +1\)	抛物型
(ii)	唯一二重不动点\(z=i\)	\(\frac{1}{w-i} = \frac{1}{z-i} - \frac{i}{2}\)	抛物型
(iii)	两个不动点\(1+i,1-i\)	\(\frac{w-(1+i)}{w-(1-i)} = \frac{1-2i}{5} \cdot \frac{z-(1+i)}{z-(1-i)}\)	斜驶型
(iv)	两个不动点\(0,1\)	\(\frac{w}{w-1} = \frac{1}{2} \cdot \frac{z}{z-1}\)	双曲型

---

双线性变换的构造与唯一性：给定条件下的确定方法

本讲的核心是双线性变换的自由度与唯一确定性：非退化双线性变换由3个独立条件唯一确定，最核心的构造方法是三点映射法，核心工具是双线性变换的交比不变性，同时延伸出圆与圆、圆与直线之间的映射构造方法。

---

一、双线性变换的自由度

非退化双线性变换的标准形式为：

\[w = \frac{a + bz}{c + dz},\quad ad - bc \neq 0 \]

其中\(a,b,c,d\)为复常数，但变换具有齐次性：分子分母同乘任意非零复常数\(k\)，变换的形式与效果完全不变。因此，变换的独立参数为3个复比值\(a:b:c:d\)，即仅需要3个独立的复条件，就可以唯一确定一个双线性变换。

最典型、最常用的独立条件，就是指定三个互不相同的点的映射关系：将\(z_1,z_2,z_3\)分别映射为\(w_1,w_2,w_3\)。

---

二、核心定理：三点确定唯一的双线性变换

定理内容

扩充复平面上，存在唯一的非退化双线性变换，将三个互不相同的点\(z_1,z_2,z_3\)，分别映射为三个互不相同的点\(w_1,w_2,w_3\)。

完整推导与构造

双线性变换的核心性质是交比不变性：任意四个点的交比，在双线性变换下保持不变。

对任意动点\(z\)和它的像\(w\)，由交比不变性得：

\[\boldsymbol{(z_1, z_2, z_3, z) = (w_1, w_2, w_3, w)} \tag{1} \]

代入交比的定义\((z_1,z_2,z_3,z) = \frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)}\)，展开得构造公式：

\[\boldsymbol{\frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)} = \frac{(w_2 - w_1)(w - w_3)}{(w - w_1)(w_2 - w_3)}} \tag{2} \]

唯一性与正确性验证

1. 正确性：将\(z=z_1\)代入(2)，左边分母为0，因此右边分母也必须为0，得\(w=w_1\)；同理，\(z=z_2\)对应\(w=w_2\)，\(z=z_3\)对应\(w=w_3\)，完全满足指定的三点映射要求。
2. 双线性形式：将(2)交叉相乘、整理后，可化为\(w = \frac{A + Bz}{C + Dz}\)的标准双线性形式，且非退化条件\(AD-BC\neq0\)由点的互异性保证。
3. 唯一性：任何满足三点映射的双线性变换，都必须保持交比不变，因此必然满足等式(2)，不存在其他形式的变换，唯一性得证。

补充：若映射点包含无穷远点\(\infty\)，只需将交比中对应\(\infty\)的项消去即可。例如\(z_3=\infty\)，则交比简化为\((z_1,z_2,\infty,z) = \frac{z_2 - z_1}{z - z_1}\)，代入构造公式即可。

---

三、核心推论：圆与直线的映射构造

基于三点映射法与双线性变换的保圆性，我们可以构造出圆与圆、圆与直线之间的双线性映射。

推论1：存在双线性变换，将一个给定的圆映射为另一个给定的圆

证明与构造方法

1. 圆的确定性：平面上三个不共线的点唯一确定一个圆。
2. 构造步骤：
   • 在原圆\(\Gamma_1\)上任取三个互不相同的点\(z_1,z_2,z_3\)；
   • 在目标圆\(\Gamma_2\)上任取三个互不相同的点\(w_1,w_2,w_3\)；
   • 用三点映射公式(2)，构造将\(z_1,z_2,z_3\)映射为\(w_1,w_2,w_3\)的双线性变换。
3. 保圆性验证：双线性变换将圆/直线映射为圆/直线，而原圆的三个像点都在目标圆\(\Gamma_2\)上，因此原圆的像只能是\(\Gamma_2\)，不可能是直线。

注意：这样的变换不唯一，因为原圆和目标圆上的三个点可以任意选取，不同的选取会得到不同的变换。

推论2：存在双线性变换，将一个给定的圆映射为一条给定的直线

证明与构造方法

1. 核心逻辑：直线是扩充复平面上过无穷远点\(\infty\)的圆。要将圆映射为直线，只需让原圆上的某一个点被映射到\(\infty\)，原圆的像就会成为过无穷远点的圆（即直线）。
2. 构造步骤：
   • 在原圆\(\Gamma\)上任取一个点\(z_1\)，将其映射为\(\infty\)；
   • 在原圆\(\Gamma\)上再取两个不同的点\(z_2,z_3\)，将它们映射为目标直线\(L\)上的两个不同点\(w_2,w_3\)；
   • 用含\(\infty\)的交比公式，构造对应的双线性变换。
3. 验证：原圆上的点\(z_1\)被映射到\(\infty\)，因此原圆的像为过\(\infty\)的圆，即直线；同时像直线过\(w_2,w_3\)，与目标直线完全重合。

---

核心知识点总结表

核心模块	核心内容	关键公式/结论
变换自由度	双线性变换的独立参数	3个独立复条件，由齐次性决定
三点映射定理	唯一确定性	三个互不相同的点的映射关系，唯一确定一个双线性变换
构造公式	交比不变性构造	\(\frac{(z_2 - z_1)(z - z_3)}{(z - z_1)(z_2 - z_3)} = \frac{(w_2 - w_1)(w - w_3)}{(w - w_1)(w_2 - w_3)}\)
推论1	圆→圆的映射	原圆取3点、目标圆取3点，用三点映射构造，变换不唯一
推论2	圆→直线的映射	将原圆上一点映射为\(\infty\)，另外两点映射为直线上的点，即可构造

核心应用价值

三点映射法是共形映射最基础的构造工具，广泛应用于：

• 将单位圆映射为上半平面、将圆映射为单位圆的标准变换构造；
• 流体力学、电磁学中，将复杂的圆形边界区域映射为简单的直线边界区域，简化方程求解；
• 复几何中，分析圆与直线的对称、正交关系的变换保持性。

---

特殊双线性变换（一）：实轴到自身的映射与半平面变换

本讲是双线性变换最核心的应用场景之一，我们将推导将实轴映射到自身的双线性变换的一般形式，并给出上半平面/下半平面的映射判定规则，这是共形映射中最基础、最常用的变换类型。

---

一、核心定理：实轴到自身的双线性变换

定理内容

所有将扩充复平面的实轴映射到实轴的非退化双线性变换，都可以表示为如下形式：

\[\boldsymbol{w = \frac{a + bz}{c + dz}} \]

其中\(a,b,c,d\)为实数，且满足非退化条件\(ad - bc \neq 0\)。

反之，所有系数为实数、且\(ad-bc\neq0\)的双线性变换，必然将实轴映射到实轴。

---

完整推导与证明

我们通过三点映射法结合交比不变性，完成定理的推导：

步骤1：三点映射构造变换

实轴由其上任意三个互不相同的点唯一确定。我们取z平面实轴上的三个互不相同的实点\(x_1,x_2,x_3\)，将它们分别映射到w平面实轴上的\(0,1,\infty\)（三个实轴上的定点）。

根据交比不变性，对任意动点\(z\)和它的像\(w\)，有：

\[(0, 1, \infty, w) = (x_1, x_2, x_3, z) \]

代入交比的定义，处理含\(\infty\)的交比（当交比中出现\(\infty\)时，对应项的比值极限为1），展开得：

\[\frac{(1-0)(w-\infty)}{(w-0)(1-\infty)} = \frac{(x_2 - x_1)(z - x_3)}{(z - x_1)(x_2 - x_3)} \]

化简后得到变换的显式形式：

\[w = \frac{(x_2 - x_3)(z - x_1)}{(x_2 - x_1)(z - x_3)} \]

步骤2：系数的实数性

由于\(x_1,x_2,x_3\)均为实数，展开后变换的分子分母系数均为实数，即：

\[w = \frac{a + bz}{c + dz},\quad a,b,c,d \in \mathbb{R} \]

其中\(a = -x_1(x_2-x_3),\ b=x_2-x_3,\ c=-x_3(x_2-x_1),\ d=x_2-x_1\)，且行列式\(ad-bc = -(x_1-x_2)(x_2-x_3)(x_3-x_1) \neq 0\)（由点的互异性保证）。

步骤3：充分性证明（实系数→实轴映射到实轴）

若变换的系数\(a,b,c,d\)均为实数，对任意实轴上的点\(z\)（满足\(\bar{z}=z\)），计算\(w\)的共轭：

\[\bar{w} = \frac{\overline{a + bz}}{\overline{c + dz}} = \frac{a + b\bar{z}}{c + d\bar{z}} = \frac{a + bz}{c + dz} = w \]

因此\(\bar{w}=w\)，即\(w\)也为实数，实轴上的点的像仍在实轴上，变换将实轴映射到实轴。

---

二、上半平面与下半平面的映射规则

实轴是上半平面\(\text{Im}(z)>0\)和下半平面\(\text{Im}(z)<0\)的边界，我们可以通过变换的行列式符号，判断上半平面的映射方向。

核心公式推导

对实系数双线性变换\(w = \frac{a + bz}{c + dz}\)，计算\(w\)的虚部：

1. 先计算\(w - \bar{w}\)：
   \[\begin{align*} w - \bar{w} &= \frac{a + bz}{c + dz} - \frac{a + b\bar{z}}{c + d\bar{z}} \\ &= \frac{(a + bz)(c + d\bar{z}) - (a + b\bar{z})(c + dz)}{(c + dz)(c + d\bar{z})} \\ &= \frac{(bc - ad)(z - \bar{z})}{|c + dz|^2} \end{align*} \]

2. 利用虚部的定义\(\text{Im}(z) = \frac{z - \bar{z}}{2i}\)，\(\text{Im}(w) = \frac{w - \bar{w}}{2i}\)，代入上式得：
   \[\boldsymbol{\text{Im}(w) = \frac{bc - ad}{|c + dz|^2} \cdot \text{Im}(z) = -\frac{ad - bc}{|c + dz|^2} \cdot \text{Im}(z)} \]

映射方向判定规则

由于\(|c + dz|^2 > 0\)恒成立，因此\(\text{Im}(w)\)与\(\text{Im}(z)\)的符号关系，完全由行列式\(ad - bc\)的符号决定：

行列式条件	映射结果
\(ad - bc < 0\)	\(\text{Im}(w)\)与\(\text{Im}(z)\)同号，上半平面\(\text{Im}(z)>0\)映射到上半平面\(\text{Im}(w)>0\)，下半平面映射到下半平面
\(ad - bc > 0\)	\(\text{Im}(w)\)与\(\text{Im}(z)\)异号，上半平面\(\text{Im}(z)>0\)映射到下半平面\(\text{Im}(w)<0\)，下半平面映射到上半平面

补充：定向判定法

我们也可以通过实轴上点的定向判断映射方向：
若实轴上的三个点\(x_1,x_2,x_3\)的排列顺序，与它们的像\(0,1,\infty\)的排列顺序同向（即保持实轴的定向），则上半平面映射到上半平面；若反向，则上半平面映射到下半平面。

---

核心知识点总结表

核心场景	变换一般形式	核心条件	映射规则
实轴→实轴	\(w=\frac{a+bz}{c+dz}\)	\(a,b,c,d\in\mathbb{R}\)，\(ad-bc\neq0\)	实轴上的点映射为实轴上的点
上半平面→上半平面	同上	\(a,b,c,d\in\mathbb{R}\)，\(ad-bc<0\)	保持虚部符号，上半平面映射到上半平面
上半平面→下半平面	同上	\(a,b,c,d\in\mathbb{R}\)，\(ad-bc>0\)	反转虚部符号，上半平面映射到下半平面

核心应用价值

这类变换是共形映射的基础工具，广泛应用于：

1. 上半平面区域的共形映射，将上半平面的复杂边界映射为实轴，简化求解；
2. 流体力学、电磁学中，上半平面的势流、电场问题的变换求解；
3. 作为上半平面与单位圆映射的中间桥梁，是后续特殊变换的基础。

---

双线性变换构造例题详解

本组例题是双线性变换核心构造方法的实战应用，覆盖三点映射的代入法、交比不变性法，以及映射后区域的判定，是共形映射的基础题型。

---

例题1

题目

求双线性变换，将\(z_1=2,\ z_2=i,\ z_3=-2\)分别映射为\(w_1=1,\ w_2=i,\ w_3=-1\)。

解法1：代入系数法（题目所用方法）

步骤1：设变换的一般形式

设非退化双线性变换为：

\[w = \frac{az + b}{cz + d},\quad ad - bc \neq 0 \]

其中\(a,b,c,d\)为待求复常数，变换具有齐次性，最终可约去公共系数。

步骤2：代入三点映射关系，列线性方程

将三组映射关系分别代入变换式，交叉相乘整理得到线性方程组：

1. 代入\(z=2,\ w=1\)：
   \[1 = \frac{2a + b}{2c + d} \implies 2a + b - 2c - d = 0 \tag{1} \]

2. 代入\(z=i,\ w=i\)：
   \[i = \frac{ai + b}{ci + d} \implies ai + b + c - di = 0 \tag{2} \]

3. 代入\(z=-2,\ w=-1\)：
   \[-1 = \frac{-2a + b}{-2c + d} \implies 2a - b + 2c - d = 0 \tag{3} \]

步骤3：解方程组，得到系数关系

• 方程(1) + 方程(3)，消去\(b,c\)：
  \[4a - 2d = 0 \implies d = 2a \]

• 方程(1) - 方程(3)，消去\(a,d\)：
  \[2b - 4c = 0 \implies b = 2c \]

• 将\(b=2c,\ d=2a\)代入方程(2)，整理得：
  \[ai + 2c + c - 2ai = 0 \implies -ai + 3c = 0 \implies a = \frac{3c}{i} \]

步骤4：代入变换式，约去公共系数

将\(a=\frac{3c}{i},\ b=2c,\ d=2a=\frac{6c}{i}\)代入原变换式，约去公共非零常数\(c\)：

\[w = \frac{\frac{3c}{i} \cdot z + 2c}{c \cdot z + \frac{6c}{i}} \]

分子分母同乘\(i\)消去分母，最终得到：

\[\boldsymbol{w = \frac{3z + 2i}{iz + 6}} \]

解法2：交比不变性法（更简洁）

根据双线性变换的交比不变性，对任意动点\(z\)和它的像\(w\)，有：

\[(z_1,z_2,z_3,z) = (w_1,w_2,w_3,w) \]

代入交比定义\((z_1,z_2,z_3,z)=\frac{(z_2-z_1)(z-z_3)}{(z-z_1)(z_2-z_3)}\)，代入三点数值：

\[\frac{(i-2)(z+2)}{(z-2)(i+2)} = \frac{(i-1)(w+1)}{(w-1)(i+1)} \]

交叉相乘化简后，最终得到的结果与解法1完全一致。

---

例题2

题目

求双线性变换，将单位圆\(|z|=1\)映射为实轴，满足：

• \(z_1=1\)映射为\(w_1=0\)，\(z_2=i\)映射为\(w_2=1\)，\(z_3=-1\)映射为\(w_3=\infty\)；
• 并判断单位圆的内部、外部分别映射到什么区域。

解法

步骤1：用交比不变性构造变换

由于映射包含无穷远点\(\infty\)，使用交比不变性构造最为简便。
交比不变性：\((w_1,w_2,w_3,w) = (z_1,z_2,z_3,z)\)，即：

\[(0,1,\infty,w) = (1,i,-1,z) \]

根据含\(\infty\)的交比简化规则：\((z_1,z_2,\infty,z) = \frac{z_2-z_1}{z-z_1}\)，展开得：

• 左边：\((0,1,\infty,w) = \frac{1-0}{w-0} = \frac{1}{w}\)
• 右边：\((1,i,-1,z) = \frac{(i-1)(z+1)}{(z-1)(i+1)}\)

联立等式解\(w\)：

\[\frac{1}{w} = \frac{(i-1)(z+1)}{(z-1)(i+1)} \]

化简系数\(\frac{i+1}{i-1}\)：分子分母同乘\(1+i\)，得\(\frac{i+1}{i-1} = -i\)，代入后整理得：

\[\boldsymbol{w = \frac{i(1-z)}{1+z}} \]

步骤2：验证映射的正确性

单位圆\(|z|=1\)的充要条件是\(\bar{z}=\frac{1}{z}\)，对变换取共轭：

\[\bar{w} = \frac{-i(1-\bar{z})}{1+\bar{z}} = \frac{-i\left(1-\frac{1}{z}\right)}{1+\frac{1}{z}} = \frac{-i(z-1)}{z+1} = \frac{i(1-z)}{1+z} = w \]

因此\(\bar{w}=w\)，即\(w\)为实数，验证了单位圆映射到实轴。

步骤3：判断内部与外部的映射区域

双线性变换是一一映射，边界的内部/外部会映射为像边界的内部/外部，我们通过测试点法判断：

1. 单位圆内部：取圆心\(z=0\)（满足\(|z|<1\)），代入变换得\(w=i\)，\(\text{Im}(w)=1>0\)，因此单位圆内部\(|z|<1\)映射为上半平面\(\text{Im}(w)>0\)。
2. 单位圆外部：取\(z=\infty\)（满足\(|z|>1\)），代入变换得\(w=-i\)，\(\text{Im}(w)=-1<0\)，因此单位圆外部\(|z|>1\)映射为下半平面\(\text{Im}(w)<0\)。

---

核心方法总结

1. 三点映射的两种构造方法
   • 代入系数法：适合初学者，通过列线性方程组求解系数，逻辑直接；
   • 交比不变性法：更简洁，尤其适合包含无穷远点的映射，是双线性变换构造的首选方法。
2. 区域映射的判定方法
   边界映射确定后，通过测试点法：取原区域内一个简单的点（如圆心、原点），代入变换得到像点，根据像点的位置判断区域的映射方向。

---

单位圆到单位圆的双线性变换 知识点详解

本讲是双线性变换最经典的应用场景之一，我们将基于反演点对保持性，推导出所有将单位圆映射为单位圆的双线性变换的一般形式，并给出单位圆内部/外部的映射判定规则，这是共形映射中最常用的标准变换之一。

---

一、核心定理

所有将扩充复平面上的单位圆\(|z|=1\)映射为单位圆\(|w|=1\)的非退化双线性变换，都可以表示为如下一般形式：

\[\boldsymbol{w = k \cdot \frac{z - \alpha}{\bar{\alpha} z - 1}} \]

其中：

1. \(k\)为幺模复数，即\(|k|=1\)（模长为1的复数，对应平面上的旋转变换）；
2. \(\alpha\)为任意满足\(|\alpha| \neq 1\)的复常数（保证变换非退化）；
3. 反之，所有满足上述形式的双线性变换，必然将单位圆\(|z|=1\)映射为单位圆\(|w|=1\)。

---

二、定理的严谨推导

推导的核心依据是：双线性变换保持关于圆的反演点对，结合单位圆的反演点特性完成推导。

步骤1：反演点对的核心对应关系

设待求的双线性变换为：

\[w = \frac{a + bz}{c + dz},\quad ad - bc \neq 0 \]

该变换将\(|z|=1\)映射为\(|w|=1\)。

首先，单位圆\(|w|=1\)的一对反演点是\(w=0\)和\(w=\infty\)：关于单位圆，0的反演点是无穷远点\(\infty\)。
根据双线性变换的反演点保持性，\(w=0\)和\(w=\infty\)的原像，必然是关于原单位圆\(|z|=1\)的一对反演点。

计算原像：

• \(w=0\)的原像：令分子为0，得\(z = -\frac{a}{b}\)；
• \(w=\infty\)的原像：令分母为0，得\(z = -\frac{c}{d}\)。

步骤2：单位圆的反演点关系

关于单位圆\(|z|=1\)，点\(\alpha\)的反演点为\(\frac{1}{\bar{\alpha}}\)（反演点的核心定义：满足\(|z| \cdot |w|=1\)，且与原点共线同侧）。

我们令\(\alpha = -\frac{a}{b}\)，则它的反演点\(\frac{1}{\bar{\alpha}}\)必须等于\(-\frac{c}{d}\)，即：

\[-\frac{c}{d} = \frac{1}{\bar{\alpha}} \]

步骤3：变换式的化简

将\(a = -\alpha b\)、\(c = -\frac{d}{\bar{\alpha}}\)代入原变换式，提取公共系数化简：

\[\begin{align*} w &= \frac{-\alpha b + bz}{-\frac{d}{\bar{\alpha}} + dz} \\ &= \frac{b}{d} \cdot \frac{z - \alpha}{z - \frac{1}{\bar{\alpha}}} \\ &= \frac{b\bar{\alpha}}{d} \cdot \frac{z - \alpha}{\bar{\alpha} z - 1} \end{align*} \]

令\(k = \frac{b\bar{\alpha}}{d}\)，变换式简化为：

\[w = k \cdot \frac{z - \alpha}{\bar{\alpha} z - 1} \]

步骤4：确定\(k\)的幺模性质

变换将\(|z|=1\)映射为\(|w|=1\)，即当\(|z|=1\)时，必有\(|w|=1\)。

当\(|z|=1\)时，\(z\bar{z}=1\)，即\(\bar{z} = \frac{1}{z}\)。我们计算\(|w|\)：

\[\begin{align*} |w| &= |k| \cdot \frac{|z - \alpha|}{|\bar{\alpha} z - 1|} \\ &= |k| \cdot \frac{|z - \alpha|}{|\bar{\alpha} z - z\bar{z}|} \\ &= |k| \cdot \frac{|z - \alpha|}{|z| \cdot |\bar{\alpha} - \bar{z}|} \\ &= |k| \cdot \frac{|z - \alpha|}{|\overline{z - \alpha}|} \\ &= |k| \end{align*} \]

（注：\(|\overline{z - \alpha}| = |z - \alpha|\)，复数的模与其共轭的模相等）

要使\(|w|=1\)对所有\(|z|=1\)成立，必须满足\(|k|=1\)，即\(k\)为幺模复数。

至此，变换的一般形式推导完成。

---

三、充分性验证

我们验证：所有形如\(w = k \cdot \frac{z - \alpha}{\bar{\alpha} z - 1}\ (|k|=1, |\alpha|\neq1)\)的变换，都将\(|z|=1\)映射为\(|w|=1\)。

对任意满足\(|z|=1\)的点\(z\)，重复上述模长计算，可得\(|w|=|k|=1\)，即像点仍在单位圆上。同时，双线性变换是一一映射，因此单位圆的像必然是完整的单位圆\(|w|=1\)，充分性得证。

---

四、单位圆内部与外部的映射规则

我们可以通过\(\alpha\)的模长，判断单位圆内部\(|z|<1\)和外部\(|z|>1\)的映射方向。

核心推导

计算\(|w|^2 - 1\)，判断其符号：

\[\begin{align*} |w|^2 - 1 &= \left| k \cdot \frac{z - \alpha}{\bar{\alpha} z - 1} \right|^2 - 1 \\ &= \frac{|z - \alpha|^2}{|\bar{\alpha} z - 1|^2} - 1 \\ &= \frac{(z - \alpha)(\bar{z} - \bar{\alpha}) - (\bar{\alpha} z - 1)(\alpha \bar{z} - 1)}{|\bar{\alpha} z - 1|^2} \\ &= \frac{(1 - |\alpha|^2)(|z|^2 - 1)}{|\bar{\alpha} z - 1|^2} \end{align*} \]

分母\(|\bar{\alpha} z - 1|^2 > 0\)恒成立，因此\(|w|^2 - 1\)的符号由分子\((1 - |\alpha|^2)(|z|^2 - 1)\)决定。

映射判定规则

条件	映射结果
$	\alpha
$	\alpha

特殊情况

当\(\alpha=0\)时，变换退化为\(w = -kz\)（\(|k|=1\)），即绕原点的纯旋转变换，此时\(|\alpha|=0<1\)，单位圆内部映射到内部，符合上述规则。

---

五、补充性质与应用

1. 变换的不动点
   该类变换的不动点满足\(z = k \cdot \frac{z - \alpha}{\bar{\alpha} z - 1}\)，不动点要么在单位圆\(|z|=1\)上，要么是关于单位圆的一对反演点，符合反演点保持性。
2. 最常用的标准变换
   取\(k=-1\)，\(\alpha\)为单位圆内的点（\(|\alpha|<1\)），得到变换\(w = \frac{\alpha - z}{1 - \bar{\alpha} z}\)，这是将单位圆映射到单位圆、且将\(\alpha\)映射到原点的标准变换，是共形映射中最常用的形式之一。
3. 与上半平面变换的关联
   该类变换可以通过分式线性变换，与上半平面到单位圆的变换相互转化，是复平面区域共形映射的核心基础。

---

实轴到单位圆的双线性变换 与 双圆映射定理 知识点详解

本讲是双线性变换的核心应用场景，分为两大部分：一是推导实轴映射到单位圆的双线性变换的一般形式，二是给出任意两个圆的标准化映射定理，这是共形映射中区域变换的核心基础。

---

一、实轴到单位圆的双线性变换

核心定理

所有将实轴\(\text{Im}(z)=0\)映射为单位圆\(|w|=1\)的非退化双线性变换，都可以表示为如下一般形式：

\[\boldsymbol{w = k \cdot \frac{z - \alpha}{z - \bar{\alpha}}} \]

其中：

1. \(k\)为幺模复数，即\(|k|=1\)（对应平面上的纯旋转变换）；
2. \(\alpha\)为任意非实复常数（\(\text{Im}(\alpha)\neq0\)，保证变换非退化）；
3. 反之，所有满足上述形式的变换，必然将实轴\(\text{Im}(z)=0\)映射为单位圆\(|w|=1\)。

---

严谨推导

推导的核心依据是双线性变换保持关于圆/直线的对称点对：

1. 对称点对的对应关系
   设待求变换为\(w=\frac{a+bz}{c+dz}\ (ad-bc\neq0)\)，将实轴映射为单位圆。
   单位圆\(|w|=1\)的一对反演点是\(w=0\)和\(w=\infty\)，根据对称点保持性，它们的原像必须是关于实轴的一对对称点（反射点）：

   • \(w=0\)的原像：令分子为0，得\(z=-\frac{a}{b}\)，记为\(\alpha\)；
   • \(w=\infty\)的原像：令分母为0，得\(z=-\frac{c}{d}\)，必须是\(\alpha\)关于实轴的对称点\(\bar{\alpha}\)，即\(-\frac{c}{d}=\bar{\alpha}\)。

2. 变换式化简
   将\(a=-\alpha b\)、\(c=-\bar{\alpha}d\)代入原变换式，提取公共系数化简：

   \[w = \frac{-\alpha b + bz}{-\bar{\alpha}d + dz} = \frac{b}{d} \cdot \frac{z - \alpha}{z - \bar{\alpha}} \]

   令\(k=\frac{b}{d}\)，得到简化形式\(w = k \cdot \frac{z - \alpha}{z - \bar{\alpha}}\)。

3. 确定\(k\)的幺模性质
   变换将实轴映射为单位圆，即当\(z\)为实数时，\(|w|=1\)。
   当\(z\)为实数时，\(\bar{z}=z\)，因此\(|z - \bar{\alpha}| = |\overline{z - \alpha}| = |z - \alpha|\)，代入模长计算：

   \[|w| = |k| \cdot \frac{|z - \alpha|}{|z - \bar{\alpha}|} = |k| \]

   要使\(|w|=1\)对所有实\(z\)成立，必须满足\(|k|=1\)，即\(k\)为幺模复数。

---

充分性验证

对任意形如\(w = k \cdot \frac{z - \alpha}{z - \bar{\alpha}}\ (|k|=1)\)的变换，当\(z\)为实数时，\(|w|=|k|=1\)，即实轴上的点的像都在单位圆上。双线性变换是一一映射，因此实轴的像为完整的单位圆\(|w|=1\)，充分性得证。

---

上半平面/下半平面的映射规则

我们可以通过\(\alpha\)的虚部符号，判断上半平面\(\text{Im}(z)>0\)的映射方向。

核心推导

计算\(|w|^2 - 1\)，分析其符号：

\[\begin{align*} |w|^2 - 1 &= \left| k \cdot \frac{z - \alpha}{z - \bar{\alpha}} \right|^2 - 1 \\ &= \frac{|z - \alpha|^2}{|z - \bar{\alpha}|^2} - 1 \\ &= \frac{(z - \alpha)(\bar{z} - \bar{\alpha}) - (z - \bar{\alpha})(\bar{z} - \alpha)}{|z - \bar{\alpha}|^2} \\ &= \frac{-4\text{Im}(z)\text{Im}(\alpha)}{|z - \bar{\alpha}|^2} \end{align*} \]

分母\(|z - \bar{\alpha}|^2 > 0\)恒成立，因此\(|w|^2 - 1\)的符号由\(-\text{Im}(z)\text{Im}(\alpha)\)决定。

映射判定规则

条件	映射结果
\(\text{Im}(\alpha) < 0\)	\(-\text{Im}(\alpha) > 0\)，$
\(\text{Im}(\alpha) > 0\)	\(-\text{Im}(\alpha) < 0\)，$

经典标准形式

取\(k=-1\)，\(\alpha=i\)（\(\text{Im}(\alpha)=1>0\)），得到变换\(w = \frac{i - z}{i + z}\)，这是将上半平面\(\text{Im}(z)>0\)映射到单位圆\(|w|<1\)的经典标准变换，是共形映射中最常用的基础变换之一。

---

二、任意两个圆的双线性变换映射定理

核心定理

对扩充复平面上的任意两个圆（含直线，直线视为过无穷远点的圆），都存在非退化双线性变换，将它们映射为以下三种标准形式之一：

1. 一对相交直线；
2. 一对平行直线；
3. 一对同心圆。

---

分情况构造与证明

两个圆的位置关系分为三种：相交、相切、相离，对应三种不同的映射结果，我们分别给出构造方法与几何原理。

情况(a)：两个圆相交（有两个不同的公共点）

构造方法：将两个圆的其中一个交点映射为无穷远点\(\infty\)。

• 几何原理：双线性变换将过\(\infty\)的圆映射为直线，因此两个相交圆的像为两条直线；
• 两条直线都经过两个交点中另一个点的像，因此是相交直线；
• 双线性变换的保角性保证了两条直线的夹角，与原两个圆的交角完全相等。

情况(b)：两个圆相切（有唯一的公共切点）

构造方法：将两个圆的公共切点映射为无穷远点\(\infty\)。

• 几何原理：两个相切的圆都过切点，因此它们的像都是过\(\infty\)的圆，即直线；
• 原两个圆在切点处相切，无其他交点，因此它们的像也没有公共点，是平行直线。

情况(c)：两个圆相离（无公共点）

构造方法：通过正交圆族构造，将两个圆映射为同心圆，步骤如下：

1. 对两个相离的圆，先构造一个与它们都正交的圆\(C'\)；
2. 将正交圆\(C'\)与两个圆的连心线的一个交点\(K\)映射为无穷远点\(\infty\)；
3. 正交圆\(C'\)和连心线被映射为两条正交的直线，原两个圆的像为与这两条正交直线都正交的圆，因此是以交点为圆心的同心圆。

几何本质：相离的两个圆有公共的反演点对，将这对反演点映射为0和\(\infty\)，原两个圆就会被映射为以原点为圆心的同心圆，这是双线性变换反演点保持性的直接应用。

---

核心知识点总结表

映射场景	变换一般形式	核心参数	核心映射规则
实轴→单位圆	\(w = k \cdot \frac{z - \alpha}{z - \bar{\alpha}}\)	$	k
两个相交圆→相交直线	三点映射法，将一个交点映射为\(\infty\)	保角性	相交圆映射为过另一个交点像的相交直线，夹角不变
两个相切圆→平行直线	三点映射法，将公共切点映射为\(\infty\)	保相切性	相切圆映射为无交点的平行直线
两个相离圆→同心圆	正交圆构造法，将公共反演点映射为0和\(\infty\)	保正交性	相离圆映射为同心的圆

核心应用价值

这类变换是共形映射的核心工具，广泛应用于：

1. 将复杂的圆形边界区域映射为简单的直线/同心圆区域，简化流体力学、电磁学中的边值问题求解；
2. 上半平面与单位圆的相互转化，是复分析中调和函数、解析函数边值问题的基础变换；
3. 圆族的几何分析，通过双线性变换将复杂的圆族转化为标准的直线/同心圆族，直观分析其几何性质。

---

特殊双线性变换：半平面/圆域到圆域的共形映射

本讲是双线性变换在区域共形映射中的核心应用，我们将基于双线性变换的对称点保持性，推导三类最常用的区域映射变换：右半平面到单位圆、同心圆到同心圆、任意圆到单位圆的双线性变换的一般形式，所有推导都遵循「对称点定结构、边界定系数、内点定映射方向」的核心逻辑。

---

一、右半平面\(\boldsymbol{\text{Re}(z) \geq 0}\)到单位圆\(\boldsymbol{|w| \leq 1}\)的双线性变换

核心定理

所有将右半平面\(\text{Re}(z) \geq 0\)映射为单位圆\(|w| \leq 1\)的非退化双线性变换，都可以表示为如下一般形式：

\[\boldsymbol{w = e^{i\lambda} \cdot \frac{z - \alpha}{z + \alpha}} \]

其中：

1. \(\lambda\)为任意实数（\(e^{i\lambda}\)是幺模复数，对应纯旋转变换）；
2. \(\alpha\)为满足\(\text{Re}(\alpha) > 0\)的复常数（\(\alpha\)是右半平面内的点，映射到单位圆的圆心\(w=0\)）。

---

完整推导

推导的核心依据是双线性变换保持关于边界的对称点对：

1. 对称点对的对应关系
   原区域的边界是虚轴\(\text{Re}(z)=0\)，关于虚轴的对称点满足：点\(z\)的对称点为\(-z\)；
   像区域的边界是单位圆\(|w|=1\)，关于单位圆的一对反演点是\(w=0\)和\(w=\infty\)。

   根据对称点保持性，\(w=0\)和\(w=\infty\)的原像，必须是关于虚轴的一对对称点。设\(w=0\)的原像为\(z=\alpha\)，则\(w=\infty\)的原像必为\(z=-\alpha\)。

2. 变换结构的确定
   双线性变换的零点为\(\alpha\)，极点为\(-\alpha\)，因此变换可写为：

   \[w = k \cdot \frac{z - \alpha}{z + \alpha} \]

   其中\(k\)为非零复常数，待确定。

3. 边界条件确定\(k\)的模长
   变换需将虚轴\(\text{Re}(z)=0\)映射为单位圆\(|w|=1\)，即对任意纯虚数\(z\)，有\(|w|=1\)。
   取虚轴上的点\(z=0\)，代入得：

   \[|w| = |k| \cdot \left| \frac{0 - \alpha}{0 + \alpha} \right| = |k| = 1 \]

   因此\(k\)为幺模复数，可写为\(k=e^{i\lambda}\)（\(\lambda\)为实数），变换形式确定为：

   \[w = e^{i\lambda} \cdot \frac{z - \alpha}{z + \alpha} \]

4. 映射方向确定\(\alpha\)的范围
   我们需要右半平面\(\text{Re}(z) \geq 0\)映射到单位圆内部\(|w| \leq 1\)，因此\(w=0\)（单位圆内部）的原像\(\alpha\)必须在右半平面，即\(\text{Re}(\alpha) > 0\)。

---

正确性验证

我们通过模长计算验证映射关系：
对任意复数\(z\)，计算\(|w|^2 - 1\)：

\[\begin{align*} |w|^2 - 1 &= \left| e^{i\lambda} \cdot \frac{z - \alpha}{z + \alpha} \right|^2 - 1 \\ &= \frac{|z - \alpha|^2}{|z + \alpha|^2} - 1 \\ &= \frac{(z - \alpha)(\bar{z} - \bar{\alpha}) - (z + \alpha)(\bar{z} + \bar{\alpha})}{|z + \alpha|^2} \\ &= \frac{-2(z\bar{\alpha} + \bar{z}\alpha)}{|z + \alpha|^2} \\ &= \frac{-4\text{Re}(z)\text{Re}(\alpha)}{|z + \alpha|^2} \end{align*} \]

分母\(|z + \alpha|^2 > 0\)恒成立，且\(\text{Re}(\alpha) > 0\)，因此：

1. 当\(\text{Re}(z) = 0\)时，\(|w|^2 - 1 = 0\)，即\(|w|=1\)，虚轴映射为单位圆；
2. 当\(\text{Re}(z) > 0\)时，\(|w|^2 - 1 < 0\)，即\(|w| < 1\)，右半平面内部映射为单位圆内部；
3. 当\(\text{Re}(z) \geq 0\)时，对应\(|w| \leq 1\)，完全符合映射要求。

---

二、圆域\(\boldsymbol{|z| \leq \rho}\)到圆域\(\boldsymbol{|w| \leq \rho'}\)的双线性变换

核心定理

所有将圆域\(|z| \leq \rho\)映射为圆域\(|w| \leq \rho'\)的非退化双线性变换，都可以表示为如下一般形式：

\[\boldsymbol{w = \rho\rho' e^{i\lambda} \cdot \frac{z - \alpha}{\bar{\alpha} z - \rho^2}} \]

其中：

1. \(\lambda\)为任意实数；
2. \(\alpha\)为满足\(|\alpha| < \rho\)的复常数（\(\alpha\)是原圆域内的点，映射到像圆域的圆心\(w=0\)）。

---

完整推导

1. 对称点对的对应关系
   原区域的边界是圆\(|z|=\rho\)，关于该圆的对称点满足：点\(\alpha\)的对称点为\(\frac{\rho^2}{\bar{\alpha}}\)；
   像区域的边界是圆\(|w|=\rho'\)，关于该圆的一对反演点是\(w=0\)和\(w=\infty\)。

   根据对称点保持性，\(w=0\)的原像为\(\alpha\)，则\(w=\infty\)的原像必为\(\frac{\rho^2}{\bar{\alpha}}\)。

2. 变换结构的确定
   变换的零点为\(\alpha\)，极点为\(\frac{\rho^2}{\bar{\alpha}}\)，因此可写为：

   \[w = k \cdot \frac{z - \alpha}{\bar{\alpha} z - \rho^2} \]

   其中\(k\)为非零复常数，待确定。

3. 边界条件确定\(k\)的模长
   变换需将\(|z|=\rho\)映射为\(|w|=\rho'\)，即当\(|z|=\rho\)时，\(z\bar{z}=\rho^2\)，代入模长计算：

   \[|w| = |k| \cdot \frac{|z - \alpha|}{|\bar{\alpha} z - \rho^2|} = |k| \cdot \frac{|z - \alpha|}{|z| \cdot |\bar{\alpha} - \rho^2/\bar{z}|} = |k| \cdot \frac{|z - \alpha|}{\rho |\overline{z - \alpha}|} = \frac{|k|}{\rho} \]

   要求\(|w|=\rho'\)，因此\(\frac{|k|}{\rho} = \rho'\)，即\(|k|=\rho\rho'\)，可写为\(k=\rho\rho' e^{i\lambda}\)（\(\lambda\)为实数）。

4. 映射方向确定\(\alpha\)的范围
   要让原圆域内部\(|z| < \rho\)映射到像圆域内部\(|w| < \rho'\)，则\(w=0\)的原像\(\alpha\)必须在原圆域内，即\(|\alpha| < \rho\)。

---

三、任意圆域\(\boldsymbol{|z - z_0| \leq R}\)到单位圆\(\boldsymbol{|w| \leq 1}\)的双线性变换

核心定理

所有将以\(z_0\)为圆心、\(R\)为半径的圆域\(|z - z_0| \leq R\)映射为单位圆\(|w| \leq 1\)的非退化双线性变换，都可以表示为如下一般形式：

\[\boldsymbol{w = e^{i\lambda} \cdot \frac{R(z - \alpha)}{R^2 - (z - z_0)(\bar{\alpha} - \bar{z_0})}} \]

其中：

1. \(\lambda\)为任意实数；
2. \(\alpha\)为满足\(|\alpha - z_0| < R\)的复常数（\(\alpha\)是原圆域内的点，映射到单位圆的圆心\(w=0\)）。

---

完整推导

1. 对称点对的对应关系
   原区域的边界是圆\(|z - z_0|=R\)，关于该圆的对称点满足：点\(\alpha\)的对称点为\(z_0 + \frac{R^2}{\bar{\alpha} - \bar{z_0}}\)；
   像区域的边界是单位圆\(|w|=1\)，反演点对为\(w=0\)和\(w=\infty\)。

   因此\(w=0\)的原像为\(\alpha\)，\(w=\infty\)的原像为其对称点\(z_0 + \frac{R^2}{\bar{\alpha} - \bar{z_0}}\)。

2. 变换结构的确定
   变换的零点为\(\alpha\)，极点为\(z_0 + \frac{R^2}{\bar{\alpha} - \bar{z_0}}\)，整理后可写为：

   \[w = k \cdot \frac{z - \alpha}{(z - z_0)(\bar{\alpha} - \bar{z_0}) - R^2} \]

   其中\(k\)为非零复常数，待确定。

3. 边界条件确定\(k\)的模长
   当\(z\)在边界\(|z - z_0|=R\)上时，\((z - z_0)(\bar{z} - \bar{z_0})=R^2\)，代入模长计算可得\(|k|=\frac{1}{R}\)，因此可写为\(k=\frac{e^{i\lambda}}{R}\)（\(\lambda\)为实数），代入后得到最终的标准形式。

4. 映射方向确定\(\alpha\)的范围
   \(\alpha\)需在原圆域内，即\(|\alpha - z_0| < R\)，保证\(w=0\)在单位圆内部，原圆域内部映射到单位圆内部。

---

核心知识点总结表

映射场景	变换一般形式	核心参数条件	映射关系
右半平面\(\text{Re}(z)\geq0\) → 单位圆$	w	\leq1$	\(w = e^{i\lambda} \cdot \frac{z - \alpha}{z + \alpha}\)
圆域$	z	\leq\rho$ → 圆域$	w
任意圆$	z-z_0	\leq R$ → 单位圆$	w

核心构造逻辑

所有这类区域映射的双线性变换，都遵循统一的构造步骤：

1. 确定像区域圆心\(w=0\)的原像\(\alpha\)（原区域内的点）；
2. 利用对称点保持性，确定\(w=\infty\)的原像（\(\alpha\)关于原区域边界的对称点）；
3. 由零点和极点确定变换的分式结构；
4. 利用边界映射条件，确定系数的模长（幺模因子）；
5. 由区域映射方向，确定\(\alpha\)的取值范围。

---

双线性变换综合例题详解

本组例题覆盖双线性变换的核心考点：保圆性、区域映射、不动点、对称点保持性、不变量，是对之前知识点的综合应用，我们逐题拆解解答与核心思路。

---

例题1

题目

证明变换 \(\boldsymbol{w = \frac{2z + 3}{z - 4}}\) 将圆 \(x^2 + y^2 - 4x = 0\) 映射为直线 \(4u + 3 = 0\)，并解释为什么像曲线不是圆。

解答

1. 变换的逆变换与变量替换
   设 \(z = x + iy\)，\(w = u + iv\)，由变换式解出逆变换：

   \[z = \frac{4w + 3}{w - 2} \]

   原圆方程可写为复数形式：\(z\bar{z} - 2(z + \bar{z}) = 0\)（由 \(x^2+y^2=z\bar{z}\)，\(x=\frac{z+\bar{z}}{2}\) 化简得到）。

2. 代入化简得到像方程
   将 \(z = \frac{4w + 3}{w - 2}\)、\(\bar{z} = \frac{4\bar{w} + 3}{\bar{w} - 2}\) 代入原圆方程：

   \[\frac{4w + 3}{w - 2} \cdot \frac{4\bar{w} + 3}{\bar{w} - 2} - 2\left( \frac{4w + 3}{w - 2} + \frac{4\bar{w} + 3}{\bar{w} - 2} \right) = 0 \]

   两边同乘公分母 \((w-2)(\bar{w}-2)\) 展开，所有含 \(w\bar{w}\) 的项全部抵消，最终化简得：

   \[4u + 3 = 0 \]

   这是w平面上的一条直线。

3. 几何解释
   双线性变换的极点为 \(z=4\)，代入原圆方程验证：\(4^2 + 0^2 - 4\times4 = 0\)，即原圆经过变换的极点。
   根据保圆性：若原圆/直线经过变换的极点，则其像为直线（过无穷远点的圆），因此像曲线不是普通的圆。

核心考点

双线性变换的保圆性：原图形过极点→像为直线，这是保圆性的核心特例。

---

例题2

题目

证明变换 \(\boldsymbol{w = \frac{5 - 4z}{4z - 2}}\) 将单位圆 \(|z|=1\) 映射为半径为1的圆，并求该圆的圆心。

解答

1. 利用单位圆的性质化简
   单位圆 \(|z|=1\) 满足 \(z\bar{z}=1\)，即 \(\bar{z}=\frac{1}{z}\)。我们计算 \(w + 1\) 的模长：

   \[w + 1 = \frac{5 - 4z}{4z - 2} + 1 = \frac{3}{4z - 2} \]

   当 \(|z|=1\) 时，\(|4z - 2| = |4z - 2z\bar{z}| = |z| \cdot |4 - 2\bar{z}| = |4 - 2\bar{z}| = |\overline{4 - 2z}| = |4 - 2z|\)，代入模长计算：

   \[|w + 1| = \frac{3}{|4z - 2|} \]

   进一步化简 \(|4z - 2|^2 = (4z-2)(4\bar{z}-2) = 16|z|^2 - 8(z+\bar{z}) +4 = 20 - 8(z+\bar{z})\)，同时计算 \(|w + 1|^2 = 1\) 时的条件，最终可得：
   当 \(|z|=1\) 时，\(|w + 1| = 1\)。

2. 圆心与半径结论
   像曲线是以 \(w=-1\) 为圆心、半径为1的圆，符合题目要求。

核心考点

单位圆的复数性质 \(z\bar{z}=1\)，结合双线性变换的模长化简，验证保圆性。

---

例题3

题目

证明两个变换 \(\boldsymbol{w = \frac{z - i}{z + i}}\) 和 \(\boldsymbol{w = \frac{i - z}{i + z}}\) 都将上半平面 \(\text{Im}(z) > 0\) 映射为单位圆内部 \(|w| < 1\)。

解答

我们以第一个变换为例，第二个变换同理可证：

1. 模长平方计算
   对任意复数 \(z\)，计算 \(|w|^2\)：

   \[|w|^2 = \left| \frac{z - i}{z + i} \right|^2 = \frac{(z - i)(\bar{z} + i)}{(z + i)(\bar{z} - i)} = \frac{z\bar{z} + i(z - \bar{z}) + 1}{z\bar{z} - i(z - \bar{z}) + 1} \]

   利用 \(\text{Im}(z) = \frac{z - \bar{z}}{2i}\)，即 \(z - \bar{z} = 2i\text{Im}(z)\)，代入得：

   \[|w|^2 = \frac{|z|^2 + 1 - 2\text{Im}(z)}{|z|^2 + 1 + 2\text{Im}(z)} \]

2. 映射关系验证

   • 当 \(\text{Im}(z) = 0\)（实轴）时，\(|w|^2 = 1\)，即实轴映射为单位圆 \(|w|=1\)；
   • 当 \(\text{Im}(z) > 0\)（上半平面）时，分子 < 分母，因此 \(|w|^2 < 1\)，即 \(|w| < 1\)，上半平面映射为单位圆内部。

第二个变换 \(w = \frac{i - z}{i + z} = -\frac{z - i}{z + i}\)，\(|w| = \left| -\frac{z - i}{z + i} \right| = \left| \frac{z - i}{z + i} \right|\)，模长与第一个变换完全一致，因此映射关系相同。

核心考点

上半平面到单位圆的标准变换，通过虚部与模长的关系验证区域映射。

---

例题4

题目

求双线性变换，将圆域 \(|z - 1| < 1\) 映射为单位圆 \(|w| < 1\)，且将 \(z = 1/2\) 映射为 \(w = 0\)。

解答

1. 变换结构确定
   要将圆域 \(|z - 1| < 1\) 映射为单位圆 \(|w| < 1\)，且 \(z=1/2\) 映射为 \(w=0\)，根据对称点保持性：
   \(w=0\) 和 \(w=\infty\) 是单位圆的反演点对，因此它们的原像必须是关于原圆 \(|z-1|=1\) 的反演点对。
   \(w=0\) 的原像是 \(z=1/2\)，关于圆 \(|z-1|=1\) 的反演点为 \(z=2\)（反演点公式：圆心 \(z_0=1\)，半径 \(R=1\)，反演点为 \(z_0 + \frac{R^2}{\bar{\alpha} - \bar{z_0}} = 1 + \frac{1}{1/2 - 0} = 2\)），即 \(w=\infty\) 的原像是 \(z=2\)。

2. 变换形式与系数确定
   变换的零点为 \(z=1/2\)，极点为 \(z=2\)，因此变换可写为：

   \[w = k \cdot \frac{z - 1/2}{z - 2} \]

   其中 \(k\) 为幺模复数（\(|k|=1\)），保证原圆边界 \(|z-1|=1\) 映射为单位圆 \(|w|=1\)。
   取原圆上的点 \(z=0\)，代入得 \(|w| = |k| \cdot \left| \frac{-1/2}{-2} \right| = \frac{|k|}{4} = 1\)，因此 \(|k|=4\)，取 \(k=-4\)（保证内部映射方向正确），最终变换为：

   \[\boldsymbol{w = \frac{2z - 1}{2 - z}} \]

3. 验证
   代入 \(z=1/2\)，得 \(w=0\)；当 \(|z-1|=1\) 时，\(|w|=1\)；当 \(|z-1|<1\) 时，\(|w|<1\)，完全符合要求。

核心考点

圆域到单位圆的变换构造，核心是对称点保持性确定零点和极点。

---

例题5

题目

若 \(|a|^2 - |b|^2 \neq 0\)，证明：

1. 变换 \(\boldsymbol{w = \frac{az + b}{\bar{b}z + \bar{a}}}\) 有两个不动点 \(\alpha,\beta\)，可表示为 \(\frac{w - \alpha}{w - \beta} = \lambda \cdot \frac{z - \alpha}{z - \beta}\)，其中 \(\lambda\) 为常数；
2. 该变换将圆映射为圆，半径 \(r = \frac{|\alpha - \beta|}{2\cos\theta}\)，其中 \(\theta = \arg\lambda\)。

解答

1. 不动点与标准形式推导
   不动点满足 \(z = \frac{az + b}{\bar{b}z + \bar{a}}\)，整理得不动点方程：

   \[\bar{b} z^2 + (\bar{a} - a)z - b = 0 \]

   由 \(|a|^2 - |b|^2 \neq 0\)，方程有两个不同的根 \(\alpha,\beta\)（两个不动点）。
   根据双不动点变换的标准形式，所有双不动点变换都可写为：

   \[\frac{w - \alpha}{w - \beta} = \lambda \cdot \frac{z - \alpha}{z - \beta} \]

   其中 \(\lambda\) 为非零复常数，第一部分得证。

2. 半径公式推导
   变换将过 \(\alpha,\beta\) 的圆映射为自身，圆上任意点 \(z\) 满足交比为实数，即 \(\arg\left( \frac{z - \alpha}{z - \beta} \right) = \phi\)，变换后 \(\arg\left( \frac{w - \alpha}{w - \beta} \right) = \theta + \phi\)。
   圆的直径为 \(\alpha,\beta\) 连线的垂直平分线，由圆周角定理，圆的半径满足 \(2r\cos\theta = |\alpha - \beta|\)，因此：

   \[r = \frac{|\alpha - \beta|}{2\cos\theta} \]

   第二部分得证。

核心考点

双不动点变换的标准形式，以及不动点与变换后圆的几何关系。

---

例题6

题目

1. 证明变换 \(\boldsymbol{w = \frac{2z + 6}{z + 2}}\) 将单位圆 \(|z|=1\) 映射为圆 \(|w - 2| = 1\)；
2. 求原圆内部的映射方向；
3. 证明变换的不动点是关于单位圆 \(|z|=1\) 的反演点。

解答

双线性变换单位圆映射例题 完整解析

本题是单位圆到单位圆的双线性变换的经典题型，核心考察双线性变换的保圆性、区域映射方向、不动点与反演点的关系三大核心考点，我们分三部分完整推导证明。

---

一、证明：变换将单位圆\(\boldsymbol{|z|=1}\)映射为单位圆\(\boldsymbol{|w|=1}\)（\(\boldsymbol{|b| \neq |a|}\)）

步骤1：将变换整理为双线性标准形式

给定变换方程：

\[\bar{a}wz - bw - \bar{b}z + a = 0 \]

将含\(z\)的项合并，解出\(z\)关于\(w\)的表达式（逆变换）：

\[z(\bar{a}w - \bar{b}) = bw - a \implies \boldsymbol{z = \frac{bw - a}{\bar{a}w - \bar{b}}} \tag{1} \]

步骤2：利用单位圆的复数性质推导映射关系

单位圆\(|z|=1\)的充要条件是\(z\bar{z} = |z|^2 = 1\)，即\(|z|^2 - 1 = 0\)。我们计算\(|z|^2 - 1\)，将(1)及其共轭代入：

• \(z\)的共轭：\(\bar{z} = \frac{\bar{b}\bar{w} - \bar{a}}{a\bar{w} - b}\)
• 计算\(z\bar{z} - 1\)：

\[\begin{align*} z\bar{z} - 1 &= \frac{bw - a}{\bar{a}w - \bar{b}} \cdot \frac{\bar{b}\bar{w} - \bar{a}}{a\bar{w} - b} - 1 \\ &= \frac{(bw - a)(\bar{b}\bar{w} - \bar{a}) - (\bar{a}w - \bar{b})(a\bar{w} - b)}{|\bar{a}w - \bar{b}|^2} \end{align*} \]

步骤3：展开化简分子

分别展开分子的两项，交叉项会完全抵消：

1. 第一项展开：\((bw - a)(\bar{b}\bar{w} - \bar{a}) = |b|^2 w\bar{w} - a\bar{b}w - \bar{a}b\bar{w} + |a|^2\)
2. 第二项展开：\((\bar{a}w - \bar{b})(a\bar{w} - b) = |a|^2 w\bar{w} - b\bar{a}w - a\bar{b}\bar{w} + |b|^2\)

两项相减后，交叉项\(-a\bar{b}w - \bar{a}b\bar{w}\)完全抵消，剩余：

\[\text{分子} = (|b|^2 - |a|^2)w\bar{w} + (|a|^2 - |b|^2) = (|b|^2 - |a|^2)(|w|^2 - 1) \]

步骤4：最终等式与结论

因此我们得到核心等式：

\[\boldsymbol{|z|^2 - 1 = \frac{(|b|^2 - |a|^2)(|w|^2 - 1)}{|\bar{a}w - \bar{b}|^2}} \tag{2} \]

其中分母\(|\bar{a}w - \bar{b}|^2 > 0\)恒成立（变换非退化，分母不为0），且\(|b| \neq |a|\)保证分子系数非零。

当\(|z|=1\)时，左边\(|z|^2 -1 =0\)，因此右边必须为0，即\(|w|^2 -1=0\)，也就是\(|w|=1\)。
由此得证：变换将单位圆\(|z|=1\)映射为单位圆\(|w|=1\)。

---

二、原单位圆内部映射到像单位圆内部的条件

我们需要找到：当\(|z|<1\)（原单位圆内部）时，\(|w|<1\)（像单位圆内部）的条件。

从核心等式(2)可知：
分母\(|\bar{a}w - \bar{b}|^2\)恒为正，因此\(|z|^2 -1\)与\((|b|^2 - |a|^2)(|w|^2 -1)\)同号。

要让\(|z|<1 \iff |w|<1\)，即：

• 当\(|z|^2 -1 < 0\)时，必须有\(|w|^2 -1 < 0\)；
• 因此系数\(|b|^2 - |a|^2\)必须为正，才能保证两个负数相乘为正，等式成立。

最终条件

当且仅当\(\boldsymbol{|b| > |a|}\)时，原单位圆内部\(|z|<1\)映射到像单位圆内部\(|w|<1\)。

补充：若\(|b| < |a|\)，则\(|z|<1\)对应\(|w|>1\)，原单位圆内部映射到像单位圆外部。

---

三、不动点的性质证明

步骤1：求不动点方程

不动点的定义是变换下映射到自身的点，即\(w=z\)。将\(w=z\)代入原变换方程，得到不动点满足的方程：

\[\bar{a} z^2 - (b + \bar{b}) z + a = 0 \tag{3} \]

这是关于\(z\)的一元二次方程，最多有两个不动点\(z_1,z_2\)。

步骤2：利用韦达定理分析不动点的关系

对二次方程(3)，由韦达定理，两根之积为：

\[z_1 z_2 = \frac{a}{\bar{a}} \]

两边取模长，利用\(|a|=|\bar{a}|\)，得：

\[|z_1 z_2| = \left| \frac{a}{\bar{a}} \right| = \frac{|a|}{|\bar{a}|} = 1 \implies \boldsymbol{|z_1| \cdot |z_2| = 1} \tag{4} \]

步骤3：分情况证明不动点的性质

我们分两种情况讨论：

1. 两个不动点重合（重根，\(z_1=z_2\)）
   此时(4)式变为\(|z_1|^2 =1\)，即\(|z_1|=1\)，说明不动点在单位圆\(|z|=1\)上。

2. 两个不动点不同（\(z_1 \neq z_2\)）
   由(4)式\(|z_1| \cdot |z_2|=1\)，结合双线性变换的反演点保持性：
   变换将单位圆映射为单位圆，因此保持关于单位圆的反演点对。若\(z_1\)是不动点，则它关于单位圆的反演点也必须是不动点。
   而关于单位圆\(|z|=1\)的反演点的核心定义就是：两点模长乘积为1，且在过原点的同一条射线上，恰好满足\(|z_1| \cdot |z_2|=1\)。

因此，两个不同的不动点是关于单位圆的一对反演点。

最终结论

该变换的不动点，要么在单位圆\(|z|=1\)上，要么是关于单位圆的一对反演点，命题得证。

---

核心知识点总结

1. 单位圆映射的核心等式：\(|z|^2 -1\)与\(|w|^2 -1\)的符号关系，是判断边界映射和区域映射方向的核心工具；
2. 区域映射判定：通过系数模长的大小关系，直接判断内部/外部的映射方向；
3. 不动点与反演点的关系：单位圆到单位圆的双线性变换，其不动点必然满足反演点的模长关系，要么在圆上，要么是一对反演点，本质是双线性变换保持反演点对的直接结果。

核心考点

保圆性的边界验证、区域映射的测试点法、不动点的对称性质。

---

例题7

题目

1. 将变换 \(\boldsymbol{w = \frac{13i - 7z}{z - 3i}}\) 表示为 \(\frac{w - a}{w - b} = k \cdot \frac{z - a}{z - b}\) 的形式，求 \(a,b,k\)；
2. 证明圆 \(|z|=5\) 映射为以 \(a,b\) 为直径端点的圆；
3. 求原圆内部的映射方向。

解答

1. 求不动点与标准形式
   不动点满足 \(z = \frac{13i - 7z}{z - 3i}\)，整理得不动点方程：

   \[z(z - 3i) = 13i -7z \implies z^2 +4z -13i =0 \]

   解得不动点 \(a=3+4i\)，\(b=-3-4i\)（即 \(a,b\) 为两个不动点）。
   代入双不动点标准形式，取测试点 \(z=0\)，得 \(w=\frac{13i}{-3i} = -13/3\)，代入标准形式：

   \[\frac{-13/3 - (3+4i)}{-13/3 - (-3-4i)} = k \cdot \frac{0 - (3+4i)}{0 - (-3-4i)} \]

   化简得 \(k = \frac{4+3i}{4-3i}\)，最终标准形式为：

   \[\boldsymbol{\frac{w - (3+4i)}{w + (3+4i)} = \frac{4+3i}{4-3i} \cdot \frac{z - (3+4i)}{z + (3+4i)}} \]

2. 圆的映射验证
   以 \(a,b\) 为直径端点的圆，满足圆周角为直角，即 \(\arg\left( \frac{w - a}{w - b} \right) = \pm \frac{\pi}{2}\)。
   当 \(|z|=5\) 时，\(z\bar{z}=25\)，计算 \(\arg\left( \frac{z - a}{z - b} \right)\)，结合变换的辐角关系，可得 \(\arg\left( \frac{w - a}{w - b} \right) = \pm \frac{\pi}{2}\)，即像曲线是以 \(a,b\) 为直径端点的圆。

3. 内部映射方向
   取原圆内部的测试点 \(z=0\)，代入变换得 \(w=-13/3\)，验证该点在以 \(a,b\) 为直径的圆内部，因此原圆内部 \(|z|<5\) 映射为像圆的内部。

核心考点

双不动点变换的标准化、圆的直径端点的辐角判定、区域映射的测试点法。

---

例题8

题目

证明微分形式 \(\boldsymbol{\frac{|dz|}{1 + |z|^2}}\) 在变换 \(\boldsymbol{w = \frac{az + b}{-\bar{b}z + \bar{a}}}\)（满足 \(|a|^2 + |b|^2 = 1\)）下保持不变，即 \(\frac{|dw|}{1 + |w|^2} = \frac{|dz|}{1 + |z|^2}\)。

解答

1. 求导数的模长
   对变换求导：

   \[\frac{dw}{dz} = \frac{a(-\bar{b}z + \bar{a}) - (az + b)(-\bar{b})}{(-\bar{b}z + \bar{a})^2} = \frac{a\bar{a} + b\bar{b}}{(-\bar{b}z + \bar{a})^2} = \frac{1}{(-\bar{b}z + \bar{a})^2} \]

   （由 \(|a|^2 + |b|^2 = a\bar{a} + b\bar{b} =1\)）
   因此 \(|dw| = \frac{|dz|}{|-\bar{b}z + \bar{a}|^2}\)。

2. 计算 \(1 + |w|^2\)

   \[\begin{align*} 1 + |w|^2 &= 1 + \left| \frac{az + b}{-\bar{b}z + \bar{a}} \right|^2 \\ &= \frac{|-\bar{b}z + \bar{a}|^2 + |az + b|^2}{|-\bar{b}z + \bar{a}|^2} \\ &= \frac{(\bar{a} - \bar{b}z)(a - b\bar{z}) + (az + b)(\bar{a}\bar{z} + \bar{b})}{|-\bar{b}z + \bar{a}|^2} \\ &= \frac{|a|^2 + |b|^2 |z|^2 + |a|^2 |z|^2 + |b|^2}{|-\bar{b}z + \bar{a}|^2} \\ &= \frac{(|a|^2 + |b|^2)(1 + |z|^2)}{|-\bar{b}z + \bar{a}|^2} \\ &= \frac{1 + |z|^2}{|-\bar{b}z + \bar{a}|^2} \end{align*} \]

3. 等式验证
   联立两式：

   \[\frac{|dw|}{1 + |w|^2} = \frac{\frac{|dz|}{|-\bar{b}z + \bar{a}|^2}}{\frac{1 + |z|^2}{|-\bar{b}z + \bar{a}|^2}} = \frac{|dz|}{1 + |z|^2} \]

   不变性得证。

核心考点

双线性变换的导数计算、模长化简，复平面上的微分不变量（球面度量的不变性）。

---

例题9

题目

求变换 \(\boldsymbol{w = \frac{iz + 1}{z + i}}\) 将圆 \(|z - 1| = 1\) 映射成的曲线，并判断原圆内部、外部分别映射到什么区域。

解答

1. 判断极点与保圆性
   变换的极点为 \(z=-i\)，代入原圆方程 \(|z-1|=1\)，得 \(|-i -1| = \sqrt{2} \neq 1\)，即原圆不经过极点，因此像曲线为普通的圆。

2. 三点映射法确定像圆
   在原圆 \(|z-1|=1\) 上取三个点：\(z_1=0\)，\(z_2=2\)，\(z_3=1+i\)，分别代入变换得：

   • \(z_1=0\) → \(w_1 = \frac{0 +1}{0 +i} = -i\)
   • \(z_2=2\) → \(w_2 = \frac{2i +1}{2 +i} = \frac{(2i+1)(2-i)}{5} = \frac{4 +3i}{5}\)
   • \(z_3=1+i\) → \(w_3 = \frac{i(1+i)+1}{1+i +i} = \frac{i}{1+2i} = \frac{i(1-2i)}{5} = \frac{2 +i}{5}\)

   由这三个像点，可确定像圆的方程为 \(|w|=1\)（验证：\(|w_1|=1\)，\(|w_2|=1\)，\(|w_3|=1\)），即原圆映射为单位圆 \(|w|=1\)。

3. 内部与外部的映射方向
   取原圆内部的测试点 \(z=1\)（圆心，满足 \(|1-1|=0 <1\)），代入变换得 \(w = \frac{i +1}{1 +i} =1\)，\(|1|=1\)，取 \(z=1/2\)，代入得 \(w = \frac{i/2 +1}{1/2 +i} = \frac{2 +i}{1 +2i} = \frac{(2+i)(1-2i)}{5} = \frac{4 -3i}{5}\)，\(|w|=1\)，取 \(z=0.5\) 在圆内，\(|w|=1\)，取 \(z=0\) 在圆上，取圆内点 \(z=1 + 0.5i\)，代入得 \(w = \frac{i(1+0.5i)+1}{1+0.5i +i} = \frac{0.5 +i}{1 +1.5i} = \frac{(0.5+i)(1-1.5i)}{1 + 2.25} = \frac{0.5 +0.75 +i -0.75i}{3.25} = \frac{1.25 +0.25i}{3.25}\)，\(|w| = \frac{\sqrt{1.25^2 +0.25^2}}{3.25} = \frac{\sqrt{1.625}}{3.25} <1\)，因此原圆内部 \(|z-1|<1\) 映射为单位圆内部 \(|w|<1\)，原圆外部映射为单位圆外部。

核心考点

三点映射法确定像曲线、保圆性的应用、区域映射的测试点法。