（その１０）の問題を一般化して

　　ｎ＝ｋ1＋２ｋ2＋３ｋ3＋・・・　　　（ｋ1≧０，ｋ2≧０，ｋ3≧０，・・・）の個数ｐ（ｎ）を考えます．

　このことから，分割数は以下の公式によって代数的に定義することができることがわかります．

　　f(x)=Π(1-x^n)^(-1)={(1-x)(1-x^2)･･･(1-x^n)･･･}^(-1)

　　　　=(1+x+x^2+･･･)(1+x^2+x^4+･･･)(1+x^3+x^6+･･･)(1+x^4+x^8+･･･)･･･

　　　　=Σp(n)x^n=1+p(1)x+p(2)x^2+p(3)x^3+･･･

すなわち，f(x)は分割関数p(n)の母関数で，p(n)はｘ^nの係数になっています．

　ｘ^k1を第１因子(1+x+x^2+･･･)の一般項，ｘ^2k2を第２因子(1+x^2+x^4+･･･)の一般項，ｘ^3k3を第３因子(1+x^3+x^6+･･･)の一般項，・・・とすると，

　　ｎ＝ｋ1＋２ｋ2＋３ｋ3＋・・・

となって，ｘ^nの項が整数ｎの分割に対応することになるのですが，オイラーはこのようにしてp(n)の母関数

　　f(x)=Π(1-x^n)^(-1)={(1-x)(1-x^2)･･･(1-x^n)･･･}^(-1)

　　　　=Σp(n)x^n=1+p(1)x+p(2)x^2+p(3)x^3+･･･

を得たというわけです．

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

　「分割数」とは与えられた整数にどれだけ多くの分割があるのか（4=1+1+1+1,4=3+1）という整数の分割理論のことです．整数の分割では，3=2+1と3=1+2のように足し算の順序が違うものは同じと見なすことにします．

　たとえば，４を分割するには非増加数列で構成した５通りの方法，4=3+1=2+2=2+1+1=1+1+1+1がありますから，p(4)=5．同様にして，5=4+1=3+2=3+1+1=2+2+1=2+1+1+1=1+1+1+1+1よりp(5)=7となります．

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

　また，オイラーは積Π(1-x^n)に対する注目すべき式

　　Π(1-x^n)＝Σ(-1)^k･ｘ^(3k^2+k)/2

を見出しました．

　（ここでベキ級数の指数に初めて２次式が登場した．のちにヤコビにより一般的に研究された）．

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