与えられた関数 $y = \frac{\log x}{x}$ について、以下の問いに答えます。 (1) グラフを描け (凹凸も調べよ)。 (2) この関数の最大値を求めよ。 (3) $e^\pi$ と $\pi^e$ はどちらが大きいか。

解析学関数のグラフ微分対数関数最大値凹凸不等式
2025/7/25

1. 問題の内容

与えられた関数 y=logxxy = \frac{\log x}{x} について、以下の問いに答えます。
(1) グラフを描け (凹凸も調べよ)。
(2) この関数の最大値を求めよ。
(3) eπe^\piπe\pi^e はどちらが大きいか。

2. 解き方の手順

(1) グラフを描く(凹凸も調べる)
まず、定義域を確認します。対数関数 logx\log x が定義されるためには、x>0x > 0 である必要があります。
次に、導関数を計算します。
y=(logx)xlogx(x)x2=1xxlogx1x2=1logxx2y' = \frac{(\log x)' \cdot x - \log x \cdot (x)'}{x^2} = \frac{\frac{1}{x} \cdot x - \log x \cdot 1}{x^2} = \frac{1 - \log x}{x^2}
y=0y' = 0 となる xx を求めます。1logx=01 - \log x = 0 より、logx=1\log x = 1 となり、x=ex = e です。
x<ex < e のとき y>0y' > 0 であり、x>ex > e のとき y<0y' < 0 であるから、x=ex = e で極大値を取ります。
次に、2階導関数を計算します。
y=(1logx)x2(1logx)(x2)x4=1xx2(1logx)2xx4=x2x+2xlogxx4=3+2logxx3y'' = \frac{(1 - \log x)' \cdot x^2 - (1 - \log x) \cdot (x^2)'}{x^4} = \frac{-\frac{1}{x} \cdot x^2 - (1 - \log x) \cdot 2x}{x^4} = \frac{-x - 2x + 2x \log x}{x^4} = \frac{-3 + 2 \log x}{x^3}
y=0y'' = 0 となる xx を求めます。3+2logx=0-3 + 2 \log x = 0 より、logx=32\log x = \frac{3}{2} となり、x=e32x = e^{\frac{3}{2}} です。
x<e32x < e^{\frac{3}{2}} のとき y<0y'' < 0 であり、x>e32x > e^{\frac{3}{2}} のとき y>0y'' > 0 であるから、x=e32x = e^{\frac{3}{2}} で変曲点を持ちます。
x0x \to 0 のとき、yy \to -\infty であり、xx \to \infty のとき、y0y \to 0 です。
以上の情報を基にグラフを描くことができます。
(2) 最大値を求める
y=0y' = 0 となる xxx=ex = e であり、x=ex = e で極大値を取ることが分かっているので、x=ex = e で最大値を取ります。
最大値は、y(e)=logee=1ey(e) = \frac{\log e}{e} = \frac{1}{e} です。
(3) eπe^\piπe\pi^e はどちらが大きいか
y=logxxy = \frac{\log x}{x} のグラフを考えると、f(x)=logxxf(x) = \frac{\log x}{x} とおくと、f(e)=1ef(e) = \frac{1}{e}f(π)=logππf(\pi) = \frac{\log \pi}{\pi} です。
eπ>πee^\pi > \pi^e であることを示すには、log(eπ)>log(πe)\log(e^\pi) > \log(\pi^e) を示せば良いです。つまり、πloge>elogπ\pi \log e > e \log \pi を示す必要があります。これは π>elogπ\pi > e \log \pi と同値であり、logππ<logee=1e\frac{\log \pi}{\pi} < \frac{\log e}{e} = \frac{1}{e} を示すことと同じです。
関数 f(x)=logxxf(x) = \frac{\log x}{x}x=ex = e で最大値をとるので、e<πe < \pi より、f(e)>f(π)f(e) > f(\pi) であることがわかります。
したがって、eπ>πee^\pi > \pi^e です。

3. 最終的な答え

(1) グラフは省略します。x=ex=eで極大値(最大値)を持ち、変曲点はx=e3/2x=e^{3/2}です。
(2) 最大値:1e\frac{1}{e}
(3) eπ>πee^\pi > \pi^e

「解析学」の関連問題

与えられた4つの関数をそれぞれ微分する。

微分微分法導関数積の微分商の微分合成関数の微分
2025/7/26

与えられた極限 $\lim_{x \to 1+0} (\log x)^{x-1}$ を計算する問題です。

極限不定形対数ロピタルの定理
2025/7/26

与えられた極限の値を求めます。問題は、 $\lim_{x \to 1} \left( \frac{x}{1-x} - \frac{1}{\log x} \right) (x-1)$ です。

極限ロピタルの定理テイラー展開
2025/7/26

区分関数 $f(x)$ が与えられています。 $f(x) = \begin{cases} 2x^2 - 8ax + 3 & (x \le 1) \\ \log_a x & (x > 1) \end{c...

区分関数単調減少対数関数微分不等式
2025/7/26

関数 $y = (x-1)^2 \cdot \sqrt[3]{x+2}$ の導関数 $dy/dx$ を求める問題です。

微分導関数積の微分合成関数
2025/7/26

与えられた極限 $\lim_{x \to -\infty} (1-x)^{1/x}$ を計算します。

極限ロピタルの定理指数関数対数関数
2025/7/26

関数 $y = \left( \frac{x^2-1}{x^2+1} \right)^2$ の導関数を求めます。

微分導関数合成関数商の微分法
2025/7/26

与えられた関数 $y = \log(x + \sqrt{x^2 + 1})$ の導関数 $y'$ を求める問題です。

導関数微分合成関数の微分対数関数
2025/7/26

$a$ は定数とし、$f(x)$ は $x=a$ で微分可能とする。 以下の極限を $f'(a)$ を用いて表す。 (1) $\lim_{h\to 0} \frac{f(a+2h)-f(a)}{h}$...

微分極限導関数
2025/7/26

関数 $y = (x+1)(x-2)(x+3)$ を、与えられた公式 $y' = f'(x)g(x)h(x) + f(x)g'(x)h(x) + f(x)g(x)h'(x)$ を用いて微分する。ここで...

微分関数の微分導関数
2025/7/26