${\Sigma}k^3$($1$~$n$項まで)の求め方

一般項 $a_n$ が

\[a_n=n^3\tag{2}\label{k^3nowa}\]

で与えられる数列は,具体的に書くと

\begin{array}{c} \boxed{1}&\boxed{2}&\boxed{3}&\boxed{4}&\boxed{5}&\boxed{6}&\\ 1^3,&2^3,&3^3,&4^3,&5^3,&6^3,&\cdots \end{array}

となる.

この $\eqref{k^3nowa}$ のように,『 $a_n=n^3$ 』で表される数列の,初項から第 $n$ 項までの和は次のように求めることができる.

$\text{STEP}1$

3連続数の積の数列の和の公式

\begin{align} &\ \sum_{k=1}^nk(k+1)(k+2)\\ =&\ \frac{1}{4}n(n+1)(n+2)(n+3) \end{align}

を思い出す.

$\text{STEP}2$

左辺の $\Sigma$ の中の式を展開すると, $k^3+3k^2+2k$ になるから, $3k^2+2k$ の項を右辺に移項する.

\begin{align} &\ \sum_{k=1}^n(k^3+3k^2+2k)\\ &\ =\frac{1}{4}n(n+1)(n+2)(n+3)\\ \Leftrightarrow&\ \sum_{k=1}^nk^3+\sum_{k=1}^n(3k^2+2k)\\ &\ =\frac{1}{4}n(n+1)(n+2)(n+3)\\ \Leftrightarrow&\ \sum_{k=1}^nk^3=\frac{1}{4}n(n+1)(n+2)(n+3)\\ &\qquad\qquad\qquad-\sum_{k=1}^n(3k^2+2k)\\ \Leftrightarrow&\ \sum_{k=1}^nk^3=\frac{1}{4}n(n+1)(n+2)(n+3)\\ &\qquad\qquad\qquad-3\sum_{k=1}^nk^2-2\sum_{k=1}^nk \end{align}

$\text{STEP}3$

右辺の $\displaystyle\sum_{k=1}^nk^2$ と $\displaystyle\sum_{k=1}^nk$ を計算し,共通因数でまとめると和の公式が求まる.

\begin{align} &\sum_{k=1}^nk^3\\ =&\frac{1}{4}n(n+1)(n+2)(n+3)\\ &-3\cdot\frac{1}{6}n(n+1)(2n+1)-2\cdot\frac{1}{2}n(n+1)\\ =&\frac{1}{4}n(n+1)(n+2)(n+3)\\ &-\frac{1}{2}n(n+1)(2n+1)-n(n+1)\\ =&\frac{1}{8}2n(n+1)(n+2)(n+3)\\ &-\frac{1}{8}4n(n+1)(2n+1)-\frac{1}{8}8n(n+1)\\ &\uparrow\frac{1}{8}で通分\\ =&\frac{1}{8}n(n+1)\\ &\{2(n+2)(n+3)-4(2n+1)-8\}\\ =&\frac{1}{8}n(n+1)\{2(n^2+5n+6)-8n-4-8\}\\ =&\frac{1}{8}n(n+1)\{2n^2+10n+12-8n-4-8\}\\ =&\frac{1}{8}n(n+1)\{2n^2+2n\}\\ =&\frac{1}{8}n(n+1)\{2n(n+1)\}\\ =&\frac{1}{4}n^2(n+1)^2 \end{align}

以上,まとめておこう.

一般項が $a_n=n^3$ の数列の和

\[\sum_{k=1}^nk^3=\frac{1}{4}n^2(n+1)^2\]

$\displaystyle\sum_{k=1}^nk^3=\left(\sum_{k=1}^nk\right)^2$ と覚えるとよい.