Глава

Смешанные задачи I

Модуль тренирует выбор метода без заранее объявленной темы: делимость, НОД, сравнения, факторизация, диофантовы уравнения, периоды, CRT, спуск и конструкции.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

В смешанных задачах метод не указан заранее. Цель модуля — научиться распознавать, что именно мешает прямому решению: большой параметр, скрытый НОД, невозможный остаток, выражение, которое надо разложить, или конструкция, которую нужно построить.

Хорошая олимпиадная работа начинается не с вычислений, а с выбора языка: делимость, сравнения, НОД, факторизация, спуск, порядок или CRT. Один и тот же пример часто можно начать несколькими способами, но только один из них быстро убирает лишнюю сложность.

Основные факты

  • Если нужно доказать делимость на составное число, разбивайте его на взаимно простые множители.
  • Если есть \(\gcd(f(n),g(n))\), применяйте алгоритм Евклида: вычитайте кратные выражения.
  • Если уравнение выглядит невозможным, проверьте квадраты по модулям \(3,4,5,8\).
  • Если есть произведение и сумма, пробуйте довести до формы \((x+a)(y+b)=c\).
  • Если нужно построить число с несколькими остатками, переводите условия в систему сравнений.
  • Если задача о бесконечности решений или невозможности, ищите минимальный контрпример или спуск.

Когда применять метод

  • После прочтения задачи непонятно, к какому модулю или формуле она относится.
  • В условии смешаны степени, делимость, цифры, НОД или уравнения.
  • Обычная проверка случаев быстро становится длинной.
  • Нужно не просто найти ответ, а объяснить, почему других вариантов нет.

Как распознать метод

Сначала спросите: что будет, если заменить переменную остатком? Если выражение резко упрощается — это модульная задача. Если два выражения имеют общий делитель, попробуйте заменить одно на разность. Если есть произведение \(xy\) и линейные члены, ищите факторизацию с добавлением константы.

Если задача просит доказать существование, подумайте о CRT или принципе Дирихле. Если задача просит доказать невозможность для натуральных чисел, проверьте остатки и возможность бесконечного спуска.

Типичные ошибки

  • Сразу перебирают большие значения вместо выбора модуля.
  • Забывают проверить, что найденные делители положительны и дают натуральные решения.
  • Путают доказательство «существует» с нахождением одного маленького примера.
  • Делят сравнение на число, не проверив взаимную простоту.
  • В задачах на спуск не показывают, что новое решение действительно меньше.

Мини-чеклист

  • Есть ли естественный модуль?
  • Можно ли заменить НОД более простым НОД?
  • Можно ли разложить выражение или дополнить до произведения?
  • Нужно ли строить число, а не вычислять его?
  • Если найден кандидат, проверены ли все условия?
  • Если доказывается невозможность, где именно возникает противоречие?

Примеры

Пример 1. Делимость без перебора

Тренируем выбор взаимно простых множителей.

Задача. Докажите, что \(n^3-n\) делится на \(6\) при любом целом \(n\).

Решение.

Имеем \(n^3-n=n(n-1)(n+1)\), произведение трёх последовательных целых чисел. Среди них есть чётное число, значит произведение делится на \(2\). Также среди трёх последовательных чисел есть число, делящееся на \(3\). Так как \(2\) и \(3\) взаимно просты, произведение делится на \(6\).

Комментарий. Метод выбран по составному делителю \(6=2\cdot3\).

Пример 2. НОД через вычитание

Сложный вид НОД часто скрывает маленький делитель.

Задача. Найдите \(\gcd(n^2+1,n+1)\).

Решение.

Вычтем: \(n^2+1-(n-1)(n+1)=2\). Значит общий делитель делит \(2\). Если \(n\) нечётно, то \(n+1\) чётно и \(n^2+1\) чётно, НОД равен \(2\). Если \(n\) чётно, оба числа не могут быть чётными, НОД равен \(1\).

Комментарий. Ответ: \(2\) при нечётном \(n\), \(1\) при чётном \(n\).

Пример 3. Невозможность по модулю

