数学的帰納法を用いて、次の等式を証明します。 $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) が成り立つ。

「数論」の関連問題

自然数 $n$ に対して、$2^n$ が22桁であり、かつ最高位の数字が4である。$\log_{10} 2 = 0.3010$ および $\log_{10} 3 = 0.4771$ を用いて、$n$ ...

指数対数桁数末尾の数字
2025/5/14

$\sqrt{n^2 + 100}$ が整数になるような整数 $n$ はいくつあるかという問題です。

整数平方根整数の性質方程式
2025/5/14

3桁の正の整数があり、その整数の各位の数の和が3の倍数であるとき、その整数は3の倍数となる理由を説明する。

整数の性質倍数合同式
2025/5/14

ユークリッドの互除法を用いて、以下の2つの不定方程式を満たす整数解をそれぞれ1つ求める。 (1) $53x + 37y = 1$ (2) $19x - 43y = 1$

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

自然数全体の集合をN、実数全体の集合をRとする。選択肢の中から正しいものをすべて選ぶ問題です。選択肢は以下の4つです。 a. $\sqrt{2} \in N$ または $\sqrt{2} \notin...

集合実数自然数命題
2025/5/14

ある素数 $n$ について、$n+2$ が素数であるという問題です。具体的に何を求められているかは不明ですが、$n$ の値を特定する、もしくはそのような $n$ が存在するかどうかを検討すると解釈でき...

素数双子素数
2025/5/13

(1) 4で割ると1余り、7で割ると3余る3桁の自然数の中で最大のものを求める。 (2) 11で割ると2余り、13で割ると5余る4桁の自然数の中で最小のものを求める。

合同式剰余最大公約数最小公倍数
2025/5/13

$n$ は自然数とする。$n^2+n+6$ と $n+5$ の最大公約数として考えられる数をすべて求める。

最大公約数整数の性質合同式
2025/5/13

与えられた6つの一次不定方程式について、全ての整数解を求める。

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

与えられた不定方程式の整数解を全て求める問題です。具体的には以下の4つの方程式の整数解を求めます。 (2) $55x + 23y = 1$ (3) $58x + 47y = 2$ (4) $61x -...

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