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