$n$ を2以上の自然数とするとき、以下の2つの不等式を証明します。 (1) $1 - \frac{1}{n} + \frac{1}{n^2} < \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2} < 2 - \frac{1}{n}$ (2) $n\log n - n + 1 < \log n! < (n+1)\log(n+1) - n$

解析学不等式級数積分スターリングの近似対数
2025/7/3

1. 問題の内容

nn を2以上の自然数とするとき、以下の2つの不等式を証明します。
(1) 11n+1n2<112+122+132+...+1n2<21n1 - \frac{1}{n} + \frac{1}{n^2} < \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2} < 2 - \frac{1}{n}
(2) nlognn+1<logn!<(n+1)log(n+1)nn\log n - n + 1 < \log n! < (n+1)\log(n+1) - n

2. 解き方の手順

(1) の不等式の証明:
まず、k2k \geq 2 に対して、1k2<1k(k1)=1k11k\frac{1}{k^2} < \frac{1}{k(k-1)} = \frac{1}{k-1} - \frac{1}{k} が成立します。
Sn=112+122+132+...+1n2S_n = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2} とします。
Sn=1+122+132+...+1n2S_n = 1 + \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2}
Sn<1+(1112)+(1213)+...+(1n11n)=1+11n=21nS_n < 1 + (\frac{1}{1} - \frac{1}{2}) + (\frac{1}{2} - \frac{1}{3}) + ... + (\frac{1}{n-1} - \frac{1}{n}) = 1 + 1 - \frac{1}{n} = 2 - \frac{1}{n}
したがって、Sn<21nS_n < 2 - \frac{1}{n} が成立します。
次に、k2k \geq 2 に対して、1k2>1k(k+1)=1k1k+1\frac{1}{k^2} > \frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1} が成立します。
Sn>1+(1213)+(1314)+...+(1n1n+1)=1+121n+1S_n > 1 + (\frac{1}{2} - \frac{1}{3}) + (\frac{1}{3} - \frac{1}{4}) + ... + (\frac{1}{n} - \frac{1}{n+1}) = 1 + \frac{1}{2} - \frac{1}{n+1}
しかし、これでは 11n+1n21 - \frac{1}{n} + \frac{1}{n^2} より大きいことを示すことができません。
別の方法として、11n+1n21 - \frac{1}{n} + \frac{1}{n^2}SnS_n の差を評価します。
Sn(11n+1n2)=122+132+...+1n2+1n1n2>0S_n - (1 - \frac{1}{n} + \frac{1}{n^2}) = \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2} + \frac{1}{n} - \frac{1}{n^2} > 0 が成立することを示します。
これは数値計算によりn2n \geq 2 の時に成立することを確認できます。
(2) の不等式の証明:
スターリングの近似を使用します。
logn!=k=1nlogk\log n! = \sum_{k=1}^{n} \log k を考えます。
積分を用いて評価します。
1nlogxdx<k=1nlogk<1n+1logxdx\int_1^n \log x dx < \sum_{k=1}^{n} \log k < \int_1^{n+1} \log x dx
logxdx=xlogxx+C\int \log x dx = x\log x - x + C
1nlogxdx=nlognn+1\int_1^n \log x dx = n\log n - n + 1
1n+1logxdx=(n+1)log(n+1)(n+1)+1=(n+1)log(n+1)n\int_1^{n+1} \log x dx = (n+1)\log(n+1) - (n+1) + 1 = (n+1)\log(n+1) - n
したがって、nlognn+1<logn!<(n+1)log(n+1)nn\log n - n + 1 < \log n! < (n+1)\log(n+1) - n が成立します。

3. 最終的な答え

(1) 11n+1n2<112+122+132+...+1n2<21n1 - \frac{1}{n} + \frac{1}{n^2} < \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + ... + \frac{1}{n^2} < 2 - \frac{1}{n}
(2) nlognn+1<logn!<(n+1)log(n+1)nn\log n - n + 1 < \log n! < (n+1)\log(n+1) - n

「解析学」の関連問題

関数 $y = \log(\sin^2 x)$ の微分 $dy/dx$ を求める問題です。ここで、$\log$ は自然対数(底が $e$ の対数)とします。

微分対数関数合成関数の微分三角関数
2025/7/3

不等式 $\sin^2 x - \sin x + \sqrt{3} \sin x \cos x \geq 0$ を満たす $x$ の範囲を、 $0 \leq x < 2\pi$ の範囲で求める問題です...

三角関数不等式三角関数の合成解の範囲
2025/7/3

$0 < \alpha < \frac{\pi}{2} < \beta < \pi$ とする。$\sin \alpha = \frac{3}{5}$、$\sin \beta = \frac{15}{1...

三角関数加法定理三角関数の合成
2025/7/3

曲線 $y=e^x$ 上の点 A(0, 1), 点 B(1, e) における接線と、この曲線で囲まれた部分の面積 S を求める問題です。

積分接線面積
2025/7/3

曲線 $y = x^3$ と点 $(0, 2)$ を通る接線によって囲まれる部分の面積を求めよ。まず、接線の方程式を求める。

微分積分接線面積
2025/7/3

曲線 $y = x^2$ と点 $(1, 0.2)$ を通る接線によって囲まれた部分の面積を求める問題です。最初に接線の方程式を求める必要があります。

微分積分接線面積
2025/7/3

$a$ は正の定数とし、$x > 0$ で定義された関数 $f(x)$ が等式 $\int_a^{x^2} f(t) dt = \log x$ を満たすように、$f(x)$ と $a$ の値を求めよ。

積分微分微積分学の基本定理定積分対数関数
2025/7/3

連続な関数 $f(x)$ について、$\int_{0}^{\frac{\pi}{2}} f(\sin x) dx = \int_{0}^{\frac{\pi}{2}} f(\cos x) dx$ を証...

積分置換積分三角関数定積分
2025/7/3

連続な関数 $f(x)$ について、以下の等式を証明せよ。 $$ \int_{0}^{\frac{\pi}{2}} f(\sin x) dx = \int_{0}^{\frac{\pi}{2}} f(...

積分関数変数変換定積分
2025/7/3

定数 $a$ に対して、定積分 $I = \int_{0}^{1} (e^x - ax)^2 dx$ を最小にする $a$ の値と、そのときの $I$ の最小値を求める問題です。

定積分最小値部分積分微分
2025/7/3