§A1.1数の体系と数直線

最終更新

ものの個数を表すときには、1,2,3,…1,2,3,\dotsという数を使います。しかし、分けた量を表すには、個数を表す数だけでは足りません。たとえば、11を四等分した一つ分は1/41/4であり、1,2,3,…1,2,3,\dotsのどれでもありません。

表したい量や行いたい計算に応じて、用いる数の範囲を広げます。自然数、整数、有理数、実数は、前の範囲を含むように順に広がる数の体系です。数直線を用いると、異なる範囲の数を同じ直線上に表し、大小を比較することができます。

数の範囲を明示することは、計算の結果や方程式の解としてどの数を認めるかを定めるために重要です。

本記事では、数の範囲の広がりと数直線との関係を説明します。

1 数の範囲

ものを数える数1,2,3,…1,2,3,\dotsを自然数といい、自然数に00と負の数を加えた…,−2,−1,0,1,2,…\dots,-2,-1,0,1,2,\dotsを整数といいます。整数p,qp,q、q≠0q\ne0を用いてp/qp/qと表される数を有理数といいます。実数は、数直線上のすべての点に対応する数です。以下では、それぞれの全体をN≥1\NN、Z\Z、Q\Q、R\Rと書きます。

自然数は整数に含まれます。また、整数mmはm/1m/1と表されるので有理数です。有理数は実数に含まれます。三つの包含関係をまとめると

N≥1⊂Z⊂Q⊂R\NN\subset\Z\subset\Q\subset\R

となります。

実数のうち、有理数でない数を無理数といいます。2\sqrt2やπ\piは無理数です。

例 1.1.00は自然数ではなく整数である。−2-2も整数であり、−2=(−2)/1-2=(-2)/1と表されるので有理数でもある。3/43/4は有理数であるが整数ではない。2\sqrt2は実数であるが有理数ではなく、無理数である。整数と有理数も実数であるから、これら四つの数はすべて同じ数直線上へ表すことができる。

注意 1.2. 無理数かどうかは、分数で表すことができるかどうかによって決まる。2\sqrt2の記号に根号が含まれているという理由だけで、無理数であると判断することはできない。2\sqrt2が無理数であることは背理法で証明され、論理の単元で扱う。

注意 1.3. 自然数に00を含める流儀もある。日本の高校数学では11から始める流儀が用いられるが、§D2 離散数学とアルゴリズム§E1 数学の基礎§E18 計算理論§F1 公理的集合論では0,1,2,…0,1,2,\dotsを自然数とする。自然数の範囲によって、「すべての自然数nnについて」という主張にn=0n=0の場合を含むかどうかが変わる。問題文で自然数の範囲が指定されている場合は、その指定に従う。

2 数直線

直線上に原点00、正の向き、単位の長さを決め、実数を点に対応させた直線を数直線といいます。ここでは正の向きを右にとります。原点より右に正の数、左に負の数を表し、右にある点ほど大きい数に対応します。下の図では、整数22、有理数−1/2-1/2、無理数2\sqrt2が同じ数直線上にあります。

3 有理数と無理数の性質

公式 3.1. 実数が有理数であることと、有限小数または循環小数で表されることは同値である。循環小数とは、小数点以下である桁から同じ数字の並びが繰り返される小数である。循環しない無限小数は無理数を表す。

例 3.2.1/4=0.251/4=0.25は有限小数であり、1/3=0.333⋯1/3=0.333\cdotsは数字33が繰り返される循環小数である。

数の範囲は、計算を行った後にも確かめる必要があります。無理数に有理数を加えた場合の結果は、次のように定まります。

定理 3.3.rrを有理数、uuを無理数とする。このとき、r+ur+uは無理数である。また、r≠0r\ne0ならばruruも無理数である。

証明. 有理数p/qp/qとs/ts/tの和と差は(pt±sq)/(qt)(pt\pm sq)/(qt)と表される。ここでp,q,s,tp,q,s,tは整数であり、q,t≠0q,t\ne0なので、和と差も有理数である。また、s/t≠0s/t\ne0ならば商はpt/(qs)pt/(qs)と表され、有理数である。

