η(τ+1 )
=ζ24η(τ) ( ζ24 : 1の24乗根 )
η( -1/τ)
= √(τ/i )η(τ)
を使って
J(√-2 )
= ？
を求めてみます.
τ
= √-2
として
τ＾2
= -2
⇔
-1/τ
=τ/2
だから
η( -1/τ)
=η(τ/2 )
⇔
√(τ/i )η(τ)
=η(τ/2 )
すると
f1(τ)
=η(τ/2 )/η(τ)
= √(τ/i ) ←ηが消えてくれました！
⇒
J(τ)
= ( ( f1(τ)＾24+16 )/f1(τ)＾8 )＾3
で
f1(τ)＾8
= (τ/i )＾4
= 4
だから
J(τ)
= 20＾3
q.e.d.
上手いこと行くもんやねー！
というか例が上手過ぎるんやな・・・・・・・.