数学をもう一度・・・

数は, 演算や方程式の解の有無によって次のように分類される．
\[
\text{複素数}(\mathbb{C})\left\{\begin{array}{l}
\text{実数}(\mathbb{R})\left\{\begin{array}{l}
\text{有理数}(\mathbb{Q})\left\{\begin{array}{l}
\text{整数}(\mathbb{Z})\left\{\begin{array}{l}
\text{正の整数（}\mathbb{Z}^{+}\text{）－}(\text{自然数})(\mathbb{N})\\
\text{０}\\
\text{負の整数}(\mathbb{Z}^{-})
\end{array}\right.\\
\text{分      数}\left\{\begin{array}{l}
\text{有限小数}\\
\text{循環小数（無限小数）}\\
\end{array}\right.\\
\end{array}\right.\\
\text{無理数（循環しない無限小数）}
\end{array}\right.\\
\text{虚数}
\end{array}\right.
\]

集合の元に対する演算を考えてみよう．中学・高校で取り扱う数や式にの計算は, すべて加法と乗法という演算について次の3法則が成り立つ.

1. 交換法則(Commutative) \[ a+b=b+a, ab=ba \]
2. 結合法則(Associative) \[ (a+b)+c=a+(b+c),~~(ab)c=a(bc) \]
3. 分配法則(Distributive) \[a(b+c)=ab+ac\]

\( \sqrt{2}, \sqrt{3}, \sqrt{5} \) は小数で
\( \begin{eqnarray*}
\sqrt{2} &=& 1.4142135623730950488\cdots\cdots\\
\sqrt{3} &=& 1.7320508075688772935\cdots\cdots\\
\sqrt{5} &=& 2.2360679774997896964\cdots\cdots\\
\end{eqnarray*}
\)
となる． \( 1.41 \) はコピー機で用紙の2倍拡大で馴染みの数字であるが，それぞれの小数の覚え方は，
\(
\begin{eqnarray*}
\sqrt{2} &=& 1.41421356\cdots\cdots \text{(一夜一夜に人見頃)}\\
\sqrt{3} &=& 1.7320508\cdots\cdots \text{(人並みに奢れや)}\\
\sqrt{5} &=& 2.2360679\cdots\cdots \text{(富士山麓, 鸚鵡鳴く)}\\
\end{eqnarray*}
\)
という語呂合わせが有名である．興味があれば，他の語呂合わせも調べてみるとよい．

正の有理数 \( a \) が完全平方数でないとき, 即ち2乗して \( a \) になる数は，有理数ではなく, 有限小数や循環小数の形で表すことができない. このように循環しない無限小数を考えて, 数の集合を拡張した数の集合を無理数という. 2乗して \( a \) になる数を \( a \) の平方根という. 正の数 \( a \) の平方根は2つあって，それらは、絶対値が等しく符号が反対である．その正の方を \( \sqrt{a} \), 負の方を \( -\sqrt{a} \) で表す. また \( \sqrt{0}=0 \)とする. 例えば，\( 4 \) の平方根は2乗して \( 4 \) になる数なので, \( -2 \)と \( 2 \) になる. ところが, \( 2 \) の平方根は，無理数となる. そこで，新しく根号という記号 \( \sqrt{\ } \) を導入し, 2乗して\( 2 \) になる平方根のうち正の平方根を \( \sqrt{2} \)と記すことにする. 記号 \( \sqrt{\ } \) は，平方根の「根 root」の r を図案化したものである。

1. \( a>0,~b>0 \) ならば \( \sqrt{\mathstrut a}\sqrt{b}=\sqrt{ab}\)
2. \( a>0,~b>0 \) ならば \( \dfrac{\sqrt{a}}{\sqrt{b}}=\sqrt{\dfrac{a}{b}} \)

が成り立つ．また，加法・減法については，\( a>0,~b>0,~ a \ne b\) ならば \( \sqrt{\mathstrut a}+\sqrt{b} \) はこれ以上簡単に表記することは出来ない．

例

1. \( (2+\sqrt{3})-(1-\sqrt{5})=2+\sqrt{3}-1+\sqrt{5}=1+\sqrt{3}+\sqrt{5} \)
2. \( (2+\sqrt{3})-(1-\sqrt{3})=2+\sqrt{3}-1+\sqrt{3}=1+2\sqrt{3} \)
3. \( \sqrt{2}\cdot\sqrt{3}=\sqrt{2 \cdot 3}=\sqrt{6} \)
4. \( \dfrac{\sqrt{3}}{\sqrt{6}}=\sqrt{\dfrac{3}{6}}=\sqrt{\dfrac{1}{2}}\)
5. \( \big(~\sqrt{2}~\big)^2 = \sqrt{2}\cdot\sqrt{2}=\sqrt{2\cdot2}=\sqrt{2^2}=|2|=2 \)
6. \( \sqrt{(-2)^2}=|-2|=2 \)
7. \( \sqrt{8}=\sqrt{2^3}=\sqrt{2^2\cdot2}=\sqrt{2^2}\cdot\sqrt{2}=2\sqrt{2} \)