设f(x)=x²－sinx－1,则f(1)=－sin10,则函数f(x)肯定有零点,即方程x²－sinx=1至少有一个实数根.