【３】ラマヌジャン数（保型形式論の端緒）

　保型形式が最初に現れたのは，１７５０年のオイラーによる五角数定理

　　Π(1-q^n)=Σ(-1)^mq^(m(3m-1)/2))　　　m(3m-1)/2は五角数

ですが，ヤコビの公式（もうひとつの三角数定理？：１８２９年）

　　Π(1-q^n)^3＝Σ(-1)^m(2m+1)q^((m^2+m)/2)　　　(m^2+m)/2は三角数

を経て，ラマヌジャンの保型形式論の時代に突入します．

　ラマヌジャンは，

　　Δ(z)＝qΠ(1-q^n)^24＝Στ(n)q^n

　　　　　 ｚは虚部が正の複素数で，q=exp(2πiz)

を考え，その係数τ(n)を計算しました．

　　τ(1)=1,τ(2)=-24,τ(3)=252,τ(4)=-1472,･･･

　ここでも，無限積をベキ級数に展開した式（フーリエ展開）が登場しましたが，このΔ(z)は，重さ１２の保型形式

　　Δ(az+b/cz+d)=(cz+d)^12Δ(z)

と呼ばれるものになっていて，オイラーの五角数公式の拡張（２４乗版）と考えられます．

　τ(n)はオイラーの分割数のアナローグであり，ラマヌジャン数と呼ばれます．この数は驚くような性質をもっています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