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

 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=5

  x^2+x−1の判別式は5

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

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

[2]x=2,x^2+x−1=5

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

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

[5]x=5,x^2+x−1=29

[6]x=6,x^2+x−1=41

[7]x=7,x^2+x−1=55=5・11

[8]x=8,x^2+x−1=71

[9]x=9,x^2+x−1=89

[10]x=10,x^2+x−1=109

 素因数をまとめると

  5,11,19,29,41,71,89,109

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

  1,4,4,1,1,4,4

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

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