f(x)=sinx·cos(x-π/2)的最小正周期