C1 ФСУ и алгебраические тождества

Метод состоит в том, что алгебраическое выражение преобразуется с помощью заранее известных тождеств (формул сокращённого умножения и их обобщений), что позволяет упростить вычисление, факторизовать выражение или подготовить его к применению других методов.

Формулы сокращённого умножения (ФСУ) — это не просто «таблица для запоминания», а набор структурных преобразований. Ключевая идея: большинство «страшных» алгебраических выражений на олимпиадах скрывают внутри себя одно из таких тождеств. Задача ученика — научиться «видеть» это тождество сквозь маскировку.

Аналогия: ФСУ — это как знать типовые паттерны в программировании. Когда видишь $a^3 - b^3$, мозг должен автоматически «раскрывать» это в $(a-b)(a^2+ab+b^2)$, не думая. Именно автоматизм делает метод мощным.

На ВсОШ этот метод встречается в контексте: доказательство тождества, нахождение значения выражения через сумму/произведение, факторизация для решения уравнений, оценки через $a^2+b^2 \geq 2ab$.

• Квадрат суммы/разности: $(a \pm b)^2 = a^2 \pm 2ab + b^2$. Условие: любые $a, b$. Когда использовать: видишь $a^2 + b^2$ — добавь/вычти $2ab$; видишь $(a+b)^2$ — раскрой.

• Разность квадратов: $a^2 - b^2 = (a-b)(a+b)$. Условие: любые $a, b$. Когда использовать: выражение вида $x^2 - c$ или $f(x)^2 - g(x)^2$.

• Куб суммы/разности: $(a \pm b)^3 = a^3 \pm 3a^2b + 3ab^2 \pm b^3$. Когда использовать: видишь $a^3 \pm b^3$ или куб суммы.

• Сумма/разность кубов: $a^3 \pm b^3 = (a \pm b)(a^2 \mp ab + b^2)$. Условие: любые $a, b$. Когда использовать: выражение содержит разность или сумму кубов.

• *Формула $a^2 + b^2 + c^2 - ab - bc - ca = \frac{1}{2}[(a-b)^2 + (b-c)^2 + (c-a)^2]$:$** *$Когда использовать: нужно доказать неотрицательность симметричного выражения в трёх переменных.

• Тождество Софи Жермен: $a^4 + 4b^4 = (a^2 + 2b^2 + 2ab)(a^2 + 2b^2 - 2ab)$. Когда использовать: нужно разложить выражение вида $a^4 + 4b^4$ на множители.

• Добавить и вычесть одно и то же. Если видишь $a^2 + b^2$, добавь $\pm 2ab$ чтобы получить полный квадрат: $a^2 + b^2 = (a+b)^2 - 2ab$.
• Распознать «скрытый» паттерн. Выражение $x^2 - 6x + 9$ — это $(x-3)^2$. Выражение $8x^3 + 27$ — это $(2x)^3 + 3^3$. Научись видеть за числами кубы и квадраты.
• Выделение полного квадрата. $ax^2 + bx + c = a(x + \frac{b}{2a})^2 + c - \frac{b^2}{4a}$ — используй для нахождения минимума или знакопостоянства.
• Симметризация. Сложить два тождества или применить тождество к симметричному выражению.
• Факторизация через нахождение корня. Если знаешь корень $a$ многочлена, выдели $(x - a)$ как множитель.
• Замена переменных для упрощения формулы. Обозначь $u = a + b$, $v = a - b$ — тогда $a^2 - b^2 = uv$.

Поверхностные признаки (что буквально написано):
- В выражении есть $a^2 - b^2$, $a^3 \pm b^3$, $(a+b)^2$, $(a-b)^2$.
- Просят «доказать тождество», «найти значение», «упростить выражение».
- В условии задано $a + b = s$ и $ab = p$ (классика для ФСУ).

Структурные признаки (форма выражения, объекты):
- Многочлен степени 2–3 с «красивыми» коэффициентами (подозрение на куб суммы, ФСУ).
- Выражение симметрично относительно перестановки переменных.
- Числа в условии — точные квадраты или кубы (25, 64, 125, ...).

Цель задачи (что от тебя хотят):
- Разложить выражение на множители.
- Доказать, что выражение неотрицательно (или положительно).
- Вычислить значение выражения, зная $a+b$ и $ab$.

