■ラマヌジャンのτとΔ(その84)
Δ(x)=xΠ(1-x^i)^24=Στ(n)x^n
はラマヌジャン以来、多くの研究がなされ例えば、乗法的性質(n,m)=1ならτ(nm)=τ(n)τ(m)など多くの性質がわかっている。
また、mod7,mod23,mod691との大変良い関係があることもわかっている。
ラマヌジャンは|τ(p)|≦2p^11/2であると予想したが、これがただしいことは1973年、ドリーニュによって証明された。
===================================
ところで、24のどの約数{di}={2,3,4,6,8,12,24}も次の性質を持つ。
xy=1 (mod di)ならx=y (mod di)
===================================