证明函数连续性可导性