如果函数 f(x)f(x)f(x) 在闭区间 [a,b][a,b][a,b] 上连续,且 f(a)f(a)f(a) 与 f(b)f(b)f(b) 异号(即 f(a)⋅f(b)<0f(a) \cdot f(b) < 0f(a)⋅f(b)<0),那么在开区间 (a,b)(a,b)(a,b) 内至少存在一点 ξ\xiξ,使得 f(ξ)=0f(\xi)=0f(ξ)=0。