■オイラーの素数生成式(その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

===================================