设f(x)=根号2∕2cos(2x+π∕4)+sin²x