■メルセンヌ擬素数(その60)

[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)の範囲に現れる.

===================================