判断某函数在某区间是否有零点