为了证明分式线性变换 (7.3) 在扩充 z z z 平面上是共形的,我们只要证明 (I) 和(II) 型变换在扩充 z z z 平面上是保角的, 因为 (7.3) 在扩充 z z z
平面上是单叶的.
对于 (II) 型变换 w = 1 z w=\frac{1}{z} w=z1 来说, 只要 z ≠ 0 , z ≠ ∞ z \neq 0, z \neq \infty z=0,z=∞,
则有
d w d z = − 1 z 2 ≠ 0 , \frac{\mathrm{d} w}{\mathrm{~d} z}=-\frac{1}{z^{2}} \neq 0, dzdw=−z21=0,
根据定理 7.4, 即知在 z ≠ 0 , z ≠ ∞ z \neq 0, z \neq \infty z