方針
円の中心が実軸上にあるので、中心を実数 とおき、 を式にする。, として、 と から を消去する。結果は となるが、3点が相異なる条件から などの例外を除く。半径は、単位円の場合も虚軸の場合も に統一される。
解答
とし、 とおく。また円の中心は実軸上にあるので、中心を実数 とする。条件は である。
まず より である。整理すると だから
\begin{equation*}
2h(1-x)=1-r^2 (1)
\end{equation*}
である。
次に を用いる。 の実部は 、絶対値は であるから である。したがって より
\begin{equation*}
2h(1-x^2+y^2)=1-r^4 (2)
\end{equation*}
である。
(1) ,(2)から を消去する。計算を整理すると を得る。ここで は を表すが、3点 が相異なるという条件に反するので除く。
したがって候補は または である。 の場合、 は単位円上にある。このとき はもちろん除く。また なら となり、3点が相異ならないので除く。よって である。 の場合、 は虚軸上にある。 なら で3点が相異ならないので除く。したがって である。
以上より、求める範囲は単位円 から を除いた部分と、虚軸から0を除いた部分の和である。
最後に円の半径を求める。 の場合は中心 であり、半径は1である。これは と一致する。
虚軸の場合、 なので(1)から である。円の半径 は点1から中心 までの距離だから である。したがって、どちらの場合も円の半径は である。
の存在範囲
別解
解法2
方針
実軸上の中心を とする円の方程式を、複素数 に対して と書く。 を代入して差を取り、候補となる単位円と虚軸を幾何的に確認する。
解答
、、円の中心を実数 とする。点 と が同じ円上にある条件はすなわち同様に、点 と について(1),(2)を消去すると最後の因子は であり、3点が相異なる条件に反する。したがって単位円上では を除く。虚軸上では を除く。逆に、単位円上の許された点では中心0の単位円が条件を満たす。虚軸上で なら、3点はであり、中心の円上にある。よってこの二つの軌跡が必要十分である。
半径 は単位円の場合に 。虚軸の場合にはしたがって両方をまとめてである。
総評
難度7、計算量6。目安時間は25〜33分。中心が実軸上にあることを と置き、3点までの距離が等しい条件を2乗して処理するのが基本である。消去後の式から と が出るが、3点が相異なる条件により は除外する必要がある。半径は場合ごとに中心を確認すれば、最終的に にそろう。図示では単位円と虚軸の除外点を明確にしたい。