（その１）（その２）の計算において，パラメータの値がずれていたので訂正しておきます．

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

【１】フェルマー素数

　　Ｆn＝２^(2^n)＋１

の形の素数をフェルマー素数といいます．Ｆ0＝３，Ｆ1＝５，Ｆ2＝１７，Ｆ3＝２５７，Ｆ4＝６５５３７２５７は素数であることがわかります．

　３，５，１７が素数であることは明らかですが，たとえば，２５７については√２５７＝１６．０３・・・ですから，これより小さい素数２，３，５，７，１３が２５７を割らないことを確かめればよいことになりますし，６５５３７２５７については，√６５５３７２５７＝２５６．０・・・ですから，今度は２，３，５，・・・，２３３，２３９，２４１，２５１と５５個の素数で６５５３７２５７を割らないことを確かめます．

　フェルマーはこの型の数がすべて素数だと勘違いしていて必ず素数を与える式として考え出されたのですが，ｎ＝５であっけなく破綻してしまいました．

　　Ｆ5＝２^(2^5)＋１＝４２９４９６７２９７＝６４１×６７００４１７

　この間違いを発見したのはフェルマーから約１００年後のオイラーです．彼は約数６４１をたまたまあてずっぽうでみつけたのでも，２，３，５，７，・・・と割っていって執念で見つけたのでもありません．オイラーはＦnが合成数であるならば，それはあるｋに対してｋ・２^(n+2)＋１であることを知っていて，Ｆ5の中の因数６４１＝５・２^7＋１を見つけたのです（１７３２年）．

　ベネットは，実際に割り算することなしにこのことを確認しています．すなわち，

　　６４１＝５^4＋２^4＝５・２^7＋１

　　２^28（５^4＋２^4）／６４１＝２^28　（余り０）

　　（（５・２^7）^4−１）／６４１＝（５・２^7−１）（（５・２^7）^2＋１）　（余り０）

したがって，２^28（５^4＋２^4）−（（５・２^7）^4−１）＝２^32＋１も６４１で割り切れる．

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

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

　Ｆnが合成数であるならば，素因数はあるｋに対してｋ・２^(n+2)＋１であることを認めると

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

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

　　　　ｋ　　　１＋ｋ・２^7　　　素数

　　　　１　　　　　１２９　　　　×

　　　　２　　　　　２５７　　　　○

　　　　３　　　　　３８５　　　　×

　　　　４　　　　　５１３　　　　×

　　　　５　　　　　６４１　　　　○

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

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

　　　 ＝（５・２^7＋１）（５２３４７・２^7＋１）

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

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