已知f(x)=根号2 cos(x-π/12)