【１】フェルマーの定理

　ｐが素数なら，ａ^p−ａはｐで割り切れる．

　ｐが素数，ａとｐは互いに素ならば，ａ^p-1−１はｐで割り切れる．

　ｎが素数であることは２^n−１が素数であるための必要条件です．しかし，逆の十分性は成り立ちません．

　　２^2−１＝３　　（素数）

　　２^3−１＝７　　（素数）

　　２^5−１＝３１　　（素数）

　　２^7−１＝１２７　　（素数）

　　２^11−１＝２０４７＝２３・８９　　（非素数）

　　２^13−１＝８１９１　　（素数）

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

【２】フェルマーの発見

　フェルマーは

　　２^37−１＝１３７４３８９５３４７１＝２２３・６１６３１８７７

を発見しています．

　ｐ＝３７ｎ＋１、ｎ＝１は偶数なので，ｐ＝７４ｎ＋１型と書ける．

　　ｎ＝１：ｐ＝７５（非素数）

　　ｎ＝２：ｐ＝１４９（素数）であるが，因数ではない．

　　ｎ＝３：ｐ＝２２３（素数）であり，因数でもある．

　　１３７４３８９５３４７１＝２２３・６１６３１８７７

　フェルマーは，この発見は

［１］ｎが素数でないとき，２^n−１は素数ではない

［２］ｎが素数のとき，２^n−２は２ｎで割り切れる

［３］ｎが素数であり，ｐが２^n−１の素因数であるとき，ｐ−１の倍数である

に基づいていると書いています．

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