|a-b|=|a|+|b|成立的条件是a、b异号,或一个或二个为0
即ab≤0