Олимпиадные задачи из источника «параграф 4. Симметрические неравенства»

Докажите неравенства из задачи <a href="https://mirolimp.ru/tasks/161387">161387</a> при помощи <i>неравенства Мюрхеда</i> (задача <a href="https://mirolimp.ru/tasks/161424">161424</a>). Как будут выглядеть диаграммы Юнга для соответствующих функций?

Докажите следующие неравенства непосредственно и при помощи неравенства Мюрхеда (задача <a href="https://mirolimp.ru/tasks/161424">161424</a>):

  а)  <i>x</i>⁴<i>y</i>²<i>z + y</i>⁴<i>x</i>²<i>z + y</i>⁴<i>z</i>²<i>x + z</i>⁴<i>y</i>²<i>x + x</i>⁴<i>z</i>²<i>y + z</i>⁴<i>x</i>²<i>y</i> ≥ 2(<i>x</i>³<i>y</i>²<i>z</i>² + <i>x</i>²<i>y</i>³<i>z</i>² + <i>x</i>²<i>y</i>²<i>z</i...

Выведите из <i>неравенства Мюрхеда</i> (задача <a href="https://mirolimp.ru/tasks/161424">161424</a>) неравенство <i>между средним арифметическим и средним геометрическим</i>.

Пусть  α = (α₁, ..., α_<i>n</i>)  и  β = (β₁, ..., β_<i>n</i>)  – два набора показателей с равной суммой.

Докажите, что, если  α ≠ β,  то при всех неотрицательных  <i>x</i>₁, ..., <i>x_n</i>  выполняется неравенство  <i>T</i>_α(<i>x</i>₁, ..., <i>x_n</i>) ≥ <i>T</i>_β(<i>x</i>₁, ..., <i>x_n</i>).

Определение многочленов <i>T</i>_α смотри в задаче <a href="https://...

Пусть  <i>T</i>_α(<i>x, y, z</i>) ≥ <i>T</i>_β(<i>x, y, z</i>)  для всех неотрицательных <i>x, y, z</i>. Докажите, что   <img align="absmiddle" src="/storage/problem-media/61423/problem_61423_img_2.gif"> Определение многочленов <i>T</i>_α смотри в задаче <a href="https://mirolimp.ru/tasks/161417">161417</a>, про показатели смотри в <a href="https://problems.ru/thes.php?letter=4#diagramma_junga">справочнике</a>.

а) Диаграммы Юнга  (4, 1, 1)  и  (3, 3, 0)  не сравнимы, – ни одна из них не мажорирует другую. Есть ли еще такие несравнимые наборы с суммой 6? б) Найдите все несравнимые пары наборов для  <i>s</i> = 7. Про диаграммы Юнга смотри <a href="https://problems.ru/thes.php?letter=4#diagramma_junga">здесь</a>.

Нарисуйте все лестницы из четырёх кирпичей в порядке убывания, начиная с самой крутой  (4, 0, 0, 0)  и заканчивая самой пологой  (1, 1, 1, 1).

Докажите, что   <img align="absmiddle" src="/storage/problem-media/61420/problem_61420_img_2.gif">   тогда и только тогда, когда β можно получить из α проделав несколько (может быть один раз или ни одного) операции вида <div align="CENTER">(<i>k,  j, i</i>)   ↔   (<i>k</i> – 1,  <i>j</i> + 1, <i>i</i>),     (<i>k,  j, i</i>)   ↔   (<i>k</i> – 1, <i>j, i</i> + 1),     (<i>k, j, i</i>)   ↔ (<i>k,  j</i> – 1, <i>i</i> + 1). </div>(Эти операции можно представлять себе как сбрасывание одного кирпича вниз на диаграмме Юнга. Про диаграммы Юнга смотри <a href="https://problems.ru/thes.php?letter=4#diagramma_junga">зд...

Найдите число всех диаграмм Юнга с весом <i>s</i>, если

а)  <i>s</i> = 4;   б)  <i>s</i> = 5;   в)  <i>s</i> = 6;   г)  <i>s</i> = 7.

Определение диаграмм Юнга смотри в <a href="https://problems.ru/thes.php?letter=4#diagramma_junga">справочнике</a>.

Напишите многочлены <i>T</i>_α и нарисуйте соответствующие им диаграммы Юнга для следующих наборов α

  а)  (3, 2);    б)  (3, 2, 1);    в)  (3, 3, 0, 0);    г)  (4, 1, 1, 0).

Определение многочленов <i>T</i>_α смотри в задаче <a href="https://mirolimp.ru/tasks/161417">161417</a>, определение диаграмм Юнга в <a href="https://problems.ru/thes.php?letter=4#diagramma_junga">справочнике</a>.

  <b>Определение</b>. Пусть  α = (<i>k, j, i</i>)  – набор целых неотрицательных чисел,  <i>k ≥ j ≥ i</i>.  Через <i>T</i>_α(<i>x, y, z</i>) будем обозначать симметрический многочлен от трёх переменных, который есть по определению сумма одночленов вида <i>x^ay^bz^c</i> по всем шести перестановкам  (<i>a, b, c</i>)  набора  (<i>k, j, i</i>).

  Аналогично определяются многочлены <i>T</i>_α для произвольного количества переменных/чисел в наборе α.

  Запишите через многочлены вида <i>T</i>_α неравенства

  а)  <i>x</i><sup...

Докажите неравенства:

  а)  <i>x</i>⁴ + <i>y</i>⁴ + <i>z</i>⁴ ≥ <i>x</i>²<i>yz</i> + <i>xy</i>²<i>z</i> + <i>xyz</i>²;

  б)  <i>x</i>³ + <i>y</i>³ + <i>z</i>³ ≥ 3<i>xyz</i>;

  в)  <i>x</i>⁴ + <i>y</i>⁴ + <i>z</i>⁴ + <i>t</i>⁴ ≥ 4<i>xyzt</i>;

  г)   <i>x</i>⁵ + <i>y</i>⁵ ≥ <i>x</i>³<i>y</i>² + <i>x</i>²<i>y<...