Остатки и сравнения по модулю
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число . Докажите, что есть сто идущих подряд чисел, каждое из которых имеет общий делитель с больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа (Количество чисел от до взаимно простых с ) Тогда для любого натурального числа справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить в знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до взаимно простых с меньше
Рассмотрим два случая: делится на и не делится на
1. Число делится на Тогда можно разбить числа от до на групп по идущих подряд чисел. Если количество чисел от до взаимно простых с меньше , то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на Тогда среди чисел до можно выделить групп по идущих подряд чисел. Если в каждой группе будет число взаимно простое с , то чисел взаимно простых с хотя бы ( тоже взаимно проста с ). Это противоречит тому, что количество чисел от до взаимно простых с меньше
Ошибка.
Попробуйте повторить позже
Даны взаимно простые числа и Докажите, что для любого нечетного делителя числа число делится на
Пусть — нечетный делитель числа В силу взаимной простоты чисел и будет также верно, что взаимно просто с и Тогда по модулю числа остатки будут обратимы.
Пусть — такое число, что Тогда
Тогда то есть число имеет показатель по модулю равный (так как означает, что делится на показатель, но говорит о том, что меньшие степени двойки не будут показателем)
Если — простое, то и тогда делится на показатель. Если составное, то оно раскладывается, как при этом предыдущие равенства можно рассмотреть по модулю тогда для всех простых делителей числа Тогда то есть
Ошибка.
Попробуйте повторить позже
Дано 101-значное число и произвольное натуральное число . Докажите, что найдется такое не более чем 102-значное число натуральное число , что любое число вида - составное.
Источники:
Из признака делимости на (необходимо рассмотреть знакочередующуюся сумму блоков по 101 цифре с конца) следует, что
числа в которых количество в записи отличается на четное число имеют одинаковые остатки при делении на
Заметим, что , а еще по лемме об уточнении показателя не делится на , поэтому у есть простой
делитель отличный от 11
Достаточно сделать так, чтобы и делились на 11 и на соответственно. Такое существует и не превосходит
по китайской теореме об остатках.
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с числа верно, что (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
Все остатки — степени первообразного корня. Как тогда расположить числа, чтобы условие выполнилось?
Будем воспринимать наши числа как где — первообразный корень и будем их расставлять по кругу, так как нас интересует значения чисел лишь по модулю Расставим их по кругу так Для чисел очевидно, что делится на поэтому наша конструкция подходит для всех чисел не на стыке. На стыке все тоже хорошо, так как числа и можно представить, как и
Ошибка.
Попробуйте повторить позже
При каких натуральных существуют натуральное и простое для которых
При левая часть равна так что подходит и Пусть теперь нечётно. Тогда По лемме об уточнении показателя для модуля
Значит, при выражение делится на но не на и Если же то выражение делится на но не на а значит, Таким образом, мы убедились, что решения существуют только при
Ошибка.
Попробуйте повторить позже
Докажите, что не существует натурального такого, что число представимо в виде произведения последовательных натуральных чисел.
Предположим противное. Пусть искомое число существует. Произведение натуральных чисел кратно следовательно нечетно, а значит кратно аналогично кратно
В силу LTE, с другой стороны, произведение 50 натуральных чисел кратно но в силу теоремы Лежандра
следовательно, Аналогично,
Таким образом, то есть тем самым получено противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует натуральное такое, что делится на
Решение 1.
Лемма. Для любого натурального найдётся натуральное такое что
Доказательство. Индукция по База индукции: Годится Переход индукции. Если то
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Утверждение задачи тоже доказываем индукцией по База: делится на . Переход. Пусть делится на Хотим добиться делимости на Пусть таково, что Можем считать, что не делится на а также что Тогда рассмотрим разность
Так как оба числа и делятся на и не делятся на то делится на
______________________________________________________________________________________________________________________________________________________
Решение 2.
Покажем, что является показателем числа по модулю (при условии Этот показатель является делителем числа т.е. является степенью двойки. Но при любом натуральном верно Значит, показатель в самом деле равен
Таким образом, степени числа пробегают ровно четверть всевозможных остатков по модулю Но по модулю эти степени могут давать лишь остатки и а значит, степени числа пробегают все остатки по модулю дающие или по модулю В частности, остаток тоже пробегают.
Ошибка.
Попробуйте повторить позже
Известно, что при всех натуральных число является точным кубом. Докажите, что
Выберем какое-нибудь нечётное Тогда Рассмотрим разность Предположим, что она делится на какое-нибудь простое Тогда по LTE Заметим теперь, что при или эта сумма не делится на а значит, число не является кубом. Значит, предположение было ошибочным, и Выберем Предыдущее рассуждение можно применить к числу вместо и оно сработает, если Осталось рассмотреть случай, когда Заметим, что Значит, число (очевидно, нечётное), должно быть степенью двойки, то есть равняться единице.
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что простое тогда и только тогда, когда делит
Докажем, что если — простое, то делится на Заметим, что то есть не является квадратичным вычетом по модулю Тогда из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что и взаимно просты (), поэтому определено понятие показателя по модулю Рассмотрим показатель числа по модулю Из получаем откуда делится на то есть является степенью двойки. С другой стороны из первого сравнения получаем откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку – составное, то Получается, что но причем – натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и — натуральные числа такие, что Каким может быть количество натуральных делителей числа
При уравнение имеет вид и не имеет решений в натуральных числах, следовательно, нечетно.
Если является нечетным, то число
так же нечетно, что невозможно, следовательно кратно
Предположим, что кратно Степень вхождения в правую часть равна что, в силу LTE для числа равно следовательно, а значит С другой стороны,
что влечет противоречие.
Таким образом, дает остаток при делении на — четно. Тогда то есть кратно а значит, в силу LTE,
то есть степень вхождения 2 в левую часть исходного уравнения что не превосходит
Таким образом, верна серия неравенств
При верны неравенства и сложив которые получим противоречие.
Если то уравнение имеет вид
В случае, если является составным (обозначим его произвольный делитель за ), имеем
кратно что невозможно в силу простоты а значит — так же простое число.
При уравнение имеет решение, количество делителей числа равно
Если то число делителей числа равно (делителями являются числа и ).
или
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и Докажите, что
Заметим, что
Тогда, в силу теоремы Вильсона, имеем
Ошибка.
Попробуйте повторить позже
Натуральные числа не делящиеся на простое число таковы, что делится на Докажите, что существуют натуральные числа и не делящиеся на такие, что делится на
Запишем условие в виде сравнения
Так как по условию, то по модулю существует обратный элемент для Обозначим его Очевидно, что Тогда можно умножить исходное сравнение на получится
Возьмем и таким образом, требуемое сравнение разрешимо.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Поймите, что все слагаемые не сравнимы по модулю p между собой, тогда эту сумму можно записать в более привычном виде. В каком?
Подсказка 1, пункт б
Если отбросить квадраты, то все слагаемые не сравнимы по модулю p. Тогда это сумму можно переписать в более привычном виде.
Подсказка 2, пункт б
Изначальная сумма сравнима с 1^2+2^2+…+(p-1)^2. Сверните сумму по формуле суммы квадратов.
(a)
_________________________________________________________________________________________________________________________________________________________________________________
Первое решение. Сгруппируем слагаемые и немного преобразуем
Так как — простое, то при приведении к общему знаменателю не сократится. Следовательно, числитель делится на
______________________________________________________________________________________________________________________________________________________
Второе решение. Достаточно показать, что сумма по модулю равна нулю. Заметим, что все обратные остатки не сравнимы по модулю тогда
_________________________________________________________________________________________________________________________________________________________________________________
(b) Приведём дробь к общему знаменателю:
Знаменатель полученной дроби взаимно прост с следовательно, достаточно показать, что числитель делится на
Рассмотрим набор чисел
Покажем, что элементы образуют полную систему вычетов по модулю Предположим противное, тогда найдутся два слагаемых с одинаковым остатком:
Все множители взаимно просты с значит можно сократить: но и — два разных остатка при делении на противоречие. Следовательно, числитель сравним по модулю с суммой всех остатков при делении на кроме
Числитель дроби является суммой квадратов всех чисел из Таким образом,
По формуле суммы квадратов первых натуральных чисел имеем
Наконец, следовательно, взаимно просто с что влечет делимость числителя изначальной дроби на
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Докажите, что кратно
Заметим, что
То есть достаточно показать, что вторая скобочка делится на По теореме Вильсона
Видно, что (Вычли из каждой скобочки ). Таким образом,
что и требовалось.
Ошибка.
Попробуйте повторить позже
На доске написаны числа Можно ли выбрать какие-то из них, произведение которых равно
Заметим, что наши числа представляются в виде Давайте теперь посмотрим на наши дроби с точки зрения сравнения по модулю Тогда это будет выглядеть так:
Значит, все дроби сравнимы со по модулю Но теперь, если мы допустим смогли взять чисел, произведение которых равно то снова рассматривая сравнение, понимаем, что выходит противоречие. Произведение остатков девяти чисел будет давать а не сравнимо с по модулю
Нельзя
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Рассмотрим два случая:
1) Тогда решений всего два и
2)
Для начала предположим, что и Тогда или Заметим, что если то верно поэтому и — различные решения.
Теперь будем считать, что то есть обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и взаимно обратны по модулю то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что поэтому решения существуют тогда и только тогда, когда обратим. Отметим, что если все-таки обратим, то и вычет тоже восстанавливается однозначно. Таким образом, система имеет единственное решение, если обратим.
Найдем такие для которых существуют обратимые такие, что необратим. Для этого рассмотрим сравнение Оно эквивалентно сравнению является квадратичным вычетом по модулю По критерию Эйлера, — квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид а во всех остальных случаях является невычетом. Таким образом, задача разбивается на два случая.
- 1.
-
В случае имеется ровно два решения сравнения Таким образом, в качестве в систему можно подставить различных (все кроме решений указанного сравнения и ) и получится различных решения. Вспомним, что еще имеется два решения из поэтому общее число решений —
- 2.
-
В случае сравнение не имеет решений, поэтому можно просто подставлять любое из возможного. Учтем еще 2 решения из случая тогда получится решение.
Если то решений,
если то решений.
если то решения.
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а — такая несократимая дробь, что
Докажите, что делится на
Первое решение. Введём обозначение , для . Тогда рассматриваемое нами выражение равно
где — основной симметрический многочлен степени . Найдём многочлен, корнями которого являются , т. е.
Сделав замену , получим многочлен
Теперь, сделав обратную замену, для получаем
По теореме Виета
поэтому , и, поскольку не кратно , сокращение произойдёт на число, взаимно простое с , т. е. . _______________________________________________________________________________________
Второе решение. Рассмотрим дроби вида , входящие в нашу сумму, как дроби по модулю (значением дроби по модулю , где , считается решение сравнения ; при сложении обыкновенных дробей со знаменателями, не кратными , соответствующие им дроби по модулю также складываются).
Как известно, все числа от 2 до можно разбить на пары в которых . Сложим члены, соответствующие числам и которые составляют такую пару:
(так как ). Складывая таких сумм и оставшиеся три слагаемых, получаем, что искомая сумма сравнима по модулю с что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Даны простое число и три различных натуральных числа и таких, что и делятся на Чему может быть равно
Подсказка 1
Для начала стоит переписать условие в виде сравнений по модулю. А что получится, если все получившиеся сравнения перемножить?
Подсказка 2
Тогда получится, что (abc)² ≡ -27. Но из условия мы знаем, что (abc)² ≡ 121. Что тогда можно сказать о p?
Подсказка 3
Действительно, тогда p — простой делитель 121 - (-27) = 138. Осталось разложить на множители и найти примеры!
Давайте запишем условия на делимость в виде сравнений:
Теперь мы можем перемножить первые три сравнения и получить, что Но из условия Значит, является делителем числа и может быть равен либо либо Для можно взять просто три нечётных числа А для существуют числа Действительно, легко проверить, что все сравнения выполняются, потому что по модулю они равны а
Ошибка.
Попробуйте повторить позже
Дано натуральное Докажите, что существуют натуральных чисел таких, что произведение любых из них даёт остаток при делении на оставшееся число.
Положим при и, наконец, Тогда очевидным образом. Рассмотрим члены нашей последовательности по модулю при Если имеем а Поэтому
что и требовалось.