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