この問題は、自然数 $n$ に関する以下の3つの等式または不等式を数学的帰納法などを用いて証明する問題です。 (1) $1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6}n(n+1)(2n+1)$ (2) $n! > 2^{n-1}$ ($n \geq 3$) (3) $1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} \leq \frac{2n-1}{n}$

代数学数学的帰納法数列不等式Σ
2025/7/23

1. 問題の内容

この問題は、自然数 nn に関する以下の3つの等式または不等式を数学的帰納法などを用いて証明する問題です。
(1) 12+22+32++n2=16n(n+1)(2n+1)1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6}n(n+1)(2n+1)
(2) n!>2n1n! > 2^{n-1} (n3n \geq 3)
(3) 1+122+132++1n22n1n1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} \leq \frac{2n-1}{n}

2. 解き方の手順

(1) 数学的帰納法で証明します。
(i) n=1n=1 のとき、左辺は 12=11^2 = 1, 右辺は 161(1+1)(21+1)=16123=1\frac{1}{6} \cdot 1 \cdot (1+1) \cdot (2 \cdot 1 + 1) = \frac{1}{6} \cdot 1 \cdot 2 \cdot 3 = 1。よって、n=1n=1 のとき成り立つ。
(ii) n=kn=k のとき、等式が成り立つと仮定する。すなわち、
12+22+32++k2=16k(k+1)(2k+1)1^2 + 2^2 + 3^2 + \dots + k^2 = \frac{1}{6}k(k+1)(2k+1) が成り立つと仮定する。
(iii) n=k+1n=k+1 のとき、等式が成り立つことを示す。
12+22+32++k2+(k+1)2=16k(k+1)(2k+1)+(k+1)21^2 + 2^2 + 3^2 + \dots + k^2 + (k+1)^2 = \frac{1}{6}k(k+1)(2k+1) + (k+1)^2
=16(k+1)[k(2k+1)+6(k+1)]= \frac{1}{6}(k+1)[k(2k+1) + 6(k+1)]
=16(k+1)(2k2+k+6k+6)= \frac{1}{6}(k+1)(2k^2 + k + 6k + 6)
=16(k+1)(2k2+7k+6)= \frac{1}{6}(k+1)(2k^2 + 7k + 6)
=16(k+1)(k+2)(2k+3)= \frac{1}{6}(k+1)(k+2)(2k+3)
=16(k+1)((k+1)+1)(2(k+1)+1)= \frac{1}{6}(k+1)((k+1)+1)(2(k+1)+1)
したがって、n=k+1n=k+1 のときも成り立つ。
(i)(ii)(iii)より、すべての自然数 nn について等式が成り立つ。
(2) 数学的帰納法で証明します。
(i) n=3n=3 のとき、左辺は 3!=321=63! = 3 \cdot 2 \cdot 1 = 6, 右辺は 231=22=42^{3-1} = 2^2 = 4。よって、3!>2313! > 2^{3-1} となり、n=3n=3 のとき成り立つ。
(ii) n=kn=k (k3k \geq 3) のとき、k!>2k1k! > 2^{k-1} が成り立つと仮定する。
(iii) n=k+1n=k+1 のとき、n!>2n1n! > 2^{n-1} が成り立つことを示す。
(k+1)!=(k+1)k!>(k+1)2k1(k+1)! = (k+1) \cdot k! > (k+1) \cdot 2^{k-1} (仮定より)
k3k \geq 3 より、k+14>2k+1 \geq 4 > 2 なので、
(k+1)!>22k1=2k=2(k+1)1(k+1)! > 2 \cdot 2^{k-1} = 2^k = 2^{(k+1)-1}
したがって、n=k+1n=k+1 のときも成り立つ。
(i)(ii)(iii)より、n3n \geq 3 を満たす全ての自然数 nn について、n!>2n1n! > 2^{n-1} が成り立つ。
(3) 数学的帰納法で証明します。
(i) n=1n=1 のとき、左辺は 11, 右辺は 2111=1\frac{2 \cdot 1 - 1}{1} = 1。よって、n=1n=1 のとき、111 \leq 1 となり成り立つ。
(ii) n=kn=k のとき、1+122+132++1k22k1k1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} \leq \frac{2k-1}{k} が成り立つと仮定する。
(iii) n=k+1n=k+1 のとき、1+122+132++1k2+1(k+1)22(k+1)1k+11 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} + \frac{1}{(k+1)^2} \leq \frac{2(k+1)-1}{k+1} を示す。
1+122+132++1k2+1(k+1)22k1k+1(k+1)21 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} + \frac{1}{(k+1)^2} \leq \frac{2k-1}{k} + \frac{1}{(k+1)^2} (仮定より)
=(2k1)(k+1)2+kk(k+1)2= \frac{(2k-1)(k+1)^2 + k}{k(k+1)^2}
=(2k1)(k2+2k+1)+kk(k+1)2= \frac{(2k-1)(k^2+2k+1) + k}{k(k+1)^2}
=2k3+4k2+2kk22k1+kk(k+1)2= \frac{2k^3 + 4k^2 + 2k - k^2 - 2k - 1 + k}{k(k+1)^2}
=2k3+3k2+k1k(k+1)2= \frac{2k^3 + 3k^2 + k - 1}{k(k+1)^2}
ここで、2(k+1)1k+1=2k+1k+1\frac{2(k+1)-1}{k+1} = \frac{2k+1}{k+1} と比較するため、
2k3+3k2+k1k(k+1)22k+1k+1=2k3+3k2+k1(2k+1)k(k+1)k(k+1)2\frac{2k^3 + 3k^2 + k - 1}{k(k+1)^2} - \frac{2k+1}{k+1} = \frac{2k^3 + 3k^2 + k - 1 - (2k+1)k(k+1)}{k(k+1)^2}
=2k3+3k2+k1(2k2+k)(k+1)k(k+1)2= \frac{2k^3 + 3k^2 + k - 1 - (2k^2+k)(k+1)}{k(k+1)^2}
=2k3+3k2+k1(2k3+3k2+k)k(k+1)2= \frac{2k^3 + 3k^2 + k - 1 - (2k^3 + 3k^2 + k)}{k(k+1)^2}
=1k(k+1)2<0= \frac{-1}{k(k+1)^2} < 0
したがって、1+122+132++1k2+1(k+1)22k+1k+1=2(k+1)1k+11 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} + \frac{1}{(k+1)^2} \leq \frac{2k+1}{k+1} = \frac{2(k+1)-1}{k+1} となり、n=k+1n=k+1 のときも成り立つ。
(i)(ii)(iii)より、すべての自然数 nn について不等式が成り立つ。

