闭区间上的连续函数在两端点处异号，则函数在相应开区间内一定有一个根