形如 (I) 的整线性变换, 显然将圆周 (直线) 变为圆周 (直线), 这可由变换 (I)的几何意义得知.
形如 (II) 的反演变换将圆周 (直线) 变为圆周或直线. 事实上,圆周或直线可表示为 (见第一章习题 (一)第 8 题)
A z z ˉ + β ˉ z + β z ˉ + C = 0 ( A , C 为实数, ∣ β ∣ 2 > A C ), A z \bar{z}+\bar{\beta} z+\beta \bar{z}+C=0 \quad\left(A, C \text { 为实数, }|\beta|^{2}>A C\right. \text { ), } Azzˉ+βˉz+βzˉ+C=0(A,C 为实数, ∣β∣2>AC ),
当 A = 0 A=0 A=0 时就表示直线.经过反演变换 w = 1 z , ( 7.11 ) w=\frac{1}{z},(7.11) w=z1,(7.11) 成为
C w w ˉ + β ˉ w ˉ + β w + A = 0. C w \bar{w}+\bar{\beta} \bar{w}+\beta w+A=0 . Cwwˉ+βˉwˉ+βw+A=0.
它表示直线或圆周 (视 C C C 是否为零而定).
因为分式线性变换 (7.3) 是几个 (I) 和 (II) 型变换的复合, 这样,我们就证明了:
定理 7.10
分式线性变换将平面上的圆周 (直线)变为圆周或直线.
注 在扩充平面上, 直线可视为经过无穷远点的圆周.事实上, (7.11) 可改写为
A + β ˉ z + β z + C z z = 0 , A+\frac{\bar{\beta}}{z}+\frac{\beta}{z}+\frac{C}{z z}=0, A+z