問題
複素数平面上の原点以外の相異なる2点,を考える。,を通る直線を,原点からに引いた垂線との交点をとする。ただし,複素数が表す点をとかく。このとき,
「であるための必要十分条件は,,が中心,半径の円周上にあることである。」
を示せ。
方針
円 の条件を、 に対して の実部が である条件に変換する。十分性では 、 とおき、 が直線 上にあることと、 からその点へ向かう方向が直線 に垂直であることを、複素数の比が実数・純虚数になる条件で示す。必要性ではこの2条件を逆に使って、、 の実部が であることを導く。
解答
まず円の条件を書き換える。 について は、両辺を2乗して すなわち と同値である。さらに で割ると であり、これは の実部が であることと同値である。
十分性を示す。 がこの円周上にあるとする。すると実数 を用いて と書ける。 より である。このとき
である。
まず が直線 上にあることを示す。直線上にあるためには が実数であればよい。実際、上の式を用いると
であり、 から なので
となる。これは実数である。
次に、原点から へ向かう方向が直線 に垂直であることを示す。直線 の方向は であるから、
は純虚数である。したがって と を結ぶ直線は に垂直である。以上より、原点から直線 に下ろした垂線の足は である。
必要性を示す。逆に であるとする。垂線の足は直線 上にあるから、 は直線 上にある。よって は実数である。また から への方向は に垂直なので は純虚数である。
したがって、前者を後者で割った は純虚数である。よって の実部は であり、上で示した円の条件から は中心 、半径 の円周上にある。
同様に、 が直線 上にあることから は実数であり、垂直条件から は純虚数である。両者の商 は純虚数なので、 の実部も である。したがって も同じ円周上にある。
以上により、 であるための必要十分条件は、 が中心 、半径 の円周上にあることである。
別解。円周上の点を と表すと、この円は原点を通る円であり、直線 の方向と 、 の関係が計算しやすくなる。実数媒介変数 によって が一行で出るため、直線上条件と垂直条件が同時に確認できる。