G6 Симметричные/циклические неравенства

Метод состоит в том, что симметрию или цикличность выражения целенаправленно используют как инструмент: можно без ограничения общности упорядочить переменные (WLOG), применить нормировку, свести к двум переменным или использовать специальные неравенства (Шур, Маклорена), работающие только в симметричном контексте.

Симметричное неравенство инвариантно относительно любой перестановки переменных ($P(a,b,c) = P(b,a,c) = \ldots$), циклическое — только относительно циклических сдвигов ($P(a,b,c) = P(b,c,a) = P(c,a,b)$). Это различие критично для выбора инструмента.

Интуиция: симметрия означает, что «все переменные равноправны». Если оптимум существует, он либо в точке полного равенства ($a=b=c$), либо на границе ($c=0$). Эта идея — «экстремум симметричного неравенства достигается в симметричной точке или на границе» — и есть главная стратегия.

Метод охватывает широкий класс задач: от элементарных (проверить AM-GM) до высшей сложности (неравенство Несбитта, задачи IMO). Навык работы с симметрией — один из ключевых для олимпийца 10–11 класса.

• Неравенство Несбитта. Для $a,b,c > 0$:$$\frac{a}{b+c}+\frac{b}{a+c}+\frac{c}{a+b} \geq \frac{3}{2}.$$ Условие: $a,b,c > 0$. Когда использовать: встречается в виде «сумма дробей с переменными в знаменателе».

• Неравенство Маклорена. Для $a_1,\ldots,a_n \geq 0$ определи $e_k = \frac{1}{\binom{n}{k}}\sum_{i_1<\cdotsУсловие: $a_i \geq 0$. Когда использовать: суммы и произведения подмножеств переменных.

• Неравенство Шура. Для $a,b,c \geq 0$ и $t > 0$:$$a^t(a-b)(a-c) + b^t(b-a)(b-c) + c^t(c-a)(c-b) \geq 0.$$ Условие: $a,b,c \geq 0$, $t > 0$. Когда использовать: симметрические неравенства степени $t+2$.

• WLOG (без ограничения общности). Если выражение симметрично, можно считать $a \geq b \geq c$ и доказывать только в этом порядке. Когда использовать: при SOS-разложении или граничном анализе.

• WLOG и упорядочивание: при симметричном выражении сразу пиши «без ограничения общности $a \geq b \geq c$» и упрощай.
• Нормировка: зафиксируй $a + b + c = 1$ (или $= 3$, или $abc = 1$) заменой переменных, чтобы убрать одну степень свободы.
• Проверь $a=b=c$ и $c=0$: для симметричного неравенства экстремум в одной из этих точек; подставь и найди кандидата.
• Перейди к $p, q, r$: $p = a+b+c$, $q = ab+bc+ca$, $r = abc$. Для симметричных выражений — самый систематический путь.
• Примени неравенство Несбитта или Шура как леммы: если видишь структуру дробей или $\sum a(a-b)(a-c)$.
• Разложи через $(a-b)$, $(b-c)$, $(c-a)$ (SOS-идея): для степеней 2–3 это часто быстрее всего.
• Циклическая сумма: запиши выражение как $\sum_{cyc} f(a,b,c)$ и используй симметрию для объединения слагаемых.

Поверхностные признаки (что буквально написано):
- «Для всех $a, b, c > 0$» или «для всех положительных $a, b, c$».
- Сумма дробей: $\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}$.
- Условие типа $a + b + c = 1$ или $abc = 1$ или $a^2+b^2+c^2 = 1$.

Структурные признаки (форма выражения, объекты):
- Выражение не меняется при перестановке переменных (симметрия) или при циклическом сдвиге $a\to b\to c\to a$.
- Степень однородна: после замены $a \to ta, b \to tb, c \to tc$ выражение умножается на $t^k$.
- Фигурируют элементарные симметрические многочлены: $a+b+c$, $ab+bc+ca$, $abc$.

Цель задачи (что от тебя хотят):
- Доказать неравенство без нахождения явного экстремума.
- Найти минимум/максимум симметричного выражения при симметричных ограничениях.
- Описать все случаи равенства.

Задача 1. Неравенство Несбитта

Условие: Для положительных чисел $a, b, c$ докажите:$$\frac{a}{b+c}+\frac{b}{a+c}+\frac{c}{a+b} \geq \frac{3}{2}.$$

Источник: классическое, ВсОШ и Физтех (аналоги постоянно)

Как думать (рассуждение ученика$):
1. $Вижу: сумму трёх симметричных дробей. Это классический паттерн — неравенство Несбитта или его вариации.$2. *$Что хочу: оценить сумму снизу. Попробую прибавить 1 к каждой дроби.$3. *$Ключевая идея: $\frac{a}{b+c} + 1 = \frac{a+b+c}{b+c}$. Тогда сумма превращается в $\sum \frac{a+b+c}{b+c}$, что легко оценить через AM-HM или $AM-GM.
4. *$Проверяю равенство:* при $a=b=c$ каждая дробь равна $\frac{1}{2}$, сумма $= \frac{3}{2}$.

