Остатки и сравнения по модулю
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Теорема о линейном разложении НОД. Для любых целых и
найдутся
и
такие, что
Первое решение. Запишем последовательно шаги алгоритма Евклида:
Тогда Теперь в обратную сторону будем восстанавливать
и
Возьмём
Тогда
Пусть
и
где все числа целые. Такие найдутся, поскольку
и
были получены с помощью деления с остатком.
Тогда
Таким образом, мы смогли найти линейное разложение НОД для пары чисел на шаг раньше. Сделав шагов, мы получим разложение
для
и
что и требовалось доказать.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. Для начала докажем небольшую лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма. Пусть Тогда существует целое
такое, что
Доказательство. Рассмотрим последовательность Ясно, что
при всех натуральных
Тогда остается
возможный остаток при делении на
который может появиться у чисел этой последовательности. По принципу Дирихле для некоторых
имеем
Будем считать, что
и, используя взаимную простоту, получим
Положим
______________________________________________________________________________________________________________________________________________________
Рассмотрим уравнение Можно полагать, что
(в противном случае разделим обе части на
). Итак, все
свелось к решению уравнения
По модулю
получим
Такое сравнение, исходя из леммы, имеет решение, что
равносильно наличию решения уравнения
по определению сравнений по модулю.
Ошибка.
Попробуйте повторить позже
Найдите все простые числа для которых существуют натуральные числа
и
такие, что
является
натуральной степенью числа
Подсказка 1:
Из такой делимости следует, что как минимум каждая из скобок делится на p. Что с этим можно сделать?
Подсказка 2:
Но тогда можно рассмотреть, например, сумму выражений в скобках, она тоже будет делиться на p. Она равна 3(a + b + c), возникает два случая.
Подсказка 3:
Интереснее всего случай, когда a + b + c делится на p. То есть теперь есть четыре выражения, кратных p. Попробуйте как-нибудь повычитать их друг из друга, чтобы получить новые выражения, кратные p.
Подсказка 4:
Например, (a + 2b) – (a + b + c) = b – c кратно p. Если рассмотреть аналогичные разности с другими скобками, получится, что все переменные имеют одинаковый остаток при делении на p. Если p не делится на 3, то a, b, c кратны p. Как насчет того, чтобы каждую из них поделить на p?
Будем считать, что одно из чисел не делится на иначе можно сократить на
По условию каждая из скобок делится на
Тогда их
сумма
Если то
Вычитая из первой скобки, получаем Из второй скобки получаем
Тогда все три числа делятся на
противоречие. При
подойдут
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число
. Докажите, что есть сто идущих подряд чисел,
каждое из которых имеет общий делитель с
больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа
(Количество чисел от
до
взаимно простых с
) Тогда для любого натурального числа
справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если
то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить
в
знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до
взаимно простых с
меньше
Рассмотрим два случая: делится на
и
не делится на
1. Число делится на
Тогда можно разбить числа от
до
на
групп по
идущих подряд чисел. Если
количество чисел от
до
взаимно простых с
меньше
, то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на
Тогда среди чисел
до
можно выделить
групп по
идущих подряд чисел. Если в каждой
группе будет число взаимно простое с
, то чисел взаимно простых с
хотя бы
(
тоже взаимно проста с
). Это
противоречит тому, что количество чисел от
до
взаимно простых с
меньше
Ошибка.
Попробуйте повторить позже
Даны взаимно простые числа и
Докажите, что для любого нечетного делителя
числа
число
делится на
Пусть — нечетный делитель числа
В силу взаимной простоты чисел
и
будет также верно, что
взаимно просто с
и
Тогда по модулю числа
остатки
будут обратимы.
Пусть — такое число, что
Тогда
Тогда то есть число
имеет показатель по модулю
равный
(так как
означает, что
делится
на показатель, но
говорит о том, что меньшие степени двойки не будут показателем)
Если — простое, то
и тогда
делится на показатель. Если
составное, то оно раскладывается, как
при этом предыдущие равенства можно рассмотреть по модулю
тогда
для всех простых делителей
числа
Тогда
то есть
Ошибка.
Попробуйте повторить позже
Дано -значное число
и произвольное натуральное число
Докажите, что найдется такое не более чем
-значное число
натуральное число
что любое число вида
— составное.
Источники:
Из признака делимости на (необходимо рассмотреть знакочередующуюся сумму блоков по
цифре с конца) следует, что
числа в которых количество
в записи отличается на четное число имеют одинаковые остатки при делении на
Заметим, что а еще по лемме об уточнении показателя
не делится на
поэтому у
есть простой
делитель
отличный от
Достаточно сделать так, чтобы и
делились на
и на
соответственно. Такое
существует и не превосходит
по китайской теореме об остатках.
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с
числа
верно, что
(mod
)
Подсказка 1
Попробуем доказать по индукции, что a^p − a делится на р. База a=1 очевидна. Как сделать переход от а к а+1?
Подсказка 2
Что мы можем сказать про делимость на p для биномиальных коэффициентов в выражении (а+1)^p?
Подсказка 3
p!/(k!(p-k)!) делится на р для всех k кроме 0 и р, поскольку числитель делится на р, а знаменатель - нет. Что тогда останется, если смотреть на выражение по модулю p?
Первое решение.
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю
.
Тогда рассмотрим две такие ПрСВ: [1, 2, ..., ] и [
,
, ...,
] (То, что написано справа - это
ПрСВ) и перемножим в
каждой все числа.
Получаем, что (mod
) или
(mod
). Теперь перепишем это через
разность, то есть
делится на
. Из-за того, что НОД(
,
) = 1 следует, что
делится на
или
(mod
)
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Зафиксируем простое число Проверим базу индукции:
Тогда действительно
— делится на
Пусть
делится на
Докажем, что
делится на
Докажем, что для
число
делится на
Действительно,
В каждом из факториалов
и
все сомножители меньше
а потому взаимно просты
с
Тогда, поскольку
делится на
то и
делится на
Благодаря этому утверждению и биному Ньютона,
получаем
По предположению индукции чтд.
Ошибка.
Попробуйте повторить позже
Докажите, что натуральные числа можно расставить по кругу так, чтобы для любых трех подряд идущих по часовой стрелке
чисел
число
делилось на
Подсказка 1
Условие задачи напоминает геометрическую прогрессию. А можно ли как-то представить остатки в виде геометрической прогрессии?
Подсказка 2
Все остатки — степени первообразного корня. Как тогда расположить числа, чтобы условие выполнилось?
Будем воспринимать наши числа как
где
— первообразный корень и будем их расставлять по кругу, так
как нас интересует значения чисел лишь по модулю
Расставим их по кругу так
Для чисел
очевидно,
что
делится на
поэтому наша конструкция подходит для всех чисел не на стыке. На стыке все тоже хорошо, так как
числа
и
можно представить, как
и
Ошибка.
Попробуйте повторить позже
При каких натуральных существуют натуральное
и простое
для которых
Подсказка 1
Предположим, что p нечетно. Так как 3 + 4 = 7, удобно использовать LTE-лемму для модуля 7. Какой вывод из нее можно сделать?
Подсказка 2
Точно! Если p отлично от 7, то левая часть делится на 7, но не делится на 49, откуда n = 1. А что получается при p = 7?
Подсказка 3
Верно! Для p = 7 получаем, что левая часть делится на 49, но не делится на 343. Можно ли теперь оценить n сверху?
При левая часть равна
так что подходит и
Пусть теперь
нечётно. Тогда
По лемме об
уточнении показателя для модуля
Значит, при выражение делится на
но не на
и
Если же
то выражение делится на
но не на
а
значит,
Таким образом, мы убедились, что решения существуют только при
Ошибка.
Попробуйте повторить позже
Докажите, что не существует натурального такого, что число
представимо в виде произведения
последовательных
натуральных чисел.
Подсказка 1
Предположим, что такое a существует. Тогда, как легко видеть, разница квадрата числа a и 1 делится на 12. А как связаны степени вхождения 2 и 3 в разность квадрата a и 1 и в разность 2022-ой степени a и 1?
Подсказка 2
Верно! Они совпадают. Попробуем теперь изучить именно a²-1. На какую минимальную степень 2 и 3 оно должно делиться?
Подсказка 3
Конечно! Произведение 50 последовательных чисел делится на 50!, а по теореме Лежандра степень вхождения 2 в это число больше 40. Аналогично, степень вхождения 3 больше 20. Как теперь получить противоречие?
Предположим противное. Пусть искомое число существует. Произведение
натуральных чисел кратно
следовательно
нечетно, а
значит
кратно
аналогично
кратно
В силу LTE, с другой стороны, произведение 50 натуральных чисел кратно
но в
силу теоремы Лежандра
следовательно, Аналогично,
Таким образом, то есть
тем самым получено противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует натуральное
такое, что
делится на
Решение 1.
Лемма. Для любого натурального найдётся натуральное
такое что
Доказательство. Индукция по База индукции:
Годится
Переход индукции. Если
то
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Утверждение задачи тоже доказываем индукцией по База:
делится на
. Переход. Пусть
делится на
Хотим добиться делимости на
Пусть
таково, что
Можем считать, что
не делится на
а также что
Тогда рассмотрим разность
Так как оба числа и
делятся на
и не делятся на
то
делится на
______________________________________________________________________________________________________________________________________________________
Решение 2.
Покажем, что является показателем числа
по модулю
(при условии
Этот показатель является делителем числа
т.е. является степенью двойки. Но при любом натуральном
верно
Значит, показатель в самом
деле равен
Таким образом, степени числа пробегают ровно четверть всевозможных остатков по модулю
Но по модулю
эти степени
могут давать лишь остатки
и
а значит, степени числа
пробегают все остатки по модулю
дающие
или
по модулю
В
частности, остаток
тоже пробегают.
Ошибка.
Попробуйте повторить позже
Известно, что при всех натуральных число
является точным кубом. Докажите, что
Подсказка 1
Попробуем выбрать n нечетным и простое p > 2. Что можно сказать о степени вхождения p в наш куб?
Подсказка 2
Конечно! По LTE-лемме она равна сумме степеней вхождения p в a+1 и в n. Как показать, что тогда число кубом не является?
Подсказка 3
Верно! При n = p или n = p² степень вхождения p в наше число на 3 не делится, и кубом оно не является. Тогда легко видеть, что a+1 и a³+1 являются степенями двойки. Как теперь показать, что a=1?
Выберем какое-нибудь нечётное Тогда
Рассмотрим разность
Предположим, что она
делится на какое-нибудь простое
Тогда по LTE
Заметим теперь, что при
или
эта
сумма не делится на
а значит, число не является кубом. Значит, предположение было ошибочным, и
Выберем
Предыдущее рассуждение можно применить к числу
вместо
и оно сработает, если
Осталось рассмотреть случай, когда
Заметим, что
Значит, число
(очевидно, нечётное), должно быть степенью
двойки, то есть равняться единице.
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что
простое тогда и только тогда, когда
делит
Докажем, что если — простое, то
делится на
Заметим, что
то есть
не является квадратичным
вычетом по модулю
Тогда
из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что
и
взаимно просты (
), поэтому определено
понятие показателя
по модулю
Рассмотрим показатель
числа
по модулю
Из
получаем
откуда
делится на
то есть
является степенью двойки. С другой стороны из первого сравнения получаем
откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку
– составное, то
Получается, что
но
причем
– натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Пусть — простое число,
и
— натуральные числа такие, что
Каким может быть количество натуральных делителей
числа
Подсказка 1
Очевидно, что p нечетно. Из формулы суммы геометрической прогрессии легко видеть, что a четно. А на какую степень двойки может делиться p-1?
Подсказка 2
Верно! Исходя из LTE-леммы, p-1 делится на 2, но не делится на 4. Тогда p имеет остаток 3 при делении на 4, а его квадрат остаток 1. Тогда по LTE-лемме числитель нашей дроби делится на 4. Какова степень вхождения 2 в левую часть данного уравнения?
Подсказка 3
Верно! Она равна разности суммы степеней вхождений 2 в p+1, a и 1. Степени вхождения из нашего выражения не превосходят логарифма от соответствующих чисел! Тогда наша дробь не превосходит (p+1)a/2. Как теперь получить противоречия?
При уравнение имеет вид
и не имеет решений в натуральных числах, следовательно,
нечетно.
Если является нечетным, то число
так же нечетно, что невозможно, следовательно кратно
Предположим, что кратно
Степень вхождения
в правую часть равна
что, в силу LTE для числа
равно
следовательно,
а значит
С другой стороны,
что влечет противоречие.
Таким образом, дает остаток
при делении на
— четно. Тогда
то есть
кратно
а значит, в силу
LTE,
то есть степень вхождения 2 в левую часть исходного уравнения что не превосходит
Таким образом, верна серия неравенств
При верны неравенства
и
сложив которые получим противоречие.
Если то уравнение имеет вид
В случае, если является составным (обозначим его произвольный делитель за
), имеем
кратно что невозможно в силу простоты
а значит
— так же простое число.
При уравнение
имеет решение, количество делителей числа
равно
Если то число делителей числа
равно
(делителями являются числа
и
).
или
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и
Докажите, что
Заметим, что
Тогда, в силу теоремы Вильсона, имеем
Ошибка.
Попробуйте повторить позже
Натуральные числа не делящиеся на простое число
таковы, что
делится на
Докажите, что существуют
натуральные числа
и
не делящиеся на
такие, что
делится на
Запишем условие в виде сравнения
Так как по условию, то по модулю
существует обратный элемент для
Обозначим его
Очевидно, что
Тогда можно умножить исходное сравнение на
получится
Возьмем и
таким образом, требуемое сравнение разрешимо.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Поймите, что все слагаемые не сравнимы по модулю p между собой, тогда эту сумму можно записать в более привычном виде. В каком?
Подсказка 1, пункт б
Если отбросить квадраты, то все слагаемые не сравнимы по модулю p. Тогда это сумму можно переписать в более привычном виде.
Подсказка 2, пункт б
Изначальная сумма сравнима с 1^2+2^2+…+(p-1)^2. Сверните сумму по формуле суммы квадратов.
(a)
_________________________________________________________________________________________________________________________________________________________________________________
Первое решение. Сгруппируем слагаемые и немного преобразуем
Так как — простое, то при приведении к общему знаменателю
не сократится. Следовательно, числитель делится на
______________________________________________________________________________________________________________________________________________________
Второе решение. Достаточно показать, что сумма по модулю равна нулю. Заметим, что все обратные остатки не сравнимы по
модулю
тогда
_________________________________________________________________________________________________________________________________________________________________________________
(b) Приведём дробь к общему знаменателю:
Знаменатель полученной дроби взаимно прост с следовательно, достаточно показать, что числитель делится на
Рассмотрим набор чисел
Покажем, что элементы образуют полную систему вычетов по модулю Предположим противное, тогда найдутся два слагаемых с
одинаковым остатком:
Все множители взаимно просты с значит можно сократить:
но
и
— два разных остатка при делении на
противоречие. Следовательно, числитель сравним по модулю
с суммой всех остатков при делении на
кроме
Числитель дроби является суммой квадратов всех чисел из Таким образом,
По формуле суммы квадратов первых натуральных чисел имеем
Наконец, следовательно,
взаимно просто с
что влечет делимость числителя изначальной дроби на
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Докажите, что
кратно
Заметим, что
То есть достаточно показать, что вторая скобочка делится на По теореме Вильсона
Видно, что (Вычли из каждой скобочки
). Таким образом,
что и требовалось.
Ошибка.
Попробуйте повторить позже
На доске написаны числа Можно ли выбрать какие-то
из них, произведение которых равно
Заметим, что наши числа представляются в виде Давайте теперь посмотрим на наши дроби с точки зрения сравнения по модулю
Тогда это будет выглядеть так:
Значит, все дроби сравнимы со по модулю
Но теперь, если мы допустим смогли взять
чисел, произведение которых равно
то снова рассматривая сравнение, понимаем, что выходит противоречие. Произведение остатков девяти чисел будет давать
а
не
сравнимо с
по модулю
Нельзя
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Подсказка 1
С суммой квадратов сложно работать, потому что не существует ее разложение на множители в вещественных числах. Попробуйте перейти к разности квадратов.
Подсказка 2
Можно просто перенести 1 в левую часть и применить формулу, но тогда в левой части будет находится -y², с этим так же работать сложно. Можно ли от исходного равенства перейти к разности квадратов в левой части, но так, чтобы в правой части осталась 1?
Подсказка 3
Можно умножить исходное равенство на (1/y)² - квадрат остатка, обратного к y, при ненулевом y. Сделайте необходимые преобразования и примените формулу разности квадратов.
Подсказка 4
Пара (x, y) при ненулевом y является решением тогда и только тогда, когда когда 1/y-x/y сравнимо с a и 1/y+x/y сравнимо с 1/a для некоторого данного остатка a. Таким образом, необходимо найти количество решений полученной системы.
Подсказка 5
Если a+1/a обратим, то x и y восстанавливается однозначно. Докажите, что все полученные пары различны. Что можно сказать об a, если a+1/a необратим?
Подсказка 6
Тогда -1 является квадратичным вычетом. Как известно, это возможно только при p, которые имеют вид 4k+1. Закончите разбор этого случая, не забудьте учесть решения при y = 0.
Рассмотрим два случая:
1) Тогда решений всего два
и
2)
Для начала предположим, что и
Тогда
или
Заметим, что если
то верно
поэтому
и
— различные решения.
Теперь будем считать, что то есть
обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и
взаимно обратны по модулю
то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что
поэтому решения существуют тогда и только тогда, когда
обратим. Отметим, что если
все-таки обратим, то
и вычет
тоже восстанавливается однозначно.
Таким образом, система имеет единственное решение, если
обратим.
Найдем такие для которых существуют обратимые
такие, что
необратим. Для этого рассмотрим сравнение
Оно эквивалентно сравнению
является квадратичным вычетом по модулю
По критерию Эйлера,
— квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид
а во всех остальных случаях
является невычетом. Таким образом,
задача разбивается на два случая.
- 1.
-
В случае
имеется ровно два решения сравнения
Таким образом, в качестве
в систему можно подставить
различных
(все кроме решений указанного сравнения и
) и получится
различных решения. Вспомним, что еще имеется два решения из
поэтому общее число решений —
- 2.
-
В случае
сравнение
не имеет решений, поэтому можно просто подставлять любое
из
возможного. Учтем еще 2 решения из случая
тогда получится
решение.
Если то
решений,
если то
решений.
если то
решения.
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а
— такая несократимая дробь, что
Докажите, что делится на
Подсказка 1
Исходное равенство можно рассматривать как сравнимость левой и правой части по модулю p, где каждая дробь a/b произведение a на остаток обратный b по данному модулю.
Подсказка 2
Часто суммы можно преобразовывать благодаря разделению слагаемых на пары. Как этот метод можно применить здесь?
Подсказка 3
Можно складывать слагаемые, которые соответствуют обратным остаткам, то есть сумма слагаемых 1/(x²+1)+1/(y²+1) по всем парам различных чисел x и y, для которых xy сравнимо с 1. Чему будет равна данная сумма, все ли слагаемые будут учтены?
Подсказка 4
После приведения к общему знаменателю, несложно показать, что 1/(x²+1)+1/(y²+1) сравнимо с 1 по модулю p. В сумме будут учтены все числа кроме -1, 1, для которых обратные совпадают с ними и 0, для которого обратного нет. Прибавьте к сумме единиц оставшиеся три слагаемые. Чему она равна?
Подсказка 5
Сумма сравнима с (p+1)/2, откуда m/n сравнимо c (p+1)/2, то есть 2m сравнимо с n(p+1), откуда явно следует требуемое.
Первое решение. Введём обозначение , для
. Тогда рассматриваемое нами выражение равно
где — основной симметрический многочлен степени
. Найдём многочлен, корнями которого являются
, т. е.
Сделав замену , получим многочлен
Теперь, сделав обратную замену, для получаем
По теореме Виета
поэтому , и, поскольку
не кратно
, сокращение произойдёт на число, взаимно простое с
, т. е.
.
_______________________________________________________________________________________
Второе решение. Рассмотрим дроби вида , входящие в нашу сумму, как дроби по модулю
(значением дроби
по модулю
, где
, считается решение сравнения
; при сложении обыкновенных дробей со знаменателями, не кратными
,
соответствующие им дроби по модулю также складываются).
Как известно, все числа от 2 до можно разбить на пары
в которых
. Сложим члены, соответствующие
числам
и
которые составляют такую пару:
(так как ). Складывая
таких сумм и оставшиеся три слагаемых, получаем, что искомая сумма сравнима по
модулю
с
что и требовалось доказать.