分段函数在端点的求导为什么要用定义