$\displaystyle \sum_{k=1}^nk=\frac{1}{2}n(n+1)$ の証明【数学的帰納法】
$\displaystyle \sum_{k=1}^n k = 1+2+\cdots +n$ が $\displaystyle \frac{1}{2}n(n+1)$ であることを数学的帰納法で証明してみよう。
公式
$$\displaystyle \sum_{k=1}^n k = \frac{1}{2}n(n+1)$$
証明のポイント
$$\begin{aligned}
&\frac{1}{2} n (n+1) + (n+1) \\
& = \frac{1}{2}(n+1)(n+2) \\
& = \frac{1}{2}(n+1)((n+1)+1)
\end{aligned}$$
証明.
等式 $\displaystyle \sum_{k=1}^n k = \frac{1}{2}n(n+1)$ の両辺が, 任意の自然数 $n$ について等しいことを数学的帰納法によって証明する.
$n=1$ のとき, 左辺は $1$ であり, 右辺は $\frac{1}{2}\cdot 1 \cdot (1+1)=1$ である. ゆえに, $n=1$ のとき等式は成り立つ.
$n=\ell \geqq 1$ のとき, $\displaystyle \sum_{k=1}^{\ell} k = \frac{1}{2}\ell(\ell+1)$ と仮定する.
$n=\ell+1$ のとき, 等式の左辺 $\displaystyle \sum_{k=1}^{\ell+1} k$ を計算して, 右辺である $\displaystyle \frac{1}{2}(\ell+1)\{(\ell+1)+1\}$ に変形する.
$$\begin{aligned}
\sum_{k=1}^{\ell+1} k & = 1 + 2 + \cdots + \ell + (\ell + 1) \\
&=\frac{1}{2} \ell (\ell + 1) + (\ell +1) \\
&= \frac{1}{2}(\ell + 1)(\ell + 2) \\
&= \frac{1}{2}(\ell + 1)\{(\ell + 1)+1\}
\end{aligned}$$
よって, $n=\ell$ のとき等式が成り立つと仮定すると, $n=\ell+1$ のときも等式が成り立つことが示せた.
数学的帰納法により, すべての自然数 $n$ について, 等式 $\displaystyle \sum_{k=1}^n k = \frac{1}{2}n(n+1)$ は成り立つ.
たとえば,
$n=3$ のとき,
① $1+2+3$
② $\displaystyle \frac{1}{2}\times 3 \times 4$
が公式の両辺。
②$+4$ を観察します。
$4$ を $\displaystyle \frac{1}{2} \times 4 \times 2$ として②に足すと,
$\displaystyle \frac{1}{2} \cdot 4 \cdot (3+2)$
とできます。
これは $n=4$ の右式になってます。
