令f(x)=x-cosx-4 　　则f'(x)=1+sinx>=0,所以函数单调增,最多只有一个零点 　　又 　　f(3)=-1-cos30 　　因此函数有唯一零点,且在(3,π)区间内 　　可用数值方法（如牛顿迭代法等）来求得其解 　　x=3.008803528449.