有理化

有理化について

数学における「有理化」とは、根号を含む数式、特に分数における平方根を取り除くための技術を指します。この操作は、式を計算する際の利便性を向上させるために用いられます。たとえば、分母に根号が存在する場合、それを有理数に変換することで計算が簡単になります。

有理化の例

具体的な例を見てみましょう。次の式を考えます。

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

この式の分母の有理化を行うには、分母と分子に分母の共役である $2 - \sqrt{3}$ を掛けます。

egin{align}
\frac{1}{2 + \sqrt{3}} & = \frac{1(2 - \sqrt{3})}{(2 + \sqrt{3})(2 - \sqrt{3})} \\
& = \frac{2 - \sqrt{3}}{4 - 3} \\
& = 2 - \sqrt{3}
\end{align}

このように、分母を有理化することで計算された結果は、根号のない表現になりました。

抽象代数学における有理化

代数的な観点から見ると、有理化はもっと深い意味を持ちます。たとえば、$
\mathbb{Q}
$（有理数体）内の無理数 $d$ に対して、新たな体 $
\mathbb{Q}(\sqrt{d})$ を考えることができます。この体では、元は $a + b\sqrt{d}$ の形で書かれ、ここで $a, b$ は有理数です。この体を考える際、各元に対して共役元も重要な役割を果たします。拡大体の元のノルムは、次のように定義されます。

$$
N(a + b\sqrt{d}) = (a + b\sqrt{d})(a - b\sqrt{d}) = a^2 - b^2 d
$$

このノルムが有理数体 $
\mathbb{Q}
$ に属することが、有理化の一つの根拠ともなります。つまり、有理化はこのようにしても理解できるのです。

他の体の拡大における有理化

有理化の概念は有理数体以外の体でも同様に適用できます。たとえば、実数体 $
\mathbb{R}
$ に対して負の数 $d = -1$ を考えると、複素数体 $
\mathbb{C} = \mathbb{R}(\sqrt{-1})$ があります。この場合、各複素数 $\alpha = a + b\sqrt{-1}$ に対して共役複素数を用いたノルムの計算が行えます。

ノルムの計算を見てみましょう。

$$
N(\alpha) = \alpha \overline{\alpha} = (a + b\sqrt{-1})(a - b\sqrt{-1}) = a^2 + b^2
$$

この結果も $
\mathbb{R}
$ に属します。これにより、次の式も以下のように変換することができます。

$$
\frac{1}{2 + \sqrt{-1}} = \frac{1(2 - \sqrt{-1})}{(2 + \sqrt{-1})(2 - \sqrt{-1})} = \frac{2 - \sqrt{-1}}{4 + 1} = \frac{2 - \sqrt{-1}}{5}
$$

このように、分母の根号を取り除く操作を「実数化」と呼ぶこともあります。

まとめ

有理化は数学の多くの領域で活用され、計算を容易にするだけでなく、代数の構造を深く理解する手助けにもなります。この技術は、基本的な計算から抽象的な代数の理論に至るまで、幅広く用いられています。

もう一度検索