Два соседних числа
Докажите, что \(n(n+1)\) делится на \(2\) при любом целом \(n\).
Из двух соседних чисел одно чётное.
Числа \(n\) и \(n+1\) имеют разную чётность, значит одно из них делится на \(2\). Поэтому их произведение делится на \(2\).
Глава
Теория
В смешанных задачах метод не указан заранее. Цель модуля — научиться распознавать, что именно мешает прямому решению: большой параметр, скрытый НОД, невозможный остаток, выражение, которое надо разложить, или конструкция, которую нужно построить.
Хорошая олимпиадная работа начинается не с вычислений, а с выбора языка: делимость, сравнения, НОД, факторизация, спуск, порядок или CRT. Один и тот же пример часто можно начать несколькими способами, но только один из них быстро убирает лишнюю сложность.
Сначала спросите: что будет, если заменить переменную остатком? Если выражение резко упрощается — это модульная задача. Если два выражения имеют общий делитель, попробуйте заменить одно на разность. Если есть произведение \(xy\) и линейные члены, ищите факторизацию с добавлением константы.
Если задача просит доказать существование, подумайте о CRT или принципе Дирихле. Если задача просит доказать невозможность для натуральных чисел, проверьте остатки и возможность бесконечного спуска.
Примеры
Тренируем выбор взаимно простых множителей.
Задача. Докажите, что \(n^3-n\) делится на \(6\) при любом целом \(n\).
Имеем \(n^3-n=n(n-1)(n+1)\), произведение трёх последовательных целых чисел. Среди них есть чётное число, значит произведение делится на \(2\). Также среди трёх последовательных чисел есть число, делящееся на \(3\). Так как \(2\) и \(3\) взаимно просты, произведение делится на \(6\).
Комментарий. Метод выбран по составному делителю \(6=2\cdot3\).
Сложный вид НОД часто скрывает маленький делитель.
Задача. Найдите \(\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\).
Иногда весь перебор заменяется таблицей квадратов.
Задача. Докажите, что уравнение \(x^2+y^2=8z+7\) не имеет целых решений.
Квадрат по модулю \(8\) может давать только \(0,1,4\). Сумма двух таких остатков не может быть равна \(7\) по модулю \(8\): возможны \(0,1,2,4,5\). Но правая часть сравнима с \(7\) по модулю \(8\). Противоречие.
Комментарий. Ключ — выбрать модуль \(8\), а не решать уравнение.
Скрытый ход — умножить на \(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\).
Комментарий. Это типичная олимпиадная замена: сделать выражение кратным делителю.
Уравнение с \(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)\).
Комментарий. Факторизация превратила бесконечный поиск в конечный список делителей.
Длинное число из единиц лучше заменить сравнением для \(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\).
Если положительное решение порождает меньшее положительное решение, решений нет.
Задача. Докажите, что \(x^2+y^2=3xy\) не имеет натуральных решений.
Пусть решение есть, и выберем его с минимальной суммой \(x+y\). Пусть \(x\ge y\). Тогда \(x<3y\), иначе левая часть была бы слишком большой. Уравнение как квадратное относительно \(x\) имеет второй корень \(x'=3y-x\). Он положителен, целый и также даёт решение. Кроме того, из \(x(3y-x)=y^2\) следует \(x>2y\), значит \(0
Комментарий. Это первый вкус виетова спуска без тяжёлой техники.
Существование часто доказывается построением, а не поиском маленького примера.
Задача. Докажите, что существуют \(5\) последовательных составных чисел.
Возьмём число \(N=6!\). Тогда числа \(N+2,N+3,N+4,N+5,N+6\) делятся соответственно на \(2,3,4,5,6\) и больше этих делителей. Значит каждое из них составное.
Комментарий. Это конструкция через факториал; позднее её можно заменить CRT-конструкциями.
Задачи
Докажите, что \(n(n+1)\) делится на \(2\) при любом целом \(n\).
Из двух соседних чисел одно чётное.
Числа \(n\) и \(n+1\) имеют разную чётность, значит одно из них делится на \(2\). Поэтому их произведение делится на \(2\).
Докажите, что \(\gcd(n,n+1)=1\).
Общий делитель делит разность.
Если \(d\mid n\) и \(d\mid n+1\), то \(d\mid (n+1)-n=1\). Значит \(d=1\), и НОД равен \(1\).
Какие остатки может давать квадрат целого числа при делении на \(4\)?
Проверьте чётное и нечётное число.
Если \(n\) чётно, то \(n^2\equiv0\pmod4\). Если \(n\) нечётно, то \(n\equiv1\) или \(3\pmod4\), и в обоих случаях \(n^2\equiv1\pmod4\). Возможны только \(0\) и \(1\).
Разложите \(x^2-y^2\) и объясните, когда это полезно.
Используйте формулу разности квадратов.
Имеем \(x^2-y^2=(x-y)(x+y)\). Это полезно, когда уравнение задаёт разность квадратов числом: тогда задача сводится к парам делителей.
Найдите последнюю цифру \(7^{2025}\).
Цикл последних цифр степеней \(7\) имеет длину \(4\).
Последние цифры: \(7,9,3,1\). Так как \(2025\equiv1\pmod4\), последняя цифра равна \(7\).
Докажите, что \(3\mid n^3-n\) для любого целого \(n\).
Разложите \(n^3-n\).
Имеем \(n^3-n=n(n-1)(n+1)\). Среди трёх последовательных целых чисел одно делится на \(3\), значит всё произведение делится на \(3\).
Найдите \(\gcd(n^2-1,n+1)\) для натурального \(n\).
Разложите \(n^2-1\).
Так как \(n^2-1=(n-1)(n+1)\), число \(n+1\) делит \(n^2-1\). Поэтому \(\gcd(n^2-1,n+1)=n+1\).
Решите в натуральных числах \(xy+x+y=23\).
Добавьте \(1\) к обеим частям.
Получаем \((x+1)(y+1)=24\). Пары делителей \(24\), больших \(1\): \((2,12),(3,8),(4,6),(6,4),(8,3),(12,2)\). Поэтому \((x,y)=(1,11),(2,7),(3,5),(5,3),(7,2),(11,1)\).
Докажите, что уравнение \(x^2+y^2=4z+3\) не имеет целых решений.
Квадраты по модулю \(4\) дают только \(0\) и \(1\).
Левая часть по модулю \(4\) может давать только \(0,1,2\). Правая часть сравнима с \(3\pmod4\). Противоречие.
Найдите все \(n\), такие что \(n\equiv1\pmod3\) и \(n\equiv2\pmod5\).
Проверьте числа вида \(3k+1\) по модулю \(5\).
Пусть \(n=3k+1\). Тогда \(3k+1\equiv2\pmod5\), откуда \(3k\equiv1\pmod5\), \(k\equiv2\pmod5\). Значит \(n=3(5t+2)+1=15t+7\). Ответ: \(n\equiv7\pmod{15}\).
Найдите длину периода дроби \(\frac{1}{11}\).
Используйте \(10\equiv-1\pmod{11}\).
Так как \(10 ot\equiv1\pmod{11}\), но \(10^2\equiv1\pmod{11}\), порядок \(10\) по модулю \(11\) равен \(2\). Значит период равен \(2\).
Докажите, что натуральное число имеет нечётное число положительных делителей тогда и только тогда, когда оно является квадратом.
Делители обычно разбиваются на пары \(d\) и \(\frac{n}{d}\).
Если \(d\mid n\), то с ним в паре идёт \(\frac{n}{d}\). Пара состоит из двух разных делителей, кроме случая \(d=\frac{n}{d}\), то есть \(d^2=n\). Поэтому непарный делитель появляется ровно у квадратов, и только тогда число делителей нечётно.
Найдите все остатки \(n\pmod7\), при которых \(7\mid n^2+n+1\).
Проверьте семь остатков.
Для \(n=0,1,2,3,4,5,6\) выражение \(n^2+n+1\) даёт остатки \(1,3,0,6,0,3,1\). Значит подходят только \(n\equiv2\) и \(n\equiv4\pmod7\).
Найдите \(\gcd(n^2+1,n+2)\) для натурального \(n\).
Замените \(n\) на \(-2\) по модулю \(n+2\).
По модулю \(n+2\) имеем \(n\equiv-2\), поэтому \(n^2+1\equiv4+1=5\). Значит НОД равен \(\gcd(n+2,5)\). Он равен \(5\), если \(n\equiv3\pmod5\), и \(1\) иначе.
Решите в натуральных числах \(xy=3x+2y\).
Перенесите всё влево и добавьте \(6\).
Получаем \(xy-3x-2y=0\). Добавим \(6\): \((x-2)(y-3)=6\). Положительные пары делителей \(6\): \((1,6),(2,3),(3,2),(6,1)\). Получаем \((x,y)=(3,9),(4,6),(5,5),(8,4)\).
Найдите все натуральные \(n\), для которых \(n+2\mid n^2+5\).
По модулю \(n+2\) число \(n\) равно \(-2\).
Имеем \(n^2+5\equiv4+5=9\pmod{n+2}\). Поэтому \(n+2\mid9\). Так как \(n\ge1\), \(n+2\ge3\), получаем \(n+2=3\) или \(9\). Значит \(n=1\) или \(n=7\). Оба подходят.
Докажите, что число вида \(4k+3\) нельзя представить как сумму двух квадратов целых чисел.
Используйте остатки квадратов по модулю \(4\).
Квадрат по модулю \(4\) равен \(0\) или \(1\). Сумма двух квадратов по модулю \(4\) может быть только \(0,1,2\). Остаток \(3\) невозможен. Значит \(4k+3\) не является суммой двух квадратов.
Найдите все \(n\), при которых \(7\mid R_n\).
Условие эквивалентно \(10^n\equiv1\pmod7\).
Так как \(9\) обратимо по модулю \(7\), \(7\mid R_n\) тогда и только тогда, когда \(10^n\equiv1\pmod7\). Порядок \(10\equiv3\) по модулю \(7\) равен \(6\). Поэтому подходят ровно \(n\), кратные \(6\).
Найдите одно натуральное \(n\), для которого \(2\mid n+1\), \(3\mid n+2\), \(5\mid n+3\).
Запишите условия как сравнения для \(n\).
Нужно \(n\equiv1\pmod2\), \(n\equiv1\pmod3\), \(n\equiv2\pmod5\). Из первых двух условий \(n\equiv1\pmod6\). Числа \(1,7,13,19,\ldots\); остаток \(2\) по модулю \(5\) даёт \(7\). Подходит \(n=7\).
Докажите, что \(\gcd(2^m-1,2^n-1)=2^{\gcd(m,n)}-1\).
Повторите алгоритм Евклида на показателях.
Если \(m\ge n\), то \(2^m-1=(2^{m-n})(2^n-1)+(2^{m-n}-1)\). Поэтому НОД не меняется при замене пары \((m,n)\) на \((m-n,n)\). Повторяя алгоритм Евклида для показателей, приходим к \((d,d)\), где \(d=\gcd(m,n)\). Тогда НОД равен \(2^d-1\).
Найдите все пары натуральных чисел \(x>y\), для которых \(x^2-y^2=2025\).
Запишите \((x-y)(x+y)=2025\).
Пусть \(a=x-y\), \(b=x+y\). Тогда \(ab=2025\), \(a
Докажите, что \(x^2+y^2=3xy\) не имеет решений в натуральных числах.
Попробуйте минимальное решение и второй корень квадратного уравнения.
Предположим, что решение есть, и выберем с минимальным \(x+y\). Пусть \(x\ge y\). Рассмотрим уравнение как квадратное по \(x\): \(x^2-3yx+y^2=0\). Второй корень \(x'=3y-x\) целый. Из \(x<3y\) он положителен. Кроме того, \(x(3y-x)=y^2\); при \(y\le x\le2y\) левая часть не меньше \(2y^2\), что невозможно, значит \(x>2y\). Тогда \(0
Найдите все натуральные \(n\), для которых \(2n+1\mid n^2+n+3\).
Умножьте выражение на \(4\).
Если \(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\).
Докажите, что для любого \(k\ge1\) существуют \(k\) последовательных натуральных чисел, каждое из которых составное.
Попробуйте число, делящееся на все числа \(2,3,\ldots,k+1\).
Возьмём \(N=(k+1)!\). Тогда числа \(N+2,N+3,\ldots,N+k+1\) являются \(k\) последовательными числами. Для каждого \(i=2,3,\ldots,k+1\) число \(N+i\) делится на \(i\), потому что \(N\) делится на \(i\). Кроме того, \(N+i>i\), значит \(i\) — нетривиальный делитель. Поэтому все эти числа составные.
Лестницы