r+ur+uが有理数であると仮定すると、u=(r+u)−ru=(r+u)-rは有理数の差なので有理数となる。これはuuが無理数であることと両立しない。したがってr+ur+uは無理数である。

r≠0r\ne0とする。ruruが有理数であると仮定すると、u=(ru)/ru=(ru)/rは有理数の商なので有理数となる。したがってruruは無理数である。▨

例 3.4.uuを無理数とする。−u-uが有理数ならばu=0−(−u)u=0-(-u)も有理数となるので、−u-uも無理数である。しかし、u+(−u)=0u+(-u)=0は有理数である。したがって、無理数どうしの和が常に無理数になるわけではない。

また、0⋅u=00\cdot u=0は有理数である。有理数と無理数の積については、有理数のほうが00でないという条件を外すことはできない。

実数は有理数と無理数に分かれます。「有理数だけではすきまが残る」という説明は、直観的な説明です。実数の完備性を厳密に構成する議論は、ここでは扱いません。

4 複素数への拡張

実数の二乗は非負なので、x2=−1x^2=-1を満たす実数はありません。二乗すると−1-1になる数iiを導入し、実数a,ba,bを用いてa+bia+biと表す数を複素数といいます。iiを虚数単位といいます。

例 4.1.b=0b=0とするとa+bi=aa+bi=aであるから、実数も複素数に含まれる。またi2=−1i^2=-1であり、(−i)2=−1(-i)^2=-1でもあるので、実数の範囲では解を持たなかったx2=−1x^2=-1は複素数の範囲ではiiと−i-iを解にもつ。

閑話休題：数の体系の拡張 負の数は借金や損失を表すために使われましたが、ヨーロッパでは中世以後も「偽の数」と呼ばれ、受け入れられるまでに時間を要しました。ゼロを数として扱う発想はインドで生まれ、無理数の発見はピタゴラス学派に衝撃を与えたと伝えられています。数の体系は、計算や方程式を扱う必要に応じて拡張されてきました。

複素数をさらに拡張した体系に四元数があります。1843年、ハミルトンは散歩の途中でi2=j2=k2=ijk=−1i^2=j^2=k^2=ijk=-1という関係を見いだし、橋に式を刻んだと伝えられています。四元数ではij=kij=kですが、ji=−kji=-kです。そのため、四元数の乗法は可換ではありません。四元数は3次元の回転を表すために使われ、3DCG、ゲームエンジン、宇宙機の姿勢制御に応用されています。四元数をさらに拡張した八元数では、乗法の結合法則が成り立ちません。

数の範囲を広げると、元の体系の性質がすべて保たれるとは限りません。複素数には、実数の大小関係を拡張し、演算と両立する全順序を入れることができません。四元数では乗法の可換性が、八元数では乗法の結合性が成り立ちません。どの方程式を解くために数を拡張するのかと、どの性質が保たれるのかは、別々に確かめる必要があります。

実数を構成して数直線の連続性を厳密に扱う議論は、§D1 ε-論法と基礎解析へ委ねます。ここでは、数直線上の点と実数が対応することを認めて用います。

5 例題

レベル1 — 数の体系と無理数

ℕ⊂\subsetZ\mathbb{Z}⊂\subsetQ\mathbb{Q}⊂\subsetR\mathbb{R}⊂\subsetC\mathbb{C}という数の体系の包含関係をふまえて、次の問いに答えよ（この教材では自然数は 1 から数える）。

解法の型有理数⇔\Leftrightarrow有限小数または循環小数。循環節の長さが k なら 10^k 倍して引くと循環が消える。体系を広げる動機は「閉じていない演算を閉じさせること」（ℕ は引き算、Z\mathbb{Z}は割り算、Q\mathbb{Q}は平方根、R\mathbb{R}は x²==−1 で閉じない）

