如果一个在(a,b)可导的函数f(x)，存在驻点x0，a<x0＜b，则存在a<x1＜x0＜x2＜b，满足f(x1)=f(x2)。几何意义是过一个开区间内的驻点做一条切线，下移趋近于0个单位必定能与原函数在开区间内交于两个不同的点。