(1) $x > 0$ のとき、不等式 $\log x \le x - 1$ を示す。 (2) 次の極限を求める。 $$\lim_{n \to \infty} n \int_1^2 \log \left( \frac{1 + x^{\frac{1}{n}}}{2} \right) dx$$

解析学不等式対数関数極限積分
2025/8/12
はい、承知いたしました。問題を解いていきます。

1. 問題の内容

(1) x>0x > 0 のとき、不等式 logxx1\log x \le x - 1 を示す。
(2) 次の極限を求める。
limnn12log(1+x1n2)dx\lim_{n \to \infty} n \int_1^2 \log \left( \frac{1 + x^{\frac{1}{n}}}{2} \right) dx

2. 解き方の手順

(1)
関数 f(x)=x1logxf(x) = x - 1 - \log x を定義する。この関数の最小値を求める。
f(x)=11xf'(x) = 1 - \frac{1}{x}
f(x)=0f'(x) = 0 となるのは x=1x = 1 のとき。
x<1x < 1 のとき f(x)<0f'(x) < 0 であり、x>1x > 1 のとき f(x)>0f'(x) > 0 であるから、x=1x = 1f(x)f(x) は最小値をとる。
f(1)=11log1=0f(1) = 1 - 1 - \log 1 = 0
したがって、f(x)0f(x) \ge 0 であり、x1logx0x - 1 - \log x \ge 0 であるから、logxx1\log x \le x - 1 が成り立つ。
(2)
In=n12log(1+x1n2)dxI_n = n \int_1^2 \log \left( \frac{1 + x^{\frac{1}{n}}}{2} \right) dx とおく。
x1n=e1nlogx=1+1nlogx+O(1n2)x^{\frac{1}{n}} = e^{\frac{1}{n} \log x} = 1 + \frac{1}{n} \log x + O \left( \frac{1}{n^2} \right)
1+x1n2=1+1+1nlogx+O(1n2)2=1+12nlogx+O(1n2)\frac{1 + x^{\frac{1}{n}}}{2} = \frac{1 + 1 + \frac{1}{n} \log x + O \left( \frac{1}{n^2} \right)}{2} = 1 + \frac{1}{2n} \log x + O \left( \frac{1}{n^2} \right)
log(1+x1n2)=log(1+12nlogx+O(1n2))=12nlogx+O(1n2)\log \left( \frac{1 + x^{\frac{1}{n}}}{2} \right) = \log \left( 1 + \frac{1}{2n} \log x + O \left( \frac{1}{n^2} \right) \right) = \frac{1}{2n} \log x + O \left( \frac{1}{n^2} \right)
In=n12(12nlogx+O(1n2))dx=1212logxdx+O(1n)I_n = n \int_1^2 \left( \frac{1}{2n} \log x + O \left( \frac{1}{n^2} \right) \right) dx = \int_1^2 \frac{1}{2} \log x \, dx + O \left( \frac{1}{n} \right)
limnIn=1212logxdx\lim_{n \to \infty} I_n = \frac{1}{2} \int_1^2 \log x \, dx
logxdx=xlogxx+C\int \log x \, dx = x \log x - x + C
12logxdx=[xlogxx]12=(2log22)(1log11)=2log220+1=2log21\int_1^2 \log x \, dx = [x \log x - x]_1^2 = (2 \log 2 - 2) - (1 \log 1 - 1) = 2 \log 2 - 2 - 0 + 1 = 2 \log 2 - 1
limnn12log(1+x1n2)dx=12(2log21)=log212\lim_{n \to \infty} n \int_1^2 \log \left( \frac{1 + x^{\frac{1}{n}}}{2} \right) dx = \frac{1}{2} (2 \log 2 - 1) = \log 2 - \frac{1}{2}

3. 最終的な答え

(1) logxx1\log x \le x - 1
(2) log212\log 2 - \frac{1}{2}

「解析学」の関連問題

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

定積分置換積分三角関数による置換積分計算
2025/8/12

次の定積分を求めよ: $\int_{1}^{3} x e^{x^2} dx$

定積分置換積分指数関数
2025/8/12

x軸上を動く点Pがあり、時刻 $t=0$ に原点Oを毎秒3の速さで出発し、ある点Aで向きを変え、出発から3秒後に原点Oに戻る。 (1) 点Pの座標xを時刻tの3次関数で表す。 (2) 点Pが原点Oと点...

3次関数速度座標微分積分
2025/8/12

3次関数 $f(x) = \frac{1}{3}(x^3 - 9x^2 + 23x - 15)$ について、以下の問いに答える問題です。 (1) $f(x) = 0$ の解の最小値と最大値、および $...

3次関数微分接線グラフ面積
2025/8/12

(1) 全ての正の数 $x, y$ に対して、不等式 $x(\log x - \log y) \ge x - y$ が成り立つことを証明し、等号が成り立つのは $x = y$ の場合に限ることを示す。...

不等式対数関数イェンセンの不等式微分凹凸
2025/8/12

$xy$平面上の動点P$(x, y)$の時刻$t$における座標が、 $x = \cos t + \sin t$, $y = \cos t \sin t$ で与えられている。動点Pの速さ$v$の最大値を...

パラメータ表示微分速度最大値三角関数
2025/8/12

与えられた関数 $f(x) = \log_2(ax)$ と $g(x) = 3 + 2\log_2(x)$ について、以下の問題を解く。ただし、$a$ は定数であり、$f(2) = 2$ である。 (...

対数関数関数の合成方程式不等式場合分け
2025/8/12

与えられた関数 $f(x) = \log_2 ax$ と $g(x) = 3 + 2\log_{\frac{1}{2}}x$ について、以下の問いに答える問題です。 (1) $f(2) = 2$ を用...

対数関数二次関数方程式の解の個数関数の合成最大値と最小値
2025/8/12

放物線 $y = ax^2 - 12a + 2$ (ただし $0 < a < \frac{1}{2}$) …① について、以下の問いに答える。 (1) 放物線①が $a$ の値にかかわらず通る定点を求...

放物線定点交点積分面積
2025/8/12

媒介変数表示 $x = \tan \theta - 1$、 $y = 3 - \frac{5}{\cos \theta}$ が与えられたとき、この媒介変数表示がどのような曲線を表すかを求める。

媒介変数表示三角関数双曲線曲線数式処理
2025/8/12