曲線 $y = \frac{1}{x}$ ($x > 0$) 上に2点 $A(a, \frac{1}{a})$, $B(b, \frac{1}{b})$ がある。ただし、$0 < a < b$ とする。 (1) $a < t < b$ を満たす実数 $t$ に対して点 $T(t, \frac{1}{t})$ をとり、三角形 $ATB$ の面積を $f(t)$ で表す。関数 $f(t)$ ($a < t < b$) の最大値を $M$ とするとき、$f(t) = M$ を満たす $t$ を $a$, $b$ を用いて表せ。 (2) $a=1$, $b=2$ のとき、(1)で求めた $f(t)$ の最大値 $M$ を求めよ。

解析学関数の最大値微分不等式相加相乗平均
2025/6/8

1. 問題の内容

曲線 y=1xy = \frac{1}{x} (x>0x > 0) 上に2点 A(a,1a)A(a, \frac{1}{a}), B(b,1b)B(b, \frac{1}{b}) がある。ただし、0<a<b0 < a < b とする。
(1) a<t<ba < t < b を満たす実数 tt に対して点 T(t,1t)T(t, \frac{1}{t}) をとり、三角形 ATBATB の面積を f(t)f(t) で表す。関数 f(t)f(t) (a<t<ba < t < b) の最大値を MM とするとき、f(t)=Mf(t) = M を満たす ttaa, bb を用いて表せ。
(2) a=1a=1, b=2b=2 のとき、(1)で求めた f(t)f(t) の最大値 MM を求めよ。

2. 解き方の手順

(1)
三角形 ATBATB の面積 f(t)f(t) を求める。
f(t)=12(a1t)(t1a)(ba)f(t) = \frac{1}{2} |(a-\frac{1}{t}) - (t - \frac{1}{a}) (b - a)| を展開すると、
f(t)=12a(1b1t)+b(1t1a)+t(1a1b)f(t) = \frac{1}{2} |a(\frac{1}{b} - \frac{1}{t}) + b(\frac{1}{t} - \frac{1}{a}) + t(\frac{1}{a} - \frac{1}{b})|
f(t)=12abat+btba+tatbf(t) = \frac{1}{2} | \frac{a}{b} - \frac{a}{t} + \frac{b}{t} - \frac{b}{a} + \frac{t}{a} - \frac{t}{b}|
f(t)=12abba+t(1a1b)+1t(ba)f(t) = \frac{1}{2} | \frac{a}{b} - \frac{b}{a} + t(\frac{1}{a} - \frac{1}{b}) + \frac{1}{t}(b-a) |
f(t)=12a2b2ab+tbaab+batf(t) = \frac{1}{2} | \frac{a^2 - b^2}{ab} + t \frac{b-a}{ab} + \frac{b-a}{t} |
f(t)=12(ba)ab(ab+t+abt)f(t) = \frac{1}{2} |\frac{(b-a)}{ab} (-a-b+t+\frac{ab}{t})|
f(t)=ba2abt+abt(a+b)f(t) = \frac{b-a}{2ab} |t + \frac{ab}{t} - (a+b)|
g(t)=t+abtg(t) = t+\frac{ab}{t} とする。 a<t<ba < t < b のとき、相加相乗平均の関係より、t+abt2abt + \frac{ab}{t} \geq 2\sqrt{ab}.
等号成立は t=abtt = \frac{ab}{t} つまり t=abt = \sqrt{ab} のとき。
t=abt = \sqrt{ab}a<t<ba<t<b を満たすので、f(t)f(t) が最大となるのは t=abt = \sqrt{ab} のとき。
f(t)f(t) の最大値は、
f(ab)=ba2ab2ab(a+b)=ba2ab(a+b2ab)=ba2ab(ab)2=(ba)2ab(ba)2=(ba)2(b+a)22ab=(ba)32abf(\sqrt{ab}) = \frac{b-a}{2ab} |2\sqrt{ab} - (a+b)| = \frac{b-a}{2ab} (a+b - 2\sqrt{ab}) = \frac{b-a}{2ab}(\sqrt{a} - \sqrt{b})^2 = \frac{(b-a)}{2ab} (\sqrt{b} - \sqrt{a})^2 = \frac{(\sqrt{b} - \sqrt{a})^2 (\sqrt{b} + \sqrt{a})^2}{2ab} = \frac{(b-a)^3}{2ab}
f(t)f(t) が最大となるのは t=abt = \sqrt{ab} のとき。
(2)
a=1,b=2a=1, b=2 のとき、t=1×2=2t = \sqrt{1 \times 2} = \sqrt{2}.
f(2)=(21)2(2+1)2=(21)22=12(222+1)=3222f(\sqrt{2}) = \frac{(2-1)^2 (\sqrt{2} + 1)}{2} = \frac{(\sqrt{2}-1)^2}{2} = \frac{1}{2}(2-2\sqrt{2}+1) = \frac{3-2\sqrt{2}}{2}.
M=3222M = \frac{3-2\sqrt{2}}{2}

