「フェルマー予想」?もう一つの「宿題」は、何でも「フェルマー予想」というのがあるそうで、N!+1型の素数は、無数に存在する、ということで、この「予想」はすでに正しいことが証明されている、ユークリッドが「素数が無限に存在すること」の証明に用いたような「初等的」な方法でも、証明できる、とのことであって、へぇっ?、そんなの簡単じゃん、と、ばかりに、「オイラー関数」などで、このところ「素数」づいていた私は、調子に乗って、無謀にも、考えてみることにした。ユークリッドによる、素数の無数性、の証明は、今日の言葉に書き直せば、こんな感じなのだ、と言われている。「無限に存在する」、すなわち、「その個数には、限りが、な・い・」、これは「否定文」であるから、やはり「悪魔の証明」であり、「背理法」または「対偶」という、否定文の肯定文への転換、を要する。素数が、m個しか存在しないとする、すなわち、素数をす・べ・て・、小さいものから順に、列挙すると、p1,p2,p3,・・・,pmであった、と仮定する。「列挙」できる、ということが、「有限」であることに対応している。・・・pmで割ると、あまりが1である、から、p1,p2,p3,・・・,pmのいずれとも、互いに素、であることになる。ところでこの数は、明らかに、最・大・の・素数pmより、大きい。最・大・の・素数pmより、大きく、かつ、すべての素数と互いに素なのだから、これは、新・た・な・素数である、と言わねばならない。これを、pm+1と名付け、・・・、としても、同じ操作により、また一つ、新・た・な・素数が、生み出されてしまう。・ね・に・、1を付け加えることができる、ことが、「無限」を生成する。して「有限」から「無限」が生み出された、「最大のもの」より、つねに「それより大きなもの」が存在することがわかった。これは「矛盾」である。?、いえいえ、QED:quod_erat_demonstrandum、前にも「薀蓄(うんちく)」を披露した通り、ラテン系諸語の疑問詞、関係詞はquで始まることが多い。quodは「what」だろう。eratは「be動詞」だろうな。(This_is)_what_is_to_be_demonstrated.「これが、示さるべき事柄であった」、みたいな感じか?では、「フェルマー予想」。自然数Nに対して、N以下の素数がm個あり、これを小さいものから順に列挙すると、p1,p2,p3,・・・,pmであったとする。すると、N!は、N以下の自然数の積なのだから、その素因数は、これらm個の素数に限られる。あるから、この数は、p1,p2,p3,・・・,pmのいずれとも互いに素である。ここまで書いて、頓挫したことがわかった。最大の素数pmより大きく、かつ、p1,p2,p3,・・・,pmのいずれとも互いに素、であるから新たな素数であり、「矛盾」、と、素数の無数性の証明の「背理法」の結論部分に使えるにすぎなく、N!+1自体が、素数であるとも、また、その形の素数が無数であるとも、少しも言えそうにない。N!+1が、pmより大きいいくつかの素数のみによる合成数である可能性を否定できないからだ。4!+1=25=525!+1=121=112ではないか!で、あきらめて(笑)、また機械の力に頼ることにした。N!+1を、N=1,2,3,・・・、と順次計算して、素数かどうか判定する、素数でなければ素因数分解する。N=19あたりが精度の限界のようで、そこまでのところでは、どうやら、素数よりも、合成数の方が「多数派」らしいのである。意外、の感に打たれる。お手元のパーソナル・コンピュータでは、ここまでしか調べられないのだから、一体フェルマー氏は、紙とペンを使って、どうやってそんな途方もない「予想」ができたのだろうね?それにしても、例えば、7!+1=712など、ほとんど「魔術的」というべきではないか?、「自然数」、「カーディナル数」の「深淵」を見る思いである。「フェルマー素数」、というのは、Fn=22nという形のものであるらしい。フェルマーは、これがすべて素数になる、と予想した。この形の自然数が、すべて素数になる、というフェルマーの予想は、誤りであることが明らかになっているが、では、確かに、この形の自然数が、素数または合成数からなることがわかったとしても、果たして、この形の自然数のうちの素数が、「無限」に存在するかどうか?、は、「未解決問題」である、とのことだ。上で用いたプログラムをちょいと改変して、計算すると、早速F5が既に合成数であることがわかる。パーソナルコンピュータの精度では、ここまでしか計算できないことも、同時に、わかった。17世紀に生きたフェルマー氏を、5くらいまで計算してみなかったのか?、と責めるのは不当であると言えるだろう。この「フェルマー素数」のF5が素数でないことを初めて示したのが、18世紀のオイラーなのだそうだ。オイラーは、こんな式をも、提案している。x2+x+41x=41のとき、41を因数にもつ合成数になるべきことは、「容易に」(笑)想像がつくが、そのほぼ直前のx=39までがことごとく素数であるのは、なかなか不気味である。x=40のとき、402+40+41=402+40+(40+1)=402+2×40++12=(40+1)2=412などというのも、神秘的、というのか、魔術的、というのか、やはり、ちょっと、気持ち悪い。これもプログラムを改変するのは簡単だから、やってみた。今度は、数はそう大きくならないから、100くらいまでは、問題ない。徐々に合成数の割合が増えてきて、「神秘性」は、薄れてくるが(笑)。