オイラーの五角数定理のソースを表示

{{出典の明記|date=2018年9月}}
数学において、'''[[レオンハルト・オイラー|オイラー]]の五角数定理'''（オイラーのごかくすうていり、Euler's pentagonal number theorem）は次式が[[恒等式]]であることを主張する[[定理]]である<ref>神保道夫. (2003). 複素関数入門. 岩波書店.</ref>。
:<math>(q;q)_\infty=\prod_{n=1}^{\infin}(1-q^n)=\sum_{n=-\infin}^{\infin}(-1)^n q^{n(3n-1)/2}, \quad|q|<1.</math>
<math>(q;q)_\infty</math>は[[qポッホハマー記号]]である。具体的には以下の式を表す。
:<math>(1-x)(1-x^2)(1-x^3) \cdots = 1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} - \cdots.</math>

この等式は[[ヤコビの三重積]]公式の特殊な場合であり、右辺に[[五角数]]が表れる。

五角数定理から[[自然数の分割#定義|分割関数]]の[[漸化式]]が導かれる。また、五角数定理は、整数を互いに異なる自然数に[[整数分割|分割]]する方法のうち、偶数個に分割する方法に+1、奇数個に分割する方法に-1をわりあて、すべての分割に対する合計を考えたとき、五角数以外の整数ではその合計がゼロとなることを示す。
整数<math>n</math>の互いに異なる偶数個の自然数への分割を集合<math>\mathcal{Q}^0(n)</math>で表し、互いに異なる奇数個の自然数への分割を集合<math>\mathcal{Q}^1(n)</math>と表すと
:<math>|\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}</math>
が成立する。例えば、整数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
であるから、左辺は<math>7-8=-1</math>である。一方、<math>12=\frac{3(3\cdot3-1)}{2}</math>であるから、右辺も<math>(-1)^3=-1</math>である。

== ヤコビの三重積による証明 ==
[[ヤコビの三重積]]の公式
:<math>\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)}</math>
に {{math|''q'' {{=}} ''x''<sup>3/2</sup>, ''z'' {{=}} &minus;''x''<sup>&minus;1/2</sup>}} を代入すると
:<math>\begin{align}
\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{align}</math>
となる。

== 組み合わせによる証明 ==
証明は偶数個の分割と奇数個の分割を対応させる法則を示すことにより可能となる。下図は20 = 7 + 6 + 4 + 3 の分割を表す[[自然数の分割#フェラーズ図形|フェラーズ図形]] である。
:[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|o]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|o]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]
ここで ''m'' を最下行の要素数とする(この図では ''m'' = 3)。また ''s'' を「１つ上の行より1少ないという関係が続いている部分」のうち、もっとも右側にあるものの長さとする(この例では''s'' = 2。図の赤い点で示される)。
このとき ''m'' > ''s'' ならば、赤い点の部分を最下部に付け加えることで新しい分割を作ることができる。

:[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:RedDot.svg|16px|o]][[Image:RedDot.svg|16px|o]]

もし m ≤ s であるなら(この新しい図では ''m'' = 2, ''s'' = 5 となりこの条件を満たす)、先ほどと逆の操作をすることで、新しい分割を作ることができる。例えば上図にこの操作をすると、はじめの図に戻る。

この操作は後に述べる例外を除き、必ず分割の偶奇性を変える。また同じ操作を二回繰り返すともとに戻る。この結果から、偶数分割と奇数分割のペアを対応させることができ、五角数定理において+1と-1が割当てられている項どうしが相殺される。この例は
7 + 6 + 4 + 3 <nowiki><-></nowiki> 6 + 5 + 4 + 3 + 2 
という対応を表している。

この対応が成り立たない例外は以下のケースである。

1) ''m'' = ''s'' であり、すべての行が１つ上の行より1少ないという関係になっている。

:[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]]<br>[[Image:RedDot.svg|16px|*]][[Image:RedDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]

この場合、先に述べた操作をすると

:[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]<br>[[Image:RedDot.svg|16px|*]]

となり分割の偶奇性が変化しない。またこの操作を繰り返してももとには戻らない。この例では <nowiki>5 + 4 + 3 ->  6 + 5 + 1 -> 7 + 5</nowiki> となる。このような条件が満たす ''n'' は以下の式で求まる。''m'' をもとの図の最下部の数とすると

:<math>n=m+(m+1)+(m+2)+\cdots+(2m-1)=\frac {m(3m-1)}{2}=\frac {k(3k-1)}{2}</math>
ここで''k''を''m''と等しい数とおいた。またこの分割に割当られる符号は
(−1)<sup>''s''</sup> となり、これはまた(−1)<sup>''k''</sup> と等しい。

2) ''m''  =  ''s''+1 であり、すべての行が１つ上の行より1少ないという関係になっている。

:[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]<br>[[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:GrayDot.svg|16px|*]][[Image:RedDot.svg|16px|*]]

これに先に述べた操作をすると、同じ要素数の行が２つできてしまい、これは相異なる自然数への分割という条件を満たさなる。この例では <nowiki>6 + 5 + 4 -> 5 + 4 + 3 + 3</nowiki> となる。このときの ''n'' は

:<math>n=m+(m+1)+(m+2)+\cdots+(2m-2)=\frac{(m-1)(3m-2)}{2}=\frac{k(3k-1)}{2},</math>

である。ここで ''k'' = 1&minus;''m'' である(負数)。この分割に割り当てられる符号は (&minus;1)<sup>''s''</sup> であり、 ''s'' = ''m''&minus;1 = −''k'' であるため、再び (−1)<sup>''k''</sup>. となる。

以上のことから、偶数分割と奇数分割はほとんどの場合、打ち消しあい、五角数定理の右辺の項はゼロとなるが、''n'' が一般五角数 <math>n = g_k = k(3k-1)/2</math> である場合のみ、ペアを満たさない分割が一つだけ生じる。この分割に割当てられる符号は(−1)<sup>''k''</sup> であるため、五角数定理の右辺には(−1)<sup>''k''</sup>''x<sup>n</sup>'' という項が残る。

==参考文献==
{{reflist}}

==外部リンク==
*[http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H24-arakawa.pdf 無限の対称性をめぐって], 平成24年度(第34回)数学入門公開講座テキスト(京都大学数理解析研究所，平成24年7月30日～8月2日開催).
* {{cite journal|和書|author=梅田亨 |date=2006-06 |url=https://hdl.handle.net/2433/58358 |title=跡等式としての五角数定理(組合せ論的表現論の世界) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1497 |pages=88-102 |hdl=2433/58358 |CRID=1050001201936619392}}
*[http://physmathseminar.web.fc2.com/discourse/2014/winter_okayama_abst/eulers-pentagonal-num-thm.pdf オイラーの五角数定理~ならべごま！~]
*[http://www.gem.aoyama.ac.jp/~kyo/sotsuken/2010/moriya_sotsuron_2010.pdf オイラーの五角数定理とヤコビの三重積公式]

{{DEFAULTSORT:おいらあのこかくすうていり}}
[[Category:数論の定理]]
[[Category:組合せ論]]
[[Category:図形数]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
[[Category:レオンハルト・オイラー]]