$n$ を自然数とするとき、不等式 $3^n \geq 1+2n$ を証明せよ。

代数学数学的帰納法不等式指数関数
2025/4/4

1. 問題の内容

nn を自然数とするとき、不等式 3n1+2n3^n \geq 1+2n を証明せよ。

2. 解き方の手順

この不等式を数学的帰納法を用いて証明します。
(1) n=1n=1 のとき:
左辺は 31=33^1 = 3。右辺は 1+2(1)=31+2(1) = 3
よって、311+2(1)3^1 \geq 1+2(1) が成り立つ。
(2) n=kn=k (kk は自然数)のとき、3k1+2k3^k \geq 1+2k が成り立つと仮定する。
このとき、n=k+1n=k+1 のときにも 3k+11+2(k+1)3^{k+1} \geq 1+2(k+1) が成り立つことを示す。
3k+1=33k3^{k+1} = 3 \cdot 3^k
帰納法の仮定より、3k1+2k3^k \geq 1+2k であるから、
3k+13(1+2k)=3+6k3^{k+1} \geq 3(1+2k) = 3+6k
ここで、3+6k1+2(k+1)3+6k \geq 1+2(k+1) を示す必要がある。
3+6k1+2k+23+6k \geq 1+2k+2
3+6k3+2k3+6k \geq 3+2k
4k04k \geq 0
k0k \geq 0
kk は自然数であるから、k1k \geq 1 であり、4k04k \geq 0 は常に成り立つ。
したがって、3k+13+6k1+2(k+1)3^{k+1} \geq 3+6k \geq 1+2(k+1) となり、3k+11+2(k+1)3^{k+1} \geq 1+2(k+1) が成り立つ。
(1)(2)より、すべての自然数 nn に対して、3n1+2n3^n \geq 1+2n が成り立つ。

3. 最終的な答え

すべての自然数 nn に対して、3n1+2n3^n \geq 1+2n が成り立つ。