数学的帰納法を用いて、次の等式を証明します。 $1 + 2 + 3 + \dots + n = \frac{1}{2}n(n+1)$

数論数学的帰納法等式の証明自然数数列の和
2025/3/19

1. 問題の内容

数学的帰納法を用いて、次の等式を証明します。
1+2+3++n=12n(n+1)1 + 2 + 3 + \dots + n = \frac{1}{2}n(n+1)

2. 解き方の手順

(1) n=1n = 1 のとき:
左辺は 11。右辺は 12(1)(1+1)=12(1)(2)=1\frac{1}{2}(1)(1+1) = \frac{1}{2}(1)(2) = 1
よって、n=1n = 1 のとき、等式は成り立つ。
(2) n=kn = k のとき、等式が成り立つと仮定する。すなわち、
1+2+3++k=12k(k+1)1 + 2 + 3 + \dots + k = \frac{1}{2}k(k+1)
が成り立つと仮定する。
(3) n=k+1n = k + 1 のとき、等式が成り立つことを示す。すなわち、
1+2+3++k+(k+1)=12(k+1)(k+2)1 + 2 + 3 + \dots + k + (k+1) = \frac{1}{2}(k+1)(k+2)
を示す。
(2) の仮定より、
1+2+3++k+(k+1)=12k(k+1)+(k+1)1 + 2 + 3 + \dots + k + (k+1) = \frac{1}{2}k(k+1) + (k+1)
=(k+1)(12k+1)= (k+1)(\frac{1}{2}k + 1)
=(k+1)(12k+22)= (k+1)(\frac{1}{2}k + \frac{2}{2})
=(k+1)k+22= (k+1)\frac{k+2}{2}
=12(k+1)(k+2)= \frac{1}{2}(k+1)(k+2)
したがって、n=k+1n = k + 1 のときも等式は成り立つ。
(1), (2), (3) より、数学的帰納法によって、すべての自然数 nn に対して等式は成り立つ。

3. 最終的な答え

すべての自然数 nn に対して、1+2+3++n=12n(n+1)1 + 2 + 3 + \dots + n = \frac{1}{2}n(n+1) が成り立つ。

「数論」の関連問題

$\sqrt{245-7n}$ が整数となる自然数 $n$ の値を全て求めよ。

平方根整数の性質因数分解平方数
2025/4/4

自然数 $a, b, c$ が $a^2 + b^2 = c^2$ を満たすとき、$a, b, c$ のうち少なくとも1つは偶数であることを証明します。

ピタゴラス数整数の性質背理法偶数奇数
2025/4/3

自然数 $n$ について、「$n^2$ が 3 の倍数ならば、$n$ は 3 の倍数である」という命題を、対偶を用いて証明する。

整数の性質対偶倍数証明
2025/4/3

次の数を素因数分解せよ。 (1) 48 (2) 60 (3) 91

素因数分解素数整数の性質
2025/4/3

自然数Nを3進法で表すと4桁の数 $1ab1_{(3)}$ となり、5進法で表すと3桁の数 $a0b_{(5)}$ となる。 このとき、$a$, $b$, $N$ を求める。

進法整数方程式解法
2025/4/3

次の2つの不定方程式の整数解をすべて求める問題です。 (1) $3x - 5y = 1$ (2) $75x + 64y = 1$

不定方程式整数解ユークリッドの互除法
2025/4/2

$n > 1$ のとき、$n^7 - n$ が42で割り切れることを示す問題です。

整数の性質合同式因数分解フェルマーの小定理
2025/3/31

$n > 1$ のとき、$n^7 - n$ が $42$ で割り切れることを示す問題です。

整数の性質割り算因数分解フェルマーの小定理
2025/3/31

$n$ を自然数とするとき、「$n$ が 3 の倍数ならば $n^2$ も 3 の倍数となる」という命題の逆と裏の真偽を判定し、正しい組み合わせを選ぶ問題です。

命題真偽倍数整数の性質対偶
2025/3/31

自然数 $n$ に対して、「$n$ が 3 の倍数ならば、$n^2$ も 3 の倍数となる」という命題がある。この命題の逆と裏の真偽を判定し、正しい組み合わせを選択する。

命題真偽倍数対偶
2025/3/31