複素数の一次分数変換は,「円または直線」を「円または直線」に移すことが知られていますので,この観点から調べてみましょう.
を互いに異なる複素数とする.
は実数とする.
を実数のパラメータとする.
このとき,
は同一直線上または同一円周上にある.
- は同一直線上にある.(実軸上)
- は同一直線上にある.(平行移動したので)
は同一直線上または同一円周上にある.(反転したので)
は同一直線上または同一円周上にある.(をかけたので)
は同一直線上または同一円周上にある.(平行移動したので)
は同一直線上または同一円周上にある.(をかけたので)
のとき
は同一直線上にはないので,とおくと,
は同一円周上にある.