定义

设函数 ${\displaystyle f(x)}$ 在区间 ${\displaystyle (A,B)(A<a<b<B)}$ 可导，且 ${\displaystyle f^{\prime }(a)<f^{\prime }(b)}$，则对任意满足 ${\displaystyle f^{\prime }(a)<\eta <f^{\prime }(b)}$ 的 ${\displaystyle \eta }$，都存在 ${\displaystyle c\in (a,b)}$，使得 ${\displaystyle f^{\prime }(c)=\eta }$。