已知函数f(x)=根号2cos(2x-派 4),x∈R