Неравенство Шура: доказательство и применение в олимпиадах

Неравенство Шура - одно из тех симметричных неравенств, которое не выводится напрямую из AM-GM или Коши-Буняковского, но закрывает целый класс олимпиадных задач, где нужно оценить выражение от трёх неотрицательных переменных. Его сила в том, что оно даёт «лишнее» слагаемое, которого часто не хватает, чтобы дожать оценку до конца. Разберём формулировку через параметр $t$, аккуратное доказательство упорядочиванием переменных, важнейший частный случай $t = 1$ и то, как применять неравенство на практике. Если у вас уже есть конкретная задача, соберите её условие в форме ниже и получите пошаговый разбор.

Формулировка неравенства Шура

Пусть $a, b, c \ge 0$ - неотрицательные действительные числа, а $t > 0$ - положительный параметр. Тогда выполняется неравенство

$$a^t(a-b)(a-c) + b^t(b-a)(b-c) + c^t(c-a)(c-b) \ge 0.$$

Равенство достигается в двух случаях: когда $a = b = c$ либо когда два из трёх чисел равны, а третье равно нулю (например $a = b$, $c = 0$). Это симметричное по перестановкам выражение: каждое слагаемое «привязано» к своей переменной через множитель $a^t$, $b^t$ или $c^t$, а две скобки фиксируют, насколько эта переменная отличается от двух других.

Параметр $t$ может быть любым положительным; для целых $t$ неравенство остаётся верным и при $a, b, c$, которые могут принимать нулевые значения без проблем со степенью. На олимпиадах в подавляющем большинстве случаев используют $t = 1$ и $t = 2$ - про них отдельно ниже.

Рассчитать для своей задачи

Идея доказательства: упорядочиваем переменные

Главный приём - WLOG-упорядочивание (without loss of generality, «без ограничения общности»). Поскольку выражение симметрично относительно перестановки $a, b, c$, мы вправе считать, что переменные уже упорядочены:

$$a \ge b \ge c \ge 0.$$

Любую другую расстановку можно свести к этой переименованием, а значение левой части от переименования не меняется. Это ключевой момент: симметрия позволяет зафиксировать порядок и работать со знаками скобок.

Теперь сгруппируем первые два слагаемых. Вынесем общий множитель $(a - b)$:

$$\begin{aligned} &a^t(a-b)(a-c) + b^t(b-a)(b-c) \\ &= (a-b)\left[a^t(a-c) - b^t(b-c)\right]. \end{aligned}$$

При $a \ge b \ge c$ имеем $a - b \ge 0$. Внутри квадратной скобки: $a^t \ge b^t$ (степень монотонна при $a \ge b \ge 0$) и $a - c \ge b - c \ge 0$, поэтому $a^t(a-c) \ge b^t(b-c)$, и скобка неотрицательна. Значит, сумма первых двух слагаемых неотрицательна.

Почему третье слагаемое не портит оценку

Осталось третье слагаемое $c^t(c-a)(c-b)$. При $a \ge b \ge c$ обе скобки $c - a$ и $c - b$ неположительны, их произведение неотрицательно, а $c^t \ge 0$. Следовательно, третье слагаемое тоже $\ge 0$.

Сумма неотрицательного (первые два слагаемых) и неотрицательного (третье) неотрицательна - неравенство доказано. Аккуратность здесь в том, чтобы не потерять знаки: именно упорядочивание $a \ge b \ge c$ делает все рассуждения о знаках однозначными. Такой же приём с разбором знаков скобок работает во многих симметрических задачах - например в неравенстве Мюрхеда, где порядок переменных тоже фиксируется без ограничения общности.

Рассчитать для своей задачи

Частный случай t = 1: рабочая форма

При $t = 1$ неравенство раскрывается в особенно полезную форму. Подставив $t = 1$ и раскрыв скобки, после приведения подобных получаем:

$$a^3 + b^3 + c^3 + abc \cdot 3 \ge ab(a+b) + bc(b+c) + ca(c+a).$$

Эквивалентная и чаще цитируемая запись через элементарные симметрические многочлены. Если обозначить $p = a+b+c$, $q = ab+bc+ca$, $r = abc$, то случай $t = 1$ равносилен

$$p^3 + 9r \ge 4pq.$$

Именно эта форма $p^3 + 9r \ge 4pq$ - рабочая лошадка олимпиад: она даёт оценку для $abc$ снизу через $p$ и $q$, которой часто не хватает при работе с симметрическими выражениями. Когда привычные AM-GM и Коши «недотягивают», добавка от Шура замыкает доказательство.

