Остатки и сравнения по модулю
Ошибка.
Попробуйте повторить позже
Пусть — нечётное, большее единицы число и
— его разложение на простые множители (среди
могут быть
равные). Тогда для произвольного целого числа
символ Якоби определяется равенством:
где — символы Лежандра. По определению считаем
для всех
Докажите, обобщённый квадратичный закон взаимности:
если
— взаимно простые нечётные числа, то
Сначала проверим случай, когда одно из чисел Пусть
Тогда
То есть действительно всё
сходится.
Теперь пусть и
Из взаимной простоты следует, что
Мультипликативность символа Якоби
следует из определения и мультипликативности символа Лежандра:
Тогда
По квадратичному закону взаимности для простых чисел получаем, что
Значениие степени зависит от чётности показателя, то есть нам нужно доказать, что
Для нечётных заметим, что
(можно явно проверить, рассмотрев остатки по модулю
при равных
остатках с обеих сторон получится
при различных остатках —
Тогда заметим, что в сумме можно вынести
за второй индекс
суммирования:
из нашего тождества. Теперь общий множитель можно тоже вынести:
снова по тождеству. То есть у нас получилось в точности то, что и требовалось доказать:
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а
— натуральные числа. Оказалось, что
Докажите, что
Пока будем считать, что Пусть
— простой общий делитель чисел
и
Тогда
и
(
Теперь
посмотрим на степень вхождения
в нашем равенстве. Мы получаем, что
а значит,
Следовательно, достаточно доказать задачу для где
Предположим, что
имеет простой множитель
Тогда
и
по отдельности на
не делятся. Тогда по лемме об уточнении показателя получаем
поэтому что неверно. Пусть
а значит,
и
(
Мы разобрали случай, когда у
есть нечётный простой делитель, поэтому можно считать, что
и
Следовательно, из нашего
равенства мы получаем, что
где
— какое-то число. Тогда мы знаем, что
После
раскрытия скобок получаем, что степень вхождения двойки справа равна
а слева равна
Значит,
Так как
то
а значит,
и аналогично
то есть
Тогда из условия сразу следует, что
Если же то мы получаем
Заметим, что
в силу того, что
и
А значит,
левая часть нашего равенства при
точно больше правой. То есть
тоже равно двум.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и простые
такие, что
Предположим, что нечетное. Тогда правая часть делится на
откуда
или
В первом случае получаем, что Тогда
является квадратичным вычетом по модулю
а
— не является, откуда
является квадратичным невычетом по модулю
но
откуда получаем противоречие.
Во втором случае получаем, что делится на
откуда
Тогда имеем уравнение
Заметим, что
откуда
По лемме об уточнении показателя получаем, что
откуда То есть
что возможно только при
и
Разберем случай четного Пусть
то есть
Заметим, что
делит
откуда
Заметим, что при
откуда
Тогда
Тогда
С другой стороны
откуда
Заметим, что а
откуда следует, что
то есть
делится на
Тогда
Посмотрим на наше равенство по модулю
Имеем
откуда
— четное. Тогда из только что полученного
равенства на степени вхождения следует, что
То есть число не может делиться на
Значит,
откуда
Тогда имеем уравнение
Заметим, что при
Если то
— нет решений.
Если то
откуда
Вернемся к исходному уравнению
Посмотрев по модулю получаем
Далее
Но по лемме об уточнении показателя
откуда что не может быть правдой. Значит,
Ошибка.
Попробуйте повторить позже
Дано простое число Для каждого натурального
рассмотрим выражение
Оказалось, что ровно
из
них делится на
Найдите все возможные значения
Пусть рассмотрим обратный вычет
(он существует, так как
и
) и выражение
но по условию такое число одно, получаем, что
Пусть тогда
проведем проверку, что для
неверно
Пусть тогда
что невозможно при любом
Ошибка.
Попробуйте повторить позже
Даны натуральные числа
и
такие, что
и
делятся на
Докажите, что тогда и
тоже
делится на
Так как это простое число, то у всех ненулевых вычетов есть обратный. Тогда
поэтому перейдём к
обратному остатку
Аналогично взаимно просто с
откуда
Тогда то, что нам нужно доказать, действительно, верно
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует бесконечно много натуральных
таких, что
делится на
По малой теореме Ферма: если Тогда
то есть
значит, надо найти одно такое, что
Рассмотрим пусть оно и ненатуральное, последующие будут натуральными:
Ошибка.
Попробуйте повторить позже
Пусть — простое число, большее
Докажите, что существует такая перестановка
чисел
что
Пусть Условие перепишется следующим образом:
Заметим, что
тогда
Ошибка.
Попробуйте повторить позже
Для каждого натурального определим число
равное количеству целых чисел
взаимно простых с
Найти
Источники:
Пусть где
— различные простые числа,
— их (натуральные) кратности. Количество чисел, не
больших
делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
И наконец, количество чисел, делящихся на
Общее количество чисел, не взаимно простых с по формуле включений-исключений равно
Тогда
Таким образом, при имеем
1160
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число
. Докажите, что есть сто идущих подряд чисел,
каждое из которых имеет общий делитель с
больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа
(Количество чисел от
до
взаимно простых с
) Тогда для любого натурального числа
справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если
то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить
в
знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до
взаимно простых с
меньше
Рассмотрим два случая: делится на
и
не делится на
1. Число делится на
Тогда можно разбить числа от
до
на
групп по
идущих подряд чисел. Если
количество чисел от
до
взаимно простых с
меньше
, то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на
Тогда среди чисел
до
можно выделить
групп по
идущих подряд чисел. Если в каждой
группе будет число взаимно простое с
, то чисел взаимно простых с
хотя бы
(
тоже взаимно проста с
). Это
противоречит тому, что количество чисел от
до
взаимно простых с
меньше
Ошибка.
Попробуйте повторить позже
Даны взаимно простые числа и
Докажите, что для любого нечетного делителя
числа
число
делится на
Пусть — нечетный делитель числа
В силу взаимной простоты чисел
и
будет также верно, что
взаимно просто с
и
Тогда по модулю числа
остатки
будут обратимы.
Пусть — такое число, что
Тогда
Тогда то есть число
имеет показатель по модулю
равный
(так как
означает, что
делится
на показатель, но
говорит о том, что меньшие степени двойки не будут показателем)
Если — простое, то
и тогда
делится на показатель. Если
составное, то оно раскладывается, как
при этом предыдущие равенства можно рассмотреть по модулю
тогда
для всех простых делителей
числа
Тогда
то есть
Ошибка.
Попробуйте повторить позже
Дано -значное число
и произвольное натуральное число
Докажите, что найдется такое не более чем
-значное число
натуральное число
что любое число вида
— составное.
Источники:
Из признака делимости на (необходимо рассмотреть знакочередующуюся сумму блоков по
цифре с конца) следует, что
числа в которых количество
в записи отличается на четное число имеют одинаковые остатки при делении на
Заметим, что а еще по лемме об уточнении показателя
не делится на
поэтому у
есть простой
делитель
отличный от
Достаточно сделать так, чтобы и
делились на
и на
соответственно. Такое
существует и не превосходит
по китайской теореме об остатках.
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с
числа
верно, что
(mod
)
Первое решение.
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю
.
Тогда рассмотрим две такие ПрСВ: [1, 2, ..., ] и [
,
, ...,
] (То, что написано справа - это
ПрСВ) и перемножим в
каждой все числа.
Получаем, что (mod
) или
(mod
). Теперь перепишем это через
разность, то есть
делится на
. Из-за того, что НОД(
,
) = 1 следует, что
делится на
или
(mod
)
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Зафиксируем простое число Проверим базу индукции:
Тогда действительно
— делится на
Пусть
делится на
Докажем, что
делится на
Докажем, что для
число
делится на
Действительно,
В каждом из факториалов
и
все сомножители меньше
а потому взаимно просты
с
Тогда, поскольку
делится на
то и
делится на
Благодаря этому утверждению и биному Ньютона,
получаем
По предположению индукции чтд.
Ошибка.
Попробуйте повторить позже
Докажите, что натуральные числа можно расставить по кругу так, чтобы для любых трех подряд идущих по часовой стрелке
чисел
число
делилось на
Будем воспринимать наши числа как
где
— первообразный корень и будем их расставлять по кругу, так
как нас интересует значения чисел лишь по модулю
Расставим их по кругу так
Для чисел
очевидно,
что
делится на
поэтому наша конструкция подходит для всех чисел не на стыке. На стыке все тоже хорошо, так как
числа
и
можно представить, как
и
Ошибка.
Попробуйте повторить позже
При каких натуральных существуют натуральное
и простое
для которых
При левая часть равна
так что подходит и
Пусть теперь
нечётно. Тогда
По лемме об
уточнении показателя для модуля
Значит, при выражение делится на
но не на
и
Если же
то выражение делится на
но не на
а
значит,
Таким образом, мы убедились, что решения существуют только при
Ошибка.
Попробуйте повторить позже
Докажите, что не существует натурального такого, что число
представимо в виде произведения
последовательных
натуральных чисел.
Предположим противное. Пусть искомое число существует. Произведение
натуральных чисел кратно
следовательно
нечетно, а
значит
кратно
аналогично
кратно
В силу LTE, с другой стороны, произведение 50 натуральных чисел кратно
но в
силу теоремы Лежандра
следовательно, Аналогично,
Таким образом, то есть
тем самым получено противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует натуральное
такое, что
делится на
Решение 1.
Лемма. Для любого натурального найдётся натуральное
такое что
Доказательство. Индукция по База индукции:
Годится
Переход индукции. Если
то
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Утверждение задачи тоже доказываем индукцией по База:
делится на
. Переход. Пусть
делится на
Хотим добиться делимости на
Пусть
таково, что
Можем считать, что
не делится на
а также что
Тогда рассмотрим разность
Так как оба числа и
делятся на
и не делятся на
то
делится на
______________________________________________________________________________________________________________________________________________________
Решение 2.
Покажем, что является показателем числа
по модулю
(при условии
Этот показатель является делителем числа
т.е. является степенью двойки. Но при любом натуральном
верно
Значит, показатель в самом
деле равен
Таким образом, степени числа пробегают ровно четверть всевозможных остатков по модулю
Но по модулю
эти степени
могут давать лишь остатки
и
а значит, степени числа
пробегают все остатки по модулю
дающие
или
по модулю
В
частности, остаток
тоже пробегают.
Ошибка.
Попробуйте повторить позже
Известно, что при всех натуральных число
является точным кубом. Докажите, что
Выберем какое-нибудь нечётное Тогда
Рассмотрим разность
Предположим, что она
делится на какое-нибудь простое
Тогда по LTE
Заметим теперь, что при
или
эта
сумма не делится на
а значит, число не является кубом. Значит, предположение было ошибочным, и
Выберем
Предыдущее рассуждение можно применить к числу
вместо
и оно сработает, если
Осталось рассмотреть случай, когда
Заметим, что
Значит, число
(очевидно, нечётное), должно быть степенью
двойки, то есть равняться единице.
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что
простое тогда и только тогда, когда
делит
Докажем, что если — простое, то
делится на
Заметим, что
то есть
не является квадратичным
вычетом по модулю
Тогда
из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что
и
взаимно просты (
), поэтому определено
понятие показателя
по модулю
Рассмотрим показатель
числа
по модулю
Из
получаем
откуда
делится на
то есть
является степенью двойки. С другой стороны из первого сравнения получаем
откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку
– составное, то
Получается, что
но
причем
– натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Пусть — простое число,
и
— натуральные числа такие, что
Каким может быть количество натуральных делителей
числа
При уравнение имеет вид
и не имеет решений в натуральных числах, следовательно,
нечетно.
Если является нечетным, то число
так же нечетно, что невозможно, следовательно кратно
Предположим, что кратно
Степень вхождения
в правую часть равна
что, в силу LTE для числа
равно
следовательно,
а значит
С другой стороны,
что влечет противоречие.
Таким образом, дает остаток
при делении на
— четно. Тогда
то есть
кратно
а значит, в силу
LTE,
то есть степень вхождения 2 в левую часть исходного уравнения что не превосходит
Таким образом, верна серия неравенств
При верны неравенства
и
сложив которые получим противоречие.
Если то уравнение имеет вид
В случае, если является составным (обозначим его произвольный делитель за
), имеем
кратно что невозможно в силу простоты
а значит
— так же простое число.
При уравнение
имеет решение, количество делителей числа
равно
Если то число делителей числа
равно
(делителями являются числа
и
).
или
Ошибка.
Попробуйте повторить позже
Пусть — простое число, и
Докажите, что
Заметим, что
Тогда, в силу теоремы Вильсона, имеем