函数x=sin(x+π/2)cosx的最小正周期