(1) 関数 $y = \frac{1}{x(\log x)^2}$ が $x > 1$ において単調減少であることを示す。 (2) 不定積分 $\int \frac{1}{x(\log x)^2} dx$ を求める。 (3) $n$ を3以上の整数とするとき、不等式 $\sum_{k=3}^{n} \frac{1}{k(\log k)^2} < \frac{1}{\log 2}$ が成り立つことを示す。

解析学単調減少不定積分積分不等式
2025/6/2

1. 問題の内容

(1) 関数 y=1x(logx)2y = \frac{1}{x(\log x)^2}x>1x > 1 において単調減少であることを示す。
(2) 不定積分 1x(logx)2dx\int \frac{1}{x(\log x)^2} dx を求める。
(3) nn を3以上の整数とするとき、不等式 k=3n1k(logk)2<1log2\sum_{k=3}^{n} \frac{1}{k(\log k)^2} < \frac{1}{\log 2} が成り立つことを示す。

2. 解き方の手順

(1) y=1x(logx)2y = \frac{1}{x(\log x)^2} の導関数を計算し、x>1x > 1 において導関数が負であることを示す。
y=1x(logx)2y = \frac{1}{x(\log x)^2} の導関数は、積の微分法を使って求めます。
y=(logx)2+2xlogx1x(x(logx)2)2=(logx)2+2logxx2(logx)4=logx(logx+2)x2(logx)4=logx+2x2(logx)3y' = -\frac{(\log x)^2 + 2x \log x \cdot \frac{1}{x}}{(x(\log x)^2)^2} = -\frac{(\log x)^2 + 2\log x}{x^2 (\log x)^4} = -\frac{\log x (\log x + 2)}{x^2 (\log x)^4} = -\frac{\log x + 2}{x^2 (\log x)^3}
x>1x > 1 のとき、logx>0\log x > 0 なので、logx+2>0\log x + 2 > 0 であり、x2>0x^2 > 0(logx)3>0(\log x)^3 > 0 である。
したがって、y=logx+2x2(logx)3<0y' = -\frac{\log x + 2}{x^2 (\log x)^3} < 0 となり、x>1x > 1yy は単調減少である。
(2) 1x(logx)2dx\int \frac{1}{x(\log x)^2} dx を求める。
u=logxu = \log x とおくと、du=1xdxdu = \frac{1}{x} dx となるので、
1x(logx)2dx=1u2du=1u+C=1logx+C\int \frac{1}{x(\log x)^2} dx = \int \frac{1}{u^2} du = -\frac{1}{u} + C = -\frac{1}{\log x} + C (C は積分定数)
(3) 不等式 k=3n1k(logk)2<1log2\sum_{k=3}^{n} \frac{1}{k(\log k)^2} < \frac{1}{\log 2} を示す。
(1)より、f(x)=1x(logx)2f(x) = \frac{1}{x(\log x)^2}x>1x > 1 で単調減少なので、
kk+11x(logx)2dx>1(k+1)(log(k+1))2\int_{k}^{k+1} \frac{1}{x(\log x)^2} dx > \frac{1}{(k+1)(\log(k+1))^2} が成り立つ。
2n1x(logx)2dx=k=2n1kk+11x(logx)2dx\int_{2}^{n} \frac{1}{x(\log x)^2} dx = \sum_{k=2}^{n-1} \int_{k}^{k+1} \frac{1}{x(\log x)^2} dx と書ける。
したがって、
kk+11x(logx)2dx>1(k+1)(log(k+1))2\int_{k}^{k+1} \frac{1}{x (\log x)^2} dx > \frac{1}{(k+1)(\log (k+1))^2}
2n1x(logx)2dx=2n1x(logx)2dx=[1logx]2n=1logn+1log2\int_{2}^{n} \frac{1}{x (\log x)^2} dx = \int_{2}^{n} \frac{1}{x (\log x)^2} dx = [-\frac{1}{\log x}]_{2}^{n} = -\frac{1}{\log n} + \frac{1}{\log 2}
k=3n1k(logk)2<2n1x(logx)2dx=1log21logn<1log2\sum_{k=3}^{n} \frac{1}{k(\log k)^2} < \int_{2}^{n} \frac{1}{x(\log x)^2} dx = \frac{1}{\log 2} - \frac{1}{\log n} < \frac{1}{\log 2}

3. 最終的な答え

(1) x>1x > 1y<0y' < 0 であるから、関数 y=1x(logx)2y = \frac{1}{x(\log x)^2} は単調減少。
(2) 1x(logx)2dx=1logx+C\int \frac{1}{x(\log x)^2} dx = -\frac{1}{\log x} + C
(3) k=3n1k(logk)2<1log2\sum_{k=3}^{n} \frac{1}{k(\log k)^2} < \frac{1}{\log 2}

「解析学」の関連問題

問題は、与えられた漸化式で表される数列$\{a_n\}$について、$n$と$a_n$の関係を表すグラフを選択肢の中から選ぶ問題です。初期値はすべての数列で$a_1 = 0.5$です。漸化式は以下の通り...

数列漸化式グラフ等差数列等比数列収束振動カオス
2025/6/17

関数 $f(x) = x^3 - 6x^2 + 9x - 4$ の極値を求め、そのグラフをかく。

極値グラフマクローリン展開極限テイラー展開
2025/6/17

## 1. 問題の内容

極限ロピタルの定理指数関数対数関数三角関数
2025/6/17

(1) 定積分 $\int_{0}^{1} x^2 e^{2x} dx$ を求めよ。 (2) 定積分 $\int_{0}^{1} x^2 \sqrt{e^x} dx$ を求めよ。

定積分部分積分指数関数
2025/6/17

関数 $f(x) = \frac{e^x + e^{-x}}{2}$ と $g(x) = \frac{e^x - e^{-x}}{2}$ が与えられている。ただし、定義域は $x \ge 0$ である...

逆関数積分双曲線関数面積
2025/6/17

問題は2つの部分から構成されています。 (1) $x > 0$ のとき、不等式 $x - \frac{x^2}{2} < \log(1+x) < x - \frac{x^2}{2} + \frac{x...

不等式自然対数導関数テイラー展開近似
2025/6/17

次の極限を求める問題です。 $\lim_{x \to 0} (1 + x + x^2)^{1/x}$

極限ロピタルの定理指数関数自然対数
2025/6/17

この問題は2つの部分から構成されています。 (1) $\lim_{x \to +\infty} x \log\left(\frac{x-1}{x+1}\right)$ の極限値を求める問題です。 (2...

極限マクローリン展開ロピタルの定理三角関数テイラー展開数値計算
2025/6/17

問題は2つあります。 (1) 極限 $\lim_{x \to \infty} x \log(\frac{x-1}{x+1})$ を求めよ。 (2) $n$ が奇数のとき、$\sin x = \sum_...

極限マクローリン展開三角関数テイラーの定理
2025/6/17

(1) $\lim_{x \to +\infty} x \log(\frac{x-1}{x+1})$ を求めよ。 (2) $n$ が奇数のとき、 $\sin x = \sum_{\ell=0}^{\f...

極限マクローリン展開テイラー展開三角関数数値計算
2025/6/17