方程式 $f(x) = \sin x - x\cos x = 0$ が、開区間 $(\pi, \frac{3}{2}\pi)$ に少なくとも1つの解を持つことを示す問題です。
2025/6/28
1. 問題の内容
方程式 が、開区間 に少なくとも1つの解を持つことを示す問題です。
2. 解き方の手順
この問題は中間値の定理を利用して解きます。中間値の定理は、ある閉区間 で連続な関数 について、 と の符号が異なる場合、 となる が開区間 に少なくとも1つ存在するというものです。
まず、関数 が連続であることを確認します。 と は連続関数であり、 も連続関数なので、 は連続です。
次に、区間の端点での の値を計算します。
のとき、
のとき、
であり、 であるため、 と の符号が異なります。
したがって、中間値の定理より、開区間 に となる が少なくとも1つ存在します。つまり、方程式 は、開区間 に少なくとも1つの解を持ちます。
3. 最終的な答え
方程式 は、開区間 に少なくとも1つの解を持つ。