■ヤコビの4平方和定理(その23)
Φ(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}}
===================================