方針
とおき、 を原点中心半径2の円に、 を2点 、 から等距離の直線に直す。共通解は円と直線の交点として求める。最後に2つの共通解の積 を極形式にし、 が負の実数となる偏角条件を を法とする合同条件で表す。整数 は負の場合も含めて扱う。
解答
(1) とおく。すると であるから、方程式 は を表す。これは複素数平面上で、原点を中心とする半径 の円である。
次に、 は、点 と点 からの距離が等しい点の集合である。式で整理すると であり、展開して を得る。したがって方程式 は、線分 の垂直二等分線である直線 を表す。
(2)
共通解は の交点である。直線から である。これを円の式に代入すると となり、 すなわち である。よって である。 のとき 、 のとき である。したがって共通解は である。
別解。共通解は極形式で求めてもよい。 より とおける。このとき の直線条件 は すなわち である。左辺は だから となる。したがって を得て、共通解は 、 である。これは座標で求めた結果と一致する。
(3)
(2) で求めたすべての複素数の積は である。絶対値は であり、偏角は ととれる。したがってである。
整数 に対してである。 は正の実数なので、 が負の実数となるための必要十分条件は である。これは すなわち と同値である。
よって求める条件は である。
別解
別解(複素内積と6乗周期)
方針
等距離条件を絶対値の2乗で展開し、実部条件として扱う。円との交点は単位複素数の偏角で求め、最後は正規化した複素数の6乗周期から整数条件を読む。
解答
(1)
第1の方程式はだから、原点中心・半径2の円を表す。第2の方程式で と置くと、 だからこれは0と の垂直二等分線であり、 とすれば である。
(2)
より 、 と置く。 とすれば、(1) とからしたがってよって共通解はである。
(3)
積は である。正規化してと置く。直接計算するとしたがって整数 に対し は を6で割った余りだけで決まり、負の実数となるのは余りが3のときに限る。 で は負の整数 に対しても成り立つから、必要十分条件はすなわちである。
総評
複素数平面の図形解釈と整数条件を結ぶ問題。目安時間は12〜16分。 は円、等距離条件は垂直二等分線であり、座標計算と実部条件の2解法で交点を検算できる。(3) はド・モアブルの定理による偏角合同と、 の周期性が独立な説明になる。公式講評では交点座標の書き落とし、不正確な図、絶対値を 乗し忘れる誤答が指摘された。 と「整数 」を明示し、 まで書く。