高数 函数y=cosx是方程什么的解