x>0 y

因为x>0,y0,|x|=x,|y|=-y (隐含x>y)
又因为|x|