next up previous
Next: 5.1 二分法 (bisection method) Up: 5 非線形方程式を計算機で解く Previous: 5 非線形方程式を計算機で解く

方程式が区間 $(0,1)$ にただ一つの解を持つことの証明

まず $f'(x)=-\sin x - 1\le 0$ ($x\in\R$) で、特に $x = \pi/2
+ 2 n\pi$ ($n\in\Z$) 以外のところでは $f'(x) < 0$ であるから、 $f$ は狭義の単調減少関数である。 そして $f(0)=1>0$, $f(1)=\cos 1 - 1 < 0$ ゆえ、 中間値の定理によって、 方程式 $f(x)=0$ は区間 $(0,1)$ 内に少なくとも一つの解を持つが、 $f$ の単調性からそれは $\R$ 全体でただ一つの解であることが分かる。


next up previous
Next: 5.1 二分法 (bisection method) Up: 5 非線形方程式を計算機で解く Previous: 5 非線形方程式を計算機で解く
Masashi Katsurada
平成20年10月18日