闭区间[a,b] 连续开区间(a,b) 可导,同时在端点处的值相等,那么
内至少存在一点,使得
换句话说,函数是起伏的,同时,端点又是相等的,中间肯定是有极值的