■2^340−1は素数であるか? (その8)

 ここではx^2+2の素因数の性質をみていくことにする.とりあえず,0≦x≦10の範囲で調べると・・・

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

[1]x=1,x^2+2=3

[2]x=2,x^2+2=6=2・3

[3]x=3,x^2+2=11

[4]x=4,x^2+2=18=2・3^2

[5]x=5,x^2+2=277=3^3

[6]x=6,x^2+2=38=2・19

[7]x=7,x^2+2=51=3・17

[8]x=8,x^2+2=66=2・3・11

[9]x=9,x^2+2=83

[10]x=10,x^2+2=102=2・3・17

 素因数をまとめると

  2,3,11,17,19,83

8で割った余りは

  2,3,3,1,3,3

奇数の素因数に限ると,すべて8で割った余りが1または3になる.

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

 pを2^n+1(nは奇数)の素因数とすると,

  2(2^n+1)=2^n+1+2

の素因数であるが,nは奇数だから

  2^n+1+2=(2^(n+1)/2)^2+2

の素因数である.x=2^(n+1)/2とおくと,pはx^2+2の素因数となる.

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