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

 x^2+x+(1±p)/4の判別式は

  D=1−(1±p)=±p

したがって,pはx^2+x+(1±p)/4の素因数である.

  x^2+x+(1−p)/4  (pが4n+1型素数であるとき)

  x^2+x+(1+p)/4  (pが4n+3型素数であるとき)

[1]p=7

  x^2+x+2の判別式は−7

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

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

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

[3]x=3,x^2+x+2=14=2・7

[4]x=4,x^2+x+2=22=2・11

[5]x=5,x^2+x+2=32=2^5

[6]x=6,x^2+x+2=44=2^2・11

[7]x=7,x^2+x+2=58=2・29

[8]x=8,x^2+x+2=74=2・37

[9]x=9,x^2+x+2=92=2^2・23

[10]x=10,x^2+x+2=112=2^4・7

 素因数をまとめると

  2,7,11,23,29,37

(7を除いて)7で割った余りは

  2,4,2,1,2

すべて5で割った余りが1か2か4になる.すなわち,7n+1,7n+2,7n+4型素数である.

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