sin(x/2) - cos(x/2)=1 求x的解集?