有很大一部分題目內容是關於有理數體對於四則運算自封的,以下我們來討論一下這些內容。
定理:若a,b皆為有理數(亦可寫作a,b∈Q),則有以下結論:
(1) a+b仍為有理數,即a+b∈Q。換句話說,就是「有理數+有理數=有理數」;
(2) a−b仍為有理數,即a−b∈Q。換句話說,就是「有理數−有理數=有理數」;
(3) a×b仍為有理數,即a×b∈Q。換句話說,就是「有理數×有理數=有理數」;
(4) 若再限制b≠0,那麼a÷b仍為有理數,即a÷b∈Q。換句話說,就是「有理數÷有理數=有理數」。
[證]:已知a,b皆為有理數,那麼存在整數p,q,r,s使得a=pq,b=rs,且其中q≠0,s≠0,又gcd。
(1) 因為p, q, r, s皆為整數,所以qs, ps+qr亦為整數。而
\begin{eqnarray*} a+b &=& \frac{p}{q} + \frac{r}{s} \\ &=& \frac{ps}{qs} + \frac{rq}{sq} \\ &=& \frac{ps+rq}{qs} \end{eqnarray*}
可見a+b的結果可表為\frac{\text{整數}}{整數},因此a+b也是有理數。
(2) 因為r是整數,所以-r也是整數。
因b=\frac{r}{s},得-b=-\frac{r}{s} = \frac{-r}{s} = \frac{\text{整數}}{\text{整數}},即-b亦為有理數。
那麼a-b=a+(-b)=\text{有理數}+\text{有理數}=\text{有理數}。
(3) 因為p, q, r, s皆為整數,所以pr, qs也都是整數。
那麼a \times b = \frac{p}{q} \times \frac{r}{s} = \frac{pr}{qs} = \frac{\text{整數}}{\text{整數}} = \text{有理數}。
(4) 因b \neq 0,而b = \frac{r}{s},故r \neq 0,所以\frac{1}{b} = \frac{s}{r}是存在的,且\frac{1}{b}也是有理數。
於是a \div b = a \times \frac{1}{b} = \text{有理數} \times \text{有理數} = \text{有理數}。
(證明結束)
沒有留言:
張貼留言