関数 $f(x) = 2x^2 + 2x + 1$ ($x \ge -\frac{1}{2}$) の逆関数を $g(x)$ とする。 (1) 関数 $g(x)$ の定義域を求めよ。 (2) $g(x)$ を求めよ。 (3) 曲線 $y = g(x)$ 上の点と直線 $y = 2x - 1$ の距離の最小値を求めよ。また、その最小値を与える $y = g(x)$ 上の点を求めよ。

解析学逆関数定義域関数の値域点と直線の距離平方根
2025/6/19
## 問題39

1. 問題の内容

関数 f(x)=2x2+2x+1f(x) = 2x^2 + 2x + 1 (x12x \ge -\frac{1}{2}) の逆関数を g(x)g(x) とする。
(1) 関数 g(x)g(x) の定義域を求めよ。
(2) g(x)g(x) を求めよ。
(3) 曲線 y=g(x)y = g(x) 上の点と直線 y=2x1y = 2x - 1 の距離の最小値を求めよ。また、その最小値を与える y=g(x)y = g(x) 上の点を求めよ。

2. 解き方の手順

(1) 関数 g(x)g(x) の定義域を求める。
g(x)g(x) の定義域は f(x)f(x) の値域である。
f(x)=2(x+12)2+12f(x) = 2(x + \frac{1}{2})^2 + \frac{1}{2} であり、x12x \ge -\frac{1}{2} なので、f(x)12f(x) \ge \frac{1}{2} となる。したがって、g(x)g(x) の定義域は x12x \ge \frac{1}{2} である。
(2) g(x)g(x) を求める。
y=2x2+2x+1y = 2x^2 + 2x + 1 とおく。xx について解くと、
2x2+2x+(1y)=02x^2 + 2x + (1 - y) = 0
x=2±48(1y)4=1±2y12x = \frac{-2 \pm \sqrt{4 - 8(1-y)}}{4} = \frac{-1 \pm \sqrt{2y - 1}}{2}
x12x \ge -\frac{1}{2} より、x=1+2y12x = \frac{-1 + \sqrt{2y - 1}}{2}
したがって、g(x)=1+2x12g(x) = \frac{-1 + \sqrt{2x - 1}}{2}
(3) 曲線 y=g(x)y = g(x) 上の点と直線 y=2x1y = 2x - 1 の距離の最小値を求める。
曲線 y=g(x)y = g(x) 上の点を (t,g(t))(t, g(t)) とすると、(t,1+2t12)(t, \frac{-1 + \sqrt{2t - 1}}{2}) である。
直線 y=2x1y = 2x - 12xy1=02x - y - 1 = 0 と表せる。
点と直線の距離の公式より、
d=2t(1+2t12)122+(1)2=4t+12t1225=4t12t125d = \frac{|2t - (\frac{-1 + \sqrt{2t - 1}}{2}) - 1|}{\sqrt{2^2 + (-1)^2}} = \frac{|4t + 1 - \sqrt{2t - 1} - 2|}{2\sqrt{5}} = \frac{|4t - 1 - \sqrt{2t - 1}|}{2\sqrt{5}}
ここで、u=2t1u = \sqrt{2t - 1} とおくと、u2=2t1u^2 = 2t - 1 より、t=u2+12t = \frac{u^2 + 1}{2} となる。
d=4(u2+12)1u25=2u2u+125=2(u14)2+7825d = \frac{|4(\frac{u^2 + 1}{2}) - 1 - u|}{2\sqrt{5}} = \frac{|2u^2 - u + 1|}{2\sqrt{5}} = \frac{2(u - \frac{1}{4})^2 + \frac{7}{8}}{2\sqrt{5}}
u=14u = \frac{1}{4} のとき、最小値 7165=7580\frac{7}{16\sqrt{5}} = \frac{7\sqrt{5}}{80} をとる。
このとき、t=(14)2+12=116+12=1732t = \frac{(\frac{1}{4})^2 + 1}{2} = \frac{\frac{1}{16} + 1}{2} = \frac{17}{32}
g(1732)=1+2(1732)12=1+171612=1+1162=1+142=342=38g(\frac{17}{32}) = \frac{-1 + \sqrt{2(\frac{17}{32}) - 1}}{2} = \frac{-1 + \sqrt{\frac{17}{16} - 1}}{2} = \frac{-1 + \sqrt{\frac{1}{16}}}{2} = \frac{-1 + \frac{1}{4}}{2} = \frac{-\frac{3}{4}}{2} = -\frac{3}{8}
求める点は(1732,38)(\frac{17}{32}, -\frac{3}{8})

3. 最終的な答え

(1) x12x \ge \frac{1}{2}
(2) g(x)=1+2x12g(x) = \frac{-1 + \sqrt{2x - 1}}{2}
(3) 最小値: 7580\frac{7\sqrt{5}}{80}, 点: (1732,38)(\frac{17}{32}, -\frac{3}{8})

「解析学」の関連問題

$0 \le x < 2\pi$ の範囲で、以下の(1)方程式と(2)不等式を解く。 (1) $\sin 2x = \cos x$ (2) $2\cos 2x + 8\sin x - 5 \le 0$

三角関数方程式不等式三角関数の合成解の範囲
2025/6/19

与えられた関数について、$n$次導関数を求める問題です。ここでは、問題番号(6),(7),(8)を解きます。 (6) $y = x^2 \cos(2x)$ (7) $y = \frac{1}{x^2 ...

微分導関数ライプニッツの公式部分分数分解
2025/6/19

与えられた各関数のn次導関数(n ≥ 1)を求める問題です。ここでは、関数 (1) $y = \frac{1}{1+x}$、(2) $y = \log(1-x)$、(3) $y = (1+x)^a$、...

導関数微分ライプニッツの公式
2025/6/19

与えられた2つの極限値を求める問題です。 (1) $\lim_{x\to 2} \frac{\log(\cos(x-2))}{1-\sin(\frac{\pi x}{4})}$ (2) $\lim_{...

極限ロピタルの定理対数関数三角関数
2025/6/19

与えられた関数について、$n$ 次導関数 ($n \ge 1$)を求める問題です。ここでは、問題番号2の関数、$y = \log(1-x)$ について解きます。

微分導関数対数関数数学的帰納法
2025/6/19

以下の4つの関数の導関数 $y'$ を求めます。 * $y = 3^x (x^2 + x)$ * $y = x^2 \cos(2x)$ * $y = \frac{1}{x^2 - x - ...

微分導関数積の微分商の微分合成関数
2025/6/19

与えられた式を微分する問題です。式は次の通りです。 $\frac{1}{(t+1)(t+2)^2}\frac{d}{dt}\{(t+1)^2(t+2)^3\}$

微分積の微分数式処理
2025/6/19

問題は2つあります。 1つ目は $\lim_{x \to 0} \frac{\tan x - x}{x^3}$ の値を求める問題です。 2つ目は $\lim_{x \to +0} x^2 (\log ...

極限ロピタルの定理マクローリン展開tan x対数関数
2025/6/19

$t = \tan(\frac{x}{2})$ と置換する。このとき、 $\sin x = \frac{2t}{1+t^2}$, $\cos x = \frac{1-t^2}{1+t^...

積分置換積分半角の公式部分分数分解三角関数の積分
2025/6/19

以下の3つの極限値を求めます。 (1) $\lim_{x \to 0} \frac{\cos 2x}{\cos 3x}$ (2) $\lim_{x \to 0} \frac{\tan x - x}{x...

極限ロピタルの定理テイラー展開三角関数対数関数
2025/6/19