函数y=cosx是方程的解