1923年
德国数学家伊吉尼奥·舒尔（Igino Schur）在论文中首次提出了这一不等式，用于研究对称函数的正定性。
探索对称多项式中的瑰宝：从经典不等式到现代代数几何
在数学的广阔天地中，舒尔定理（Schur's Theorem）——更准确地说，是舒尔不等式（Schur's Inequality）——占据着独特而重要的地位。它是处理三元对称不等式时不可或缺的工具，尤其在数学竞赛和高等代数研究中，其应用频率极高。与著名的均值不等式（AM-GM）和柯西-施瓦茨不等式（Cauchy-Schwarz）相比，舒尔不等式处理的是更具“非线性”特征的对称结构。
许多学习者在面对包含 a^3, b^3, c^3 或 a^r(a-b)(a-c) 形式的不等式时感到束手无策，而舒尔定理正是破解这类难题的钥匙。本文将深入探讨舒尔定理的定义、证明技巧、广泛应用以及其在数学史上的独特价值。
舒尔不等式由意大利数学家伊吉尼奥·舒尔（Igino Schur）于1923年提出。其最通用的形式如下：
当 时，这是最常见的形式，展开后为：
这一形式揭示了舒尔不等式的核心本质：它联系了三次对称单项式与混合二次项，并引入了关键的交叉项 3abc。这种结构使得它在证明涉及 abc 乘积项的不等式时具有压倒性优势。
理解舒尔不等式的证明过程，有助于掌握其背后的逻辑结构。以下是两种最常用的证明方法：
不妨设 。则我们有：
1.
2.
根据切比雪夫不等式或排序不等式的同序和大于逆序和的原理，可以直接得出：
这种方法直观地展示了舒尔不等式与排序原理的内在联系。
对于 的情况，我们可以将左边减去右边：
LHS - RHS =
通过分组分解，可以将其重写为：
虽然这个形式不如直接展开清晰，但它揭示了舒尔不等式与三角形边长关系的潜在联系。另一种更简洁的配方式是：
... 此路较繁，通常推荐使用对称和形式。
舒尔不等式并非孤立的理论，它是解决复杂不等式问题的基石。以下是其最主要的三个应用领域：
在处理形如 的问题时，舒尔不等式提供了直接的下界估计。它常用于补充均值不等式无法覆盖的“缺口”。
任何三元对称多项式都可以用基本对称多项式 表示。舒尔多项式 是其中一类重要的基底，在代数组合学中扮演核心角色。
在群论中，舒尔定理（不同于不等式）描述了有限群的导子群与中心的关系，即若 是有限群，则 也是有限群。这在有限群分类中具有里程碑意义。
题目：已知 ，证明 。
解析：这正是 时的舒尔不等式直接结论。如果不使用舒尔，我们需要通过繁琐的配方或多次使用AM-GM来逼近，而舒尔定理一步到位。
| 应用场景 | 涉及项 | 常用辅助工具 | 难度系数 |
|---|---|---|---|
| 三元对称不等式 | AM-GM, Muirhead | ★★★ | |
| 高次对称多项式 | 舒尔(r=2), SOS方法 | ★★★★ | |
| 几何不等式 | 边长关系 | 海伦公式, 舒尔不等式 | ★★★★★ |
德国数学家伊吉尼奥·舒尔（Igino Schur）在论文中首次提出了这一不等式，用于研究对称函数的正定性。
随着数学竞赛的兴起，舒尔不等式被哈代（Hardy）、李特尔伍德（Littlewood）和波利亚（Polya）在其经典著作《不等式》中进一步推广和分析。
在舒尔多项式理论中，它成为表示论和代数几何的核心对象。同时，在不等式证明领域，它依然是解决高难度竞赛题的“大杀器”。
在不等式领域，通常所说的“舒尔定理”指的就是“舒尔不等式”。但在更广泛的数学领域，特别是群论中，舒尔定理指的是关于群中心扩张的结论。本文主要讨论的是不等式部分。
非常常见。它是 IMO（国际数学奥林匹克）及各国选拔赛中处理三元对称不等式的标准工具之一，尤其当题目涉及三次或四次项且无法直接使用均值不等式时。
可以记忆为：。直观理解是：最大的数乘以它与另两数差的积，加上其余两项，总和非负。最简单的 形式可记为：。
是的。舒尔多项式出现在统计力学中的配分函数计算，以及在表示论中描述粒子的对称态。它们在杨图（Young Tableau）和对称群表示理论中有着基础性的应用。