分段函数在某一点可导的条件