実数全体で定義され、微分可能な関数 $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. 問題の内容

実数全体で定義され、微分可能な関数 f(x)f(x)f(x)f(x)=e2xe2xf(x)f'(x) = e^{2x} - e^{-2x} を満たし、f(x)f(x) の最小値が 22 であるとき、以下の問いに答える問題です。
(1) e2xe2xe^{2x} - e^{-2x} の不定積分を求める。
(2) 関数 f(x)f(x) を求める。

2. 解き方の手順

(1) e2xe2xe^{2x} - e^{-2x} の不定積分を求める。
e2xe^{2x} の積分は 12e2x\frac{1}{2}e^{2x} であり、e2xe^{-2x} の積分は 12e2x-\frac{1}{2}e^{-2x} である。
したがって、e2xe2xe^{2x} - e^{-2x} の不定積分は、
(e2xe2x)dx=12e2x(12e2x)+C=12e2x+12e2x+C\int (e^{2x} - e^{-2x}) dx = \frac{1}{2}e^{2x} - (-\frac{1}{2}e^{-2x}) + C = \frac{1}{2}e^{2x} + \frac{1}{2}e^{-2x} + CCC は積分定数)
(2) 関数 f(x)f(x) を求める。
f(x)f(x)=e2xe2xf(x)f'(x) = e^{2x} - e^{-2x} を満たす関数 f(x)f(x) を求める。
両辺を積分すると、
f(x)f(x)dx=(e2xe2x)dx\int f(x)f'(x) dx = \int (e^{2x} - e^{-2x}) dx
左辺は、u=f(x)u = f(x) とおくと、du=f(x)dxdu = f'(x) dx より、f(x)f(x)dx=udu=12u2+C1=12f(x)2+C1\int f(x)f'(x) dx = \int u du = \frac{1}{2}u^2 + C_1 = \frac{1}{2}f(x)^2 + C_1
右辺は、(1) の結果より、(e2xe2x)dx=12e2x+12e2x+C2\int (e^{2x} - e^{-2x}) dx = \frac{1}{2}e^{2x} + \frac{1}{2}e^{-2x} + C_2
したがって、
12f(x)2=12e2x+12e2x+C\frac{1}{2}f(x)^2 = \frac{1}{2}e^{2x} + \frac{1}{2}e^{-2x} + CC=C2C1C = C_2 - C_1
f(x)2=e2x+e2x+2Cf(x)^2 = e^{2x} + e^{-2x} + 2C
ここで、f(x)f(x) の最小値が 22 であることを利用する。
g(x)=e2x+e2xg(x) = e^{2x} + e^{-2x} の最小値を考える。相加平均・相乗平均の関係より、e2x+e2x2e2xe2x=2e^{2x} + e^{-2x} \geq 2\sqrt{e^{2x}e^{-2x}} = 2 である。
等号成立は、e2x=e2xe^{2x} = e^{-2x} のとき、つまり x=0x=0 のときである。
f(x)2=e2x+e2x+2Cf(x)^2 = e^{2x} + e^{-2x} + 2C の最小値は f(x)=2f(x) = 2 のときだから、
4=2+2C4 = 2 + 2C より 2C=22C = 2 なので C=1C = 1
よって、f(x)2=e2x+e2x+2=(ex+ex)2f(x)^2 = e^{2x} + e^{-2x} + 2 = (e^x + e^{-x})^2
したがって、f(x)=±(ex+ex)f(x) = \pm(e^x + e^{-x})
最小値が 22 であることから、f(x)=ex+exf(x) = e^x + e^{-x} である。

3. 最終的な答え

(1) 12e2x+12e2x+C\frac{1}{2}e^{2x} + \frac{1}{2}e^{-2x} + C
(2) f(x)=ex+exf(x) = e^x + e^{-x}

「解析学」の関連問題

## 1. 問題の内容

積分不定積分多項式累乗根
2025/5/29

$x>0$ のとき、次の不等式を証明する。 $2x > \log(1+x)^2 > 2x - x^2$

不等式対数関数微分単調増加
2025/5/29

以下の4つの三角関数のグラフを書き、それぞれの周期を求めます。 (1) $y = -\tan \theta$ (2) $y = 3\cos \frac{\theta}{2}$ (3) $y = 2\s...

三角関数周期グラフ
2025/5/29

問題は、与えられた8つの積分を、$x^n$ または $(x+b)^n$ の形に変形し、公式 13.1 (おそらく$\int x^n dx = \frac{x^{n+1}}{n+1} + C$) を用い...

積分不定積分べき関数積分公式
2025/5/29

$z = f(x, y)$は、偏導関数がすべて存在し、かつ偏導関数がすべて連続とする。このとき、$x, y$を座標$(\xi, \eta)$に座標変換すると、以下の式が成り立つことを示せ。 $\fra...

偏微分連鎖律座標変換ヤコビアン
2025/5/29

関数 $y = \tan(3x) \sin(4x)$ の導関数 $y'$ を求める問題です。

導関数三角関数積の微分合成関数の微分
2025/5/29

与えられた8個の積分を計算する問題です。積分の形は $x^n$ または $(x+b)^n$ の形に変形できるものばかりなので、公式 $\int x^n dx = \frac{x^{n+1}}{n+1}...

積分不定積分べき関数
2025/5/29

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

導関数微分対数関数商の微分
2025/5/29

与えられた複素関数 $f(z) = u(x, y) + i v(x, y)$ の微分可能性を判定し、いくつかの関連する問題を解く。具体的には、Cauchy-Riemannの関係式、正則関数とその導関数...

複素関数微分可能性Cauchy-Riemannの関係式正則関数導関数合成関数ラプラス方程式等高線
2025/5/29

関数 $f(x) = \sin^{-1}x$ の1次、2次、3次、4次導関数を求め、マクローリンの定理を $n=3$ で適用せよ。

導関数マクローリン展開テイラー展開逆三角関数
2025/5/29