Задача 1. Вычисление значения через сумму и произведение

Условие: Числа $a$ и $b$ удовлетворяют условиям $a + b = 3$ и $ab = 1$. Найдите $a^3 + b^3$.

Источник: тренировочная (типовая задача ВсОШ-подготовки)

Как думать (рассуждение ученика):
1. Вижу: $a+b$ и $ab$ — стандартные «Виета-данные». Ищу выражение для $a^3+b^3$.
2. Триггер: сумма кубов. Помню формулу: $a^3 + b^3 = (a+b)(a^2 - ab + b^2)$.
3. Нужно найти $a^2 + b^2 = (a+b)^2 - 2ab = 9 - 2 = 7$.
4. Тогда $a^2 - ab + b^2 = 7 - 1 = 6$. И $a^3 + b^3 = 3 \cdot 6 = 18$.

Решение:$$a^2 + b^2 = (a+b)^2 - 2ab = 3^2 - 2 \cdot 1 = 7.$$ $$a^3 + b^3 = (a+b)(a^2 - ab + b^2) = 3 \cdot (7 - 1) = 18.$$

Ответ: $18$.

Что в этой задаче было главным для понимания метода: цепочка $a+b, ab \to a^2+b^2 \to a^3+b^3$ — стандартный алгоритм, который нужно знать автоматически.

Задача 2. Факторизация для доказательства делимости

Условие: Докажите, что $n^5 - n$ делится на 30 для любого целого $n$.

Источник: олимпиадная задача (уровень ВсОШ муниципальный, 9 класс)

Как думать (рассуждение ученика):
1. Вижу: $n^5 - n$, нужна делимость на $30 = 2 \cdot 3 \cdot 5$. Первый шаг — разложить на множители.
2. Триггер: $n^5 - n = n(n^4 - 1)$. Далее $n^4 - 1 = (n^2-1)(n^2+1)$, а $n^2 - 1 = (n-1)(n+1)$.
3. Получаем: $n^5 - n = n(n-1)(n+1)(n^2+1)$.
4. $n(n-1)(n+1)$ — произведение трёх последовательных целых, делится на $6 = 2 \cdot 3$. Осталось $n^2 + 1$: нужна делимость на 5. Разбор по остаткам mod 5.

Решение:$$n^5 - n = n(n^4-1) = n(n^2-1)(n^2+1) = n(n-1)(n+1)(n^2+1).$$ Делимость на 2 и 3: $n(n-1)(n+1)$ — три последовательных целых числа, поэтому делится на $2$ и на $3$.
Делимость на 5: Рассмотрим $n \pmod 5$:
- $n \equiv 0$: $n$ делится на 5.
- $n \equiv \pm 1$: $n-1$ или $n+1$ делится на 5.
- $n \equiv \pm 2$: $n^2 \equiv 4$, $n^2+1 \equiv 0 \pmod 5$.

Во всех случаях произведение делится на 5. Значит, $n^5 - n$ делится на $30$.

Ответ: Доказано.

Что в этой задаче было главным: факторизация $n^5 - n$ через последовательное применение ФСУ — это и есть метод; разбор по остаткам — следующий шаг после разложения.

• Ошибка: перепутать $a^3 + b^3$ и $(a+b)^3$. $(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3 \neq a^3 + b^3$. → Перед применением формулы явно запиши, какое именно тождество используешь.
• Ошибка: «добавить и не вычесть». При выделении полного квадрата добавляют $+2ab$, но забывают вычесть $-2ab$. → Всегда проверяй: добавил ноль в форме $+C - C$.
• Ошибка: применить $a^2 - b^2 = (a-b)(a+b)$ к сумме $a^2 + b^2$. Сумма квадратов не разлагается над $\mathbb{R}$. → Применяй разность квадратов только к выражениям вида $A^2 - B^2$.
• Ошибка: при факторизации потерять общий множитель. $n^5 - n$ начинают разбирать сразу как $n^4 - 1$, забывая вынести $n$. → Сначала выноси все общие множители.
• Ошибка: неверное выделение «скрытого» куба. $8 = 2^3$, $27 = 3^3$, $125 = 5^3$ — надо знать наизусть. → При виде «некрасивых» коэффициентов проверь, не является ли число точным кубом или квадратом.