【３】分割数の母関数

　この問題を一般化して

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

　　1+4，5

が加わり，p(5)=7となります．

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

　　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+･･･

を得たのです．

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