■オイラーの素数生成公式とラビノヴィッチの定理(その5)

  exp(π√163)=640320^3+744−ε

  ε=7.5×10^-13

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

[1]虚2次体Q(√−d)の類数が1である最大のdは163である.

[2]41=(163+1)/4より,n^2+n+41は0≦n<40に対して素数となる.

[3]exp(π√163)は整数にものすごく近い.その整数とは

  744−j(1/2+i√163/2).

ここで,j(z)はモジュラー関数で

  j(z)=exp(−2iπz)+744+196884exp(2iπz)+・・・

  j(i)=12^3=1728

[4][log(640320^3+744)/π]^2=163+2.32×10^-33)・・・整数にものすごく近い.

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