>>135
定理3.7の公式は
q=○((1/2)τ),w=○((1/2)z)
とおくと、以下のように書ける

Σ(m=-∞〜∞) q^(m^2)w^(2m)
=Π(m=1〜∞) (1-q^2m)(1+q^(2m-1)w^2)(1-q^(2m-1)w^(-2))

上記の公式はJacobiの三重積公式と呼ばれている