■整数にものすごく近い値(その25)

 −d=43,67,163

はとても面白い性質をもっています.

  x=exp(π√d)

が数値的にとても整数に近くなりうるというものです.

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

  exp(π√19)=12^3(3^2-1)^3-744-0.22=884736743.999777・・・

  exp(π√43)=12^3(9^2-1)^3-744-0.00022=884736743.999777・・・

  exp(π√67)=12^3(23^2-1)^3-744-0.0000013=147197952743.99999866・・・

  exp(π√163)=12^3(231^2-1)^3-744-0.00000000000075=262537412640768743.99999999999925007・・・

 これは決して偶然の一致ではありません.xに対しては

  x−744+196884/x−21493760/x^2+・・・

がぴったり整数になることがわかっています.これらの係数は重さ0のモジュラー関数においてq→−1/xとしたものです.

 xが大きいほど後半の項は小さな値となるので,x自身は極めて整数(実は立方数)に近い数になるというわけです.

  exp(π√19)=96^3+744−ε

  exp(π√43)=960^3+744−ε

  exp(π√67)=5280^3+744−ε

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

exp(π√163)の近似値は1859年にエルミートによりすでに求められていたのですが、 1965年のエイプリル・フールのジョークとして,マーチン・ガードナーは整数だと主張し,さらに,冗談で1914年のラマヌジャンの論文に書かれてあるとしました.それ以降,exp(π√163)はラマヌジャン定数という名前で呼べれるようになったとのことです.

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

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

  ε=7.5×10^-13

  {log(640320)^3+744)/π}^2=163+2.32×10^-33

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

π√163/3とlog640320は数値的にとても近いのであるが、

π√163/3〜16.3697

log640320=log320+log2001〜16.3697

π√3502/6とlog(2Π(xj+(xj^2-1)^1/2)

x1=1071/2+92√34

x2=1553/2+133√34

x3=429+304√2

x4=627/2+221√2

はさらに近い。

π√3502/6とlog(2Π(xj+(xj^2-1)^1/2)〜log(2Π(2xj)

x1=1071/2+92√34〜1071

x2=1553/2+133√34〜1553

x3=429+304√2〜858

x4=627/2+221√2〜627

π√3502/6〜30.9853

log1071+log1553+log858+log627+log32〜30.9856

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