已知有理数x,y满足1 2|x-y| |y-1 2|=0