Случай t = 2 и обобщения

При $t = 2$ неравенство Шура даёт неравенство четвёртой степени:

$$a^2(a-b)(a-c) + b^2(b-a)(b-c) + c^2(c-a)(c-b) \ge 0,$$

которое в развёрнутом виде оценивает $a^4 + b^4 + c^4$ и смешанные члены. Доказывается тем же упорядочиванием - структура рассуждения от значения $t$ не зависит, важна лишь монотонность $x \mapsto x^t$ на $[0, \infty)$.

Существуют и взвешенные обобщения, где вместо одинакового показателя $t$ у каждого слагаемого свой множитель, а также версии для большего числа переменных. На школьных и студенческих олимпиадах они встречаются редко: почти всё закрывается базовой формой при $t = 1$ или $t = 2$.

Полезно держать в голове связь с теорией симметрических многочленов: любое симметрическое выражение от $a, b, c$ выражается через $p = a+b+c$, $q = ab+bc+ca$, $r = abc$, и именно в этих координатах неравенство Шура превращается в компактное $p^3 + 9r \ge 4pq$. Поэтому первый рефлекс при встрече с симметрической оценкой - перейти к $p, q, r$ и посмотреть, не вытекает ли искомое прямо из формы Шура.

Как применять на практике

Типичная стратегия: свести симметрическое неравенство к $p, q, r$ и в нужный момент подставить оценку Шура $p^3 + 9r \ge 4pq$. Алгоритм по шагам:

1. Проверьте, что переменные неотрицательны - без этого Шур не работает.
2. Упорядочьте $a \ge b \ge c$, если доказываете напрямую разбором знаков.
3. Если цель - симметрическая оценка, перейдите к $p, q, r$ и ищите, где не хватает слагаемого с $r = abc$.
4. Подставьте форму $p^3 + 9r \ge 4pq$ и проверьте, замыкается ли оценка.
5. Не забудьте про случаи равенства: $a = b = c$ или два равны, третье ноль - по ним проверяют точность константы.

Если непонятно, какую именно форму подставлять в конкретной задаче, соберите условие в форме выше и получите разбор с явным указанием шага, где включается неравенство Шура.

Частые ошибки

• Забывают условие $a, b, c \ge 0$. Для отрицательных значений неравенство в общем случае неверно при нецелых $t$, да и при целых разбор знаков ломается.
• Теряют знак при группировке. Без явного упорядочивания $a \ge b \ge c$ легко перепутать знак скобки $(c-a)(c-b)$ и решить, что третье слагаемое отрицательно.
• Путают форму $t = 1$. Коэффициент при $abc$ равен именно $3$, а правую часть $4pq$ часто записывают с ошибочным множителем - стоит вывести самому хотя бы раз.
• Применяют там, где не симметрично. Если выражение несимметрично по $a, b, c$, упорядочивание уже нельзя делать «без ограничения общности».
• Игнорируют случай равенства. Не проверив $a = b$, $c = 0$, можно ошибочно усилить неравенство и получить неверную константу.

FAQ

Откуда берётся неравенство Шура и почему оно так называется? Оно названо в честь математика Иссаи Шура. По сути это утверждение о знаке симметрического выражения от трёх неотрицательных переменных; доказывается элементарно, через упорядочивание и разбор знаков, поэтому входит в стандартный арсенал олимпиадника.

В чём отличие от AM-GM и Коши-Буняковского? AM-GM и Коши дают оценки «среднее ≥ среднее» и обычно не содержат члена $abc$ с нужным знаком. Неравенство Шура поставляет именно слагаемое с произведением $abc$ (форма $p^3 + 9r \ge 4pq$), которого часто не хватает, чтобы дожать симметрическую оценку до конца.

Какое значение $t$ выбирать в задаче? Почти всегда $t = 1$ - он даёт самую употребительную форму через $p, q, r$. Значение $t = 2$ нужно для неравенств четвёртой степени. Остальные $t$ на олимпиадах практически не встречаются.

Коротко

Неравенство Шура утверждает, что для $a, b, c \ge 0$ и $t > 0$ сумма $a^t(a-b)(a-c) + b^t(b-a)(b-c) + c^t(c-a)(c-b)$ неотрицательна. Доказывается упорядочиванием $a \ge b \ge c$: первые два слагаемых группируются в неотрицательное выражение, третье неотрицательно само по себе. Главная рабочая форма - при $t = 1$ это $p^3 + 9r \ge 4pq$, поставляющая недостающее слагаемое с $abc$ в симметрических оценках. Равенство - при $a = b = c$ или когда два числа равны, а третье ноль.