解构造函数f(x)=x-sinx-2∴ f(0)=0-sin0-2=-2<0f(3)=3-sin3-1=1-sin3>0∴ f(0)*f(3)<0又f(x)是连续函数∴ 由零点存在定理,f(x)在(0,3)上有一个零点即方程x=sinx+2在(0,3)上有解即方程x=sinx+2至少有一个小于3的正根