| For All Solvers
OMC211 (for beginners)

OMC211(E)

ユーザー解説 by MARTH

 公式解説と同様の考察により, 求める答えは, 2020 を偶数個の正整数に分割する方法の数であるとわかる. f=x+x2+x3+=x1xf=x+x^2+x^3+\cdots=\frac{x}{1-x} とすると 2020kk 個の正整数に分割する方法は, [x20](x+x2+x3+)k=[x20]fk[x^{20}](x+x^2+x^3+\cdots)^k=[x^{20}]f^k であるから k=0,2,4,8,k=0,2,4,8,\dots について, [x20]fk[x^{20}]f^k を合計すれば求める答えは, n=0[x20]f2n=[x20]n=0f2n=[x20]11f2=[x20]11(x1x)2=[x20]12x+x212x=[x20]112x2[x19]112x+[x18]112x=2202×219+218=218 \begin{aligned} \sum_{n=0}^{\infty}[x^{20}]f^{2n}&=[x^{20}]\sum_{n=0}^{\infty}f^{2n}\\ &=[x^{20}]\frac{1}{1-f^2}\\ &=[x^{20}]\frac{1}{1-\Big(\dfrac{x}{1-x}\Big)^2}\\ &=[x^{20}]\frac{1-2x+x^2}{1-2x}\\ &=[x^{20}]\frac{1}{1-2x}-2[x^{19}]\frac{1}{1-2x}+[x^{18}]\frac{1}{1-2x}\\ &=2^{20}-2\times2^{19}+2^{18}\\ &=2^{18} \end{aligned}