オイラーの五角数定理

数学において、オイラーの五角数定理（Euler's pentagonal number theorem）は次式が恒等式であることを主張する定理である。

$(q;q)_{\infty }=\prod _{n=1}^{\infty }(1-q^{n})=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{n(3n-1)/2},\quad |q|<1.$

$(q;q)_{\infty }$はqポッホハマー記号である。この等式はヤコビの三重積公式の特殊な場合であり、右辺に五角数が表れる。五角数定理から分割関数の漸化式が導かれる。また、五角数定理は、整数を互いに異なる自然数に分割する方法のうち、偶数個に分割する方法の数と奇数個に分割する方法の数との関係を示すものでもある。整数$n$の互いに異なる偶数個の自然数への分割を集合${\mathcal {Q}}^{0}(n)$で表し、互いに異なる奇数個の自然数への分割を集合${\mathcal {Q}}^{1}(n)$と表すと

$|{\mathcal {Q}}^{0}(n)|-|{\mathcal {Q}}^{1}(n)|={\begin{cases}(-1)^{k}&{\mbox{if }}n={\frac {k(3k{\pm }1)}{2}},k\in \mathbb {N} \\0&{\mbox{otherwise}}\end{cases}}$

が成立する。例えば、整数12を偶数個の互いに異なる自然数に分割する方法は

12=11+1

12=10+2

12=9+3

12=8+4

12=7+5

12=6+3+2+1

12=5+4+2+1

であり、奇数個の互いに異なる自然数に分割する方法は

12=12

12=9+2+1

12=8+3+1

12=7+4+1

12=7+3+2

12=6+5+1

12=6+4+2

12=5+4+3

であるから、左辺は$7-8=-1$である。一方、$12={\frac {3(3\cdot 3-1)}{2}}$であるから、右辺も$(-1)^{3}=-1$である。

ヤコビの三重積による証明

ヤコビの三重積の公式

$\sum _{n=-\infty }^{\infty }{q^{n^{2}}z^{n}}=\prod _{m=1}^{\infty }{\left(1-q^{2m}\right)\left(1+q^{2m-1}z\right)\left(1+q^{2m-1}z^{-1}\right)}$

に q = x^3/2, z = −x^−1/2 を代入すると

${\begin{aligned}\sum _{n=-\infty }^{+\infty }\left(x^{3/2}\right)^{n^{2}}\left(-x^{-1/2}\right)^{n}&=\prod _{m=1}^{\infty }(1-x^{3m})(1-x^{(6m-3)/2}x^{-1/2})(1-x^{(6m-3)/2}x^{1/2})\\&=\prod _{m=1}^{\infty }(1-x^{3m})(1-x^{3m-2})(1-x^{3m-1})\\\sum _{n=-\infty }^{+\infty }(-1)^{n}x^{n(3n-1)/2}&=\prod _{m=1}^{\infty }(1-x^{m})\end{aligned}}$

となる。

組み合わせによる証明

英語版を参照のこと。

外部リンク

• 無限の対称性をめぐって, 平成24年度(第34回)数学入門公開講座テキスト(京都大学数理解析研究所，平成24年7月30日～8月2日開催).
• 跡等式としての五角数定理, 数理解析研究所講究録1497 巻 2006 年 88-102.
• オイラーの五角数定理~ならべごま！~
• オイラーの五角数定理とヤコビの三重積公式