オイラーの恒等式（５角数定理）

　　Π（１−ｘ^n）＝Σ（−１）^k・ｘ^k(3k-1)/2

＝１−ｘ−ｘ^2＋ｘ^5＋ｘ^7−ｘ^12−ｘ^15＋ｘ^22＋ｘ^26−ｘ^35−ｘ^40＋ｘ^54＋ｘ^57−ｘ^70−ｘ^77＋ｘ^92＋ｘ^100−・・・

の級数の係数はすべて１か−１であり，１が２つ，−１が２つ，・・・と繰り返すことがわかる．

　オイラー関数の２乗

　　Π（１−ｘ^n）^2＝Σ（−１）^k・ｘ^k^2・Σ（−１）^k・ｘ^3k^2+k

＝１−２ｘ−ｘ^2＋２ｘ^3＋ｘ^4＋２ｘ^5−２ｘ^6−２ｘ^8−２ｘ^9＋ｘ^10＋・・・

には特別な性質があるようにはみえない．

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

【１】ガウスの恒等式（３角数定理）

　ところが，オイラーの発見から７０年ほど経って，ガウスはオイラー関数の３乗

　　Π（１−ｘ^n）^3＝Σ（−１）^k（２ｋ＋１）・ｘ^k(k+1)/2

＝１−３ｘ＋５^3−７ｘ^6＋９ｘ^10−１１ｘ^15＋・・・

を与えることを証明した．

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

【２】ヤコビの恒等式（３重積公式）

　２変数のヤコビの恒等式（３重積公式）は

　　Π（１＋ｙ^-1ｚ^2n-1）（１＋ｙｚ^2n-1）（１−ｚ^2n）＝Σｙ^kｚ^k^2

を使って，ガウスの恒等式（３角数定理）を導くことができる．

　同様に，ヤコビの恒等式を使って

　　Π（１−ｘ^n）^2／（１−ｘ^2n）＝Σ（−１）^k・ｘ^k^2＝１＋２Σ（−１）^k・ｘ^k^2

経由で

　　Π（１−ｘ^n）^2＝Σ（−１）^k・ｘ^k^2・Σ（−１）^k・ｘ^3k^2+k

＝１−２ｘ−ｘ^2＋２ｘ^3＋ｘ^4＋２ｘ^5−２ｘ^6−２ｘ^8−２ｘ^9＋ｘ^10＋・・・

も得られる．

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