2.2.25

左辺を展開すると以下のようになる。

n=11996(1+nx3n)=(1+1x3)(1+2x6)(1+3x9)(1+4x12)=1+1x3+2x6+(1×2+3)x9+(1×3+4)x12+ \begin{array}{rcl} \prod_{n=1}^{1996}(1 + nx^{3n}) &=& (1 + 1x^3)(1 + 2x^6)(1 + 3x^9)(1 + 4x^{12})\cdots\\ &=& 1 + 1x^3 + 2x^6 + (1\times 2 + 3)x^9 + (1\times 3 + 4)x^{12} + \cdots \end{array}

これからki=3ik_i = 3iとなりxxの肩は3ずつ増えることが分かる。 またこれからm=3×1+3×2++3×19963=1996×1997/2m = \frac{3\times 1+3\times 2+\cdots+3\times 1996}{3} = 1996 \times 1997 / 2である。 x3ix^{3i}の係数aia_iに注目するとこれは、 自然数の列0<n1<n2<nk0 < n_1 < n_2 < \cdots n_ki=n1+n2++nki = n_1 + n_2 + \cdots + n_kを満たすようなもの全てについてとったときのn1n2nkn_1 n_2 \cdots n_kの総和 と等しくなる。

これはOEISに載っていてa1996=422770022900005396331746326869238456954613391962953999171625528181627015392078989161398657859099002a_{1996} = 422770022900005396331746326869238456954613391962953999171625528181627015392078989161398657859099002である。(本当?)

results matching ""

    No results matching ""