グレイシャーの定理

**グレイシャーの定理**（グレイシャーのていり、）は、数論における整数の分割の研究で使われる恒等的な定理である。1883年、ジェームズ・グレイシャーにより証明された。グレイシャーの定理の述べるところによれば、整数nを数dで割り切れない和因子に分割する方法の個数は、nを同じ数の和因子の個数（重複度）がd未満になるように分割する方法の個数に等しい。 d=2の場合は、レオンハルト・オイラーによって証明されたオイラーの分割恒等式に該当する。

## 主張
整数nを数dで割り切れない数に分割する。この分割の方法の個数はnを同じ数の和因子がd個未満になるように分割する方法の個数に等しい。後者を形式的に書くと、\lambda_i\geq \lambda_{i+1}かつ \lambda_i\geq \lambda_{i+d-1}+1を満たす n=\lambda_1+\cdots+\lambda_kのような分割となる。

d=2の場合はオイラーの定理として知られる。オイラーの定理はnをすべて異なる和因子に分割する方法と、すべて奇数である和因子に分割する方法の個数が等しいことを主張する。

以下においては、12 = 1 + 1 + 1 + 1 + 2 + 3 + 3の様に分割したものを1^4 2^1 3^2のように表現する。また、数の同じ和因子の個数を重複度と呼ぶこととする。例えば、1^4 2^1 3^2の1の重複度は4である。

### オイラーの定理の例

整数7の15個の分割の中で、2で割り切れない数（奇数）の和因子に分割したものを太字で示してある。

\mathbf{7}, 6^1 1^1, 5^1 2^1, \mathbf{5^1 1^2}, 4^1 3^1, 4^1 2^1 1^1, 4^1 1^3, \mathbf{3^2 1^1}, 3^1 2^2, 3^1 2^1 1^2, \mathbf{3^1 1^4}, 2^3 1^1, 2^2 1^3, 2^1 1^5, \mathbf{1^7}

次には、整数7の分割の中で、重複度が2未満になるように（1つも同じものにならないように）分割したものを太字で示してある。

\mathbf{7}, \mathbf{6^1 1^1}, \mathbf{5^1 2^1}, 5^1 1^2, \mathbf{4^1 3^1}, \mathbf{4^1 2^1 1^1}, 4^1 1^3, 3^2 1^1, 3^1 2^2, 3^1 2^1 1^2, 3^1 1^4, 2^3 1^1, 2^2 1^3, 2^1 1^5, 1^7

この2種類の分割の方法の個数は等しい。

### d=3の場合の例
整数6の11個の分割の中で、すべての和因子が3で割り切れないように分割したものを太字で示してある。

6, \mathbf{5^1 1^1}, \mathbf{4^1 2^1}, \mathbf{4^1 1^2}, 3^2, 3^1 2^1 1^1, 3^1 1^3, \mathbf{2^3}, \mathbf{2^2 1^2}, \mathbf{2^1 1^4}, \mathbf{1^6}

次には、整数6の11個の分割の中で、重複度が3未満になるように分割したものを太字で示してある。この分割の方法の個数は、前者の分割の方法と等しい。

\mathbf{6}, \mathbf{5^1 1^1}, \mathbf{4^1 2^1}, \mathbf{4^1 1^2}, \mathbf{3^2}, \mathbf{3^1 2^1 1^1}, 3^1 1^3, 2^3, \mathbf{2^2 1^2}, 2^1 1^4, 1^6

## 証明
オイラーの分割恒等式と同様に母関数による証明を行う。整数nを数dで割り切れない数に分割する方法の個数をp_d(n)、nをどの重複度もd未満になるように分割する方法の個数をq_d(n)とする。このときすべての自然数nでp_d(n)=q_d(n)を示せばよい。p_d(n)=q_d(n)を証明する代わりに\sum_{n=0}^\infty p_d(n)x^n = \sum_{n=0}^\infty q_d(n)x^n が恒等的に成り立つことを示す。

この式の両辺は、分割数の無限積表示と同様に次のように書ける。

