x-1 ≥ 0
x ≥ 1
1-x ≥0
1 ≥ x
所以x=1
(x-y)^2=0
x-y=0