证明方程x^2000+x^1999+x^1998+x^1007+.x^2+x=0至少有两个实根