■ヤコビの4平方和定理(その24)
Φ(x)=Π(1-x^k)と記すことにすると,
[1]分割関数は
1/Φ(x)=Π1/(1-x^k)=Σp(n)x^n
[2]オイラーの五角数定理は
Φ(x)=Π(1-x^k)=Σ(-1)^nx^{n(3n-1)/2}=1+Σ(-1)^n{x^n(3n-1)/2+x^{n(3n-1)/2+n}}
===================================
[3]ガウスの三角数等式
{Φ(x^2)}^2/Φ(x)=Σx^{n(n+1)/2}=1+x^{n(n+1)/2}
[4]ガウスの四角数等式
{Φ(x)}^2/Φ(x^2)=Σ(-1)^nx^{n^2}=1+2Σ(-1)^nx^{n^2}
[5]ガウスの恒等式
{Φ(x)}^3=Σ(-1)^n(2n+1)x^{n(n+1)/2}=1+2Σ(-1)^nx^{n^2}
===================================
[6]ヤコビの三重積公式
Π(1-q^n)(1+zq^n)(1+z^-1q^n-1)=Σz^nq^(n(n+1)/2)
Π(1+zq^n)(1+z^-1q^n-1)=1/Φ(q)・Σz^nq^(n(n+1)/2)
z=1とおくと
[3]ガウスの三角数等式
{Φ(x^2)}^2/Φ(x)=Σx^{n(n+1)/2}=1+x^{n(n+1)/2}
q→q^2,z→-q^-1とおくと
[4]ガウスの四角数等式
{Φ(x)}^2/Φ(x^2)=Σ(-1)^nx^{n^2}=1+2Σ(-1)^nx^{n^2}
q→q^3,z→-q^-2とおくと
[2]オイラーの五角数定理は
Φ(x)=Π(1-x^k)=Σ(-1)^nx^{n(3n-1)/2}=1+Σ(-1)^n{x^n(3n-1)/2+x^{n(3n-1)/2+n}}
===================================
q→q^(k-2),z→-q^-(k-3)とおくと、k角数が現れてくる。
q→q^4,z→-q^-3とおくと,六角数等式
Φ(q)Φ(q^4)/Φ(q^2)
q→q^6,z→-q^-5とおくと,八角数等式
Φ(q){Φ(q^6)}/Φ(q^2)Φ(q^3)
===================================