$n$を2以上の整数とするとき、以下の不等式が成り立つことを証明する問題です。 $1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} < 2 - \frac{1}{n}$

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

1. 問題の内容

nnを2以上の整数とするとき、以下の不等式が成り立つことを証明する問題です。
1+122+132++1n2<21n1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} < 2 - \frac{1}{n}

2. 解き方の手順

数学的帰納法を用いて証明します。
(1) n=2n = 2のとき:
左辺は1+122=1+14=541 + \frac{1}{2^2} = 1 + \frac{1}{4} = \frac{5}{4}です。
右辺は212=32=642 - \frac{1}{2} = \frac{3}{2} = \frac{6}{4}です。
54<64\frac{5}{4} < \frac{6}{4}なので、n=2n=2のとき不等式は成り立ちます。
(2) n=kn = kのとき不等式が成り立つと仮定します。つまり、
1+122+132++1k2<21k1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} < 2 - \frac{1}{k}
が成り立つと仮定します。
(3) n=k+1n = k+1のとき:
1+122+132++1k2+1(k+1)2<21k+1(k+1)21 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{k^2} + \frac{1}{(k+1)^2} < 2 - \frac{1}{k} + \frac{1}{(k+1)^2}
ここで、
21k+1(k+1)2<21k+12 - \frac{1}{k} + \frac{1}{(k+1)^2} < 2 - \frac{1}{k+1}
を示せばよいです。これは、
21k+1(k+1)2<21k+12 - \frac{1}{k} + \frac{1}{(k+1)^2} < 2 - \frac{1}{k+1}
1(k+1)2<1k1k+1\frac{1}{(k+1)^2} < \frac{1}{k} - \frac{1}{k+1}
1(k+1)2<k+1kk(k+1)\frac{1}{(k+1)^2} < \frac{k+1-k}{k(k+1)}
1(k+1)2<1k(k+1)\frac{1}{(k+1)^2} < \frac{1}{k(k+1)}
k(k+1)<(k+1)2k(k+1) < (k+1)^2
k<k+1k < k+1
となり、これは常に成り立ちます。
したがって、n=k+1n=k+1のときも不等式は成り立ちます。
(1)(2)(3)より、数学的帰納法によって、すべての2以上の整数nnに対して不等式が成り立ちます。

3. 最終的な答え

すべての2以上の整数nに対して、1+122+132++1n2<21n1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots + \frac{1}{n^2} < 2 - \frac{1}{n} が成り立つ。

「解析学」の関連問題

画像にある数学の問題は以下の通りです。 問題1: 次の関数を微分せよ。 (1) $y = \log 3x$ (2) $y = \log_2 (x^2 + 1)$ (3) $y = (\log x)^2...

微分対数関数導関数
2025/7/9

定積分 $\int_{0}^{1} \frac{2x}{x^2+2} dx$ を計算する。

定積分積分置換積分対数関数
2025/7/9

与えられた曲線上の、指定された $x$ 座標に対応する点における法線の方程式を求める問題です。 (1) $y = x^3 - 3x^2 - 1$ の $x=3$ における法線の方程式 (2) $y =...

微分法線導関数接線
2025/7/9

以下の6つの定積分を計算します。 (1) $\int_{0}^{2} e^{4x} dx$ (2) $\int_{0}^{2} (2-3x)^2 dx$ (3) $\int_{1}^{2} \frac...

定積分積分指数関数三角関数
2025/7/9

次の関数のグラフを描き、定義域、値域、漸近線を求めよ。 (1) $y = \frac{x+3}{x+1}$ (2) $y = \frac{2x-5}{x-2}$

分数関数グラフ定義域値域漸近線関数の変形
2025/7/9

媒介変数 $t$ を用いて $x = \frac{1-t^2}{1+t^2}$ および $y = \frac{2t}{1+t^2}$ と表されるとき、$\frac{dy}{dx}$ を $t$ の関数...

微分媒介変数表示導関数
2025/7/9

与えられた4つの定積分を計算する問題です。 (1) $\int_{0}^{1} (x-1)e^{-x} dx$ (2) $\int_{0}^{\pi} (x+1)\cos x dx$ (3) $\in...

定積分部分積分積分
2025/7/9

以下の極限を計算する問題です。 (1) $\lim_{x \to 1} \frac{\sqrt{2x+3} - \sqrt{4x+1}}{x-1}$ (2) $\lim_{x \to \infty} ...

極限微分ロピタルの定理三角関数逆正接関数
2025/7/9

与えられた9個の関数について、それぞれの導関数を求める問題です。

導関数微分合成関数積の微分商の微分対数微分三角関数
2025/7/9

関数 $f(x) = x^3 e^{-x}$ に対して、以下の問いに答える。 (1) 曲線 $y = f(x)$ 上の点 $(-1, f(-1))$ における接線の方程式を求める。 (2) 関数 $f...

微分接線極値最大値最小値
2025/7/9