分段函数怎么推出来的?