【基本】複素数平面と円

🕒 2019/02/13 🔄 2023/05/01

ここでは、複素数平面上で、円をどのように表すかを見ていきます。

📘 目次

複素数平面と絶対値の復習

【基本】複素数平面と絶対値で見たように、絶対値とは、原点との距離を表します。 $|1+i|$ であれば、点 $1+i$ と原点との距離、つまり、 $\sqrt{1^2+1^2}=\sqrt{2}$ を表すということです。

実部と虚部を使って絶対値を表すこともできますが、共役複素数を用いた\[ |\alpha|^2=\alpha\overline{\alpha} \]という表し方もよく使われます。

また、原点との距離ではなく、2点間の距離であれば、差の絶対値で表すことができます。点 $\mathrm{A}(\alpha)$ と点 $\mathrm{B}(\beta)$ との距離であれば、 $|\beta-\alpha|$ で表すことができます。

これらを利用すると、複素数平面上での円を、等式で表すことができるようになります。

複素数平面と円

複素数平面で、点 $\alpha$ を中心とした半径 $r$ の円について考えてみましょう。 $r$ は正の実数とします。

この円上の点を $z$ とすると、中心との距離が $r$ ということなので、さきほどの絶対値を用いて\[ |z-\alpha|=r \]が成り立つことがわかります。逆に、これを満たす $z$ は円上の点でもあることから、この式が円の方程式であることがわかります。

複素数平面と円

$\alpha$ を複素数、 $r$ を正の実数とする。このとき、点 $\alpha$ を中心とする半径 $r$ の円は、次の方程式を満たす点 $z$ 全体である。\[ |z-\alpha|=r \]

例えば、 $|z|=3$ であれば、原点を中心とした半径 $3$ の円です。 $|z-i|=1$ であれば、点 $i$ を中心とした半径 $1$ の円です。 $|z+1+i|=2$ なら、点 $-1-i$ を中心とした半径 $2$ の円となります。

距離の比と軌跡

円の方程式を用いて、次の問題を考えてみましょう。【基本】軌跡（距離の比と円）で見た内容を、複素数平面に置き換えたものです。

例題

複素数平面上で、原点 O からの距離と $\mathrm{ A }(3)$ からの距離の比が $2:1$ である点 P の軌跡を求めなさい。

点 P に対応する複素数を $z$ と置きましょう。OP の長さは $|z|$ です。また、 AP の長さは $|z-3|$ です。よって、 $z$ が満たす条件式は\[ 2|z-3|=|z| \]となります。

このままでは、 $z$ がどのような図形上を動くのかわからないので、この式を変形していきましょう。両辺とも正なので2乗して変形していくと
\begin{eqnarray} 2^2|z-3|^2 &=& |z|^2 \\[5pt] 4(z-3)(\overline{z-3}) &=& z\overline{z} \\[5pt] 4(z-3)(\overline{z}-3) &=& z\overline{z} \\[5pt] 4z\overline{z}-12z-12\overline{z}+36 &=& z\overline{z} \\[5pt] 3z\overline{z}-12z-12\overline{z}+36 &=& 0 \\[5pt] z\overline{z}-4z-4\overline{z}+12 &=& 0 \\[5pt] \end{eqnarray}となります。ここで、 $-4z-4\overline{z}$ の部分がうまく積で表現できるように変形していきます。 \begin{eqnarray} z\overline{z}-4z-4\overline{z}+12 &=& 0 \\[5pt] (z-4)(\overline{z}-4)-16+12 &=& 0 \\[5pt] (z-4)(\overline{z-4}) &=& 4 \\[5pt] |z-4|^2 &=& 2^2 \\[5pt] |z-4| &=& 2 \\[5pt] \end{eqnarray}となります。この式から、軌跡は、点 $4$ を中心とする半径 $2$ の円であることがわかります。