https://spherical-harmonics.hateblo.jp/entry/2019/02/28/053059

2019.2.28記

$a,b$ を複素数、 $c$ を純虚数でない複素数とし、 $i$ を虚数単位とする。複素数平面において、点 $z$ が虚軸全体を動くとき、
$w=\dfrac{az+b}{cz+1}$
で定まる点 $w$ の軌跡を $C$ とする。次の3条件が満たされているとする。

(ア) $z=i$ のときに $w=i$ となり) $z=-i$ のときに $w=-i$ となる。

(イ) $C$ は単位円の周に含まれる。

(ウ)点 $-1$ は $C$ に属さない。

このとき $a,b,c$ の値を求めよ。さらに $C$ を求め、複素数平面上に図示せよ。

本問のテーマ

メビウス変換

2019.2.28記
中の人（その後東北大に異動）が、ツイッターで予備校の解法を批判していたので見てみたところ、問題文の書き方が「単位円の周に含まれる」「点 $-1$ は $C$ に属さない」と書いている以上、「単位円のどの部分を動き、どの部分が除外されるかきちんと議論して欲しい」という欲求があることは予想できると思う。

ただ、中の人の、「変な計算テクニックや結果の暗記」の部分が何を指しているか謎。1/6公式とかでしょうか。理解して結果を暗記することは悪いことだと思わないけど。不定積分だって多くのものは結果を暗記しているし。

$C$ のどの部分を動き得るかについては、以下の記述で十分。スペースもほとんど不要。答案用紙のスペースに入る方法を教えて欲しいとツイッターで書いていた予備校講師がいたが大丈夫か？予備校講師は逆像法(逆手流)に毒され過ぎていないか？

$w=\dfrac{z+1}{-z+1}$ による虚軸の像を求めるので、 $z=yi$ ( $y$ は実数)を代入すると $w=\dfrac{1+yi}{1-yi}=\dfrac{(1-y^2)+2yi}{1+y^2}$ となる。 $y=\tan\dfrac{\theta}{2}$ とおくと、 $\theta$ の変域は $-\pi\lt\theta\lt\pi$ となり、 $w=\cos\theta+i\sin\theta$ となるので、 $w$ の軌跡 $C$ は単位円から $\theta=\pi(,-\pi)$ に対応する $-1$ を除いたすべての点である。

2019.2.28追記
メビウス変換は無限遠点を含めると全単射だから、虚軸上の無限遠点の像 $w=-1$ を $C$ から除いたものが求める軌跡になることは明らかです(誰にとってかは知らない)。

[大人の解答]
メビウス変換の円々対応（直線は無限遠点を通る広義の円と考える）により， $C$ は広義の円となる．

メビウス変換は $pwz+qz+rw+s=0$ の形になっており，点 $(Ri，-1+\epsilon)，(i，i)，(-i，-i)$ ( $R\to\infty$ で $\epsilon\to 0$ ）を通るので形式的に
$\mbox{det} \begin{pmatrix} wz & z & w & 1 \\-Ri-\epsilon & Ri & -1+\epsilon & 1 \\ -1 & i & i & 1 \\ -1 & -i & -i & 1 \end{pmatrix}=0$
と表すことができる． $R\to\infty$ とするために
$\mbox{det} \begin{pmatrix} wz & z & w & 1 \\-1-\dfrac{\epsilon}{Ri} &1 & \dfrac{-1+\epsilon}{Ri} & \dfrac{1}{Ri} \\ -1 & i & i & 1 \\ -1 & -i & -i & 1 \end{pmatrix}=0$
と変形することにより
$R\to\infty$ で $\mbox{det} \begin{pmatrix} wz & z & w & 1 \\-1 &1 & 0 &0 \\ -1 & i & i & 1 \\ -1 & -i & -i & 1 \end{pmatrix}=0$
となり，これが求めるメビウス変換となる．ここで列の基本変形により
$\mbox{det} \begin{pmatrix} wz+z-w+1 & 0 & 0 & 0 \\-1 & 1 & 0 &0 \\ 0 & 1 & 1 & 0 \\ -1 & 0 & 0 & 1 \end{pmatrix}=0$
と変形できるので，左辺の行列式を計算すると $wz+z-w+1=0$ ，すなわち $w=\dfrac{z+1}{-z+1}$ となる．

軌跡の限界は無限遠点を含めると $i，-i，-1$ の3点を通る円，つまり単位円全体であるが，高校生的には無限遠点の像 $-1$ を除いたものとなる．

メビウス変換を求める公式を用いると

[大人の解答]
$(z_1，w_1)=(i，i)，(z_2，w_2)=(-i，-i)，(z_3，w_3)=(\infty，-1)$ を通る1次分数関数は公式から
$w=\dfrac{w_1(w_3-w_2)(z_3-z_1)(z-z_2)-w_2(w_3-w_1)(z_3-z_2)(z-z_1)}{(w_3-w_2)(z_3-z_1)(z-z_2)-(w_3-w_1)(z_3-z_2)(z-z_1)}$ $=\dfrac{w_1(w_3-w_2)(z-z_2)-w_2(w_3-w_1)(z-z_1)}{(w_3-w_2)(z-z_2)-(w_3-w_1)(z-z_1)}$ $=\dfrac{-2iz-2i}{2iz-2i}$ $=\dfrac{z+1}{-z+1}$
である．（以下略）

となるが，こんな公式はまぁ覚えていない．

2019.03.01追記
駿台の解答が訂正された。軌跡の限界を簡単に議論しようとすると、数学を教える人であれば $y=\tan\dfrac{\theta}{2}$ とおくのが自然。 $\dfrac{1-t^2}{1+t^2},\dfrac{2t}{1+t^2}$ の形をみて $t=\tan\dfrac{\theta}{2}$ を思いつかないと、高校の数学を教えるのはちょっと困るよね。これから単位円上には $x,y$ 座標の両方が有理数の点が無数にあることがわかり、これから3辺の長さの比が互いに素な整数からなる直角3角形の形状が無数にあることもわかる。この表示だと全種類を知ることができる。

なお、3辺が整数比の直角3角形の形状が無数にある(原始ピタゴラス数が無数にある)こと自体は、
$n^2+(2n+1)=(n+1)^2$
において、 $2n+1=m^2$ なる $m,n$ の組が無数にあり、 $(m,n,n+1)$ の3辺比の互いに相似にならない直角3角形が作られることからもわかる。互いに相似にならないことは、最大辺と2番目に大きな辺の長さの差が1なので、相似となる場合は一致しなければならないことから証明できる。

$m=3,5,7,...$ とするとピタゴラス数 $(3,4,5),(5,12,13),(7,24,25),(9,40,41),(11,60,61)...$ と次々に作り出すことができる。
もちろん、 $(8,15,7)$ や $(20,21,29)$ などのピタゴラス数は、この作り方では登場しない。

この作り方は、全てのピタゴラス数を生成できないということからあまり知られていないような気がする。普通教えるときは全部生成できる方法を教えるから。でも、全部生成できる $(m^2-n^2,2mn,m^2+n^2)$ を教える前に、ちょっと話してもいいんじゃなイカと思う。