函数f(x)=cosx-cosx的平方+2分之1的最大值