证明方程x+sinx-1=0在0与π之间有实根