Обратные остатки
Ошибка.
Попробуйте повторить позже
Дано простое число Для каждого натурального
рассмотрим выражение
Оказалось, что ровно
из
них делится на
Найдите все возможные значения
Пусть рассмотрим обратный вычет
(он существует, так как
и
) и выражение
но по условию такое число одно, получаем, что
Пусть тогда
проведем проверку, что для
неверно
Пусть тогда
что невозможно при любом
Ошибка.
Попробуйте повторить позже
Даны натуральные числа
и
такие, что
и
делятся на
Докажите, что тогда и
тоже
делится на
Так как это простое число, то у всех ненулевых вычетов есть обратный. Тогда
поэтому перейдём к
обратному остатку
Аналогично взаимно просто с
откуда
Тогда то, что нам нужно доказать, действительно, верно
Ошибка.
Попробуйте повторить позже
Пусть — простое число, большее
Докажите, что существует такая перестановка
чисел
что
Пусть Условие перепишется следующим образом:
Заметим, что
тогда
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и
Докажите, что
Заметим, что
Тогда, в силу теоремы Вильсона, имеем
Ошибка.
Попробуйте повторить позже
Натуральные числа не делящиеся на простое число
таковы, что
делится на
Докажите, что существуют
натуральные числа
и
не делящиеся на
такие, что
делится на
Запишем условие в виде сравнения
Так как по условию, то по модулю
существует обратный элемент для
Обозначим его
Очевидно, что
Тогда можно умножить исходное сравнение на
получится
Возьмем и
таким образом, требуемое сравнение разрешимо.
Ошибка.
Попробуйте повторить позже
(a)
_________________________________________________________________________________________________________________________________________________________________________________
Первое решение. Сгруппируем слагаемые и немного преобразуем
Так как — простое, то при приведении к общему знаменателю
не сократится. Следовательно, числитель делится на
______________________________________________________________________________________________________________________________________________________
Второе решение. Достаточно показать, что сумма по модулю равна нулю. Заметим, что все обратные остатки не сравнимы по
модулю
тогда
_________________________________________________________________________________________________________________________________________________________________________________
(b) Приведём дробь к общему знаменателю:
Знаменатель полученной дроби взаимно прост с следовательно, достаточно показать, что числитель делится на
Рассмотрим набор чисел
Покажем, что элементы образуют полную систему вычетов по модулю Предположим противное, тогда найдутся два слагаемых с
одинаковым остатком:
Все множители взаимно просты с значит можно сократить:
но
и
— два разных остатка при делении на
противоречие. Следовательно, числитель сравним по модулю
с суммой всех остатков при делении на
кроме
Числитель дроби является суммой квадратов всех чисел из Таким образом,
По формуле суммы квадратов первых натуральных чисел имеем
Наконец, следовательно,
взаимно просто с
что влечет делимость числителя изначальной дроби на
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Докажите, что
кратно
Заметим, что
То есть достаточно показать, что вторая скобочка делится на По теореме Вильсона
Видно, что (Вычли из каждой скобочки
). Таким образом,
что и требовалось.
Ошибка.
Попробуйте повторить позже
На доске написаны числа Можно ли выбрать какие-то
из них, произведение которых равно
Заметим, что наши числа представляются в виде Давайте теперь посмотрим на наши дроби с точки зрения сравнения по модулю
Тогда это будет выглядеть так:
Значит, все дроби сравнимы со по модулю
Но теперь, если мы допустим смогли взять
чисел, произведение которых равно
то снова рассматривая сравнение, понимаем, что выходит противоречие. Произведение остатков девяти чисел будет давать
а
не
сравнимо с
по модулю
Нельзя
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Рассмотрим два случая:
1) Тогда решений всего два
и
2)
Для начала предположим, что и
Тогда
или
Заметим, что если
то верно
поэтому
и
— различные решения.
Теперь будем считать, что то есть
обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и
взаимно обратны по модулю
то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что
поэтому решения существуют тогда и только тогда, когда
обратим. Отметим, что если
все-таки обратим, то
и вычет
тоже восстанавливается однозначно.
Таким образом, система имеет единственное решение, если
обратим.
Найдем такие для которых существуют обратимые
такие, что
необратим. Для этого рассмотрим сравнение
Оно эквивалентно сравнению
является квадратичным вычетом по модулю
По критерию Эйлера,
— квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид
а во всех остальных случаях
является невычетом. Таким образом,
задача разбивается на два случая.
- 1.
-
В случае
имеется ровно два решения сравнения
Таким образом, в качестве
в систему можно подставить
различных
(все кроме решений указанного сравнения и
) и получится
различных решения. Вспомним, что еще имеется два решения из
поэтому общее число решений —
- 2.
-
В случае
сравнение
не имеет решений, поэтому можно просто подставлять любое
из
возможного. Учтем еще 2 решения из случая
тогда получится
решение.
Если то
решений,
если то
решений.
если то
решения.
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а
— такая несократимая дробь, что
Докажите, что делится на
Первое решение. Введём обозначение , для
. Тогда рассматриваемое нами выражение равно
где — основной симметрический многочлен степени
. Найдём многочлен, корнями которого являются
, т. е.
Сделав замену , получим многочлен
Теперь, сделав обратную замену, для получаем
По теореме Виета
поэтому , и, поскольку
не кратно
, сокращение произойдёт на число, взаимно простое с
, т. е.
.
_______________________________________________________________________________________
Второе решение. Рассмотрим дроби вида , входящие в нашу сумму, как дроби по модулю
(значением дроби
по модулю
, где
, считается решение сравнения
; при сложении обыкновенных дробей со знаменателями, не кратными
,
соответствующие им дроби по модулю также складываются).
Как известно, все числа от 2 до можно разбить на пары
в которых
. Сложим члены, соответствующие
числам
и
которые составляют такую пару:
(так как ). Складывая
таких сумм и оставшиеся три слагаемых, получаем, что искомая сумма сравнима по
модулю
с
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Для простых чисел нашлись натуральные числа
и
такие, что
делится на
Докажите, что
делится на
или
делится на
Если то и
тогда
делится на
Теперь
не делится на
и
значит, делится на
Ошибка.
Попробуйте повторить позже
Пусть и
— натуральные числа. Известно, что каждое из чисел
и
делится на
Докажите, что число
также делится на
По условию
Аналогично Тогда
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Последовательность определена условиями
и при всех натуральных
верно
Простое число
— делитель
Докажите, что
Как обычно, мы будем заниматься только нечётными Утверждение задачи можно переформулировать так: если при
число
не кратно
то не кратны
и все последующие члены последовательности. Положим
Пусть ни одно из чисел
не делится на
Тогда для каждого
такого, что
не кратно
в частности, для всех
существует число
такое, что
Кроме того, положим
Каждому ненулевому остатку при делении на
сопоставим обратный остаток
такой, что
кратно
(легко видеть, что
разным
соответствуют разные
Объединим в одну группу остатки
и
(очевидно, для остатков
и
получится та же самая группа). Ясно, что остаток
не может совпадать с
Есть единственная
группа, в которой
совпадает с
(так как если
кратно
то на
делится
или
и не более одной
группы, в которой
совпадает с
(так как не более чем для двух
число
кратно
Во всех остальных
группах по четыре разных остатка. Таким образом, общее количество групп, на которые мы разбили ненулевые остатки
при делении на
не превосходит
Это значит, что среди чисел
есть два, попавших в одну
группу.
Докажем, что если два остатка и
попали в одну группу, то
и
тоже в одной группе. Действительно,
если
— остаток, обратный к
то
(поскольку
не кратны
для проверки
этого утверждения можно умножить его на
получив
а затем на
получив
Понятно, что при замене
на обратный остаток
не меняется, а при замене на
—
меняется на
Таким образом, если среди нет
то их нет и среди всех дальнейших
и, следовательно, никакие
не кратны
Ошибка.
Попробуйте повторить позже
Докажите, что для каждого простого числа от
до
можно выписать в ряд
так, что все произведения
различны по модулю
Рассмотрим Заметим, что
значит, все остатки по модулю
встретятся. Осталось
понять, что все
различны. Пусть это не так, тогда
— противоречие.
Ошибка.
Попробуйте повторить позже
В строку выписаны натуральных чисел. Среди любых двух соседних чисел строки правое либо в
раз больше левого, либо в
раза
меньше левого. Может ли сумма всех этих
чисел равняться
Пусть строка состоит из чисел в этом порядке. Если число
чётно, то следующим за ним может быть число
или
число
эти числа дают одинаковые остатки при делении на
Если же
нечётно, то
В любом случае получаем, что
Таким образом, полагая получаем, что с точки зрения остатков при делении на
строка устроена так же, как
и строка
Сумма всех членов этой новой строки равна
В частности, она делится на
то есть делится на
Поэтому и сумма чисел в исходной строке делится на
и она не может равняться
Не может
Ошибка.
Попробуйте повторить позже
Докажите, что если то число
— простое.
Предположим, что нашлось составное для которого справедливо сравнение из условия. Ясно, что его можно представить в виде
где
Заметим, что множители
и
входят в
В таком случае если
кратно
то тогда
должна
делиться на
и
но этого быть не может, пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Пусть —простое. Докажите, что число
при
Ясно, что
С помощью этого проделаем следующую цепочку сравнений:
Заметим, что число чётно, поскольку
Теперь завершим цепочку сравнений:
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Пусть числа и
являются простыми числами-близнецами. Докажите, что справедливо
делится на
Делимость на очевидна, поскольку первое слагаемое делится на
по теореме Вильсона, а второе равно
Докажем делимость на
Домножим число на
(это никак не поможет ему поделиться на
) и найдём его остаток при делении на
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Пусть и
— взаимно простые положительные целые числа, большие
Положим
и, для
если
и
иначе. Найдите наибольшее натуральное
для которого существует
такое, что
Очевидно, что взаимно просто с
По индукции и тому факту, что в последовательности может быть не более
последовательных возрастающих членов, также следует, что
если
и что
если
или
Это
дает верхнюю оценку на показатель степени.
Это означает, что последовательность (в конечном итоге) периодическая, и что как возрастающие, так и убывающие шаги происходят
бесконечно много раз. Пусть будет обратным остатком к
по модулю
Последовательность содержит элементы, сравнимые с
по модулю
Пусть будет первым элементом таким, что
Мы имеем либо
либо
в обоих случаях
и, следовательно,
В этом множестве ни один из элементов не делится на поэтому будет член последовательности равный
через
шаг.
такое, что
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального можно выбрать натуральные числа
и простое число
так, что
делится на
для всех натуральных
Выберем различные положительные рациональные числа так, чтобы
для Пусть
Выберем простое число
такое, что
не делит все
и
Рассмотрим
— целое число.
Что и требовалось.