D6 Алгебраические тождества в ТЧ

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

Интуиция: алгебра — это «синтаксис», а теория чисел — «семантика». Когда мы пишем $a^2 - b^2 = (a-b)(a+b)$, мы просто переформатируем информацию, но теперь делители числа $a^2 - b^2$ видны явно: это $a-b$ и $a+b$ (и их общие делители). Это как разложить слово на буквы, чтобы понять его структуру.

Метод особенно мощен в задачах о делимости, поскольку произведение целых чисел позволяет делать выводы о каждом множителе (например, если произведение простое, то один множитель равен $\pm 1$). В теории чисел самые полезные тождества: разность квадратов, сумма/разность кубов, тождество Софи Жермен и формула $a^n - b^n$.

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

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

• Тождество Софи Жермен: $a^4 + 4b^4 = (a^2 + 2b^2 + 2ab)(a^2 + 2b^2 - 2ab)$. Условие: любые $a, b$. Когда использовать: когда в задаче встречается выражение вида $n^4 + 4m^4$ — немедленно разложи. Даёт нетривиальное разложение составного числа.

• Общая формула $a^n - b^n$: $a^n - b^n = (a - b)(a^{n-1} + a^{n-2}b + \ldots + b^{n-1})$. Условие: $n \geq 1$. Когда использовать: при доказательстве делимости $a^n - b^n$ на $a - b$.

• Формула $a^n + b^n$ для нечётного $n$: $a^n + b^n = (a + b)(a^{n-1} - a^{n-2}b + \ldots + b^{n-1})$. Условие: $n$ нечётное. Когда использовать: при работе с суммами нечётных степеней.

• Распознать структуру и подобрать тождество. Увидел $n^4 + 4$ — это тождество Софи Жермен с $a = n$, $b = 1$. Увидел разность квадратов — применяй $(a-b)(a+b)$.

• Замена переменных для подгонки под тождество. Если видишь $x^2 - 2xy + y^2 - 1$, замечаешь $(x-y)^2 - 1 = (x-y-1)(x-y+1)$.

• Анализ множителей в произведении. Если $P = A \cdot B$ и $P$ — простое, то $|A| = 1$ или $|B| = 1$. Если $P = k$ (фиксированное число), перебери все делители $k$.

• Граничный анализ. После разложения оцени множители: если один из них строго больше другого для всех достаточно больших $x$, их произведение не может быть простым или постоянным.

• Тождество суммы квадратов Брахмагупты: $(a^2+b^2)(c^2+d^2) = (ac-bd)^2+(ad+bc)^2$. Используется для доказательства того, что произведение сумм квадратов — тоже сумма квадратов.

• Завершение квадрата / куба. Если видишь $x^2 + bx + c$ — дополни до $(x + b/2)^2$; помогает разложить или оценить выражение.

Поверхностные признаки (что буквально написано):
- «Докажите, что $n^4 + 4$ составное при $n > 1$»
- «Разложите выражение на множители» или «Докажите делимость на $k$»
- «Найдите все простые числа вида $p = n^2 - 1$, $p = n^3 + 1$»

Структурные признаки (форма выражения, объекты):
- Выражение содержит степени $\geq 2$, которые «хочется» разложить
- Разность или сумма степеней одного порядка ($a^4 - b^4$, $a^3 + b^3$)
- Выражение вида $a^4 + 4b^4$ (немедленный триггер тождества Софи Жермен)
- Задача про «наименьшее простое делителя» или «докажите составность»

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

Задача 1. Докажите, что при любом натуральном $n > 1$ число $n^4 + 4$ составное.

Источник: классическая задача (тождество Софи Жермен), ВсОШ и аналоги

Как думать (рассуждение ученика$):
1. $Что вижу?* Надо доказать составность $n^4 + 4$. Составность = нетривиальное разложение на множители. Ищу тождество!$2. *$Вижу $n^4 + 4 = n^4 + 4 \cdot 1^4$. Это похоже на тождество Софи Жермен $a^4 + 4b^4 = (a^2+2b^2+2ab)(a^2+2b^2-2ab)$ с $a = n$, $b = 1$.$3. *$Проверяю:* $(n^2 + 2 + 2n)(n^2 + 2 - 2n) = ((n+1)^2+1)((n-1)^2+1)$. Оба множителя $> 1$ при $n > 1$.

