求证x∈r 方程x平方+x+1=0无实根是什么命题