首先函数在所定义区间【a,b】连续（可以暂时理解为图像连续）,且有f（a）*f（b）<0,那么存在c也就是一个数属于【a,b】,使得f（c）=0也就是方程f（x）=0必有一个解x=c,c属于（a,b）,满足f（c）=0.