で定まる点の軌跡をとする。次の3条件が満たされているとする。
(ア)のときにとなり)のときにとなる。
(イ)は単位円の周に含まれる。
(ウ)点はに属さない。
このときの値を求めよ。さらにを求め、複素数平面上に図示せよ。
解説:メビウス変換。
中の人が、ツイッターで予備校の解法を批判していたので見てみたところ、問題文の書き方が「単位円の周に含まれる」「点はに属さない」と書いている以上、「単位円のどの部分を動き、どの部分が除外されるかきちんと議論して欲しい」という欲求があることは予想できると思う。
ただ、中の人の、「変な計算テクニックや結果の暗記」の部分が何を指しているか謎。1/6公式とかでしょうか。理解して結果を暗記することは悪いことだと思わないけど。不定積分だって多くのものは結果を暗記しているし。
のどの部分を動き得るかについては、以下の記述で十分。スペースもほとんど不要。答案用紙のスペースに入る方法を教えて欲しいとツイッターで書いていた予備校講師がいたが大丈夫か?予備校講師は逆像法(逆手流)に毒され過ぎていないか?
による虚軸の像を求めるので、(は実数)を代入するととなる。とおくと、の変域はとなり、となるので、の軌跡は単位円からに対応するを除いたすべての点である。
2019.2.28追記
メビウス変換は無限遠点を含めると全単射だから、虚軸上の無限遠点の像をから除いたものが求める軌跡になることは明らかです(誰にとってかは知らない)。
大人の解法:
メビウス変換は、の形になっており、点(でを通るので、形式的に
から
と求められ、
でとなる。
よって、を整理してとなる。軌跡の限界は、無限遠点を含めるとの3点を通る円、つまり単位円全体であるが、高校生的には無限遠点の像を除いたものとなる。
もちろん、を通るので公式から
と求まるが、こんな公式はまぁ覚えていない。
2019.03.01追記
駿台の解答が訂正された。軌跡の限界を簡単に議論しようとすると、数学を教える人であればとおくのが自然。の形をみてを思いつかないと、高校の数学を教えるのはちょっと困るよね。これから単位円上には座標の両方が有理数の点が無数にあることがわかり、これから3辺の長さの比が互いに素な整数からなる直角3角形の形状が無数にあることもわかる。この表示だと全種類を知ることができる。
なお、3辺が整数比の直角3角形の形状が無数にある(原始ピタゴラス数が無数にある)こと自体は、
において、なるの組が無数にあり、の3辺比の互いに相似にならない直角3角形が作られることからもわかる。互いに相似にならないことは、最大辺と2番目に大きな辺の長さの差が1なので、相似となる場合は一致しなければならないことから証明できる。
とするとピタゴラス数と次々に作り出すことができる。
もちろん、やなどのピタゴラス数は、この作り方では登場しない。
この作り方は、全てのピタゴラス数を生成できないということからあまり知られていないような気がする。普通教えるときは全部生成できる方法を教えるから。でも、全部生成できるを教える前に、ちょっと話してもいいんじゃなイカと思う。