证明方程x的平方-sinx=1至少有一个实根.