为什么 cos(x/2-π/4)=sin(π/4+x/2)