舒尔不等式（Schur's Inequality）是一个在数学中广泛应用的不等式，它涉及非负实数的加权和及其乘积。以下是舒尔不等式的基本形式及其证明：
基本形式
对于非负实数 \（x, y, z\） 和任意实数 \（t\），舒尔不等式可以表示为：
\[ x^t（x - y）（x - z） + y^t（y - x）（y - z） + z^t（z - x）（z - y） \geq 0 \]
证明
证明过程可以通过对称性和分类讨论来完成。首先，我们假设 \（x \geq y \geq z\） 并且 \（t\） 是非负偶数。然后，我们可以将不等式重写为：
\[ x^t（x - y）（x - z） + y^t（y - x）（y - z） + z^t（z - x）（z - y） \geq x^t（x - y）（x - z） + y^t（x - y）（y - z） + z^t（x - y）（x - z） \]
\[ = （x - y）^2（x - z） + y^t（x - y）（y - z） \geq 0 \]
这里，我们利用了 \（x \geq y \geq z\） 和 \（t\） 是非负偶数的条件，从而确保了每一项都是非负的，并且可以通过合并项来简化不等式。
推广形式
舒尔不等式还有一个推广形式，适用于更一般的情况。设 \（a, b, c\） 是非负实数，且 \（x, y, z\） 满足 \（x \geq y \geq z\） 或 \（z \geq y \geq x\）。如果 \（k\） 是正整数，且 \（f\） 是凸函数或单调函数，则：
\[ a^k（a - b）（a - c） + b^k（b - a）（b - c） + c^k（c - a）（c - b） \geq 0 \]
应用
舒尔不等式在许多数学和优化问题中都有应用，例如在证明柯西-施瓦茨不等式、琴生不等式等方面。它也可以用于证明一些组合恒等式和概率论中的不等式。
总结
舒尔不等式是一个强大的工具，它在处理非负实数的加权和及其乘积时非常有用。通过分类讨论和对称性，我们可以证明这个不等式在各种情况下都成立。推广形式则进一步扩展了其应用范围，使其在更复杂的数学问题中也能发挥作用。