Два соседних числа
Докажите, что \(n(n+1)\) делится на \(2\) при любом целом \(n\).
Из двух соседних чисел одно чётное.
Числа \(n\) и \(n+1\) имеют разную чётность, значит одно из них делится на \(2\). Поэтому их произведение делится на \(2\).
Практика
Докажите, что \(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\) — нетривиальный делитель. Поэтому все эти числа составные.