例 5.1. 循環小数 0.090909…（09 が循環） を既約分数で表せ。

0.09‾0.\overline{09}

答111\dfrac{1}{11}

注意 x==0.090909…（09 が循環） とおく。循環節の長さは 2、循環しない小数部の長さは 0 なので、10^2 倍と 10^0 倍を作って引く: 100x==9.… と x==0.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 99x==9 − 0==9。よって x==9/99==1/11。逆に 1/11 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。

例 5.2. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 無理数と無理数の積は必ず無理数である

無理数と無理数の積は必ず無理数である\text{無理数と無理数の積は必ず無理数である}

答 偽（反例:2×2=2\sqrt{2} \times \sqrt{2} = 2は有理数）

注意 反例は √2 × √2==2。一方 √2 × √3==√6 は無理数なので、無理数どうしの積は「場合による」。必ず、とは言えない。

例 5.3. √13 が無理数であることを背理法で示す。√13==a/b（a, b は互いに素な自然数）と仮定すると 13b²==a² が得られる。ここから矛盾を導け。

13=ab(a,b は互いに素な自然数)⟹13b2=a2\sqrt{13} = \dfrac{a}{b} \quad (a, b \ \text{は互いに素な自然数}) \quad \Longrightarrow \quad 13 b^{2} = a^{2}

答

13b2=a2 より 13∣a2, よって 13∣a.a=13k とおくと 13b2=169k2, すなわち b2=13k2.よって 13∣b2, ゆえに 13∣b.a,b がともに 13 で割り切れ、「互いに素」に矛盾する。\begin{array}{l} 13 b^{2} = a^{2} \ \text{より} \ 13 \mid a^{2},\ \text{よって} \ 13 \mid a. \\ a = 13k \ \text{とおくと} \ 13 b^{2} = 169 k^{2},\ \text{すなわち} \ b^{2} = 13 k^{2}. \\ \text{よって} \ 13 \mid b^{2},\ \text{ゆえに} \ 13 \mid b. \\ a, b \ \text{がともに} \ 13 \ \text{で割り切れ、「互いに素」に矛盾する。} \end{array}

注意 使うのは「素数 p が a² を割り切るならば p は a を割り切る」という素数の性質。まず 13 が a を割り、a==13k とおいて代入すると今度は 13 が b を割ることが出る。すると a と b が公約数 13 をもつので、「互いに素にとった」という最初の仮定に矛盾する。したがって √13 は分数で表せない、つまり無理数。13 を平方数でない一般の自然数に置き換えても同じ論法が使える。

例 5.4. √7 が無理数であることを背理法で示す。√7==a/b（a, b は互いに素な自然数）と仮定すると 7b²==a² が得られる。ここから矛盾を導け。

7=ab(a,b は互いに素な自然数)⟹7b2=a2\sqrt{7} = \dfrac{a}{b} \quad (a, b \ \text{は互いに素な自然数}) \quad \Longrightarrow \quad 7 b^{2} = a^{2}

答

7b2=a2 より 7∣a2, よって 7∣a.a=7k とおくと 7b2=49k2, すなわち b2=7k2.よって 7∣b2, ゆえに 7∣b.a,b がともに 7 で割り切れ、「互いに素」に矛盾する。\begin{array}{l} 7 b^{2} = a^{2} \ \text{より} \ 7 \mid a^{2},\ \text{よって} \ 7 \mid a. \\ a = 7k \ \text{とおくと} \ 7 b^{2} = 49 k^{2},\ \text{すなわち} \ b^{2} = 7 k^{2}. \\ \text{よって} \ 7 \mid b^{2},\ \text{ゆえに} \ 7 \mid b. \\ a, b \ \text{がともに} \ 7 \ \text{で割り切れ、「互いに素」に矛盾する。} \end{array}

