函数f(x)=cos x+cos(派/2 +x)的最小正周期是什么,