|a|-|b|=|a-b|如何推出(a-b)b>=0