$n$を正の整数とするとき、以下の不等式が成り立つことを示します。 $$1 + \frac{1}{3} + \frac{1}{5} + \cdots + \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} + \cdots + \frac{1}{2n-1} \geq \frac{3n}{2n+1}

2. 解き方の手順

数学的帰納法を用いて証明します。
(1) n=1n = 1 のとき:
左辺は 11 であり、右辺は 3121+1=33=1\frac{3 \cdot 1}{2 \cdot 1 + 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} + \cdots + \frac{1}{2k-1} \geq \frac{3k}{2k+1}
が成り立つと仮定します。
(3) n=k+1n = k+1 のとき不等式が成り立つことを示します。
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} + \cdots + \frac{1}{2k-1} + \frac{1}{2(k+1)-1} \geq \frac{3(k+1)}{2(k+1)+1}
となります。
左辺は、
1+13+15++12k1+12k+11 + \frac{1}{3} + \frac{1}{5} + \cdots + \frac{1}{2k-1} + \frac{1}{2k+1}
であり、帰納法の仮定から、
1+13+15++12k1+12k+13k2k+1+12k+1=3k+12k+11 + \frac{1}{3} + \frac{1}{5} + \cdots + \frac{1}{2k-1} + \frac{1}{2k+1} \geq \frac{3k}{2k+1} + \frac{1}{2k+1} = \frac{3k+1}{2k+1}
となります。
したがって、n=k+1n=k+1のときに示すべきことは
3k+12k+13(k+1)2(k+1)+1=3k+32k+3\frac{3k+1}{2k+1} \geq \frac{3(k+1)}{2(k+1)+1} = \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 に対して、不等式
1+13+15++12n13n2n+11 + \frac{1}{3} + \frac{1}{5} + \cdots + \frac{1}{2n-1} \geq \frac{3n}{2n+1}
が成り立ちます。

3. 最終的な答え

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

「数論」の関連問題

次の2つの不定方程式の整数解をすべて求める問題です。 (1) $3x - 5y = 1$ (2) $75x + 64y = 1$

不定方程式整数解ユークリッドの互除法
2025/4/2

$n > 1$ のとき、$n^7 - n$ が42で割り切れることを示す問題です。

整数の性質合同式因数分解フェルマーの小定理
2025/3/31

$n > 1$ のとき、$n^7 - n$ が $42$ で割り切れることを示す問題です。

整数の性質割り算因数分解フェルマーの小定理
2025/3/31

$n$ を自然数とするとき、「$n$ が 3 の倍数ならば $n^2$ も 3 の倍数となる」という命題の逆と裏の真偽を判定し、正しい組み合わせを選ぶ問題です。

命題真偽倍数整数の性質対偶
2025/3/31

自然数 $n$ に対して、「$n$ が 3 の倍数ならば、$n^2$ も 3 の倍数となる」という命題がある。この命題の逆と裏の真偽を判定し、正しい組み合わせを選択する。

命題真偽倍数対偶
2025/3/31

$n$ を自然数とし、$1$ から $n$ までの異なる $n$ 個の自然数からなる集合を $N$ とする。$N$ の2つの部分集合 $P_1, P_2$ は $P_1 \cap P_2 = \emp...

集合部分集合整数の性質合同式
2025/3/30

最大公約数が4, 最小公倍数が84であるような2つの自然数の組をすべて求める問題です。

最大公約数最小公倍数整数の性質互いに素
2025/3/30

与えられた数 $0, 30, \sqrt{30}$ のうち、有理数はどれかを選択する問題です。

有理数無理数数の分類
2025/3/30

(1) $-28$ を $3$ で割ったときの余りを求めよ。 (2) $a, b$ は整数で、$a$ を $8$ で割ると $3$ 余り、$b$ を $8$ で割ると $6$ 余る。このとき、$3a^...

剰余合同式末尾の0素因数分解フェルマーの小定理
2025/3/30

整数 $m$ と自然数 $n$ があり、$m$ を $2n-1$ で割ると $n-1$ 余り、$2n+1$ で割ると $n$ 余る。 (1) $2n-1$ と $2n+1$ が互いに素であることを示す...

合同式最大公約数中国剰余定理整数の性質
2025/3/30