以下、断りがなければ整数は における整数とし、、また とします。
n = 5 の場合
問題を変形・一般化し、さらに前回証明した補題 5 を使って
… (*)
は の整数を解に持たない。ただし は非負の有理整数、 は単数、 はどの二つも互いに素とする。
を示せばよいことがわかります。
前半で、
… (*)
の解 から新しい解 を構成する方法を見ました。この方法をどんどん繰り返せば、 という関係から、 を素因数分解したときに現れる相異なる素因数の数を少なくできる可能性があります。このことから、 としては素因数分解したときに現れる素因数の数が最も少ないものを初めから選ぶことが出来ます。このとき、 は単数になります。事実 は互いに素ですから、共通する素因数を持ちません。従って が単数でないとすれば に現れる相異なる素因数の個数は よりも少なくなり、最小性に反します。
さて、上記のような に対して解 を構成し、さらに から新たな解 を構成します。このとき
かつ
( : 単数)
で はいずれも単数です。また
なる関係があります。ただし かつ は単数です。この第 2 式と第 3 式の両辺を掛け合わせて
を得ます。時に とおけば です。なぜなら により ならば
,
すなわち となって矛盾します。ところが
は単数であり、
だから補題 3 により となって矛盾します。
従って (*) は の整数を解に持たず、よって Fermat の最終定理は n = 5 のときも正しいことが示されました。
その後の Fermat 予想に対する研究経緯などを簡単に紹介するため、明日、もう一話だけ追加して、このシリーズを締めくくりたいと思います。