問題
を正の実数とする。
(1) が1でないとき,複素数についての方程式
を考える。この方程式を満たす全体の集合を複素数平面上に図示せよ。
(2) 方程式
をともに満たす複素数が存在するようなの範囲を求めよ。
方針
解法1(実部・虚部による座標計算)
とおき,絶対値の方程式を両辺2乗して円の方程式に直す。 では因数 で割れないため,(2) で必ず別扱いする。 のとき第2方程式は ,第1方程式 と合わせて が決まる。あとは半径 の円上にその 座標をもつ点が存在する条件,つまり と を解く。
解法2(絶対値の恒等式と2円の交点条件)
絶対値を2乗した差を と でまとめ、軌跡を円として得る。(2) は原点中心の円との交点条件を、中心間距離と半径から判定する。
解答
解法1(実部・虚部による座標計算)
(1)
とおく。このとき であり,また だから である。両辺は0以上なので,与えられた方程式は,両辺を2乗して と同値である。
これを整理する。左辺から右辺を引くと となる。したがって である。いま なので である。平方完成すると となる。よって求める集合は
である。この円は原点と点 を通る。
(2)
まず の場合を調べる。このとき は となり,すべての で成り立つ。さらに を満たす は存在する。したがって は条件を満たす。
以下, とする。(1)より第2の方程式は と同値である。一方,第1の方程式は である。したがって,解が存在するためにはまず が必要である。また と より である。
半径 の円 上に,この 座標をもつ点が存在するための条件は である。よって存在条件は である。 である。 のとき,すなわち のときは が解となる。 のときは,不等式を で割って すなわち である。これは であり, より を得る。 と合わせて である。
以上より,求める範囲は である。
例えば のとき、2円の位置関係は次の図のようになる。
解法2(絶対値の恒等式と2円の交点条件)
(1)
とする代わりに実部を用いて整理する。直接展開すると
である。与式の両辺は非負なので、絶対値の等式は2乗後の等式と同値である。 より
である。 と戻せば
したがって、軌跡は中心 、半径 の円である。
(2)
のとき、絶対値の方程式は恒等的に成り立ち、 を満たす が存在するので適する。
以下 とする。(1) の円を 、 が表す円を とする。2円の中心間距離と の半径はいずれも 、 の半径は である。よってまず が必要である。2円が共有点をもつ条件
の右側は自明であり、左側は と同値である。したがって
より前者は となるので、 である。特別な場合 を加え、
を得る。端点 でも2円は接して共有点をもつ。