分段函数可导的条件