要約
この課では、有理数の小数による表し方を学ぶ。商の各桁の数字が筆算の割り算の余りから生まれることを示し、入れ子になった区間とアルキメデスの性質によって無限小数表示の値を定義し、小数表示を特徴づける三つの定理を証明する。既約分数の小数表示が有限であるのは、その分母が と 以外の素因数をもたないとき、かつそのときに限ること。すべての有理数の小数表示は有限または循環し、循環節の長さは分母より小さいこと。逆に、すべての循環小数は有理数を表し、その生成分数は等比数列の和によって得られること。そこから、0.999… と が等しいこと、無理数が循環しない小数表示によって特徴づけられること、そして最後に科学的記数法、有効数字、四捨五入による誤差の上界が導かれる。
学習目標
- 分数の小数表示を筆算の割り算で求め、各数字が と の間にある理由と、小数表示が分数を近似する理由を余りを用いて説明すること。
- 分母の素因数分解から、分数の小数表示が有限か循環するかを判定し、循環節の長さの上界を与えること。
- 循環小数の生成分数を求め、0.999… と が等しいといった等式を厳密に正当化すること。
- 数を科学的記数法で書き、与えられた桁数の有効数字に四捨五入し、そのとき生じる絶対誤差と相対誤差の上界を与えること。
筆算の割り算と小数部分の数字
有理数の課では分数とその演算を、位取り記数法の課では数字による自然数の書き方を学んだ。小数表示はその二つを結びつける。すなわち、 の負の累乗を用いて、位取りの記法を小数点の右側へ延長する。こうして、0.375 と書かれる数は、定義により、十分の一の位、百分の一の位、千分の一の位の数の和である:
一般に、有限小数は、整数部分 と有限個の数字 からなり、各数字は と の間にあって、次の数を表す:
有理数の符号は別に書くので、正の有理数を調べれば十分である。分子と分母が自然数である分数 の小数表示を求めるには、筆算の割り算を用いる。これは余りのある割り算を繰り返すことにほかならない。まず を で割って、整数部分 と余り を得る。次に、各ステップで、最後の余りに を掛けて で割る。この割り算の商が次の数字であり、その余りが次のステップに引き継がれる:
の各桁の数字を計算する。各ステップでは、被除数(直前の余りの十倍)、得られる数字、新しい余りを書く。図は割り算の階段と、その上に積み重なっていく数字を示している。
証明
なので、整数部分は であり、最初の余りは分子そのもの、 である。余りに を掛けて で割ると、十分の一の位の数字は である。
余り から百分の一の位の数字が得られる。
余り から、千分の一の位の数字が得られる。
余り から、四番目の数字が得られる。
余り から、五番目が得られる。
余り から、六番目が得られる。そして新しい余りは であり、最初の余りと同じである。
ここから先、割り算は一歩ずつ繰り返される。残りの割られる部分、つまり に を掛けたものは、同じ商を六桁ずらしたものである。数字は、限りなく繰り返されるひとかたまりを作る。
したがって、 の小数表示は 0.428571428571… であり、循環節は 428571 である。この例には課全体が萌芽として含まれている。数字は余りから生まれ、余りは除数より小さく、余りが一つ繰り返されるやいなや、その後のすべてが繰り返される。最初に確かめておくべきことは、こうして得られる数字が本当に数字であり、分数をいくらでも精密に近似することである。
と を自然数とし、、、および(各自然数 について) と を、 を で割る筆算が与える数とする。このとき、各 は数字であって と の間にあり、すべての自然数 について次の等式が成り立つ。ここで、最後の項は負でなく、 より小さい。
証明は についての帰納法による。図は を例に議論に寄り添う。新しい数字はそれぞれ直前の区間の十個の部分の一つを選び、その区間は見えるように拡大される。
証明
各 は数字である。直前の余りは より小さいので、被除数 は より小さく、商は より小さい。
のとき、数字はなく、等式は最初の余りのある割り算の両辺を で割ったものである。
帰納段階:最後の項を次の割り算 によって書き直し、二つの分数に分ける。
の場合の等式に代入すると、 の場合の等式が得られる。帰納法により、等式はすべての について成り立つ。
なので、最後の項は負でなく、 より小さい。すなわち、分数とその切り捨てとの距離は より小さい。ここでの切り捨ては第 位までのもので、数 のこと、つまり整数部分と最初の 個の数字からなる数である。
補題によれば、 は、 から始まり長さが の区間に属し、左端は含まれ右端は含まれない。これらの区間は実数直線の課で詳しく学ぶが、次のように書かれる:
コンテンツを読み込んでいます…