有理数の除法
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/29 00:43 UTC 版)
整数の除法では、考えている数（自然数または整数）の範囲内で商を取り直して剰余を定義することで、除法をその数の範囲全体で定義できることを述べた。さらに、よく知られているように、数の範囲を有理数まで拡張し、商に有理数を許すことによって、剰余の概念は不要となり、有理数の全体で四則演算が自由に行えるようになる。 任意の被除数 a の 0 でない除数 b による除算は、有理数 c をただ一つ与える。 a ÷ b = c {\displaystyle a\div b=c} この有理数 c は c × b = b × c = a {\displaystyle c\times b=b\times c=a} を満たす。また、除算は、除数の逆数の乗算に置き換えることができる。 a ÷ b = a × 1 b {\displaystyle a\div b=a\times {\frac {1}{b}}} したがって、除算および乗算の順序は入れ替えることができる。 ( a ÷ b ) × c = ( a × 1 b ) × c = ( a × c ) × 1 b = ( a × c ) ÷ b , ( a ÷ b ) ÷ c = ( a × 1 b ) × 1 c = ( a × 1 c ) × 1 b = ( a ÷ c ) ÷ b {\displaystyle {\begin{aligned}(a\div b)\times c&=\left(a\times {\frac {1}{b}}\right)\times c=(a\times c)\times {\frac {1}{b}}=(a\times c)\div b,\\(a\div b)\div c&=\left(a\times {\frac {1}{b}}\right)\times {\frac {1}{c}}=\left(a\times {\frac {1}{c}}\right)\times {\frac {1}{b}}=(a\div c)\div b\end{aligned}}} また、2つの除算は乗算を用いてまとめることができる。 ( a ÷ b ) ÷ c = a ÷ ( b × c ) {\displaystyle (a\div b)\div c=a\div (b\times c)} しかし、除数と被除数とを入れ替えることはできない。 a ÷ b ≠ b ÷ a {\displaystyle a\div b\neq b\div a} ( a ÷ b ) ÷ c ≠ a ÷ ( b ÷ c ) {\displaystyle (a\div b)\div c\neq a\div (b\div c)} 2番目の例のように括弧の位置を変えると計算結果が変わってしまうので、 a ÷ b ÷ c {\displaystyle a\div b\div c} と書かれた場合には特別な解釈を与える必要がある。一般的には左側の演算が優先され、次式の右辺の意味に解釈される。 a ÷ b ÷ c = ( a ÷ b ) ÷ c {\displaystyle a\div b\div c=(a\div b)\div c} 有理数の除算について、除数を被除数に対して分配することができる。 ( a + b ) ÷ c = a ÷ c + b ÷ c {\displaystyle (a+b)\div c=a\div c+b\div c} ただし、被除数を除数に対して分配することはできない。 a ÷ ( b + c ) ≠ a ÷ b + a ÷ c {\displaystyle a\div (b+c)\neq a\div b+a\div c} 有理数の除算の結果は、分数を用いて表すことができる。 a ÷ b = a b {\displaystyle a\div b={\frac {a}{b}}} ある有理数に対応する分数の表し方は無数に存在する。たとえば 0 でない有理数 c を用いて、 a ÷ b = a c b c = a c b c {\displaystyle a\div b={\frac {ac}{bc}}={\frac {\frac {a}{c}}{\frac {b}{c}}}} と表してもよい。また、有理数は分母と分子がともに整数である分数を用いて表すことができる。2つの有理数 a, b をそれぞれ整数 p, q, r, s を用いて分数表記する。 a = p q , b = r s {\displaystyle a={\frac {p}{q}},\quad b={\frac {r}{s}}} すると、それらの除算は次のように計算することができる。 p q ÷ r s = p q × s r = p × s q × r = p s q r {\displaystyle {\frac {p}{q}}\div {\frac {r}{s}}={\frac {p}{q}}\times {\frac {s}{r}}={\frac {p\times s}{q\times r}}={\frac {ps}{qr}}} この表示から明らかなように、有理数を有理数で割った商はまた有理数である。次のように計算してもよい。 p q ÷ r s = p ÷ r q ÷ s = p r q s {\displaystyle {\frac {p}{q}}\div {\frac {r}{s}}={\frac {p\div r}{q\div s}}={\frac {\frac {p}{r}}{\frac {q}{s}}}} このような意味で、四則演算が自由に行える集合の抽象化として体の概念が現れる。すなわち、有理数の全体が作る集合 Q は体である。
※この「有理数の除法」の解説は、「除法」の解説の一部です。
「有理数の除法」を含む「除法」の記事については、「除法」の概要を参照ください。
- 有理数の除法のページへのリンク
