El problema en cuestión es el siguiente:
18b Supongamos que $b^2 -4c \lt 0$. Demostrar que no hay números de $x$ que satisfacer $x^2 + bx + c = 0$; de hecho, $x^2 + bx + c \gt 0$ todos los $x$. Sugerencia: completar el cuadrado.
Tratando de aplicar la sugerencia, empecé por la construcción de $b^2 - 4c < 0 \therefore (b-\frac{2c}{b})^2 - \frac{4c^2}{b^2} \lt 0$, pero la manipulación de esta, en definitiva, sólo conduce a $b^2 \lt 4c$ que no tenía necesidad de completar el cuadrado para llegar de todos modos.
La única otra idea que yo tenía era que se podría construir la ecuación cuadrática a partir de la suposición de que $x^2 + bx + c = 0$ y, a continuación, ir a por una prueba por contradicción, por ejemplo,
$x^2 + bx + c =0$
$x^2 + bx = -c$
$x^2 + bx + (\frac{b}{2})^2 = -c + (\frac{b}{2})^2$
$(x + \frac{b}{2})^2 = \frac{b^2 - 4c}{4}$
$\therefore$ Dado que para todos los valores reales de a $x$ y $b$, $(x + \frac{b}{2})^2 \gt 0$, por transitividad de la igualdad, $\frac{b^2 - 4c}{4} \gt 0$
$\therefore 4(\frac{b^2 - 4c}{4}) \gt 4(0)$
$\therefore b^2 - 4c \gt 0$ para todo x tal que $x^2 + bx + c = 0$
Pero que deja a la afirmación "en realidad, $x^2 + bx + c \gt 0$ todos los $x$" no se ha probado, a menos que se supone, obviamente, seguir, en cuyo caso yo no estoy viendo cómo.