3. 最終的な答え

(1) t=abt = \sqrt{ab}
(2) M=3222M = \frac{3-2\sqrt{2}}{2}

「解析学」の関連問題

問題は3つあります。 問題7-1: 関数 $y = e^x - e^{-x}$ の逆関数とその導関数を求めよ。 問題7-2: 関数 $y = x^x$ ($x > 0$)の導関数を求めよ。 問題7-3...

逆関数導関数微分合成関数の微分連鎖律対数微分法
2025/6/8

関数 $f(x) = \begin{cases} \frac{x^3 - 3x^2 + 2x}{x-1} & (x \neq 1) \\ 1 & (x=1) \end{cases}$ の連続性を調べる...

関数の連続性極限絶対値ガウス記号
2025/6/8

正数 $\epsilon$ が与えられたとき、以下の2つの条件を満たすような正数 $\delta$ をそれぞれ $\epsilon$ の式で表す問題です。 (1) $0 < |x - 3| < \de...

イプシロン-デルタ論法極限不等式
2025/6/8

次の極限を求めます。 $$\lim_{x \to \frac{\pi}{2}} \frac{\frac{1}{x - \frac{\pi}{2}}}{\tan x}$$

極限三角関数置換積分
2025/6/8

問題2は、与えられた関数の指定された点における左極限と右極限を求める問題です。問題3は、与えられた極限を求める問題です。

極限関数の極限片側極限絶対値対数関数tan関数
2025/6/8

次の極限を求める問題です。 (a) $\lim_{x \to \infty} 5^x$ (b) $\lim_{x \to \infty} (\frac{3}{4})^x$ (c) $\lim_{x \...

極限指数関数対数関数
2025/6/8

極限 $\lim_{x \to 1} \frac{x^n - 1}{x - 1}$ を求める。

極限ロピタルの定理二項定理有理化ガウス記号
2025/6/8

与えられた関数 $f(x)$ のマクローリン展開($x=0$ のまわりのテイラー展開)の、0でない最初の3項を求める問題です。関数は以下の3つです。 (a) $f(x) = e^{2x}$ (b) $...

テイラー展開マクローリン展開微分三角関数指数関数
2025/6/8

与えられた4つの関数に対して、3次導関数を求める問題です。具体的には、 (a) $y = x^4 - 2x^3 + 3x^2 - 5$ (b) $y = \sin 3x$ (c) $y = e^{2x...

微分導関数3次導関数指数関数三角関数対数関数多項式
2025/6/8

区間 $[0, 2\pi]$ で定義された二つの関数 $f(t) = \sin t$ と $g(t) = \cos t$ がある。自己相関関数 $R_{ff}(\tau)$ および $R_{gg}(\...

自己相関関数積分三角関数フーリエ解析
2025/6/8