$f(x)$ と $g(x)$ は区間 $[a, b]$ で連続な関数である。 $f(a) > g(a)$ かつ $f(b) < g(b)$ であるとき、方程式 $f(x) = g(x)$ は $a < x < b$ の範囲に少なくとも1つの実数解を持つことを示す。

解析学中間値の定理連続関数方程式の解
2025/5/27

1. 問題の内容

f(x)f(x)g(x)g(x) は区間 [a,b][a, b] で連続な関数である。
f(a)>g(a)f(a) > g(a) かつ f(b)<g(b)f(b) < g(b) であるとき、方程式 f(x)=g(x)f(x) = g(x)a<x<ba < x < b の範囲に少なくとも1つの実数解を持つことを示す。

2. 解き方の手順

まず、新しい関数 h(x)h(x) を定義する。
h(x)=f(x)g(x)h(x) = f(x) - g(x)
f(x)f(x)g(x)g(x) は区間 [a,b][a, b] で連続なので、h(x)h(x) も区間 [a,b][a, b] で連続である。
次に、h(a)h(a)h(b)h(b) の値を考える。
h(a)=f(a)g(a)h(a) = f(a) - g(a)
問題の条件より f(a)>g(a)f(a) > g(a) なので、h(a)>0h(a) > 0 である。
h(b)=f(b)g(b)h(b) = f(b) - g(b)
問題の条件より f(b)<g(b)f(b) < g(b) なので、h(b)<0h(b) < 0 である。
中間値の定理より、h(a)>0h(a) > 0 かつ h(b)<0h(b) < 0 であり、h(x)h(x) が区間 [a,b][a, b] で連続であることから、ある cc (a<c<ba < c < b) が存在して、h(c)=0h(c) = 0 となる。
h(c)=f(c)g(c)=0h(c) = f(c) - g(c) = 0
したがって、f(c)=g(c)f(c) = g(c) である。
これは、方程式 f(x)=g(x)f(x) = g(x) が区間 (a,b)(a, b) に少なくとも1つの実数解 cc を持つことを意味する。

3. 最終的な答え

f(x)=g(x)f(x) = g(x)a<x<ba < x < b の範囲に少なくとも1つの実数解を持つ。

「解析学」の関連問題

方程式 $\log x = -x^2 + 3x + k$ の異なる実数解の個数を調べる問題です。

対数関数二次関数グラフ交点微分増減実数解方程式
2025/5/29

与えられた極限 $\lim_{a \to 0} \frac{e^a - 1 - a}{a^2} = \frac{1}{2}$ を用いて、$\lim_{x \to 0} (\frac{1}{\log(1...

極限マクローリン展開ロピタルの定理テイラー展開
2025/5/29

与えられた7つの極限値を求める問題です。 (1) $\lim_{n \to \infty} \frac{4(n+2)^{100}}{(n+6)^{30}(2n^{70} + n^{23} + 1)}$...

極限数列ロピタルの定理
2025/5/29

与えられた関数 $y = \sqrt[3]{e^{2x}}$ を微分して、$y'$ を求める問題です。

微分合成関数の微分指数関数微積分
2025/5/29

関数 $x \log \frac{2}{x+2}$ の微分を求めます。ここで、$\log$ は自然対数(底が $e$)を表すものとします。

微分対数関数合成関数の微分積の微分
2025/5/29

$x \log{\frac{2}{x+2}}$ の微分を求める問題です。

微分対数関数合成関数の微分積の微分
2025/5/29

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

不等式微積分sin関数log関数証明
2025/5/29

関数 $y = (3x - 2)^4$ を微分せよ。

微分合成関数の微分チェーンルール
2025/5/29

複素関数の微分可能性に関する問題です。 1) 与えられた実部 $u$ と虚部 $v$ の組からなる複素関数 $f=u+iv$ の微分可能性を判定します。 2) $f(z) = z^n$ ($n \in...

複素関数微分可能性コーシー・リーマンの関係式正則関数偏微分
2025/5/29

与えられた積分の問題を解きます。問題は、$\int \frac{\sin x}{\cos^2 x} dx$ を計算することです。

積分置換積分三角関数
2025/5/29