Desigualdad de Schur
# Desigualdad de Schur

En matemáticas, la desigualdad de Schur, descubierta por Issai Schur, establece que para todos los números reales no negativos x, y, z y t:

    $x^{t}(x-y)(x-z)+y^{t}(y-z)(y-x)+z^{t}(z-x)(z-y)\geq 0$

con igualdad si y sólo si x = y = z o si dos de ellos son iguales y el otro es cero. Cuando t es número natural par, la desigualdad se cumple para cualesquiera números reales x, y y z.

## Prueba

Debido a la simetría se puede suponer sin pérdida de generalidad que $x\geq y\geq z$. Entonces es claro que

    $(x-y)[x^{t}(x-z)-y^{t}(y-z)]+z^{t}(x-z)(y-z)\geq 0$

se cumple, ya que ningún término es negativo. Al reordenar la desigualdad llegamos al resultado deseado.

* Datos: Q1317813
