二分探査法

問題
連続関数 f(x) に対して、f(x)=0 となる x を求める
仮定 : 区間 [a,b] に対し f(a)*f(b) < 0
つまり f(a) と f(b) の符号が異るので、区間[a,b]に少くても根が一つある(中間値の定理)
m を a,b の中点とすると、根は [a,m], [m,b] の少くてもどちらか一方にある(性質 <*>)
二分探査法
<*> に基いて、区間をせばめる方法