已知f(x)=ax 2 +bx+c(a≠0),且方程f(x)=x无实根.现有四个命题