■ヤコビの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}}

===================================