平方项与绝对值项均恒非负,两非负项之和=0,两非负项分别=0
x-1=0 x=1
y+1/2=0 y=-1/2
|y-x|=|-1/2-1|=3/2