小さい頃,橋の手すりや電柱みたいに一定間隔で繰り返されるパターンにそって歩くときに,あるところで足の位置を合わせてから歩幅を一定にして歩いていって,またどこかで一致するのを楽しんだものです。そのうち,「これって,なかなか一致しないようでも,どこかではまたぴったりになりそうだなあ」と想像していました。
n D = m S
なる整数の組 n, m は必ず存在する。
と思い込んでいたわけです。しかしこれは中学で無理数を学んだときに誤りであることが分かってしまいました。もし D/S が無理数であれば,上のような n, m は存在できないからです。
それでもあきらめはつきません。だって十分に長い距離を歩いていけば,足と電柱がほとんど一致するところがあるのは確かだと思えたからです。そこで次のように考えました。
ここで,|n D - m S|というのは電柱の位置と足の位置のずれです。ゼロにできるというのは D/S が有理数のときで,そうできなくても ほとんど一致したところがあって,しかもずっと遠くまで歩いていくと,さらにずれを小さくできる場所があるはずだというわけです。これは証明可能です。やってはいませんが,証明手順が見えているからたぶん大丈夫(ある任意の実数εがあって・・・とかいうやつね)。
ところが,ここでまた分からなくなってしまいます。まず,上の定理は次のようにも言い換えられます。
下付きの添字ができないので,1,2 や i は右下にあると心眼でみてください。さてここで,別の無限数列を考えることにしましょう。
ai の i → ∞ での極限は 1/3
だから, 0.3333.... = 1/3 だ!と中学の数学の先生に教わりました。手許の本にもそんなことが書いてあります。だけど,そうだとしたら,上でむりやり作った数列 |ni D - mi S|の i → ∞ での極限はゼロなんだから,|n∞ D - m∞ S| = 0 ですね。あれ? D/S は無理数としたはずなんだけど!