Dealing with contradictions: If a, b, and c are nonzero real numbers such that a>0 and the equation ax^2+bx+c has no real solutions, then show that ax^2+bx+c<0 cannot be true for all values of x.