如何证明一个函数在整个区间内可导呢?