すべての自然数 $n$ について、以下の不等式が成り立つことを示せ。 $$1 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} \ge \frac{2n}{n+1}$$

数論不等式数学的帰納法調和数列
2025/6/24

1. 問題の内容

すべての自然数 nn について、以下の不等式が成り立つことを示せ。
1+12+13++1n2nn+11 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} \ge \frac{2n}{n+1}

2. 解き方の手順

数学的帰納法を用いて証明します。
(1) n=1n=1 のとき:
左辺 =1= 1
右辺 =2(1)1+1=22=1= \frac{2(1)}{1+1} = \frac{2}{2} = 1
よって、111 \ge 1 となり、不等式は成り立ちます。
(2) n=kn=k のとき不等式が成り立つと仮定します。すなわち、
1+12+13++1k2kk+11 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} \ge \frac{2k}{k+1}
が成り立つと仮定します。
(3) n=k+1n=k+1 のとき不等式が成り立つことを示します。
n=k+1n=k+1 のとき、不等式は
1+12+13++1k+1k+12(k+1)(k+1)+1=2(k+1)k+21 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} + \frac{1}{k+1} \ge \frac{2(k+1)}{(k+1)+1} = \frac{2(k+1)}{k+2}
となることを示します。
仮定より、
1+12+13++1k+1k+12kk+1+1k+1=2k+1k+11 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k} + \frac{1}{k+1} \ge \frac{2k}{k+1} + \frac{1}{k+1} = \frac{2k+1}{k+1}
したがって、2k+1k+12(k+1)k+2\frac{2k+1}{k+1} \ge \frac{2(k+1)}{k+2} を示せばよいことになります。
2k+1k+12(k+1)k+2=(2k+1)(k+2)2(k+1)2(k+1)(k+2)=2k2+5k+22(k2+2k+1)(k+1)(k+2)=2k2+5k+22k24k2(k+1)(k+2)=k(k+1)(k+2)\frac{2k+1}{k+1} - \frac{2(k+1)}{k+2} = \frac{(2k+1)(k+2) - 2(k+1)^2}{(k+1)(k+2)} = \frac{2k^2+5k+2 - 2(k^2+2k+1)}{(k+1)(k+2)} = \frac{2k^2+5k+2 - 2k^2-4k-2}{(k+1)(k+2)} = \frac{k}{(k+1)(k+2)}
kk は自然数なので、k(k+1)(k+2)>0\frac{k}{(k+1)(k+2)} > 0 である。
よって、2k+1k+12(k+1)k+2\frac{2k+1}{k+1} \ge \frac{2(k+1)}{k+2} が成り立つ。
したがって、1+12+13++1k+12(k+1)k+21 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{k+1} \ge \frac{2(k+1)}{k+2} が成り立つ。
(1)(2)(3)より、すべての自然数 nn に対して、1+12+13++1n2nn+11 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} \ge \frac{2n}{n+1} が成り立つ。

3. 最終的な答え

すべての自然数 nn について、1+12+13++1n2nn+11 + \frac{1}{2} + \frac{1}{3} + \dots + \frac{1}{n} \ge \frac{2n}{n+1} が成り立つ。

「数論」の関連問題

整数 $n$ について、$n^2 + n$ が2の倍数であることを示す問題です。

整数の性質倍数因数分解数学的証明
2025/6/25

整数 $n$ が与えられたとき、式 $2n$ がどんな数を表すかを答える問題です。

整数偶数数の性質
2025/6/25

数列$\{a_n\}$が、$a_1=2$, $a_2=3$, $a_{n+2}=a_{n+1}+a_n$($n=1, 2, 3, \dots$)と定義されているとき、以下の問いに答える問題です。 (1...

数列漸化式数学的帰納法素因数分解整数の性質フィボナッチ数列
2025/6/24

$p$, $q$, $r$ は互いに異なる素数であり、$l$, $m$, $n$ は自然数である。このとき、整数 $p^l q^m r^n$ のすべての約数の和が $\frac{p^{l+1}-1}{...

約数素数等比数列
2025/6/24

$\sqrt{2}$ が無理数であることを用いて、以下の数が無理数であることを証明します。 (1) $2-\sqrt{2}$ (2) $\sqrt{8}$

無理数背理法平方根証明
2025/6/24

実数 $x$ が正の無理数であるとき、$\sqrt{x}$ が無理数であることを証明する問題です。

無理数有理数背理法平方根証明
2025/6/24

すべての自然数 $n$ について、次の不等式が成り立つことを示せ。 $1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} \geq \frac{2...

不等式数学的帰納法調和級数
2025/6/24

(1) 2つの奇数の積が偶数になるか奇数になるか、2つの偶数の積、偶数と奇数の積について考える問題。 (2) 大小2つのサイコロを投げ、大きいサイコロの出目を $a$ 、小さいサイコロの出目を $b$...

整数の性質確率サイコロ積の性質
2025/6/24

数列 $\frac{1}{2}, \frac{1}{3}, \frac{2}{3}, \frac{1}{4}, \frac{2}{4}, \frac{3}{4}, \frac{1}{5}, \frac...

数列分数一般項
2025/6/24

自然数の列が、以下のように群に分けられています。第$n$群には$2^{n-1}$個の数が入ります。 1 | 2, 3 | 4, 5, 6, 7 | 8, 9, 10, 11, 12, 13, 14, ...

数列等比数列等差数列群数列自然数
2025/6/24