已知函数y=1 2cos^2x