注意 使うのは「素数 p が a² を割り切るならば p は a を割り切る」という素数の性質。まず 7 が a を割り、a==7k とおいて代入すると今度は 7 が b を割ることが出る。すると a と b が公約数 7 をもつので、「互いに素にとった」という最初の仮定に矛盾する。したがって √7 は分数で表せない、つまり無理数。7 を平方数でない一般の自然数に置き換えても同じ論法が使える。

例 5.5. 循環小数 0.2333…（3 が循環） を既約分数で表せ。

0.23‾0.2\overline{3}

答730\dfrac{7}{30}

注意 x==0.2333…（3 が循環） とおく。循環節の長さは 1、循環しない小数部の長さは 1 なので、10^2 倍と 10^1 倍を作って引く: 100x==23.… と 10x==2.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 90x==23 − 2==21。よって x==21/90==7/30。逆に 7/30 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。

例 5.6. √2 + (1 − √2) は自然数 ℕ・整数Z\mathbb{Z}・有理数Q\mathbb{Q}・実数R\mathbb{R}・複素数C\mathbb{C}のうちどの体系に属するか。まず値を簡単にしてから答えよ。

2+(1−2)\sqrt{2} + (1 - \sqrt{2})

答

値1分類自然数属するN, Z, Q, R, C属さないなし\begin{array}{ll} \text{値} & 1 \\ \text{分類} & \text{自然数} \end{array} \qquad \begin{array}{ll} \text{属する} & \mathbb{N},\ \mathbb{Z},\ \mathbb{Q},\ \mathbb{R},\ \mathbb{C} \\ \text{属さない} & \text{なし} \end{array}

注意 √2 が打ち消し合って 1。無理数どうしの和が有理数になる代表的な反例。

例 5.7. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張:Q\mathbb{Q}は「正の数の平方根をとる」操作について閉じている

Q は「正の数の平方根をとる」操作について閉じている\mathbb{Q} \ \text{は「正の数の平方根をとる」操作について閉じている}

答 偽（反例:2∈Q2 \in \mathbb{Q}だが2∉Q\sqrt{2} \notin \mathbb{Q}）

注意 2 は有理数だが √2 は無理数。Q\mathbb{Q}には「すきま」があり、それを埋めて連続な数直線にしたものがR\mathbb{R}。

例 5.8. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 0 でない有理数と無理数の積は必ず無理数である

0 でない有理数と無理数の積は必ず無理数である0 \ \text{でない有理数と無理数の積は必ず無理数である}

答 真

注意 背理法。r≠\ne0 が有理数、x が無理数で rx==s が有理数だと仮定すると、x==s/r は有理数どうしの商（分母≠\ne0）なので有理数となり矛盾。r≠\ne0 という仮定がどこで効いているかを確認すること。

例 5.9. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: √2 + √3 は有理数である

2+3 は有理数である\sqrt{2} + \sqrt{3} \ \text{は有理数である}

答 偽（2+3\sqrt{2} + \sqrt{3}は無理数）

注意 背理法。√2 + √3==r（有理数）と仮定する。左辺は正なので r > 0。√3==r − √2 の両辺を2乗すると 3==r² − 2r√2 + 2 となり、√2==(r² − 1)/(2r) が有理数となって矛盾。よって無理数。

例 5.10.π\pi−π\piは自然数 ℕ・整数Z\mathbb{Z}・有理数Q\mathbb{Q}・実数R\mathbb{R}・複素数C\mathbb{C}のうちどの体系に属するか。まず値を簡単にしてから答えよ。

π−π\pi - \pi

答

値0分類整数（自然数ではない）属するZ, Q, R, C属さないN\begin{array}{ll} \text{値} & 0 \\ \text{分類} & \text{整数（自然数ではない）} \end{array} \qquad \begin{array}{ll} \text{属する} & \mathbb{Z},\ \mathbb{Q},\ \mathbb{R},\ \mathbb{C} \\ \text{属さない} & \mathbb{N} \end{array}

注意π\pi−π=\pi =0。無理数の差が有理数になる例。「無理数どうしの差は無理数」は偽。

6 演習

レベル1 — 数の体系と無理数

