■素数であるか? (その22)
ここでは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の素因数となる.
===================================