Desigualdad Trivial

Teoría

La Desigualdad Trivial es el axioma fundamental de las desigualdades algebraicas, y dice que el cuadrado de cualquier número real no es negativo. Aunque la afirmación parece obvia —de ahí el nombre "trivial"— sirve como la piedra angular para demostrar relaciones mucho más complejas, incluyendo la desigualdad de la Media Aritmética-Media Geométrica (AM-GM) y la desigualdad de Cauchy-Schwarz. En las olimpiadas de matemáticas, su poder no está en la afirmación misma, sino en la habilidad de manipular expresiones algebraicas complejas para convertirlas en una suma de cuadrados perfectos y así demostrar que una expresión no es negativa.

Este concepto es la base del método de Suma de Cuadrados (SOS). Cuando te enfrentas a una desigualdad $f(x, y, z) \ge 0$, una estrategia común es reacomodar los términos para mostrar que $f$ se puede expresar como $\sum k_i (P_i)^2$, donde $k_i$ son constantes no negativas y $P_i$ son polinomios. Si logras encontrar esa representación, la desigualdad se cumple de inmediato. Esta técnica es muy efectiva porque a menudo revela exactamente cuándo se cumple la igualdad: justo cuando todos los términos dentro de los cuadrados son cero.

Intuitivamente, la Desigualdad Trivial se basa en las propiedades de orden de los números reales. Geométricamente, corresponde al hecho de que un cuadrado con un lado de longitud real debe tener un área no negativa. En problemas de optimización, esta desigualdad la usas seguido para encontrar valores mínimos; por ejemplo, el valor mínimo de una función cuadrática lo encuentras completando el cuadrado, aislando el término al cuadrado (que es $\ge 0$) y viendo qué constante queda.

Fórmulas Clave

La Afirmación Fundamental Para cualquier número real $x$: $$x^2 \ge 0$$ La igualdad se cumple si y solo si $x = 0$.

Suma de Cuadrados Para cualquier secuencia de números reales $x_1, x_2, \dots, x_n$: $$\sum_{i=1}^n x_i^2 = x_1^2 + x_2^2 + \dots + x_n^2 \ge 0$$ La igualdad se cumple si y solo si $x_1 = x_2 = \dots = x_n = 0$.

Expansión de Dos Variables (Base para AM-GM) Para cualesquiera números reales $x$ y $y$: $$(x-y)^2 \ge 0 \implies x^2 - 2xy + y^2 \ge 0 \implies x^2 + y^2 \ge 2xy$$ La igualdad se cumple si y solo si $x = y$.

Completar el Cuadrado (Mínimo Cuadrático) Para una expresión cuadrática $ax^2 + bx + c$ con $a > 0$: $$ax^2 + bx + c = a\left(x + \frac{b}{2a}\right)^2 + \left(c - \frac{b^2}{4a}\right) \ge c - \frac{b^2}{4a}$$

Demostración

Teorema: Para cualquier número real $x$, $x^2 \ge 0$, y la igualdad se cumple si y solo si $x=0$.

Demostración: Para esto, usa las propiedades del campo de los números reales $\mathbb{R}$, específicamente la propiedad de tricotomía y las reglas de multiplicación de los signos.

Por la Ley de Tricotomía, para cualquier número real $x$, exactamente una de estas afirmaciones es cierta:

1. $x > 0$
2. $x = 0$
3. $x < 0$

Analiza cada caso por separado:

Caso 1: $x > 0$ Como el producto de dos números reales positivos es positivo, tienes que: $$x \cdot x > 0 \implies x^2 > 0$$

Caso 2: $x = 0$ Por la propiedad multiplicativa del cero: $$x \cdot x = 0 \cdot 0 = 0 \implies x^2 = 0$$

Caso 3: $x < 0$ Si $x < 0$, entonces $-x$ es un número positivo ($-x > 0$). Sabes que $(-x)(-x) = (-1)(-1)(x)(x) = 1 \cdot x^2 = x^2$. Como $-x$ es positivo, el producto de dos números positivos $(-x) \cdot (-x)$ es positivo. Por lo tanto: $$x^2 > 0$$

Conclusión: En todos los casos, $x^2$ es positivo o cero. Así que $x^2 \ge 0$. Además, si te fijas en los casos anteriores, $x^2 = 0$ solo ocurre en el Caso 2, donde $x=0$.

$\square$