函数连续和可导的关系证明