複素数の分数の実数化（分母の有理化の複素数版）

分母に複素数が含まれる分数は、そのままでは扱いにくい形をしています。これを実数の分母に変換する操作が「分母の実数化」です。考え方は平方根の有理化とまったく同じで、分母の共役複素数を分子・分母の両方に掛けるだけです。

共役複素数とは

実数化の手順に入る前に、共役複素数について確認しておきましょう。複素数 $a+bi$ に対して、虚部の符号を反転させた $a-bi$ を共役複素数といいます。

共役複素数の最も重要な性質は、元の複素数と掛け合わせると実数になることです。

$$\begin{array}{rl}(a+bi)(a-bi)& =a^2-(bi{)}^2\\ & =a^2-b^2{i}^2\\ & =a^2+b^2\end{array}$$

$i^2=-1$ なので、虚数部分が消えて $a^2+b^2$ という実数だけが残ります。これは平方根の有理化で $(\sqrt{a}+\sqrt{b})(\sqrt{a}-\sqrt{b})=a-b$ となるのと同じ構造です。

実数化の公式

分母が $a+bi$ の場合、分子・分母に $a-bi$ を掛けます。

$$\frac{c+di}{a+bi}=\frac{(c+di)(a-bi)}{(a+bi)(a-bi)}=\frac{(c+di)(a-bi)}{a^2+b^2}$$

分母が $a-bi$ の場合は、逆に $a+bi$ を掛けます。

$$\frac{c+di}{a-bi}=\frac{(c+di)(a+bi)}{(a-bi)(a+bi)}=\frac{(c+di)(a+bi)}{a^2+b^2}$$

どちらの場合も、分母の虚部の符号を反転させたものを掛けるという点は共通しています。

例題 1：最もシンプルなケース

$$\frac{1}{i}$$

分母は $0+1\cdot i$ なので、共役複素数は $-i$ です。分子・分母に $-i$ を掛けると、

$$\begin{array}{r}\frac{1}{i}=\frac{1\cdot (-i)}{i\cdot (-i)}=\frac{-i}{-i^2}=\frac{-i}{1}=-i\end{array}$$

$\frac{1}{i}=-i$ という結果は一見意外に感じるかもしれません。検算として $(-i)\cdot i=-i^2=1$ を確認すれば、確かに正しいとわかります。

例題 2：きれいに割り切れるケース

$$\frac{25}{3+4i}$$

共役複素数 $3-4i$ を掛けます。

$$\begin{array}{rl}\frac{25}{3+4i}& =\frac{25(3-4i)}{(3+4i)(3-4i)}\\ & =\frac{25(3-4i)}{9+16}\\ & =\frac{25(3-4i)}{25}\\ & =3-4i\end{array}$$

分母が $3^2+4^2=25$ となり、分子の $25$ ときれいに約分できました。このように分母の実部と虚部がピタゴラス数の組み合わせになっていると、計算が簡潔になります。

例題 3：分子も複素数のケース

$$\frac{3+i}{1+2i}$$

共役複素数 $1-2i$ を掛けます。

$$\begin{array}{rl}\frac{3+i}{1+2i}& =\frac{(3+i)(1-2i)}{(1+2i)(1-2i)}\end{array}$$

まず分母を計算すると $1^2+2^2=5$ です。分子は展開して、

$$\begin{array}{rl}(3+i)(1-2i)& =3\cdot 1+3\cdot (-2i)+i\cdot 1+i\cdot (-2i)\\ & =3-6i+i-2i^2\\ & =3-5i+2\\ & =5-5i\end{array}$$

よって、

$$\frac{5-5i}{5}=1-i$$

検算として $(1-i)(1+2i)=1+2i-i-2i^2=1+i+2=3+i$ となり、元の分子と一致します。

例題 4：分母が純虚数のケース

$$\frac{2+3i}{5i}$$

$5i$ の共役複素数は $-5i$ です。

$$\begin{array}{rl}\frac{2+3i}{5i}& =\frac{(2+3i)(-5i)}{5i\cdot (-5i)}\\ & =\frac{-10i-15i^2}{-25i^2}\\ & =\frac{15-10i}{25}\\ & =\frac{3}{5}-\frac{2}{5}i\end{array}$$

分母が純虚数（実部が $0$）のときも、やることは同じです。$i$ の共役は $-i$ ですから、$-5i$ を掛ければ分母が実数になります。

例題 5：やや複雑なケース

$$\frac{4-3i}{2+i}$$

共役複素数 $2-i$ を掛けます。

$$\begin{array}{rl}\frac{(4-3i)(2-i)}{(2+i)(2-i)}& =\frac{8-4i-6i+3i^2}{4+1}\\ & =\frac{8-10i-3}{5}\\ & =\frac{5-10i}{5}\\ & =1-2i\end{array}$$

分子の展開で $i^2=-1$ を使う箇所は符号ミスが起きやすいポイントです。$3i\cdot i=3i^2=-3$ と丁寧に処理しましょう。

有理化との比較

平方根の有理化と複素数の実数化は、本質的に同じテクニックです。

どちらも「和と差の積」によって厄介な項を消すという発想に基づいています。平方根では $(\sqrt{b}{)}^2=b$ で根号が消え、複素数では $(bi{)}^2=-b^2$ で虚数が消えるという違いはありますが、式の構造は同じです。

よくある計算ミス

分母の実数化では、いくつかの箇所でミスが起きやすくなります。

練習問題

分母の実数化は、複素数の計算で避けて通れない基本操作。「共役複素数を掛けて分母を実数にする」という一手順さえ覚えておけば、あとは丁寧に展開して $i^2=-1$ を処理するだけです。