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

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