f(x)=cosx平方+3sinxcosx的最大值