Решение:

Применим тождество Софи Жермен:$$n^4 + 4 = n^4 + 4 \cdot 1 = (n^2 + 2)^2 - (2n)^2 = (n^2 + 2 + 2n)(n^2 + 2 - 2n).$$

Оба множителя:$$n^2 + 2n + 2 = (n+1)^2 + 1 \geq 4 + 1 = 5 > 1 \text{ при } n \geq 2,$$ $$n^2 - 2n + 2 = (n-1)^2 + 1 \geq 1 > 1 \text{ при } n \geq 2.$$

Поскольку оба множителя строго больше $1$, число $n^4 + 4$ составное.

Ответ: при любом натуральном $n > 1$ число $n^4 + 4$ составное.

Что в этой задаче было главным: распознавание тождества Софи Жермен — ключевой навык. Само разложение $(a^2+2b^2)^2 - (2ab)^2$ нетрудно вывести заново, зная формулу разности квадратов.

Задача 2. Найдите все натуральные $n$, при которых $n^3 - 1$ является простым числом.

Источник: тренировочная (стандартный тип)

Как думать (рассуждение ученика$):
1. $Что вижу?* $n^3 - 1$ должно быть простым. Вижу разность кубов — немедленно разлагаю.$2. *$Разлагаю: $n^3 - 1 = (n-1)(n^2+n+1)$. Произведение двух множителей простое → один из них равен $1$.
3. $n - 1 = 1 \Rightarrow n = 2$. Проверяю: $2^3 - 1 = 7$ — простое. При $n = 1$: $0$ — не простое. При $n > 2$: оба множителя $> 1$.

Решение:

$n^3 - 1 = (n-1)(n^2 + n + 1).$

Если $n^3 - 1$ простое, то одно из двух: $n - 1 = 1$ или $n^2 + n + 1 = 1$.

• $n - 1 = 1 \Rightarrow n = 2$: $n^3 - 1 = 7$ — простое.
• $n^2 + n + 1 = 1 \Rightarrow n = 0$ — не натуральное.
• При $n \geq 3$: $n - 1 \geq 2$ и $n^2 + n + 1 \geq 13$ — оба множителя $> 1$, произведение составное.
• При $n = 1$: $n^3 - 1 = 0$ — не простое.

Ответ: только $n = 2$.

Что в этой задаче было главным: разложение на множители + анализ «произведение простое $\Rightarrow$ один множитель равен 1» — стандартный приём.

• Ошибка: применять разность квадратов к сумме ($a^2 + b^2$ не раскладывается над целыми числами). → Почему неверно: сумма квадратов в $\mathbb{Z}$ неразложима. → Как избежать: запомни: $a^2 - b^2 = (a-b)(a+b)$, но $a^2 + b^2$ — не раскладывается; для суммы четвёртых степеней используй тождество Софи Жермен.

• Ошибка: считать, что $a^n + b^n$ делится на $a + b$ для любого $n$. → Почему неверно: это верно только при нечётном $n$. При чётном $n$ сумма $a^n + b^n$ не делится на $a + b$ (например, $4 + 9 = 13$ не делится на $5 = 2+3$). → Как избежать: помни условие: формула $a^n + b^n = (a+b)(\ldots)$ работает только при нечётном $n$.

• Ошибка: не проверять, что оба множителя больше $1$ (вывод о составности). → Почему неверно: если один множитель равен $1$ или $-1$, разложение тривиально. → Как избежать: всегда явно убеждайся $|A| > 1$ и $|B| > 1$.

• Ошибка: неверная запись формулы суммы кубов: путают $a^3 + b^3 = (a+b)(a^2 - ab + b^2)$ со $(a+b)(a^2 + ab + b^2)$. → Почему неверно: второй вариант неверен. → Как избежать: запомни знаки: в скобке $a^2 \mathbf{-} ab + b^2$ стоит знак минус перед $ab$.