Обратные остатки
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и Докажите, что
Заметим, что
Тогда, в силу теоремы Вильсона, имеем
Ошибка.
Попробуйте повторить позже
Натуральные числа не делящиеся на простое число таковы, что делится на Докажите, что существуют натуральные числа и не делящиеся на такие, что делится на
Запишем условие в виде сравнения
Так как по условию, то по модулю существует обратный элемент для Обозначим его Очевидно, что Тогда можно умножить исходное сравнение на получится
Возьмем и таким образом, требуемое сравнение разрешимо.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Поймите, что все слагаемые не сравнимы по модулю p между собой, тогда эту сумму можно записать в более привычном виде. В каком?
Подсказка 1, пункт б
Если отбросить квадраты, то все слагаемые не сравнимы по модулю p. Тогда это сумму можно переписать в более привычном виде.
Подсказка 2, пункт б
Изначальная сумма сравнима с 1^2+2^2+…+(p-1)^2. Сверните сумму по формуле суммы квадратов.
(a)
_________________________________________________________________________________________________________________________________________________________________________________
Первое решение. Сгруппируем слагаемые и немного преобразуем
Так как — простое, то при приведении к общему знаменателю не сократится. Следовательно, числитель делится на
______________________________________________________________________________________________________________________________________________________
Второе решение. Достаточно показать, что сумма по модулю равна нулю. Заметим, что все обратные остатки не сравнимы по модулю тогда
_________________________________________________________________________________________________________________________________________________________________________________
(b) Приведём дробь к общему знаменателю:
Знаменатель полученной дроби взаимно прост с следовательно, достаточно показать, что числитель делится на
Рассмотрим набор чисел
Покажем, что элементы образуют полную систему вычетов по модулю Предположим противное, тогда найдутся два слагаемых с одинаковым остатком:
Все множители взаимно просты с значит можно сократить: но и — два разных остатка при делении на противоречие. Следовательно, числитель сравним по модулю с суммой всех остатков при делении на кроме
Числитель дроби является суммой квадратов всех чисел из Таким образом,
По формуле суммы квадратов первых натуральных чисел имеем
Наконец, следовательно, взаимно просто с что влечет делимость числителя изначальной дроби на
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Докажите, что кратно
Заметим, что
То есть достаточно показать, что вторая скобочка делится на По теореме Вильсона
Видно, что (Вычли из каждой скобочки ). Таким образом,
что и требовалось.
Ошибка.
Попробуйте повторить позже
На доске написаны числа Можно ли выбрать какие-то из них, произведение которых равно
Заметим, что наши числа представляются в виде Давайте теперь посмотрим на наши дроби с точки зрения сравнения по модулю Тогда это будет выглядеть так:
Значит, все дроби сравнимы со по модулю Но теперь, если мы допустим смогли взять чисел, произведение которых равно то снова рассматривая сравнение, понимаем, что выходит противоречие. Произведение остатков девяти чисел будет давать а не сравнимо с по модулю
Нельзя
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Рассмотрим два случая:
1) Тогда решений всего два и
2)
Для начала предположим, что и Тогда или Заметим, что если то верно поэтому и — различные решения.
Теперь будем считать, что то есть обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и взаимно обратны по модулю то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что поэтому решения существуют тогда и только тогда, когда обратим. Отметим, что если все-таки обратим, то и вычет тоже восстанавливается однозначно. Таким образом, система имеет единственное решение, если обратим.
Найдем такие для которых существуют обратимые такие, что необратим. Для этого рассмотрим сравнение Оно эквивалентно сравнению является квадратичным вычетом по модулю По критерию Эйлера, — квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид а во всех остальных случаях является невычетом. Таким образом, задача разбивается на два случая.
- 1.
-
В случае имеется ровно два решения сравнения Таким образом, в качестве в систему можно подставить различных (все кроме решений указанного сравнения и ) и получится различных решения. Вспомним, что еще имеется два решения из поэтому общее число решений —
- 2.
-
В случае сравнение не имеет решений, поэтому можно просто подставлять любое из возможного. Учтем еще 2 решения из случая тогда получится решение.
Если то решений,
если то решений.
если то решения.
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а — такая несократимая дробь, что
Докажите, что делится на
Первое решение. Введём обозначение , для . Тогда рассматриваемое нами выражение равно
где — основной симметрический многочлен степени . Найдём многочлен, корнями которого являются , т. е.
Сделав замену , получим многочлен
Теперь, сделав обратную замену, для получаем
По теореме Виета
поэтому , и, поскольку не кратно , сокращение произойдёт на число, взаимно простое с , т. е. . _______________________________________________________________________________________
Второе решение. Рассмотрим дроби вида , входящие в нашу сумму, как дроби по модулю (значением дроби по модулю , где , считается решение сравнения ; при сложении обыкновенных дробей со знаменателями, не кратными , соответствующие им дроби по модулю также складываются).
Как известно, все числа от 2 до можно разбить на пары в которых . Сложим члены, соответствующие числам и которые составляют такую пару:
(так как ). Складывая таких сумм и оставшиеся три слагаемых, получаем, что искомая сумма сравнима по модулю с что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Для простых чисел нашлись натуральные числа и такие, что делится на Докажите, что делится на или делится на
Подсказка 1
Условие a-b кратно q понятное, а вот q-1 делится на p - нет. Подумайте о том, где такое встречается.
Подсказка 2
Такое встречается при показателях. Попробуйте на языке сравнений сократить число неизвестных, получив более привычный вид.
Подсказка 3
Поделите на b^p. Вы получите, что (a/b)^p сравнимо с 1. Выведите отсюда решение, поймите, где вылазит a-b кратно q.
Если то и тогда делится на Теперь не делится на и
значит, делится на
Ошибка.
Попробуйте повторить позже
Пусть и — натуральные числа. Известно, что каждое из чисел и делится на Докажите, что число также делится на
Подсказка 1
С изначальным условием работать тяжело. Хочется переписать его в другом виде. Как это можно сделать?
Подсказка 2
Перепишите условие и вопрос на языке сравнений. Как подступиться к ab-a-b?
Подсказка 3
Выразите a и b через x и y, подставьте в вопрос задачи. Как воспользоваться третьим условием?
По условию
Аналогично Тогда
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Последовательность определена условиями и при всех натуральных верно Простое число — делитель Докажите, что
Подсказка 1
Утверждение задачи можно переформулировать так: если при k≤ [p∕4]+1 число a_k не кратно p, то не кратны p и все последующие члены последовательности. В такой формулировке удобнее работать со сравнениями. Подумайте, что такое [p∕4]+1.
Подсказка 2
[p∕4]+1 это число похоже на то, что мы какие-то числа разбиваем на четверки. Рассмотрим следующее разбиение остатков на группы. В одной группе окажутся остатки x, y, p-x, p-y, где xy-1 кратно p. Групп ровно столько, сколько нужно. Предположим, что нуля среди остатков не оказалось, значит, есть какие-то 2 остатка из одной группы. Поймите, почему это означает, что нулевой остаток не встретится.
Подсказка 3
Докажите, что если 2 остатка попали в одну группу, то следующие за ними элементы тоже попадут в одну группу. Отсюда поймите, что нуля в последовательности не будет.
Как обычно, мы будем заниматься только нечётными Утверждение задачи можно переформулировать так: если при число не кратно то не кратны и все последующие члены последовательности. Положим Пусть ни одно из чисел не делится на Тогда для каждого такого, что не кратно в частности, для всех существует число такое, что Кроме того, положим
Каждому ненулевому остатку при делении на сопоставим обратный остаток такой, что кратно (легко видеть, что разным соответствуют разные Объединим в одну группу остатки и (очевидно, для остатков и получится та же самая группа). Ясно, что остаток не может совпадать с Есть единственная группа, в которой совпадает с (так как если кратно то на делится или и не более одной группы, в которой совпадает с (так как не более чем для двух число кратно Во всех остальных группах по четыре разных остатка. Таким образом, общее количество групп, на которые мы разбили ненулевые остатки при делении на не превосходит Это значит, что среди чисел есть два, попавших в одну группу.
Докажем, что если два остатка и попали в одну группу, то и тоже в одной группе. Действительно, если — остаток, обратный к то (поскольку не кратны для проверки этого утверждения можно умножить его на получив а затем на получив Понятно, что при замене на обратный остаток не меняется, а при замене на — меняется на
Таким образом, если среди нет то их нет и среди всех дальнейших и, следовательно, никакие не кратны
Ошибка.
Попробуйте повторить позже
Докажите, что для каждого простого числа от до можно выписать в ряд так, что все произведения различны по модулю
Подсказка 1
Строить произвольный пример тяжело. Было бы здорово, если бы он был красивым. Что вам приходит в голову?
Подсказка 2
Решаем на языке сравнений. Сделайте так чтобы произведения последовательно равнялись числам 1, 2, … p-1.
Подсказка 3
Из примера можно посчитать любое a_i. Поймите, что все они различные числа по модулю p.
Рассмотрим Заметим, что значит, все остатки по модулю встретятся. Осталось понять, что все различны. Пусть это не так, тогда
— противоречие.
Ошибка.
Попробуйте повторить позже
В строку выписаны натуральных чисел. Среди любых двух соседних чисел строки правое либо в раз больше левого, либо в раза меньше левого. Может ли сумма всех этих чисел равняться
Пусть строка состоит из чисел в этом порядке. Если число чётно, то следующим за ним может быть число или число эти числа дают одинаковые остатки при делении на Если же нечётно, то В любом случае получаем, что
Таким образом, полагая получаем, что с точки зрения остатков при делении на строка устроена так же, как и строка Сумма всех членов этой новой строки равна В частности, она делится на то есть делится на Поэтому и сумма чисел в исходной строке делится на и она не может равняться
Не может
Ошибка.
Попробуйте повторить позже
Докажите, что если то число — простое.
Предположим, что нашлось составное для которого справедливо сравнение из условия. Ясно, что его можно представить в виде где Заметим, что множители и входят в В таком случае если кратно то тогда должна делиться на и но этого быть не может, пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Пусть —простое. Докажите, что число при
Ясно, что
С помощью этого проделаем следующую цепочку сравнений:
Заметим, что число чётно, поскольку Теперь завершим цепочку сравнений: Что и требовалось.
Ошибка.
Попробуйте повторить позже
Пусть числа и являются простыми числами-близнецами. Докажите, что справедливо делится на
Делимость на очевидна, поскольку первое слагаемое делится на по теореме Вильсона, а второе равно Докажем делимость на Домножим число на (это никак не поможет ему поделиться на ) и найдём его остаток при делении на
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального можно выбрать натуральные числа и простое число так, что делится на для всех натуральных
Подсказка 1
Как строить пример в натуральных числах совсем непонятно. Постройте пример в числах поудобнее.
Подсказка 2
Предлагается простроить пример в рациональных числах(ведь рациональные числа это остатки). Как его построить? Как из него перейти в натуральные числа?
Подсказка 3
Для примера достаточно сделать так, чтобы произведения из условия просто равнялись нужным числам. Осталось выбрать p и перейти к натуральным числам. Как это можно сделать?
Выберем различные положительные рациональные числа так, чтобы
для Пусть Выберем простое число такое, что не делит все и Рассмотрим
— целое число.
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Дано простое число Для каждой перестановки чисел в которой для каждого посчитали остаток от деления числа на Докажите, что перестановок, у которых этот остаток равен 1, столько же, сколько перестановок, у которых он равен
Подсказка 1
В задаче просят доказать, что какие-то множества совпадают, тогда можно поискать биекцию. Еще в задаче есть число 4. Почему именно 4? Возможно, потому что это полный квадрат.
Подсказка 2
Рассмотрим перестановку дающую 1. Давайте запишем две строки. Первая - перестановка из условия, а вторая - числа от 1 до p. Тогда в задаче перемножили строки и сложили. Придумайте, как изменить сумму в 4 раза.
Подсказка 3
Давайте домножим все числа на 2. После чего первую строчку упорядочим, а вторую изменим как и первую, тогда сумма увеличится в 4 раза. Подумайте, почему новые числа удовлетворяют условию. Пока мы сделали в одну сторону, а как сделать в другую?
Нам будет удобнее думать, что — перестановка не чисел, а вычетов по модулю Запишем каждую перестановку в виде двух строк, в каждой из которых расставлены все вычеты. При этом — это вычет во второй строке, над которым в первой строке стоит По условию мы рассматриваем только такие перестановки, в которых ни под одним вычетом не стоит он сам (для краткости назовём их хорошими). В каждой хорошей перестановке умножим все вычеты в обеих строках на При этом снова получится хорошая перестановка (так как при умножении на всех вычетов снова получаются все вычеты по этому модулю, и если то а выражение умножится на Таким образом, мы установили соответствие между хорошими перестановками, у которых вычет этого выражения равен и теми, у которых он равен Поскольку для каждого вычета существует вычет для которого наша операция обратима, а соответствие взаимно-однозначно, откуда и следует, что перестановок двух требуемых видов поровну.
Ошибка.
Попробуйте повторить позже
Теорема Вильсона. Пусть — некоторое простое число. Докажите, что
Рассмотрим две такие ПрСВ: [1, 2, ..., ] и [, , ..., ]. Заметим такой интересный факт, что во втором ПрСВ есть ровно
одно число, которое дает остаток 1 при делении на , то есть существует ровно один такой остаток , что (mod ). Остаток
называют обратным к .
Давайте подумаем может ли так случиться, что , то есть (mod ). Если так произошло, то
делится на . Значит либо , либо делится на , так как - простое. Тогда либо , либо (mod ).
(Тут важно, что — простое, так как если было бы равно 8, то могло бы быть равно 5)
Теперь все остатки, кроме 1 и , разделим на пары (a, b) такие, что (mod ) и .
(mod ), так как в каждой паре произведение сравнимо с 1.
Пример:
; ; ; ; Поэтому
Замечание. В задачах применяется не только сама теорема Вильсона, но и факт о том, что у каждого остатка по модулю есть
обратный.