すべての自然数 $n$ に対して、不等式 $\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2n-1}} > \sqrt{2n+1} - 1$ が成り立つことを数学的帰納法を用いて証明する。

解析学数学的帰納法不等式級数
2025/7/30

1. 問題の内容

すべての自然数 nn に対して、不等式
11+13+15++12n1>2n+11\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2n-1}} > \sqrt{2n+1} - 1
が成り立つことを数学的帰納法を用いて証明する。

2. 解き方の手順

(1) n=1n=1 のとき:
左辺は 11=1\frac{1}{\sqrt{1}} = 1
右辺は 2(1)+11=311.7321=0.732\sqrt{2(1)+1} - 1 = \sqrt{3} - 1 \approx 1.732 - 1 = 0.732
よって、1>311 > \sqrt{3} - 1 となり、n=1n=1 のとき不等式は成り立つ。
(2) n=kn=k のとき不等式が成り立つと仮定する。すなわち、
11+13+15++12k1>2k+11\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2k-1}} > \sqrt{2k+1} - 1
が成り立つと仮定する。
(3) n=k+1n=k+1 のとき不等式が成り立つことを示す。すなわち、
11+13+15++12k1+12(k+1)1>2(k+1)+11\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2k-1}} + \frac{1}{\sqrt{2(k+1)-1}} > \sqrt{2(k+1)+1} - 1
を示す。
仮定より、
11+13+15++12k1>2k+11\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2k-1}} > \sqrt{2k+1} - 1
両辺に 12k+1\frac{1}{\sqrt{2k+1}} を加えると、
11+13+15++12k1+12k+1>2k+11+12k+1\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2k-1}} + \frac{1}{\sqrt{2k+1}} > \sqrt{2k+1} - 1 + \frac{1}{\sqrt{2k+1}}
したがって、
11+13+15++12k1+12k+1>2k+12k+1+12k+1=2k+22k+12k+1\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2k-1}} + \frac{1}{\sqrt{2k+1}} > \frac{2k+1- \sqrt{2k+1} + 1}{\sqrt{2k+1}} = \frac{2k+2 - \sqrt{2k+1}}{\sqrt{2k+1}}
2k+31\sqrt{2k+3} - 1 と比較したいので、
2k+11+12k+1>2k+31\sqrt{2k+1} - 1 + \frac{1}{\sqrt{2k+1}} > \sqrt{2k+3} - 1
を示したい。
2k+1+12k+1>2k+3\sqrt{2k+1} + \frac{1}{\sqrt{2k+1}} > \sqrt{2k+3}
両辺を2乗すると、
(2k+1)+2+12k+1>2k+3(2k+1) + 2 + \frac{1}{2k+1} > 2k+3
2k+3+12k+1>2k+32k+3 + \frac{1}{2k+1} > 2k+3
12k+1>0\frac{1}{2k+1} > 0
これは常に成り立つので、n=k+1n=k+1 のときも不等式は成り立つ。
(1)(2)(3)より、数学的帰納法によって、すべての自然数 nn に対して不等式は成り立つ。

3. 最終的な答え

すべての自然数 nn に対して、
11+13+15++12n1>2n+11\frac{1}{\sqrt{1}} + \frac{1}{\sqrt{3}} + \frac{1}{\sqrt{5}} + \dots + \frac{1}{\sqrt{2n-1}} > \sqrt{2n+1} - 1
が成り立つ。

「解析学」の関連問題

関数 $y = 2x - \tan x$ ($-\frac{\pi}{2} < x < \frac{\pi}{2}$) の増減、凹凸を調べ、グラフの概形を描き、極値と変曲点を求める問題です。

関数の増減関数の凹凸グラフの概形導関数極値変曲点三角関数
2025/7/31

定積分 $\int_{0}^{1} \sqrt{1-x^2} \, dx$ の値を求める問題です。

定積分置換積分三角関数積分計算
2025/7/31

関数 $f(x) = \log(1 + x^2)$ の $x = 1$ 周りの $n = 4$ の場合のテイラー展開を求める問題です。

テイラー展開微分対数関数
2025/7/31

関数 $f(x) = e^{2x} \sin x$ のマクローリン展開を $f(x) = \sum_{n=0}^{\infty} a_n x^n$ とするとき、$a_3$ と $a_4$ を求める問題...

マクローリン展開テイラー展開微分指数関数三角関数
2025/7/31

問題は、$(\cos x)e^x$ を $x$ の多項式で近似することです。具体的には、$(\cos x)e^x = (1 - \frac{x^2}{2} + o(x^2))(1 + x + \fra...

テイラー展開級数展開近似極限
2025/7/31

(10) $\lim_{x \to 0} \frac{1 - \frac{x^2}{2} - \cos x}{\sin^4 x}$ (11) $\lim_{x \to 0} (\frac{1}{x} ...

極限テイラー展開ロピタルの定理関数の極限
2025/7/31

与えられた問題は、以下の3つのタイプに分かれています。 (1) 関数を3次までマクローリン展開 (テイラー展開) すること。 (2) マクローリン展開において、ゼロでない最初の3つの項を求めること。 ...

マクローリン展開テイラー展開級数展開近似式係数
2025/7/31

関数 $f(x) = \sin x$ の $x = \frac{\pi}{3}$ における2次の有限テイラー展開を求める。

テイラー展開三角関数微分
2025/7/31

与えられた5つの関数、(1) $\cos(2x)$, (2) $\cos^2(x)$, (3) $\sinh(x)$, (4) $\frac{1}{1-4x}$, (5) $\log(1-2x)$ を...

マクローリン展開テイラー展開三角関数双曲線関数対数関数冪級数
2025/7/31

与えられた12個の不定積分をそれぞれ求めます。

不定積分置換積分部分積分三角関数の積分平方完成三角関数による置換
2025/7/31