Версия для печати
Убрать все задачи
Определение. Пусть α = (k, j, i) – набор целых неотрицательных чисел, k ≥ j ≥ i. Через Tα(x, y, z) будем обозначать симметрический многочлен от трёх переменных, который есть по определению сумма одночленов вида xaybzc по всем шести перестановкам (a, b, c) набора (k, j, i).
Аналогично определяются многочлены Tα для произвольного количества переменных/чисел в наборе α.
Запишите через многочлены вида Tα неравенства
а) x4y + y4x ≥ x³y² + x²y³;
б) x³yz + y³xz + z³xy ≥ x²y²z + y²z²x + z²x²y.

Решение
Докажите, что
тогда и только тогда, когда β можно получить из α проделав несколько (может быть один раз или ни одного) операции вида
(k, j, i) ↔ (k – 1, j + 1, i), (k, j, i) ↔ (k – 1, j, i + 1), (k, j, i) ↔ (k, j – 1, i + 1).
(Эти операции можно представлять себе как сбрасывание одного кирпича вниз на диаграмме Юнга. Про диаграммы Юнга смотри здесь.)

Решение