問題は数学的帰納法を用いて次の等式を証明することです。 (1) $1 + 3 + 5 + ... + (2n - 1) = n^2$ (2) $1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + ... + n(n + 1) = \frac{1}{3}n(n + 1)(n + 2)$

代数学数学的帰納法等式の証明数列
2025/7/11

1. 問題の内容

問題は数学的帰納法を用いて次の等式を証明することです。
(1) 1+3+5+...+(2n1)=n21 + 3 + 5 + ... + (2n - 1) = n^2
(2) 12+23+34+...+n(n+1)=13n(n+1)(n+2)1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + ... + n(n + 1) = \frac{1}{3}n(n + 1)(n + 2)

2. 解き方の手順

(1)
(i) n=1n = 1 のとき:
左辺 = 11
右辺 = 12=11^2 = 1
よって、n=1n = 1 のとき、等式は成り立つ。
(ii) n=kn = k のとき、等式が成り立つと仮定する。すなわち、
1+3+5+...+(2k1)=k21 + 3 + 5 + ... + (2k - 1) = k^2
n=k+1n = k + 1 のとき、
1+3+5+...+(2k1)+(2(k+1)1)=k2+(2k+1)1 + 3 + 5 + ... + (2k - 1) + (2(k + 1) - 1) = k^2 + (2k + 1)
=k2+2k+1=(k+1)2= k^2 + 2k + 1 = (k + 1)^2
よって、n=k+1n = k + 1 のときも等式は成り立つ。
(i), (ii) より、すべての自然数 nn について等式は成り立つ。
(2)
(i) n=1n = 1 のとき:
左辺 = 12=21 \cdot 2 = 2
右辺 = 131(1+1)(1+2)=13123=2\frac{1}{3} \cdot 1 \cdot (1 + 1) \cdot (1 + 2) = \frac{1}{3} \cdot 1 \cdot 2 \cdot 3 = 2
よって、n=1n = 1 のとき、等式は成り立つ。
(ii) n=kn = k のとき、等式が成り立つと仮定する。すなわち、
12+23+34+...+k(k+1)=13k(k+1)(k+2)1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + ... + k(k + 1) = \frac{1}{3}k(k + 1)(k + 2)
n=k+1n = k + 1 のとき、
12+23+34+...+k(k+1)+(k+1)(k+2)=13k(k+1)(k+2)+(k+1)(k+2)1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + ... + k(k + 1) + (k + 1)(k + 2) = \frac{1}{3}k(k + 1)(k + 2) + (k + 1)(k + 2)
=13k(k+1)(k+2)+33(k+1)(k+2)=13(k+1)(k+2)(k+3)= \frac{1}{3}k(k + 1)(k + 2) + \frac{3}{3}(k + 1)(k + 2) = \frac{1}{3}(k + 1)(k + 2)(k + 3)
=13(k+1)((k+1)+1)((k+1)+2)= \frac{1}{3}(k + 1)((k + 1) + 1)((k + 1) + 2)
よって、n=k+1n = k + 1 のときも等式は成り立つ。
(i), (ii) より、すべての自然数 nn について等式は成り立つ。

3. 最終的な答え

(1) 1+3+5+...+(2n1)=n21 + 3 + 5 + ... + (2n - 1) = n^2 が証明された。
(2) 12+23+34+...+n(n+1)=13n(n+1)(n+2)1 \cdot 2 + 2 \cdot 3 + 3 \cdot 4 + ... + n(n + 1) = \frac{1}{3}n(n + 1)(n + 2) が証明された。

「代数学」の関連問題

5人の生徒P, Q, R, S, Tがテストを受けました。Pの得点は93点、RとSの得点はともにTの2倍、Tの得点はQの1.5倍です。5人の平均点が73点であるとき、Qの得点を求めます。

方程式連立方程式平均文章問題
2025/7/12

与えられた式 $x^3 + ax^2 - x^2 - a$ を因数分解してください。

因数分解多項式共通因数平方の差
2025/7/12

ある展示会に3日間で合計12000人が来場した。2日目の来場者は1日目より1300人少なく、3日目の来場者は2日目より800人多かった。3日目の来場者数を求める。

方程式一次方程式文章問題
2025/7/12

与えられた行列 A の階数を求める問題です。行列 A は以下の通りです。 $A = \begin{pmatrix} 0 & a & a \\ 1 & a & a^2+1 \\ 1 & -a & 1-a...

線形代数行列階数行基本変形場合分け
2025/7/12

2次方程式 $ax^2 + bx + c = 0$ (ただし $a \neq 0$) の2つの解が $\alpha = \frac{1+\sqrt{3}}{2}$ と $\beta = \frac{1...

二次方程式解と係数の関係
2025/7/12

与えられたベクトルの組が線形独立か線形従属かを判定し、その理由を述べる。 (i) $\begin{pmatrix} 2 \\ 0 \\ 1 \end{pmatrix}, \begin{pmatrix}...

線形代数線形独立ベクトル連立方程式
2025/7/12

複素数 $z_n = (\frac{\sqrt{3}-1}{\sqrt{2}} + \frac{\sqrt{3}+1}{\sqrt{2}}i)^n$ (ただし、$n=1,2,3,...$、 $i$は虚...

複素数複素平面絶対値極形式ド・モアブルの定理
2025/7/12

(1) 複素数 $z$ が $|z|=1$ を満たすとき、これは複素数平面上で原点中心、半径1の円を表します。また、$|z-1|=|z+1|$ を満たすとき、これは点1と点-1からの距離が等しい点の集...

複素数複素数平面虚軸二次方程式無限級数部分分数分解
2025/7/12

与えられた4x4行列の行列式を計算する問題です。行列は以下の通りです。 $\begin{vmatrix} a & a & b & b \\ a & b & a & b \\ a & b & b & a...

行列式線形代数行列の計算
2025/7/12

複素数 $z_n = \left( \frac{\sqrt{3}-1}{\sqrt{2}} + \frac{\sqrt{3}+1}{\sqrt{2}}i \right)^n$ (n=1, 2, 3, ...

複素数複素数の絶対値複素数の偏角ド・モアブルの定理
2025/7/12