已知函数f(x)=cosx+cos(x+π/2),x∈R