已知函数f(x)=2cos∧2(4分之π-x)+根号3cos2x-1 求最小正周期.