3. 最終的な答え

(1) 12+22+32++n2=16n(n+1)(2n+1)1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6}n(n+1)(2n+1)
(2) n!>2n1n! > 2^{n-1} (n3n \geq 3)
(3) 1+122+132++1n22n1n1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} \leq \frac{2n-1}{n}

「代数学」の関連問題

放物線 $y = 3x^2 + 5kx + 2k^2 + k - 3$ が $x$ 軸に接するような $k$ の値を求め、そのときの放物線のグラフを描く。

二次関数二次方程式判別式グラフ
2025/7/25

片道 $a$ kmの2地点間を往復します。行きは時速4kmで歩き、帰りは時速12kmの自転車を利用しました。往復にかかった時間が6時間であるとき、$a$を求める問題です。

方程式速さ距離時間一次方程式
2025/7/25

片道 $a$ kmの2地点間を往復する。行きは時速4kmで歩き、帰りは時速12kmの自転車で帰ってきた。往復にかかった時間が6時間であったとき、$a$を求める式を立てて解け。

方程式文章問題速さ距離時間
2025/7/25

不等式の変形において、どのような場合に不等号の向きが変わるのかを、63Pを参照して35字程度で説明する問題です。

不等式2次方程式方程式不等号
2025/7/25

1冊 $x$ 円のノートが7冊あります。その代金が1000円より安いとき、この関係を25字程度の文章で表してください。

不等式文章題数量関係
2025/7/25

2次方程式 $x^2 - 3x - 7 = 0$ を解いた解が $x = \frac{3 \pm \sqrt{p}}{2}$ の形式で与えられているとき、$p$ の値を求めます。

二次方程式解の公式根の判別式
2025/7/25

不等式 $\frac{x}{2} - 1 \leq 7$ を解き、$x$ の範囲を求めます。

不等式二次方程式因数分解解の公式
2025/7/25

与えられた5つの問題を解く。 Q1: 方程式 $x + 6 = 5$ を解く。 Q2: 方程式 $4x - 2 = 6x + 8$ を解く。 Q3: 「$x$ に 3 をかけると、6 より大きい」とい...

方程式不等式一次方程式
2025/7/25

問題は、$a + b + \frac{1}{4}(a - 8b)$ を簡略化することです。

式の計算文字式分配法則同類項
2025/7/25

与えられた2つの2次方程式を解く問題です。 (1) $2x^2 + x - 1 = 0$ (2) $3x^2 - 11x + 10 = 0$

二次方程式因数分解方程式
2025/7/25