关于数学化简这怎么推出来的?