为什么sin(2x-π/2)=-cos2x