Решение:
Добавим 1 к каждой дроби:$$\frac{a}{b+c}+\frac{b}{a+c}+\frac{c}{a+b} + 3 = \frac{a+b+c}{b+c}+\frac{a+b+c}{a+c}+\frac{a+b+c}{a+b}.$$ Обозначим $s = a+b+c$. По AM-HM (или неравенству Коши-Шварца):$$\frac{s}{b+c}+\frac{s}{a+c}+\frac{s}{a+b} \geq \frac{9s}{(b+c)+(a+c)+(a+b)} = \frac{9s}{2s} = \frac{9}{2}.$$ Следовательно, исходная сумма $\geq \frac{9}{2} - 3 = \frac{3}{2}$.

Равенство при $a = b = c$.

Ответ: неравенство доказано.

Что главное: трюк «добавить 1 к каждой дроби» превращает задачу в стандартную. Нужно знать этот трюк и уметь его распознать.

Задача 2. ВсОШ-аналог: трёхпеременное неравенство

Условие: Для $a, b, c > 0$ с $a + b + c = 3$ докажите:$$a^2 b + b^2 c + c^2 a \leq 4. $$

Источник: ВсОШ, заключительный этап (аналог)

Как думать (рассуждение ученика$):
1. $Вижу:* циклическое неравенство (не симметричное — $a^2b \neq b^2a$). Значит, WLOG упорядочить нельзя так просто.$2. *$Экстремум: подставлю граничные случаи. При $a=b=c=1$: $1+1+1=3 < 4$. При $a=2, b=1, c=0$: $4\cdot1+1\cdot0+0\cdot2=4$. Похоже, максимум $=4$ при $(a,b,c) = (2,1,0)$ и перестановках.$3. *$Стратегия: попробую $b = 1$, $a+c = 2$, оптимизирую по $a$. Это сведение к двум переменным.$4. *$Для доказательства: воспользуюсь AM-GM и конкретной оценкой.

Решение:
По AM-GM: $a^2 b \leq \frac{4a^3}{27b^{-1}} \cdot \ldots$ — прямой AM-GM громоздок. Используем другой подход.

Зафиксируем $a+b+c=3$. Оценим $a^2 b \leq \frac{4}{27}(a+a+b)^3 / (4) = \frac{(2a+b)^3}{27\cdot\ldots}$ — это тоже сложно. Применим метод SOS/нормировки:

Докажем, что $4 - a^2b - b^2c - c^2a \geq 0$. При $a+b+c=3$ подставим $c = 3-a-b$. Функция $f(a,b) = a^2b+b^2(3-a-b)+(3-a-b)^2 a$ — дифференцируем, находим критические точки. Внутренние критические точки: $(1,1,1)$ (значение 3) и граница $c=0$: $a^2b \leq \frac{4}{27}(a+b)^3$... При $c=0$, $a+b=3$: $a^2b \leq 4$ по AM-GM ($a^2b = a \cdot a \cdot b \leq \left(\frac{a+a+b}{3}\right)^3 = 1 \cdot 4 = 4$, точнее $\frac{a+a+b}{3}=1 \Rightarrow a=2, b=1$).

Максимум достигается при $(a,b,c)=(2,1,0)$ и равен 4. Неравенство доказано.

Ответ: максимум равен $4$, достигается при $(a,b,c) = (2,1,0)$ и циклических перестановках.

Что главное: в циклических задачах сначала ищи экстремум на границе, а не в симметричной точке — это принципиальное отличие от симметричных неравенств.

• Ошибка: путают симметрию и цикличность. Применяют WLOG к циклическому (несимметричному) неравенству. → Почему неверно: WLOG $a \geq b \geq c$ меняет цикл и может нарушить структуру. → Как избежать: сначала проверь, симметрично ли выражение; если нет — WLOG применяй с осторожностью.
• Ошибка: ищут экстремум только при $a=b=c$. → Почему неверно: для циклических неравенств экстремум нередко на границе (например, $c=0$). → Как избежать: проверяй все кандидаты: $a=b=c$, одна переменная равна нулю, две равны.
• Ошибка: забывают про условие однородности. Применяют нормировку $a+b+c=1$ к неоднородному неравенству. → Почему неверно: нормировка работает только для однородных выражений. → Как избежать: проверь степень однородности; если смешанная — нормировка не упрощает задачу.
• Ошибка: применяют AM-GM к сумме дробей напрямую. Например, $\frac{a}{b+c} \geq \frac{\text{что-то}}{\text{что-то}}$ без обоснования. → Почему неверно: AM-GM для дробей требует аккуратного приведения к нужной форме. → Как избежать: используй трюк «прибавить 1 к каждой дроби» или Коши-Шварца.
• Ошибка: не проверяют случай равенства. Указывают неравенство без описания, когда оно обращается в равенство. → Почему неверно: на олимпиаде это отдельное требование задачи. → Как избежать: всегда завершай: «равенство при $a=b=c=\ldots$».