: \sum_{n=0}^\infty p_d(n)x^n = \prod_{n=1, d \nmid n}^\infty\frac{1}{1-x^n}  
: \sum_{n=0}^\infty q_d(n)x^n = \prod_{n=1}^\infty\frac{1-x^{dn}}{1-x^n}  

q_d(n)を展開して、

: \prod_{n=1}^\infty\frac{1-x^{dn}}{1-x^n} =\frac{1-x^d}{1-x}\frac{1-x^{2d}}{1-x^2}\dots\frac{1-x^{kd}}{1-x^k}\dots

数dで割り切れるような数k=mdについて分母1-x^kは分子の1-x^{md}と打ち消されるから、\sum_{n=0}^\infty p_d(n)x^n = \sum_{n=0}^\infty q_d(n)x^n が成立する。よってp_d(n)=q_d(n)が示された。

## ロジャース＝ラマヌジャン恒等式

nをすべて異なる和因子に分割する方法の代わりに、この補集合、つまり、一致するような和因子を一つでも持つように分割する方法を数えれば、さらなる一般化が可能である。これは1894年、レナード・ジェームス・ロジャースがはじめて発見し、1913年にシュリニヴァーサ・ラマヌジャンが再発見した恒等式、ロジャース＝ラマヌジャン恒等式による。ロジャース＝ラマヌジャン恒等式の組み合わせ的な解釈は、1917年にイサイ・シューアによって与えられた。

: 1) どの和因子も2つ以上の差があるように分割する方法の個数は、5を法として1か4に合同な数のみを含むように分割する方法の数に等しい。
: 2) どの和因子も2つ以上の差があって、最小の和因子が2以上であるように分割する方法の個数は、5を法として2か3に合同な数のみを含むように分割する方法の数に等しい。

### 例1
整数7の15個の分割の中で、どの和因子も2つ以上の差があるように分割したものを太字で示してある。ただし、分割に同じ数の和因子がある場合、その差は0として扱える。

\mathbf{7}, \mathbf{6^1 1^1}, \mathbf{5^1 2^1}, 5^1 1^2, 4^1 3^1, 4^1 2^1 1^1, 4^1 1^3, 3^2 1^1, 3^1 2^2, 3^1 2^1 1^2, 3^1 1^4, 2^3 1^1, 2^2 1^3, 2^1 1^5, 1^7

次には、整数7の15個の分割の中で、法を5として1か4に合同な数（1,4,6）のみを和因子に持つように分割したものを太字で示してある。この2つの分割方法の個数はどちらも等しい。

7, \mathbf{6^1 1^1}, 5^1 2^1, 5^1 1^2, 4^1 3^1, 4^1 2^1 1^1, \mathbf{4^1 1^3}, 3^2 1^1, 3^1 2^2, 3^1 2^1 1^2, 3^1 1^4, 2^3 1^1, 2^2 1^3, 2^1 1^5, \mathbf{1^7}

### 例2
整数7の15個の分割の中で、どの和因子も2つ以上の差があって、最小の和因子が2以上であるような分割を太字で示してある。

\mathbf{7}, 6^1 1^1, \mathbf{5^1 2^1}, 5^1 1^2, 4^1 3^1, 4^1 2^1 1^1, 4^1 1^3, 3^2 1^1, 3^1 2^2, 3^1 2^1 1^2, 3^1 1^4, 2^3 1^1, 2^2 1^3, 2^1 1^5, 1^7

次には、整数7の15個の分割の中で、法を5として2か3に合同な数（2,3,7）のみを和因子にもつように分割したものを太字で示してある。

\mathbf{7}, 6^1 1^1, 5^1 2^1, 5^1 1^2, 4^1 3^1, 4^1 2^1 1^1, 4^1 1^3, 3^2 1^1, \mathbf{3^1 2^2}, 3^1 2^1 1^2, 3^1 1^4, 2^3 1^1, 2^2 1^3, 2^1 1^5, 1^7

## 脚注

## 出典

* 

## 関連項目
* シューアの分割定理