Иногда весь перебор заменяется таблицей квадратов.

Задача. Докажите, что уравнение \(x^2+y^2=8z+7\) не имеет целых решений.

Решение.

Квадрат по модулю \(8\) может давать только \(0,1,4\). Сумма двух таких остатков не может быть равна \(7\) по модулю \(8\): возможны \(0,1,2,4,5\). Но правая часть сравнима с \(7\) по модулю \(8\). Противоречие.

Комментарий. Ключ — выбрать модуль \(8\), а не решать уравнение.

Пример 4. Делитель линейного вида

Скрытый ход — умножить на \(4\), чтобы появился квадрат делителя.

Задача. Найдите все натуральные \(n\), для которых \(2n+1\mid n^2+n+3\).

Решение.

Если \(2n+1\mid n^2+n+3\), то \(2n+1\mid4(n^2+n+3)\). Но \(4(n^2+n+3)=(2n+1)^2+11\). Значит \(2n+1\mid11\). Так как \(n\ge1\), \(2n+1\ge3\), поэтому \(2n+1=11\), откуда \(n=5\). Проверка: \(11\mid33\).

Комментарий. Это типичная олимпиадная замена: сделать выражение кратным делителю.

Пример 5. Дополнение до произведения

Уравнение с \(xy\) и линейными членами часто факторизуется.

Задача. Решите в натуральных числах \(xy+x+y=35\).

Решение.

Добавим \(1\): \((x+1)(y+1)=36\). Теперь перебираем пары делителей \(36\), большие \(1\). Получаем \((x,y)=(1,17),(2,11),(3,8),(5,5),(8,3),(11,2),(17,1)\).

Комментарий. Факторизация превратила бесконечный поиск в конечный список делителей.

Пример 6. Репьюнит и порядок

Длинное число из единиц лучше заменить сравнением для \(10^n\).

Задача. Найдите все \(n\), при которых число \(R_n\) делится на \(13\).

Решение.

Так как \(13\) взаимно просто с \(9\), условие \(13\mid R_n\) эквивалентно \(10^n\equiv1\pmod{13}\). Ранее находим порядок \(10\) по модулю \(13\): он равен \(6\). Поэтому \(13\mid R_n\) тогда и только тогда, когда \(6\mid n\).

Комментарий. Метод выбирается по форме \(111\ldots111\).

Пример 7. Спуск вместо перебора

Если положительное решение порождает меньшее положительное решение, решений нет.

Задача. Докажите, что \(x^2+y^2=3xy\) не имеет натуральных решений.

Решение.

