■素数であるか? (その34)
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型素数である.
===================================