令f(x)=x-sinx-1,显然f(x)在[0,π]内连续.而f(0)=-1<0,f(3π/2)=3π/2-1-0.5*根号2>0,可见在(0,3π/2)内必然存在一个x=a,使f(a)=0.