問題
を複素数とする。 をみたす複素数 に対して、 と定める。 をみたすようなすべての に対して、 が成り立つ。次の問いに答えよ。
(1) を求めよ。
(2) をみたす を求めよ。
(3) とし、 かつ とする。複素数平面上の3点 を考える。直線 と直線 が垂直に交わるような点 の全体が表す図形を、複素数平面上に図示せよ。
方針
解法1
(1) は と変形し、円 上のすべての点が同じ円 上にある条件を使う。(3) は とおき、内積条件を複素数の実部で表して軌跡を出す。
解法2
(1)は が表す2つの円の一致から決める。(3)は とおき、点 を実座標で表して内積を直接計算し、除外点を最後に戻す。
解答
解法1
(1)
である。したがって は
を意味する。これは中心 、半径 の円である。この円が 上のすべての点を含むためには、2つの円が一致しなければならない。よって
であり、 である。
(2)
より
である。 とすると
であり、 のもとで
を得る。したがって
である。
(3)
とおくと、 であり、 は に対応する。また
である。 とおく。 と が垂直である条件は
である。 に注意して整理すると
すなわち
である。後者は 、すなわち であり除かれる。よって である。
したがって点 の全体は実軸である。ただし 、すなわち は に反するので除く。よって、図形は複素数平面の実軸から点 を除いたものである。
解法2
(1)
だから、 上のすべての に対して
が成り立つ。左辺の条件が表す円は中心 、半径 であり、中心 、半径 の円と一致する。よって
から
(2)
なので、 は
したがって
(3)
とおく。 より である。また
したがって、実座標で
よって
垂直条件は内積が であることだから、両辺に を掛けて
より なので
したがって
これは が実軸上にあることを意味する。ただし だから は除く。
よって求める図形は、複素数平面の実軸から点 を除いたものである。