非線形方程式を計算機で解く

ここでは例題の方程式 $\cos x - x=0$ について考えよう。 $f(x) =\cos x - x$ とおいて、 $f$ を少し調べてみれば (このすぐ後に述べる)、 この方程式にはただ一つの解があって、それは区間 $(0,1)$ にあることが 分かる。 大雑把に言うと、 グラフの概形は $y=-x$ をサイン・カーブ風に波打たせたものになる。 この唯一の解を求めることが目標である。