■オイラーの素数生成式(その41)
どのような正定値2次形式:ax^2+2bxy+cy^2に対しても,0でない(x,y)が存在して
(ax^2+2bxy+cy^2)^2≦(b^2−ac)・4/3
(ax^2+2bxy+cy^2)^2≦(4b^2−4ac)/3
(ax^2+2bxy+cy^2)^2≦D/3
を満たす.
===================================
一般に
γn=supminf(x1,x2,・・・,xn)/(discrimf)^1/n
をn次のエルミート定数と呼ぶ.
(ax^2+2bxy+cy^2)^2≦(b^2−ac)・4/3
は(γ2)^2=4/3であることを示している.
ブリッチフェルトは
γn≦(1+εn)n/πe,εn→0
であることを示した.
πe〜8より,
γ2≦(1+ε2)/4
===================================