正の整数 $n$ に対して、以下の不等式が成り立つことを証明する問題です。 $1 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2n-1} \geq \frac{3n}{2n+1}$

数論不等式数学的帰納法級数
2025/3/29

1. 問題の内容

正の整数 nn に対して、以下の不等式が成り立つことを証明する問題です。
1+13+15++12n13n2n+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2n-1} \geq \frac{3n}{2n+1}

2. 解き方の手順

数学的帰納法を用いて不等式を証明します。
(1) n=1n=1 のとき
左辺は 11 、右辺は 33=1\frac{3}{3} = 1 となり、111 \geq 1 が成り立つので、n=1n=1 のとき不等式は成立します。
(2) n=kn=k のとき、不等式が成立すると仮定します。つまり、
1+13+15++12k13k2k+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} \geq \frac{3k}{2k+1}
が成り立つと仮定します。
(3) n=k+1n=k+1 のとき、不等式が成立することを示します。つまり、
1+13+15++12k1+12(k+1)13(k+1)2(k+1)+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} + \frac{1}{2(k+1)-1} \geq \frac{3(k+1)}{2(k+1)+1}
を示す必要があります。
仮定より、
1+13+15++12k13k2k+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} \geq \frac{3k}{2k+1}
なので、両辺に 12k+1\frac{1}{2k+1} を加えると
1+13+15++12k1+12k+13k2k+1+12k+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} + \frac{1}{2k+1} \geq \frac{3k}{2k+1} + \frac{1}{2k+1}
右辺を計算すると
3k2k+1+12k+1=3k+12k+1\frac{3k}{2k+1} + \frac{1}{2k+1} = \frac{3k+1}{2k+1}
したがって、
1+13+15++12k1+12k+13k+12k+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} + \frac{1}{2k+1} \geq \frac{3k+1}{2k+1}
ここで、示すべき不等式は
1+13+15++12k1+12k+13(k+1)2(k+1)+1=3k+32k+31 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2k-1} + \frac{1}{2k+1} \geq \frac{3(k+1)}{2(k+1)+1} = \frac{3k+3}{2k+3}
なので、
3k+12k+13k+32k+3\frac{3k+1}{2k+1} \geq \frac{3k+3}{2k+3}
を示せば良いことになります。
この不等式は、以下のように変形できます。
(3k+1)(2k+3)(3k+3)(2k+1)(3k+1)(2k+3) \geq (3k+3)(2k+1)
6k2+9k+2k+36k2+3k+6k+36k^2 + 9k + 2k + 3 \geq 6k^2 + 3k + 6k + 3
6k2+11k+36k2+9k+36k^2 + 11k + 3 \geq 6k^2 + 9k + 3
11k9k11k \geq 9k
2k02k \geq 0
これは、kk が正の整数であることから常に成立します。
したがって、n=k+1n=k+1 のときも不等式が成立します。
(1), (2), (3) より、数学的帰納法によって、すべての正の整数 nn に対して不等式が成り立つことが示されました。

3. 最終的な答え

すべての正の整数 nn に対して、1+13+15++12n13n2n+11 + \frac{1}{3} + \frac{1}{5} + \dots + \frac{1}{2n-1} \geq \frac{3n}{2n+1} が成り立つ。

「数論」の関連問題

$123^{2018}$ を10進法で表したときの一の位の数字と、$123^{2018}$ を5進法で表したときの一の位の数字を求める問題です。

合同算術剰余冪乗位取り記数法
2025/7/24

複数の問題があります。 * 問題1: 与えられた5つの文のうち、正しいものをすべて選択します。 * 問題2: 60と42の正の公約数の個数を求めます。 * 問題3: 60と42の正および負...

約数公約数ユークリッドの互除法整数の性質
2025/7/24

(1) 1000から9999までの4桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求めよ。 (2) $n$ 桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求...

組み合わせ桁数場合の数自然数
2025/7/24

5で割ると2余る整数Aと、5で割ると3余る整数Bがあるとき、A+2Bを5で割ったときの余りが3になることを説明する。

合同算術剰余整数の性質
2025/7/24

与えられた文章は$\sqrt{2}$が無理数であることの背理法による証明である。この証明を参考に以下の3つの問いに答える。 (1) $\sqrt{3}$が無理数であることを証明する。 (2) $\sq...

無理数背理法素数有理数
2025/7/24

連立合同方程式 $2x \equiv 3 \pmod{5}$ $4x \equiv 5 \pmod{7}$ が与えられている。 (1) $x \equiv 4 \pmod{5}$ が $2x \equ...

合同式連立合同方程式中国剰余定理
2025/7/24

与えられた数式群が示す規則性を見つけ、分配法則を用いてそのカラクリを説明する。

数列規則性分配法則一般化
2025/7/24

与えられた数式群の規則性を見つける問題です。数式は以下の通りです。 $1 \times 9 + 1 \times 2 = 11$ $12 \times 18 + 2 \times 3 = 222$ $...

規則性数列整数の性質数式
2025/7/24

$m, n$ を整数とする。命題「$2^3 + 1$ が奇数ならば、$n$ は偶数である」を証明する。

命題整数対偶偶数奇数証明
2025/7/23

## 問題の回答

一次不定方程式整数の性質互いに素極限
2025/7/23