有理数のお話。
どうもhiromathです。
某私立高校で非常勤講師をしている私ですが、高校1年生の数学Iを担当していまして。 1学期の真ん中くらいに、“実数”という単元があり、まぁそこを教えてて思ったことがいくつかあるので、それについて。 言いたいことといえば、高校の数学の教科書ってあなどっちゃいけないねということです。
まず、 整数とは、 という、ざっくりいえば小数点以下がないきりのよい数であり、特に正(0より大)の整数を自然数と呼んだりします。(様々な流派もありますが、ここでは自然数に0を含まないとします。)
特に、数学に精通している人は、しばしば、
とそれぞれ表したりします。ここではこのように表そうと思います。
そして、本題の有理数とは、
のことを言います。また、先ほどと同様に有理数全体の集合をと表します。
まぁここら辺は、もしかしたら数学のことあんまり知らなくても聞いたことある人が多いと思います。
高校の教科書には、次のように書かれています。
有理数は、整数、有限小数、循環小数のいずれかになることが知られている。
私が高校生の時、ここら辺はあまり深く考えたことない(ほぼ当たり前だと思ってたのだろうか)のですが、教える立場になって思いました。
高校生レベルの知識で証明できるのか…
ということが気になったので、私なりに証明をしてみたのですが、パッと思いついた方法はなかなかにめんどくさい感じなので、後々追記とかで書くかもしれません。 (現段階の私の実力では、この証明が一番しっくりきてます。)
まず、整数または有限小数ならば、有理数はほぼ自明なので省略。循環小数ならば有理数を示したいと思います。
【証明】まず、循環小数 (特にとしても一般性を失わない)を、進法表記で、
と表せるとする(ただし)。このとき、
これより、より、
ここで、
はともに整数だから、は有理数である。(証明終)上の証明は実際、具体的な循環小数を有理数に直す時と同様の手順ですよね。循環している数の個数だけ小数点をずらして引くという、大変初等的な考えに基づいた証明かなと思います。
後は以上の逆、有理数ならば 整数、有限小数、循環小数のいずれかになることを示していきますが、ちょっと長くなってきたのでここらでおしまい。 次回には証明終わるでしょうかね。