bisection method proof a zero exists code example Example: bisection method based on IVT, c=(a+b)/2, if(fa*fc<0) b=c else a=c