Пусть решение есть, и выберем его с минимальной суммой \(x+y\). Пусть \(x\ge y\). Тогда \(x<3y\), иначе левая часть была бы слишком большой. Уравнение как квадратное относительно \(x\) имеет второй корень \(x'=3y-x\). Он положителен, целый и также даёт решение. Кроме того, из \(x(3y-x)=y^2\) следует \(x>2y\), значит \(0

Комментарий. Это первый вкус виетова спуска без тяжёлой техники.

Пример 8. Конструкция блока

Существование часто доказывается построением, а не поиском маленького примера.

Задача. Докажите, что существуют \(5\) последовательных составных чисел.

Решение.

Возьмём число \(N=6!\). Тогда числа \(N+2,N+3,N+4,N+5,N+6\) делятся соответственно на \(2,3,4,5,6\) и больше этих делителей. Значит каждое из них составное.

Комментарий. Это конструкция через факториал; позднее её можно заменить CRT-конструкциями.

Задачи

Задачи

#19.1
#19.1

Два соседних числа

Делимость 7 класс 8 класс ★☆☆☆☆

Докажите, что \(n(n+1)\) делится на \(2\) при любом целом \(n\).

Детали
Задача: NT-B1-M11-P001
Сложность: Уровень 1 из 5
Tag: Делимость
Grade: 7 класс, 8 класс
#19.2
#19.2

Соседние числа

Примитивные решения 7 класс 8 класс ★☆☆☆☆

Докажите, что \(\gcd(n,n+1)=1\).

Детали
Задача: NT-B1-M11-P002
Сложность: Уровень 1 из 5
Tag: Примитивные решения
Grade: 7 класс, 8 класс
#19.3
#19.3

Квадраты по модулю \(4\)

Арифметика по модулю 7 класс 8 класс ★☆☆☆☆

Какие остатки может давать квадрат целого числа при делении на \(4\)?

Детали
Задача: NT-B1-M11-P003
Сложность: Уровень 1 из 5
Tag: Арифметика по модулю
Grade: 7 класс, 8 класс
#19.4
#19.4

Разность квадратов

Функция Эйлера 7 класс 8 класс ★☆☆☆☆

Разложите \(x^2-y^2\) и объясните, когда это полезно.

Детали
Задача: NT-B1-M11-P004
Сложность: Уровень 1 из 5
Tag: Функция Эйлера
Grade: 7 класс, 8 класс
#19.5
#19.5

Последняя цифра

Power Cycle 7 класс 8 класс ★☆☆☆☆

Найдите последнюю цифру \(7^{2025}\).

Детали
Задача: NT-B1-M11-P005
Сложность: Уровень 1 из 5
Tag: Power Cycle
Grade: 7 класс, 8 класс
#19.6
#19.6

Куб и число

Делимость 8 класс 9 класс ★★☆☆☆

Докажите, что \(3\mid n^3-n\) для любого целого \(n\).

Детали
Задача: NT-B1-M11-P006
Сложность: Уровень 2 из 5
Tag: Делимость
Grade: 8 класс, 9 класс
#19.7
#19.7

НОД выражений

Функция Эйлера 8 класс 9 класс ★★☆☆☆

Найдите \(\gcd(n^2-1,n+1)\) для натурального \(n\).

Детали
Задача: NT-B1-M11-P007
Сложность: Уровень 2 из 5
Tag: Функция Эйлера
Grade: 8 класс, 9 класс
#19.8
#19.8

Произведение после добавления

Функция Эйлера 8 класс 9 класс ★★☆☆☆

Решите в натуральных числах \(xy+x+y=23\).

Детали
Задача: NT-B1-M11-P008
Сложность: Уровень 2 из 5
Tag: Функция Эйлера
Grade: 8 класс, 9 класс
#19.9
#19.9

Невозможный остаток

Арифметика по модулю 8 класс 9 класс ★★☆☆☆

Докажите, что уравнение \(x^2+y^2=4z+3\) не имеет целых решений.

Детали
Задача: NT-B1-M11-P009
Сложность: Уровень 2 из 5
Tag: Арифметика по модулю
Grade: 8 класс, 9 класс
#19.10
#19.10

Два остатка

Китайская теорема об остатках 8 класс 9 класс ★★☆☆☆

Найдите все \(n\), такие что \(n\equiv1\pmod3\) и \(n\equiv2\pmod5\).

Детали
Задача: NT-B1-M11-P010
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#19.11
#19.11

Период дроби

Decimal Period 8 класс 9 класс ★★☆☆☆

Найдите длину периода дроби \(\frac{1}{11}\).

Детали
Задача: NT-B1-M11-P011
Сложность: Уровень 2 из 5
Tag: Decimal Period
Grade: 8 класс, 9 класс
#19.12
#19.12

Нечётное число делителей

Подсчёт делителей 8 класс 9 класс ★★☆☆☆

Докажите, что натуральное число имеет нечётное число положительных делителей тогда и только тогда, когда оно является квадратом.

Детали
Задача: NT-B1-M11-P012
Сложность: Уровень 2 из 5
Tag: Подсчёт делителей
Grade: 8 класс, 9 класс
#19.13
#19.13

Остатки для выражения

Арифметика по модулю 8 класс 9 класс ★★★☆☆

Найдите все остатки \(n\pmod7\), при которых \(7\mid n^2+n+1\).

Детали
Задача: NT-B1-M11-P013
Сложность: Уровень 3 из 5
Tag: Арифметика по модулю
Grade: 8 класс, 9 класс
#19.14
#19.14

НОД с параметром

Примитивные решения 8 класс 9 класс ★★★☆☆

Найдите \(\gcd(n^2+1,n+2)\) для натурального \(n\).

Детали
Задача: NT-B1-M11-P014
Сложность: Уровень 3 из 5
Tag: Примитивные решения
Grade: 8 класс, 9 класс
#19.15
#19.15

Скрытое произведение

Функция Эйлера 8 класс 9 класс ★★★☆☆

Решите в натуральных числах \(xy=3x+2y\).

Детали
Задача: NT-B1-M11-P015
Сложность: Уровень 3 из 5
Tag: Функция Эйлера
Grade: 8 класс, 9 класс
#19.16
#19.16

Делитель \(n+2\)

Делимость 8 класс 9 класс ★★★☆☆

Найдите все натуральные \(n\), для которых \(n+2\mid n^2+5\).

Детали
Задача: NT-B1-M11-P016
Сложность: Уровень 3 из 5
Tag: Делимость
Grade: 8 класс, 9 класс
#19.17
#19.17

Сумма двух квадратов

Арифметика по модулю 8 класс 9 класс ★★★☆☆

Докажите, что число вида \(4k+3\) нельзя представить как сумму двух квадратов целых чисел.

Детали
Задача: NT-B1-M11-P017
Сложность: Уровень 3 из 5
Tag: Арифметика по модулю
Grade: 8 класс, 9 класс
#19.18
#19.18

Единицы и делимость на \(7\)

Repunit 9 класс 10 класс ★★★☆☆

Найдите все \(n\), при которых \(7\mid R_n\).

Детали
Задача: NT-B1-M11-P018
Сложность: Уровень 3 из 5
Tag: Repunit
Grade: 9 класс, 10 класс
#19.19
#19.19

Три условия на соседние числа

Китайская теорема об остатках 9 класс 10 класс ★★★☆☆

Найдите одно натуральное \(n\), для которого \(2\mid n+1\), \(3\mid n+2\), \(5\mid n+3\).

Детали
Задача: NT-B1-M11-P019
Сложность: Уровень 3 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#19.20
#19.20

НОД степенных чисел

Примитивные решения 9 класс 10 класс ★★★☆☆

Докажите, что \(\gcd(2^m-1,2^n-1)=2^{\gcd(m,n)}-1\).

Детали
Задача: NT-B1-M11-P020
Сложность: Уровень 3 из 5
Tag: Примитивные решения
Grade: 9 класс, 10 класс
#19.21
#19.21

Разность квадратов \(2025\)

Функция Эйлера 9 класс 10 класс ★★★★☆

Найдите все пары натуральных чисел \(x>y\), для которых \(x^2-y^2=2025\).

Детали
Задача: NT-B1-M11-P021
Сложность: Уровень 4 из 5
Tag: Функция Эйлера
Grade: 9 класс, 10 класс
#19.22
#19.22

Уравнение без решений

Классический спуск 9 класс 10 класс ★★★★☆

Докажите, что \(x^2+y^2=3xy\) не имеет решений в натуральных числах.

Детали
Задача: NT-B1-M11-P022
Сложность: Уровень 4 из 5
Tag: Классический спуск
Grade: 9 класс, 10 класс
#19.23
#19.23

Делитель \(2n+1\)

Делимость 9 класс 10 класс ★★★★☆

Найдите все натуральные \(n\), для которых \(2n+1\mid n^2+n+3\).

Детали
Задача: NT-B1-M11-P023
Сложность: Уровень 4 из 5
Tag: Делимость
Grade: 9 класс, 10 класс
#19.24
#19.24

Длинный блок составных чисел

Факториал 9 класс 10 класс ★★★★★

Докажите, что для любого \(k\ge1\) существуют \(k\) последовательных натуральных чисел, каждое из которых составное.

Детали
Задача: NT-B1-M11-P024
Сложность: Уровень 5 из 5
Tag: Факториал
Grade: 9 класс, 10 класс

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава
Следующая глава