基本定义如果函数 f(x) 满足1、在闭区间 [a,b] 上连续；
2、在开区间 (a,b) 内可导；
3、在区间端点处的函数值相等，
即 f(a) = f(b)， 那么在(a,b)内至少有一点ξ(a < ξ < b)，使得 f'(ξ )=0。