已知x,y属于R,写出一个使得|x-y|=|x|+|y|成立的充要条件,并证明