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