問題
を正の実数とする。
(1) が1でないとき,複素数についての方程式
を考える。この方程式を満たす全体の集合を複素数平面上に図示せよ。
(2) 方程式
をともに満たす複素数が存在するようなの範囲を求めよ。
方針
とおき,絶対値の方程式を両辺2乗して円の方程式に直す。 では因数 で割れないため,(2) で必ず別扱いする。 のとき第2方程式は ,第1方程式 と合わせて が決まる。あとは半径 の円上にその 座標をもつ点が存在する条件,つまり と を解く。
解答
(1)
とおく。このとき であり,また だから である。両辺は0以上なので,与えられた方程式は,両辺を2乗して と同値である。
これを整理する。左辺から右辺を引くと となる。したがって である。いま なので である。平方完成すると となる。よって求める集合は
である。この円は原点と点 を通る。
(2)
まず の場合を調べる。このとき は となり,すべての で成り立つ。さらに を満たす は存在する。したがって は条件を満たす。
以下, とする。(1)より第2の方程式は と同値である。一方,第1の方程式は である。したがって,解が存在するためにはまず が必要である。また と より である。
半径 の円 上に,この 座標をもつ点が存在するための条件は である。よって存在条件は である。 である。 のとき,すなわち のときは が解となる。 のときは,不等式を で割って すなわち である。これは であり, より を得る。 と合わせて である。
以上より,求める範囲は である。
別解。 のとき,(1) の集合は中心 ,半径 の円である。もう一方の式 は,中心が原点で半径 の円である。2円が交わる条件を用いてもよい。中心間距離は で,(1) の円の半径も だから,交点が存在する条件は かつ である。これは と同値で, より を得る。これに特別な場合 を加えて同じ答えになる。