ℕ⊂\subsetZ\mathbb{Z}⊂\subsetQ\mathbb{Q}⊂\subsetR\mathbb{R}⊂\subsetC\mathbb{C}という数の体系の包含関係をふまえて、次の問いに答えよ（この教材では自然数は 1 から数える）。

解法の型有理数⇔\Leftrightarrow有限小数または循環小数。循環節の長さが k なら 10^k 倍して引くと循環が消える。体系を広げる動機は「閉じていない演算を閉じさせること」（ℕ は引き算、Z\mathbb{Z}は割り算、Q\mathbb{Q}は平方根、R\mathbb{R}は x²==−1 で閉じない）

問題 6.1. √5 が無理数であることを背理法で示す。√5==a/b（a, b は互いに素な自然数）と仮定すると 5b²==a² が得られる。ここから矛盾を導け。

5=ab(a,b は互いに素な自然数)⟹5b2=a2\sqrt{5} = \dfrac{a}{b} \quad (a, b \ \text{は互いに素な自然数}) \quad \Longrightarrow \quad 5 b^{2} = a^{2}
解答.

答

5b2=a2 より 5∣a2, よって 5∣a.a=5k とおくと 5b2=25k2, すなわち b2=5k2.よって 5∣b2, ゆえに 5∣b.a,b がともに 5 で割り切れ、「互いに素」に矛盾する。\begin{array}{l} 5 b^{2} = a^{2} \ \text{より} \ 5 \mid a^{2},\ \text{よって} \ 5 \mid a. \\ a = 5k \ \text{とおくと} \ 5 b^{2} = 25 k^{2},\ \text{すなわち} \ b^{2} = 5 k^{2}. \\ \text{よって} \ 5 \mid b^{2},\ \text{ゆえに} \ 5 \mid b. \\ a, b \ \text{がともに} \ 5 \ \text{で割り切れ、「互いに素」に矛盾する。} \end{array}

注意 使うのは「素数 p が a² を割り切るならば p は a を割り切る」という素数の性質。まず 5 が a を割り、a==5k とおいて代入すると今度は 5 が b を割ることが出る。すると a と b が公約数 5 をもつので、「互いに素にとった」という最初の仮定に矛盾する。したがって √5 は分数で表せない、つまり無理数。5 を平方数でない一般の自然数に置き換えても同じ論法が使える。▨

問題 6.2. √11 が無理数であることを背理法で示す。√11==a/b（a, b は互いに素な自然数）と仮定すると 11b²==a² が得られる。ここから矛盾を導け。

11=ab(a,b は互いに素な自然数)⟹11b2=a2\sqrt{11} = \dfrac{a}{b} \quad (a, b \ \text{は互いに素な自然数}) \quad \Longrightarrow \quad 11 b^{2} = a^{2}
解答.

答

11b2=a2 より 11∣a2, よって 11∣a.a=11k とおくと 11b2=121k2, すなわち b2=11k2.よって 11∣b2, ゆえに 11∣b.a,b がともに 11 で割り切れ、「互いに素」に矛盾する。\begin{array}{l} 11 b^{2} = a^{2} \ \text{より} \ 11 \mid a^{2},\ \text{よって} \ 11 \mid a. \\ a = 11k \ \text{とおくと} \ 11 b^{2} = 121 k^{2},\ \text{すなわち} \ b^{2} = 11 k^{2}. \\ \text{よって} \ 11 \mid b^{2},\ \text{ゆえに} \ 11 \mid b. \\ a, b \ \text{がともに} \ 11 \ \text{で割り切れ、「互いに素」に矛盾する。} \end{array}

注意 使うのは「素数 p が a² を割り切るならば p は a を割り切る」という素数の性質。まず 11 が a を割り、a==11k とおいて代入すると今度は 11 が b を割ることが出る。すると a と b が公約数 11 をもつので、「互いに素にとった」という最初の仮定に矛盾する。したがって √11 は分数で表せない、つまり無理数。11 を平方数でない一般の自然数に置き換えても同じ論法が使える。▨

