f(x)=cos2x-3sin2x+1的最大值