【４】オイラーとフェルマー素数

　　ｐ｜Ｆ5ならば２^6｜ｐ−１

すなわち，ｐ＝１＋ｋ・２^6の形でなければならないことがわかります．ｋに１〜１０まで入れると

　　　　ｋ　　　１＋ｋ・２^6　　　素数

　　　　１　　　　　６５　　　　　×

　　　　２　　　　　１２９　　　　×

　　　　３　　　　　１９３　　　　○

　　　　４　　　　　２５７　　　　○

　　　　５　　　　　３２１　　　　×

　　　　６　　　　　３８５　　　　×

　　　　７　　　　　４４９　　　　○

　　　　８　　　　　５１３　　　　×

　　　　９　　　　　５７７　　　　○

　　　１０　　　　　６４１　　　　○

　ここで得られた素数１９３，２５７，４４９，５７７，６４１の中から，Ｆ5＝４２９４９６７２９７を割るものを探すと６４１が最初のものであることがわかります．このことから

　　Ｆ5＝４２９４９６７２９７＝６４１×６７００４１７

と分解されＦ5が素数でないことが証明されます（１７３２年）．

　ついでながら，６７００４１７が素数であることは次のようにしてわかります．

　　ｐ｜６７００４１７　→　ｐ｜Ｆ5　→　ｐ＝１（ｍｏｄ６４）

したがって，ｐ＝１（ｍｏｄ６４）なる素数で，√６７００４１７＝２５８８．５・・・より小さいものが，どれも６７００４１７を割らないことをみればよいことになります．このような素数は１９３，２５７，・・・，１６０１，２１１３の１１個あります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