已知函数fx=√2cos(x-π 12),x属于R