如果函数f（x）在区间（a,b）上有定义且连续,而且在（a,b）上存在不同的两个数x1和x2,满足f（x1）*f（x2）<=0,那么至少存在一个数k,k属于（a,b）使得f（k）=0