■メルセンヌ擬素数(その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型素数である.
===================================