問題8-4: 関数 $y = \frac{\log x}{x}$ ($x > 0$)の増減を調べ、$100^{101}$ と $101^{100}$ の大小を判定します。 問題8-5: $a < b < c$ のとき、$\frac{e^b - e^a}{b - a} < \frac{e^c - e^b}{c - b}$ を平均値の定理を用いて示す。

解析学微分増減対数平均値の定理
2025/6/9

1. 問題の内容

問題8-4:
関数 y=logxxy = \frac{\log x}{x}x>0x > 0)の増減を調べ、100101100^{101}101100101^{100} の大小を判定します。
問題8-5:
a<b<ca < b < c のとき、ebeaba<ecebcb\frac{e^b - e^a}{b - a} < \frac{e^c - e^b}{c - b} を平均値の定理を用いて示す。

2. 解き方の手順

問題8-4:
(1) 関数の微分:
y=logxxy = \frac{\log x}{x} を微分します。
y=1xxlogx1x2=1logxx2y' = \frac{\frac{1}{x} \cdot x - \log x \cdot 1}{x^2} = \frac{1 - \log x}{x^2}
(2) 増減の判定:
y=0y' = 0 となる xx を求めます。
1logxx2=0\frac{1 - \log x}{x^2} = 0 より、1logx=01 - \log x = 0 となり、logx=1\log x = 1
したがって、x=ex = e
x<ex < e のとき、y>0y' > 0 なので、yy は増加します。
x>ex > e のとき、y<0y' < 0 なので、yy は減少します。
(3) 大小の判定:
f(x)=logxxf(x) = \frac{\log x}{x} とおきます。
100101100^{101}101100101^{100} の大小を比較するために、両辺の対数をとります。
log(100101)=101log(100)\log(100^{101}) = 101 \log(100)
log(101100)=100log(101)\log(101^{100}) = 100 \log(101)
101log(100)101 \log(100)100log(101)100 \log(101) の大小を比較します。
log100100\frac{\log 100}{100}log101101\frac{\log 101}{101} を比較します。
f(x)=logxxf(x) = \frac{\log x}{x} とおくと、f(x)=1logxx2f'(x) = \frac{1 - \log x}{x^2} です。
x>ex > ef(x)f(x) は減少するので、f(100)>f(101)f(100) > f(101) となります。
したがって、log100100>log101101\frac{\log 100}{100} > \frac{\log 101}{101}
101log100>100log101101 \log 100 > 100 \log 101
log(100101)>log(101100)\log(100^{101}) > \log(101^{100})
よって、100101>101100100^{101} > 101^{100}
問題8-5:
(1) 平均値の定理の適用:
関数 f(x)=exf(x) = e^x を考えます。
区間 [a,b][a, b] において平均値の定理より、ある c1(a,b)c_1 \in (a, b) が存在して、
ebeaba=ec1\frac{e^b - e^a}{b - a} = e^{c_1}
区間 [b,c][b, c] において平均値の定理より、ある c2(b,c)c_2 \in (b, c) が存在して、
ecebcb=ec2\frac{e^c - e^b}{c - b} = e^{c_2}
(2) 大小比較:
a<b<ca < b < c より、c1<b<c2c_1 < b < c_2
したがって、c1<c2c_1 < c_2
ec1<ec2e^{c_1} < e^{c_2}
(3) 結論:
ebeaba<ecebcb\frac{e^b - e^a}{b - a} < \frac{e^c - e^b}{c - b} が成り立つ。

3. 最終的な答え

問題8-4:
関数 y=logxxy = \frac{\log x}{x} は、x<ex < e で増加し、x>ex > e で減少します。
100101>101100100^{101} > 101^{100}
問題8-5:
ebeaba<ecebcb\frac{e^b - e^a}{b - a} < \frac{e^c - e^b}{c - b} (証明終わり)

「解析学」の関連問題

問題2は、以下の関数 $f(x)$ について、逆関数 $f^{-1}(x)$ の導関数 $(f^{-1})'(x)$ を求める問題です。 a) $f(x) = x^2$ (ただし $f: \m...

逆関数導関数極限ロピタルの定理対数関数指数関数
2025/6/9

以下の4つの関数の導関数を求めます。 a) $f(x) = x^x$ のとき、$f'(x)$ を求めます。 b) $f(x) = \frac{x(x-1)^2}{\sqrt{x+1}}$ のとき、$f...

導関数微分対数微分法ライプニッツの公式高階導関数
2025/6/9

関数 $f(x) = x^2 - 2x$ が与えられている。 区間 $t-1 \le x \le t+2$ における $f(x)$ の最小値を $m(t)$ とする。 (1) $m(0)$ と $m(...

二次関数最小値グラフ
2025/6/9

曲線 $C: y = x^2 - 2x - 3$ 上の点 $(-1, 0)$ における接線 $l_1$ と、点 $(5, 12)$ における接線 $l_2$ を考える。 (1) $l_1$ と $l_...

微分接線積分面積
2025/6/9

与えられた定積分の値を求める問題です。 $$ \int_{-1}^{0} \frac{dx}{x^2-4x+3} $$

定積分部分分数分解積分
2025/6/9

与えられた定積分 $\int_{0}^{2} x(x-2)^3 dx$ を計算する問題です。

定積分積分多項式
2025/6/9

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

定積分積分arctan部分分数分解
2025/6/9

与えられた定積分の値を求めます。 $\int_{0}^{2} \frac{dx}{\sqrt{16-x^2}}$

定積分逆三角関数積分
2025/6/9

$\int_{0}^{\frac{\pi}{2}}(2-\cos^2x)\sin x dx$ を計算します。

積分定積分置換積分三角関数
2025/6/9

$s$ を $t$ で微分することを考えます。 与えられた式は $s = \frac{1}{t\sqrt{t}}$ です。

微分関数の微分べき乗の微分合成関数の微分
2025/6/9