オイラーの五角数定理

数学において、オイラーの五角数定理（オイラーのごかくすうていり、Euler's pentagonal number theorem）は次式が恒等式であることを主張する定理である。
formula_2はqポッホハマー記号である。具体的には以下の式を表す。
この等式はヤコビの三重積公式の特殊な場合であり、右辺に五角数が表れる。
五角数定理から分割関数の漸化式が導かれる。また、五角数定理は、整数を互いに異なる自然数に分割する方法のうち、偶数個に分割する方法に+1、奇数個に分割する方法に-1をわりあて、すべての分割に対する合計を考えたとき、五角数以外の整数ではその合計がゼロとなることを示す。
整数formula_4の互いに異なる偶数個の自然数への分割を集合formula_5で表し、互いに異なる奇数個の自然数への分割を集合formula_6と表すと
が成立する。例えば、整数12を偶数個の互いに異なる自然数に分割する方法は
であり、奇数個の互いに異なる自然数に分割する方法は
であるから、左辺はformula_8である。一方、formula_9であるから、右辺もformula_10である。
ヤコビの三重積による証明.
ヤコビの三重積の公式
に を代入すると
となる。
組み合わせによる証明.
証明は偶数個の分割と奇数個の分割を対応させる法則を示すことにより可能となる。下図は20 = 7 + 6 + 4 + 3 の分割を表すフェラーズ図形 である。
ここで "m" を最下行の要素数とする(この図では "m" = 3)。また "s" を「１つ上の行より1少ないという関係が続いている部分」のうち、もっとも右側にあるものの長さとする(この例では"s" = 2。図の赤い点で示される)。
このとき "m" > "s" ならば、赤い点の部分を最下部に付け加えることで新しい分割を作ることができる。
もし m ≤ s であるなら(この新しい図では "m" = 2, "s" = 5 となりこの条件を満たす)、先ほどと逆の操作をすることで、新しい分割を作ることができる。例えば上図にこの操作をすると、はじめの図に戻る。
この操作は後に述べる例外を除き、必ず分割の偶奇性を変える。また同じ操作を二回繰り返すともとに戻る。この結果から、偶数分割と奇数分割のペアを対応させることができ、五角数定理において+1と-1が割当てられている項どうしが相殺される。この例は
7 + 6 + 4 + 3 <-> 6 + 5 + 4 + 3 + 2 
という対応を表している。
この対応が成り立たない例外は以下のケースである。
1) "m" = "s" であり、すべての行が１つ上の行より1少ないという関係になっている。
この場合、先に述べた操作をすると
となり分割の偶奇性が変化しない。またこの操作を繰り返してももとには戻らない。この例では 5 + 4 + 3 -> 6 + 5 + 1 -> 7 + 5 となる。このような条件が満たす "n" は以下の式で求まる。"m" をもとの図の最下部の数とすると
ここで"k"を"m"と等しい数とおいた。またこの分割に割当られる符号は
(−1)"s" となり、これはまた(−1)"k" と等しい。
2) "m" = "s"+1 であり、すべての行が１つ上の行より1少ないという関係になっている。
これに先に述べた操作をすると、同じ要素数の行が２つできてしまい、これは相異なる自然数への分割という条件を満たさなる。この例では 6 + 5 + 4 -> 5 + 4 + 3 + 3 となる。このときの "n" は
である。ここで "k" = 1−"m" である(負数)。この分割に割り当てられる符号は (−1)"s" であり、 "s" = "m"−1 = −"k" であるため、再び (−1)"k". となる。
以上のことから、偶数分割と奇数分割はほとんどの場合、打ち消しあい、五角数定理の右辺の項はゼロとなるが、"n" が一般五角数 formula_15 である場合のみ、ペアを満たさない分割が一つだけ生じる。この分割に割当てられる符号は(−1)"k" であるため、五角数定理の右辺には(−1)"k""xn" という項が残る。