Desigualdad de Schur

Teoría

La Desigualdad de Schur es un resultado fundamental en la teoría de desigualdades simétricas, y es súper útil en el álgebra de nivel olimpiada. Te da un límite inferior para una suma cíclica específica que involucra potencias y diferencias de tres números reales no negativos. Mientras que las desigualdades clásicas como AM-GM o Cauchy-Schwarz se enfocan principalmente en magnitudes y sumas, la Desigualdad de Schur aprovecha la relación estructural entre las variables, específicamente cómo están ordenadas. A menudo es la clave para demostrar desigualdades que son "demasiado ajustadas" para AM-GM o la Desigualdad de Muirhead.

Esta desigualdad la aplicas casi siempre a polinomios simétricos homogéneos de grado 3 o mayor. Sirve como un puente entre polinomios simétricos elementales, y muchas veces te permite demostrar que $\sum_{cyc} x^3 + 3xyz \ge \sum_{sym} x^2y$. Esta forma específica es más fuerte que lo que te da la Desigualdad de Muirhead para la secuencia $(2,1,0)$ contra $(1,1,1)$, ya que Muirhead no puede compararlas directamente.

Intuitivamente, la Desigualdad de Schur funciona agrupando términos para mostrar que las contribuciones "positivas" de las variables más grandes pesan más que las contribuciones "negativas" de los términos medios. Si asumes un orden para las variables (sin pérdida de generalidad), la desigualdad se transforma en una suma de términos no negativos. La usas frecuentemente junto con sustituciones de variables (como $x=a+b, y=b+c, z=c+a$) o para demostrar que el discriminante de ciertas ecuaciones cúbicas no es negativo.

Fórmulas Clave

Forma General Para números reales no negativos $x, y, z$ y cualquier $t > 0$: $$x^t(x-y)(x-z) + y^t(y-z)(y-x) + z^t(z-x)(z-y) \ge 0$$ La igualdad se cumple si y solo si $x=y=z$ o si dos de ellos son iguales y el tercero es cero (por ejemplo, $x=y, z=0$).

Caso de Grado 3 ($t=1$) Esta es la variación que más vas a usar en las competencias: $$x(x-y)(x-z) + y(y-z)(y-x) + z(z-x)(z-y) \ge 0$$

Formas Expandidas El caso $t=1$ lo puedes expandir en la siguiente identidad muy útil: $$x^3 + y^3 + z^3 + 3xyz \ge x^2y + xy^2 + y^2z + yz^2 + z^2x + zx^2$$ Usando la notación de suma cíclica: $$\sum_{cyc} x^3 + 3xyz \ge \sum_{sym} x^2y$$

Caso de Grado 4 ($t=2$) $$x^2(x-y)(x-z) + y^2(y-z)(y-x) + z^2(z-x)(z-y) \ge 0$$ Que al expandirlo queda: $$x^4 + y^4 + z^4 + xyz(x+y+z) \ge x^3y + xy^3 + y^3z + yz^3 + z^3x + zx^3$$

Demostración

Lo que hay que demostrar es que para $x, y, z \ge 0$ y $t > 0$: $$ \sum_{cyc} x^t(x-y)(x-z) \ge 0 $$

Paso 1: Asume un orden Como la desigualdad es simétrica en $x, y, z$, puedes asumir sin pérdida de generalidad (SPG) que $x \ge y \ge z \ge 0$.

Paso 2: Expande la suma cíclica Llama $S$ al lado izquierdo. Escribe los términos de forma explícita: $$ S = x^t(x-y)(x-z) + y^t(y-z)(y-x) + z^t(z-x)(z-y) $$

Paso 3: Analiza los signos de los términos Basándote en el orden $x \ge y \ge z$:

1. Considera el tercer término: $z^t(z-x)(z-y)$. Como $z \le x$ y $z \le y$, tanto $(z-x)$ como $(z-y)$ son no positivos. Su producto es no negativo. $$ z^t(z-x)(z-y) \ge 0 $$

2. Considera los primeros dos términos. Factoriza $(x-y)$. Nota que en el segundo término, $(y-x) = -(x-y)$. $$ x^t(x-y)(x-z) + y^t(y-z)(y-x) = (x-y) \left[ x^t(x-z) - y^t(y-z) \right] $$

Paso 4: Compara las magnitudes Examina la expresión dentro de los corchetes: $[x^t(x-z) - y^t(y-z)]$.

• Como $x \ge y \ge 0$ y $t > 0$, tienes que $x^t \ge y^t \ge 0$.
• Como $x \ge y \ge z$, tienes que $x-z \ge y-z \ge 0$.

Como ambos factores en el primer producto son mayores o iguales a los factores correspondientes en el segundo producto, tienes que: $$ x^t(x-z) \ge y^t(y-z) $$ Por lo tanto, el término entre corchetes es no negativo. Como $x \ge y$, el factor $(x-y)$ también es no negativo. Así que: $$ (x-y) \left[ x^t(x-z) - y^t(y-z) \right] \ge 0 $$

Paso 5: Conclusión La suma total $S$ es la suma de dos cantidades no negativas: $$ S = \underbrace{(x-y)[x^t(x-z) - y^t(y-z)]}{\ge 0} + \underbrace{z^t(z-x)(z-y)}{\ge 0} \ge 0 $$

Con esto, la desigualdad queda demostrada. La igualdad se cumple cuando $x=y=z$ (todos los términos son cero) o cuando $z=0$ y $x=y$ (la primera parte es cero y el último término también). $\square$