問題 6.3. √7 が無理数であることを背理法で示す。√7==a/b（a, b は互いに素な自然数）と仮定すると 7b²==a² が得られる。ここから矛盾を導け。

7=ab(a,b は互いに素な自然数)⟹7b2=a2\sqrt{7} = \dfrac{a}{b} \quad (a, b \ \text{は互いに素な自然数}) \quad \Longrightarrow \quad 7 b^{2} = a^{2}
解答.

答

7b2=a2 より 7∣a2, よって 7∣a.a=7k とおくと 7b2=49k2, すなわち b2=7k2.よって 7∣b2, ゆえに 7∣b.a,b がともに 7 で割り切れ、「互いに素」に矛盾する。\begin{array}{l} 7 b^{2} = a^{2} \ \text{より} \ 7 \mid a^{2},\ \text{よって} \ 7 \mid a. \\ a = 7k \ \text{とおくと} \ 7 b^{2} = 49 k^{2},\ \text{すなわち} \ b^{2} = 7 k^{2}. \\ \text{よって} \ 7 \mid b^{2},\ \text{ゆえに} \ 7 \mid b. \\ a, b \ \text{がともに} \ 7 \ \text{で割り切れ、「互いに素」に矛盾する。} \end{array}

注意 使うのは「素数 p が a² を割り切るならば p は a を割り切る」という素数の性質。まず 7 が a を割り、a==7k とおいて代入すると今度は 7 が b を割ることが出る。すると a と b が公約数 7 をもつので、「互いに素にとった」という最初の仮定に矛盾する。したがって √7 は分数で表せない、つまり無理数。7 を平方数でない一般の自然数に置き換えても同じ論法が使える。▨

問題 6.4. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 無理数と無理数の積は必ず無理数である

無理数と無理数の積は必ず無理数である\text{無理数と無理数の積は必ず無理数である}
解答.

答 偽（反例:2×2=2\sqrt{2} \times \sqrt{2} = 2は有理数）

注意 反例は √2 × √2==2。一方 √2 × √3==√6 は無理数なので、無理数どうしの積は「場合による」。必ず、とは言えない。▨

問題 6.5. 循環小数 0.4333…（3 が循環） を既約分数で表せ。

0.43‾0.4\overline{3}
解答.

答1330\dfrac{13}{30}

注意 x==0.4333…（3 が循環） とおく。循環節の長さは 1、循環しない小数部の長さは 1 なので、10^2 倍と 10^1 倍を作って引く: 100x==43.… と 10x==4.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 90x==43 − 4==39。よって x==39/90==13/30。逆に 13/30 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.6. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 循環小数はすべて有理数である

循環小数はすべて有理数である\text{循環小数はすべて有理数である}
解答.

答 真

注意 循環節の長さを k とすると、x に 10^k を掛けて元の x を引けば循環部分が消え、整数係数の一次方程式になる。したがって x は分数で表せる。逆に有理数を小数展開すると、余りの種類が有限なので必ず有限小数か循環小数になる（有理数⇔\Leftrightarrow有限小数または循環小数）。▨

問題 6.7. 循環小数 0.181818…（18 が循環） を既約分数で表せ。

0.18‾0.\overline{18}
解答.

答211\dfrac{2}{11}

注意 x==0.181818…（18 が循環） とおく。循環節の長さは 2、循環しない小数部の長さは 0 なので、10^2 倍と 10^0 倍を作って引く: 100x==18.… と x==0.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 99x==18 − 0==18。よって x==18/99==2/11。逆に 2/11 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.8. 循環小数 0.111…（1 が循環） を既約分数で表せ。

0.1‾0.\overline{1}
解答.

答19\dfrac{1}{9}

注意 x==0.111…（1 が循環） とおく。循環節の長さは 1、循環しない小数部の長さは 0 なので、10^1 倍と 10^0 倍を作って引く: 10x==1.… と x==0.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 9x==1 − 0==1。よって x==1/9。逆に 1/9 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.9. 循環小数 0.1333…（3 が循環） を既約分数で表せ。

