【２】分割関数のｍ角数等式

［１］三角数等式

　ヤコビの三重積公式

　　Σz^nq^(n(n+1)/2)=Π(1-q^n)(1+zq^n)(1+z^(-1)q^(n-1))

において，ｚ＝１とすれば，

　　Σq^(n(n+1)/2)=Π(1-q^2n)(1+q^(n-1))

が得られる．ここで，右辺が第０項から始まるようにパラメータをずらすと，

　　Π(1+q^n)(1-q^2n+2)=Σq^(m(m+1)/2)　　m:-∞~∞

［２］七角数等式

　ｑをすべてｑ^5に置き換え，ｚ＝−１／ｑとすれば，

　　Σ(-1)^mq^(m(5m+3)/2)=Π(1-q^5n)(1-q^5n-1)(1-q^5n-4)

が得られる．ここで，右辺が第０項から始まるようにパラメータをずらすと，

　　Π(1-q^5n+1)(1-q^5n+4)(1-q^5n+5)=Σ(-1)^mq^(m(5m+3)/2)　　m:-∞~∞

［３］ｍ角数等式

　ｑをすべてｑ^m-2に置き換え，ｚ＝−１／ｑとすれば，

　　Σ(-1)^nq^(n((m-2)n+m-4)/2)=Π(1-q^(m-2)n)(1-q^(m-2)n-1)(1-q^(m-2)n+1)

が得られる．ここで，右辺が第０項から始まるようにパラメータをずらすと，

　　Π(1-q^(m-2)(n+1))(1-q^(m-2)(n+1)-1)(1-q^(m-2)(n+1)+1)=Σ(-1)^nq^(n((m-2)n+m-4)/2)　　m:-∞~∞

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