sin(2x-π/2)=-cos2x是怎么来的,