then the quadratic equation has real roots.