(元の表現では、"There aren't enough small numbers to meet the many demands made of them.")
例えば、1, 3, 5, 7 と、7以下の奇数を見て、奇数は全て1か素数である、と予想するのは明らかに間違いです(9は合成数)。
過去の偉大な数学者たちでも、小さな数の範囲から考えた予想が間違っていたことがあります。
■ フェルマーの例
フェルマーの最終定理で有名な数学者フェルマーは、Fn = 22n+1 は、素数になると予想しました。(Fn は、フェルマー数と呼ばれます。)
n=0,1,2,3,4 では、F0 = 3, F1 = 5, F2 =17, F3 = 257, F4 = 65537 は素数になります。
この後は、F5 = 4,294,967,297、F6 = 18,446,744,073,709,551,617, ... とすごい勢いでフェルマー数は大きくなりますが、フェルマーはこれらも素数であると考えました。
しかし、フェルマーの予想から約90年後、オイラーは、F5 = 4,294,967 が、641×6,700,417 と素因数分解されることを示しました。さらに、今のところF5 以降で素数であるフェルマー数は見つかっていません。
■ オイラーの例
オイラーは、n乗数は n個未満のn乗数の和では表すことが出来ない、という予想を立てました。
n=3の場合は、x3+y3=z3を満たす自然数x,y,z(≠0)が存在しない、という問題になり、このようなx,y,zは存在しないことが証明されています(フェルマーの最終定理の一部)。
オイラーは、nは4以上でも同様に、
x4+y4+z4=w4となる自然数x,y,z,w や、x5+y5+z5+w5=v5となる自然数x,y,z,w,v、(以下同様)が存在しないと考えました。
しかし、オイラーの予想から約200年後の1966年に、n=5 の場合に、 1445=275+845+1105+1335 という反例が見つかりました。
1988年には、n=4の場合でも、4224814=958004+2175194+4145604 という反例が発見されています。
これらの例は、小さな数の性質から全体を推測することの難しさを教えてくれます。
下に他の例をいくつか挙げてみました。
続きを読む