为什么sin(x/2)+cos(x/2)=1/2sinx