■1001(その7)
p−1=2^aq
L(p)=2^br (L(p)はp−1の約数)
として,x以下の素数をa,bの値で分類した個数をρa,b(x)で表すとする.
===================================
x→∞のとき,
ρa,b(x)/ρ*、*(x)→1/2^(2a-b+1)
ρa,0(x)/ρ*、*(x)→1/2^(2a)
ρa,0(x)/ρa、*(x)→1/2^(a)
ρa,*(x)/ρa、*(x)→1/φ(2^(a+1))=1/2^(a)
πB(x)=ρ*,0(x)=Σρa,0(x)
πA(x)+πB(x)=ρ*、*(x)
πB(x)/(πA(x)+πB(x))=Σ1/2^(2a)=1/3
すなわち,x→∞のとき,πA(x)/πB(x)→2
===================================
8n+5型素数(a=2)は全体の約1/4
内,L(p)が4の倍数は約1/2,L(p)が2の倍数は約1/4,L(p)が奇数は約1/4
===================================