Остатки и сравнения по модулю → .04 Функция Эйлера и теорема Эйлера из ТЧ
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пусть — такое нечётное число, что число
является степенью двойки. Докажите, что
— тоже степень
двойки.
Подсказка 1
Нетрудно заметить, что любой примарный сомножитель в разложении n имеет вид 2^(2^k)+1(почему это так?). То есть задача сводится к рассмотрению чисел такого вида. Что вы можете про них сказать? Что вы можете сказать про эти числа по модулю чисел такого же вида?
Подсказка 2
Рассмотрите наименьшее число вида 2^(2^k)+1, на которое не делится n(n+1). А что делать дальше? Вообще у нас задача по теории чисел, поэтому нужно писать какие-то сравнения и изучать степени вхождения простых, причем задача намекает, что изучать нужно именно вхождения двойки. Пишите много сравнений и неравенств, может что выйдет))
Так как функция Эйлера мультипликативна, то если — это примарный сомножитель в разложении
то
является
степенью двойки, что возможно только в двух случаях:
или
Легко видеть, что если
не является степенью двойки, то
не простое. Поэтому любой примарный сомножитель это либо степень двойки, либо одно простое число Ферма, то есть простое вида
Положим (отметим, что не все из них простые). Так как
и
взаимно просты, то функция Эйлера от каждого
из них является степенью двойки. Пусть
где и
— простые числа Ферма. Заметим, что
поэтому любое число Ферма больше произведения всех меньших.
Среди различных чисел и
выберем наибольшее, пусть это
Если оно в разложении числа
то очевидно, что
будет сильно больше числа
Значит, оно в разложении числа
Пусть
делится на
но не делится на
(возможно,
Рассмотрим числа и
по модулю
Все числа Ферма, которые есть в разложении, кроме
дают остаток
от деления на
дает остаток
от деления на
Тогда
с одной стороны дает остаток такой же, как
а с
другой стороны —
Значит,
Тогда а число
делится на
и на
Если
то
и, следовательно, число
— степень двойки. Покажем, что случай
невозможен. В этом случае число
делится на
и на
Пусть
Тогда
— противоречие.
Пусть Тогда
а
Если
— произведение всех чисел Ферма, меньших
то
а
откуда
и
что запрещено условием. В противном случае
— снова противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для натурального числа найдется такое натуральное число
что
делится на
Для подходит
далее считаем
Пусть
Будем искать, такое
что
Пусть
не делится на
не делится на
Покажем, что
кратные
подходят.
Сделаем оценку на рассмотрев
по модулю
при
так как по модулю
принимает только значения
Отдельно рассмотрим случай
Получаем, что Тогда для любого
имеем:
Из тогда по теореме Эйлера имеем:
для всех кратных
Из данных двух сравнений следует, что:
Сделаем оценку на
Тогда аналогично получаем, что:
для всех Аналогично случаю для
по теореме Эйлера:
для кратных
Тогда подходит
Ошибка.
Попробуйте повторить позже
Теорема Эйлера. Для любого числа и взаимно простого с
числа
верно, что
(mod
)
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю
.
Тогда рассмотрим две такие ПрСВ: [,
, ...,
] (это любая ПрСВ по модулю
) и [
,
, ...,
] (То, что написано
справа - это
ПрСВ) и перемножим в каждой все числа. Получаем, что:
(mod
) или
(mod
).
Теперь перепишем это сравнение через разность, то есть делится на
.
Из-за того, что НОД(,
) = 1, то отсюда следует, что
делится на
или
(mod
)