求方程cos(x)-x=0的一个实根