■メルセンヌ擬素数(その16)
[1]x^2−2の素因数をまとめると
2,7,17,23,31,47,79
8で割った余りは
2,1,1,7,7,7,7
奇数の素因数に限ると,すべて8で割った余りが1または7になる(第2補充則).
[2]x^2+2の素因数をまとめると
2,3,11,17,19,83
8で割った余りは
2,3,3,1,3,3
奇数の素因数に限ると,すべて8で割った余りが1または3になる.
[3]x^2+1の素因数をまとめると
2,5,13,17,37,41,101
4で割った余りは
2,1,1,1,1,1,1
奇数の素因数に限ると,すべて4で割った余りが1になる.すなわち,4n+1型素数である(第1補充則).
しかも,素因数2は(0≦x<2)の範囲に現れる.
しかも,素因数5は(0≦x<5)の範囲に現れる.
しかも,素因数13は(0≦x<13)の範囲に現れる.
しかも,素因数pは(0≦x<p)の範囲に現れる.
===================================