Se nos pide a mostrar que $2x^2-3xy+2y^2 \ge 0$, presumiblemente para todos los verdaderos $x$$y$.
El método estándar es para completar el cuadrado. Vamos a hacerlo de una fea forma mecánica. Tenga en cuenta que
$$2x^2-3xy+2y^2=2\left(x^2-\frac{3}{2}xy+y^2\right).$$
Por lo que es suficiente para mostrar que el $x^2-\frac{3}{2}xy+y^2 \ge 0.$ Completar el cuadrado. Tenemos
$$x^2-\frac{3}{2}xy+y^2=\left(x-\frac{3}{4}y\right)^2 -\frac{9}{16}y^2+y^2=\left(x-\frac{3}{4}y\right)^2 +\frac{7}{16}y^2.$$
Ahora hemos terminado. La expresión de la derecha es, obviamente, no negativo, ya que tanto $(x-(3/4)y)^2$ $(7/16)y^2$ son no-negativos. De hecho, "casi siempre" la expresión es $>0$. La única manera que puede ser $0$ es si ambos $y$$x-(3/4)y$$0$, es decir, si $x$ $y$ ambos $0$.
Comentario: Esto se parece a un "dos variables del problema", pero realmente no lo es. Tenga en cuenta que nuestra desigualdad es claramente cierto si $y=0$. Así que a partir de ahora podemos asumir que $y \ne 0$. Para $y \ne 0$, nuestra desigualdad es equivalente a
$$\frac{2x^2-3xy+2y^2}{y^2} \ge 0,$$
que a su vez es equivalente a mostrar que la
$$2z^2-3z+2 \ge 0,$$
donde $z=x/y$. Ahora estamos en una variable del problema. Un enfoque estándar es (de nuevo) al completar el cuadrado, pero hay otras formas de abordar el problema. Por ejemplo, tenga en cuenta que $2z^2-3z+2$ sin duda $>0$ a veces. Con el fin de ser $<0$ a veces, tendría que ser $0$ algunos $z$. Pero es fácil verificar usando la Fórmula Cuadrática que la ecuación de $2z^2-3z+2=0$ no tiene soluciones reales.