记f(x)=x-1-2sinx 则f(x)在R上连续,且f(1)=-2sin10, 则f(x)=0在(1,3)上有解,即x-2sinx=1在(1,3)上有解, 所以方程x-2sinx=1至少有一个正根小于3 .
