E14a Алгебраические группировки в оценке

Идея метода: когда нужно получить оценку (верхнюю или нижнюю границу) для некоторого выражения, алгебраические группировки позволяют переписать его в форму, где оценка становится очевидной. Типичные приёмы: выделение полного квадрата, разложение по схеме $(a-b)^2 \geq 0$, перегруппировка слагаемых для применения известных неравенств (AM-GM, Коши–Буняковский).

По сути, это «алгебрический» путь к оценке в задачах типа E14. Вместо комбинаторных аргументов (разбить на блоки) мы используем тождественные преобразования: перераспределяем слагаемые так, чтобы каждая группа оценивалась простым неравенством.

Метод особенно полезен для непрерывных задач (доказать, что выражение $\geq 0$, или что $f(x,y,z) \leq c$ при $x+y+z = 1$) и для алгебрических неравенств с несколькими переменными. Ключевой навык — умение «угадать» правильную группировку, которая сделает оценку «видимой».

Сравни с E14b: там мы строим пример, здесь мы доказываем, что пример — действительно оптимален.

• Неравенство AM–GM. $\frac{a_1 + \ldots + a_n}{n} \geq \sqrt[n]{a_1 \cdots a_n}$ при $a_i \geq 0$. Равенство $\Leftrightarrow$ все $a_i$ равны. Применять: группируй слагаемые в пары/тройки для оценки их произведения.

• Неравенство Коши–Буняковского. $(\sum a_i b_i)^2 \leq (\sum a_i^2)(\sum b_i^2)$. Применять: когда выражение — скалярное произведение, нужна его оценка.

• Тождество $a^2 + b^2 \geq 2ab$ (т.е. $(a-b)^2 \geq 0$$). *$Применять:* самое базовое: любую пару слагаемых $a^2 + b^2$ оцени через $2ab$.

• Метод замены переменных для симметрии. Обозначь $s = a+b$, $p = ab$, тогда $a^2+b^2 = s^2 - 2p$, что позволяет записать ограничения в терминах $s, p$. Применять: симметричные выражения двух переменных.

• SOS (сумма квадратов). Представь доказываемое неравенство в виде суммы квадратов — тогда оно очевидно неотрицательно. Применять: многочлены от нескольких переменных.

• Выдели полный квадрат: перепиши $a^2 + bx + c = (x + b/2)^2 + c - b^2/4$, сразу видна оценка снизу.
• Сгруппируй слагаемые попарно и применяй AM-GM к каждой паре: $\frac{x_i + x_j}{2} \geq \sqrt{x_i x_j}$.
• Обозначь симметрические функции: $s = \sum a_i$, $e_2 = \sum_{i
• Добавь и вычти одно и то же: $f(x) = f(x) + g(x) - g(x)$, где $g$ подобрано так, чтобы $f+g$ была очевидно $\geq 0$.
• Используй однородность: если неравенство однородно степени $d$, нормируй $a + b + c = 1$ или $abc = 1$ и работай с ограничением.
• Проверяй случай равенства: найди, при каких значениях переменных равенство в неравенстве достигается — это и есть оптимальный пример для E14.

Поверхностные признаки (что буквально написано):
- «докажите неравенство», «докажите, что выражение $\geq 0$ (или $\leq c$)»
- «найдите минимум/максимум выражения», «при каком значении переменных выражение наименьшее»
- «все $a, b, c > 0$, $a + b + c = 1$, докажите что...»

Структурные признаки (форма выражения, объекты):
- Алгебраическое выражение от нескольких переменных с ограничением
- Симметричное или циклически симметричное выражение
- Квадраты, произведения, дроби с переменными

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

Задача 1. Неравенство трёх переменных

Условие: Докажите, что для любых вещественных $a, b, c$ выполняется $a^2 + b^2 + c^2 \geq ab + bc + ca$.

Источник: классика олимпиадной математики

Как думать (рассуждение ученика$):
1. $Триггер: «докажите неравенство», симметричное выражение трёх переменных.$2. *$Метод: алгебраическая группировка. Нужно показать, что левая часть минус правая $\geq 0$.$3. *$Идея: $a^2+b^2+c^2 - ab - bc - ca = ?$. Попробую выразить через суммы квадратов $(SOS).
4. *$Группировка:* умножу на 2: $2(a^2+b^2+c^2 - ab - bc - ca) = (a^2-2ab+b^2) + (b^2-2bc+c^2) + (c^2-2ca+a^2) = (a-b)^2 + (b-c)^2 + (c-a)^2 \geq 0$.

Решение:$$2(a^2+b^2+c^2 - ab - bc - ca) = (a-b)^2 + (b-c)^2 + (c-a)^2 \geq 0.$$ Делим на 2: $a^2+b^2+c^2 \geq ab+bc+ca$.

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

Ответ: Неравенство доказано. Равенство при $a = b = c$.

Что главное: «Умножи на 2 и перегруппируй» — стандартный приём для симметричных неравенств. Признак успеха: каждая группа — полный квадрат.

Задача 2. Нахождение минимума

Условие: Найдите наименьшее значение выражения $E = \frac{x^2 + y^2}{xy}$ при $x, y > 0$.

Источник: тренировочная (основа для задач ВсОШ/Высшая проба)

Как думать (рассуждение ученика$):
1. $Триггер:* «наименьшее значение», $x, y > 0$ → нужен оптимум + проверка.$2. *$Метод:$* E14 ($наименьшее = оценка снизу + пример), реализуем через E14a (алгебраическая группировка$).
3. $Преобразование:* $E = \frac{x}{y} + \frac{y}{x}$. Обозначу $t = x/y > 0$, тогда $E = t + 1/t$.$4. *$Оценка: $t + 1/t \geq 2\sqrt{t \cdot 1/t} = 2$ по AM–GM. Равенство при $t = 1$, т.е. $x = y$.$5. *$Пример: $x = y = 1$: $E = 1 + 1 = 2$.

Решение:$$E = \frac{x^2+y^2}{xy} = \frac{x}{y} + \frac{y}{x} \geq 2\sqrt{\frac{x}{y} \cdot \frac{y}{x}} = 2.$$ Равенство при $x = y$. Пример: $x = y = 1$, $E = 2$.

Ответ: Наименьшее значение $E = 2$ при $x = y$.

Что главное: Разбить дробь на сумму, применить AM–GM, проверить условие равенства — и сразу получить и оценку, и пример.

• Ошибка: применить AM–GM к отрицательным числам. AM–GM требует неотрицательности всех чисел. → Как избежать: проверяй знаки перед применением; если числа могут быть отрицательными, используй $(a-b)^2 \geq 0$ вместо AM–GM.
• Ошибка: неверно сгруппировать слагаемые. Неудачная группировка даёт неравенство не в ту сторону. → Как избежать: начинай с «я хочу получить сумму квадратов», а не с произвольной группировки; проверь SOS-представление.
• Ошибка: забыть проверить условие равенства. Нашли оценку, но не проверили, достигается ли она. → Как избежать: после получения оценки всегда пиши «равенство при...» и явно проверяй.
• Ошибка: нарушить однородность при нормировке. Если выражение неоднородно, нормировка $a+b+c=1$ меняет задачу. → Как избежать: проверь, однородно ли выражение степени $d$, прежде чем нормировать.
• Ошибка: использовать Коши–Буняковский в неприменимой форме. КБШ для сумм требует чёткого разделения на «$a$» и «$b$». → Как избежать: явно запиши, что такое $a_i$ и $b_i$ в КБШ.