この問題は、自然数 $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. 問題の内容
この問題は、自然数 に関する以下の3つの等式または不等式を数学的帰納法などを用いて証明する問題です。
(1)
(2) ()
(3)
2. 解き方の手順
(1) 数学的帰納法で証明します。
(i) のとき、左辺は , 右辺は 。よって、 のとき成り立つ。
(ii) のとき、等式が成り立つと仮定する。すなわち、
が成り立つと仮定する。
(iii) のとき、等式が成り立つことを示す。
したがって、 のときも成り立つ。
(i)(ii)(iii)より、すべての自然数 について等式が成り立つ。
(2) 数学的帰納法で証明します。
(i) のとき、左辺は , 右辺は 。よって、 となり、 のとき成り立つ。
(ii) () のとき、 が成り立つと仮定する。
(iii) のとき、 が成り立つことを示す。
(仮定より)
より、 なので、
したがって、 のときも成り立つ。
(i)(ii)(iii)より、 を満たす全ての自然数 について、 が成り立つ。
(3) 数学的帰納法で証明します。
(i) のとき、左辺は , 右辺は 。よって、 のとき、 となり成り立つ。
(ii) のとき、 が成り立つと仮定する。
(iii) のとき、 を示す。
(仮定より)
ここで、 と比較するため、
したがって、 となり、 のときも成り立つ。
(i)(ii)(iii)より、すべての自然数 について不等式が成り立つ。
3. 最終的な答え
(1)
(2) ()
(3)