f(x) = a0 + a1x + anxn の零点を探索する。 その前に、補題を考える。 f(x) = anxn - (a0 + ... + an-1xn-1) n ≧ 1 ai ≧ 0 an > 0 は、x > 0 で f(x) > 0 なら x < x' で f(x') > 0 xf'(x) = nanxn - (a1 + ... + (n-1)an-1xn-1) > (n-1)a1 + ... + an-1xn-…