怎么证明一个函数在一个区间上连续、可导?