実数全体で定義され、微分可能な関数 $f(x)$ が $f(x)f'(x) = e^{2x} - e^{-2x}$ を満たし、$f(x)$ の最小値が $2$ であるとき、以下の問いに答える問題です。 (1) $e^{2x} - e^{-2x}$ の不定積分を求める。 (2) 関数 $f(x)$ を求める。
2025/5/28
1. 問題の内容
実数全体で定義され、微分可能な関数 が を満たし、 の最小値が であるとき、以下の問いに答える問題です。
(1) の不定積分を求める。
(2) 関数 を求める。
2. 解き方の手順
(1) の不定積分を求める。
の積分は であり、 の積分は である。
したがって、 の不定積分は、
( は積分定数)
(2) 関数 を求める。
を満たす関数 を求める。
両辺を積分すると、
左辺は、 とおくと、 より、
右辺は、(1) の結果より、
したがって、
()
ここで、 の最小値が であることを利用する。
の最小値を考える。相加平均・相乗平均の関係より、 である。
等号成立は、 のとき、つまり のときである。
の最小値は のときだから、
より なので
よって、
したがって、
最小値が であることから、 である。
3. 最終的な答え
(1)
(2)