問題
複素数平面上に3点,,を頂点とするがある。ただし,は原点とする。の外心をとする。3点,,が表す複素数を,それぞれ,,とするとき,
が成り立つとする。
(1) 複素数の満たすべき条件を求め,点が描く図形を複素数平面上に図示せよ。
(2) 点の存在範囲を求め,複素数平面上に図示せよ。
出典:北海道大学 2017年度 前期日程 第2次学力試験 理系 前期 第3問
方針
外心条件を と書き、 を代入して 、 を得る。よって はともに実部 の直線上にある。、 とおいて の実部・虚部を計算し、 による境界除外まで確認する。
解答
(1)
点 は三角形 の外心なので である。また仮定より である。 は原点 と異なるので である。そこで に を代入すると となる。 で割って を得る。
これは点 が複素数平面上の2点 から等距離にあることを表す。したがって は線分 の垂直二等分線上にあり、 を満たす。すなわち である。ただし は実数である。点 の軌跡は、実部が である直線である。
(2)
同様に に を代入すると である。よって とおける。三角形 が退化しないためには であり、この表示では である。
このとき
である。 と書くと である。和 を固定すると、2つの実数 について であり、等号は のときに限る。ここでは なので である。したがって を得る。
逆に、 を満たす点 に対しては、和 、積 をもつ相異なる2実数 を選べる。よって点 の存在範囲は で表される領域である。境界の放物線 は含まない。
別解。外心 を中心とし原点を通る円は、任意の点 について すなわち で表される。ここに 、 を代入すると
であり、 より を得る。同様に から が出る。以後は主解と同じく 、 と置いて範囲を求めればよい。