设y=f(x)在(A,B)区间中可导，且[a,b]包含于(A,B)，f'(a)<f'(b)，则对于任意给定的η:f'(a)<η<f'(b),都存在一点c∈(a,b)使得f'(c)=η。