0.13‾0.1\overline{3}
解答.

答215\dfrac{2}{15}

注意 x==0.1333…（3 が循環） とおく。循環節の長さは 1、循環しない小数部の長さは 1 なので、10^2 倍と 10^1 倍を作って引く: 100x==13.… と 10x==1.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 90x==13 − 1==12。よって x==12/90==2/15。逆に 2/15 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.10. 循環小数 0.454545…（45 が循環） を既約分数で表せ。

0.45‾0.\overline{45}
解答.

答511\dfrac{5}{11}

注意 x==0.454545…（45 が循環） とおく。循環節の長さは 2、循環しない小数部の長さは 0 なので、10^2 倍と 10^0 倍を作って引く: 100x==45.… と x==0.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 99x==45 − 0==45。よって x==45/99==5/11。逆に 5/11 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.11. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 無理数と無理数の和は必ず無理数である

無理数と無理数の和は必ず無理数である\text{無理数と無理数の和は必ず無理数である}
解答.

答 偽（反例:2+(−2)=0\sqrt{2} + (-\sqrt{2}) = 0は有理数）

注意 反例は √2 + (−√2)==0。どちらも無理数だが和は 0（有理数）。ひとつ前の主張（有理数 + 無理数）と違い、こちらは打ち消し合いが起こりうるので成り立たない。▨

問題 6.12. 循環小数 0.1666…（6 が循環） を既約分数で表せ。

0.16‾0.1\overline{6}
解答.

答16\dfrac{1}{6}

注意 x==0.1666…（6 が循環） とおく。循環節の長さは 1、循環しない小数部の長さは 1 なので、10^2 倍と 10^1 倍を作って引く: 100x==16.… と 10x==1.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 90x==16 − 1==15。よって x==15/90==1/6。逆に 1/6 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.13. 循環小数 0.142857…（142857 が循環） を既約分数で表せ。

0.142857‾0.\overline{142857}
解答.

答17\dfrac{1}{7}

注意 x==0.142857…（142857 が循環） とおく。循環節の長さは 6、循環しない小数部の長さは 0 なので、10^6 倍と 10^0 倍を作って引く: 1000000x==142857.… と x==0.… は小数部分がぴったり同じだから、辺々引くと循環部分が消えて 999999x==142857 − 0==142857。よって x==142857/999999==1/7。逆に 1/7 を実際に割り算すれば、もとの循環小数に戻ることを確かめられる。▨

問題 6.14. √2 は自然数 ℕ・整数Z\mathbb{Z}・有理数Q\mathbb{Q}・実数R\mathbb{R}・複素数C\mathbb{C}のうちどの体系に属するか。まず値を簡単にしてから答えよ。

2\sqrt{2}
解答.

答

値2分類無理数（実数だが有理数ではない）属するR, C属さないN, Z, Q\begin{array}{ll} \text{値} & \sqrt{2} \\ \text{分類} & \text{無理数（実数だが有理数ではない）} \end{array} \qquad \begin{array}{ll} \text{属する} & \mathbb{R},\ \mathbb{C} \\ \text{属さない} & \mathbb{N},\ \mathbb{Z},\ \mathbb{Q} \end{array}

注意 2 は平方数でないので √2 は無理数（背理法で示せる）。無理数は実数であり複素数でもあるが、有理数ではない。▨

問題 6.15. 次の主張の真偽を判定し、偽ならば反例を1つ挙げよ。主張: 0 を除いたQ\mathbb{Q}は割り算について閉じている

0 を除いた Q は割り算について閉じている0 \ \text{を除いた } \mathbb{Q} \ \text{は割り算について閉じている}
解答.

答 真

注意 (a/b) ÷ (c/d)==ad/(bc) は、a, c が 0 でなければ再び 0 でない有理数。四則すべてで閉じている（0 除算を除く）ことが、Q\mathbb{Q}が「体」であるということ。▨