- 737 名前：１３２人目の素数さん mailto:sage [2012/07/11(水) 22:43:27.11 ]
- なるほど分割数とな。(2)は何か元ネタとかあったりする？
(2)の一般化。kは自然数。
Σ[km≧n≧0、kn≧m≧0] x^m*y^n
={1-x-y+2xy-x^k*y-x*y^k+x^k*y^2+x^2*y^k-x^(k+1)*y^2-x^2*y^(k+1)+x^(k+1)*y^(k+1)}/{(1-x)(1-y)(1-x^k*y)(1-x*y^k)}
={1-x^k*y-x*y^k+(Σ[1≦i,j≦k]x^i*y^j)}/{(1-x^k*y)(1-x*y^k)}
k→∞のとき(1-x-y+2xy)/{(1-x)(1-y)}=1+Σ[1≦i,j]x^i*y^j
m,n座標平面で直線m=kn,n=kmを引いて、条件を満たす領域を考えると見通しが良くなる。
