Малая теорема Ферма
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с числа верно, что (mod )
Подсказка 1
Попробуем доказать по индукции, что a^p - a делится на р. База a=1 очевидна. Как сделать переход от а к а+1?
Подсказка 2
Что мы можем сказать про делимость на p для биномиальных коэффициентов в выражении (а+1)^p?
Подсказка 3
p!/(k!(p-k)!) делится на р для всех k кроме 0 и р, поскольку числитель делится на р, а знаменатель - нет. Что тогда останется, если смотреть на выражение по модулю p?
Первое решение.
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю .
Тогда рассмотрим две такие ПрСВ: [1, 2, ..., ] и [, , ..., ] (То, что написано справа - это ПрСВ) и перемножим в
каждой все числа.
Получаем, что (mod ) или (mod ). Теперь перепишем это через
разность, то есть делится на . Из-за того, что НОД(, ) = 1 следует, что
делится на или (mod )
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
Зафиксируем простое число Проверим базу индукции: Тогда действительно — делится на Пусть делится на Докажем, что делится на Докажем, что для число делится на Действительно, В каждом из факториалов и все сомножители меньше а потому взаимно просты с Тогда, поскольку делится на то и делится на Благодаря этому утверждению и биному Ньютона, получаем
По предположению индукции чтд.
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Сколько существует перестановок чисел таких, что числа дают различные остатки по модулю
Подсказка 1
Покажем, что таких перестановок не существует (иначе их количество считать сложно, потому что мы не понимаем как устроены остатки произвольных чисел, по произвольному модулю). Остается надеяться, что мы сможем найти какое-либо противоречие, смотря на те степени, с которыми мы умеем работать.
Подсказка 2
Одним из таких является модуль p-1. Ясно, что существует число r такое, что a_r=p-1. Чему равно r^{a_r}?
Подсказка 3
По малой теореме Ферма r^{a_r}=r^{p-1} дает остаток 1 по модулю p. Чему может быть равно r?
Подсказка 4
Назовем S множество остатков чисел i^{a_i} для всех i от 1 до n-1. Предположим, что r не равно 1, но тогда 1^{a_1} сравнимо 1 и тогда в S нашлось сразу 2 единички. Теперь давайте посмотрим на то, чему может быть равен остаток числа (p-1)^{p-1}.
Подсказка 5
(p-1)^{a_{p-1}} сравнимо с (-1)^{a_{p-1}}, следовательно остаток равен числу 1 или -1. Первое из них уже занято, следовательно, остаток равен -1. Что это говорит о числе a_{p-1}?
Подсказка 6
Оно нечетное. Теперь мы поняли, что остатки 1 и -1 соответствуют числам 1 и p-1 в S. Если бы нам удалось найти четную степень, по которому все числа давали остатки равные 1 или -1, то мы бы нашли противоречие. Что это за остаток?
Подсказка 7
Это (p-1)/2. Докажите, что для любого a, не кратного p, число a^{(p-1)/2} сравнимо с 1 или -1.
Покажем, что таких перестановок не существует. Предположим противное. Тогда множество образуют приведённую систему вычетов по модулю
Найдем индекс такой, что Тогда, по малой теореме Ферма, для любого верно, что
Если то, поскольку в встретится две что невозможно, следовательно,
Как следствие, не может быть сравнимо с а поскольку
верно, что и нечетно.
Найдем индекс такой, что Во-первых, заметим, что не может быть сравнимо с поскольку четно и не совпадает c Во-вторых, не может быть сравнимо с поскольку Наконец, как известно, тем самым получено противоречие.
таких перестановок не существует
Ошибка.
Попробуйте повторить позже
В криптосистеме RSA (знания алгоритма шифрования не требуется для решения задачи) элементы надёжности определяются несколькими параметрами. В частности, выбором числа , где — различные нечётные простые числа, и значением
Известна следующая теорема (малая теорема Ферма): если — простое число, — целое число, не делящееся на , то
Используя это:
a) докажите, что
для всех .
b) найдите и , если известно, что
для всех
Источники:
Пункт а, подсказка
Возведите сравнение aᵖ⁻¹ ≡ 1 (mod p) в нужные степени, и, совместив два сравнения, получите искомое.
Пункт б, подсказка
Мы знаем сравнение из пункта a, тогда хочется, чтобы 21240913 было равно φ(N) / 2 + 1. Давайте предположим это и найдём такие p и q, нужно только решить систему от двух переменных.
a) из условия задачи и равенства следует
для любого натурального . Тогда при получим
Аналогично
Так как - простые числа, то из этих полученных выше равенств следует
b) из доказанного в пункте (а) получим а отсюда систему
Решением в нечётных простых числах является неупорядоченная пара
b)
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число, не делящееся на Докажите, что одно из чисел делится на
Подсказка 1
Чтобы доказать, что одно из чисел делится на простое число 17, давайте покажем, что произведение данных чисел делится на 17.
Подсказка 2
Чему будет равно произведение всех этих чисел? Как нам это посчитать?
Подсказка 3
Давайте свернём произведение чисел в разность квадратов. Тогда какое число получится в итоге?
Подсказка 4
Получится (а¹⁶-1). Осталось лишь воспользоваться малой теоремой Ферма!
По малой теореме Ферма делится на то есть
делится на в силу простоты, одна из скобок должна делиться на
Ошибка.
Попробуйте повторить позже
Подсказка 1
Вычисления таких больших выражений нам явно не под силу, а знаем ли мы какой-то факт про выражения подобного вида?
Подсказка 2
Можно ли здесь применить малую теорему Ферма?
Подсказка 3
По малой теореме Ферма a^(p-1) ≡ 1 (mod p). Аналогично, (a^(p-1))^k ≡ 1 (mod p).
Заметим, что — простое число. В пункте (a) по малой теореме Ферма Для пункта (b) по малой теореме Ферма сначала получим, что Тогда Чтобы решить пункт (c), сначала отметим, что из малой теоремы Ферма следует, что Заметим, что Тогда Таким образом, имеем
(a) (b) (c)
Ошибка.
Попробуйте повторить позже
Число Кармайкла. Докажите, что делится на для любого целого
Подсказка 1
561 не является простым числом, а как можно доказать делимость, зная разложение на простые множители?
Подсказка 2
Заметим, что 561 = 3*11*17. Достаточно доказать делимость a⁵⁶¹ - a на каждый из простых множителей.
Разложим на множители: Необходимо и достаточно доказать делимость на Делимость на по малой теореме Ферма но тогда Делимость на по малой теореме Ферма Тогда аналогичным образом случаю делимости на легко получить, что Теперь снова по малой теореме Ферма получаем, что Аналогично случаю делимости на легко проверить, что так как
Ошибка.
Попробуйте повторить позже
Натуральное число не делится на Докажите, что либо либо делится на
Подсказка 1
Если произведение a*b делится на простое p, то что можно сказать про делимость на р по отдельности?
Подсказка 2
Или а делится на р, или b делится на р. Как можно применить такое свойство делимости произведения в задаче?
По малой теореме Ферма делится на Поскольку и в силу простоты числа получаем, что одно из чисел или делится на
Ошибка.
Попробуйте повторить позже
Пусть и — различные простые числа. Докажите, что
Подсказка 1
Какой способ позволяет нам доказывать делимость на произведение?
Подсказка 2
Достаточно доказать делимость отдельно на p и на q.
Подсказка 3
Что будет, если рассмотреть выражение по модулю р?
Докажем, что делится на и тогда задача будет решена. Поскольку и в силу малой теоремы Ферма имеем Аналогично доказывается делимость на
Ошибка.
Попробуйте повторить позже
Натуральные числа вида (десятичная запись состоит из единиц) будем обозначать Докажите, что существует такое натуральное число что делится на 41 тогда и только тогда, когда делится на
Источники:
Подсказка 1
Сложно анализировать число только из единиц, т.к. сложно разобрать даже его делители...тогда было бы по хорошему его как-то преобразовать в более приятный вид. И подумаем над вопросом: "А откуда тут вообще 41? Почему не 42, например?"
Подсказка 2
Число, состоящее из единиц, можно записать как (10^n - 1)/9. А использовать 41 хочется только как простое число... Выходит, что (10^n - 1)/9 должно делиться на 41. Когда это возможно?
Подсказка 3
Когда 10^n - 1 делится на 41. Хмм, 41 простое... Какая известная теорема может помочь нам в нахождении хотя бы одного n, удовлетворяющему предыдущему предложению?
Подсказка 4
Малая теорема Ферма утверждает, что при n = 40 10^40 - 1 делится на 41. Теперь хочется как-то найти k из условия... а на что должно делиться n, чтобы 10^n - 1 делилось на 41? Мы не можем найти все такие случаи, но может попробовать найти хотя бы одного такое k и доказать, что утверждение работает в обе стороны.
Подсказка 5
Рассмотрим все такие d, что 10^d - 1 делится на 41 и выберем среди них наименьшее m. Докажем, что если n делится на m, то 10^n - 1 делится на 10^m - 1, а, значит, и на 41. Если это получится, то у нас найдено k, но условие "тогда и только тогда" пока не доказано. Теперь попробуем доказать, что если 10^n - 1 кратно 41, то n кратно m.
Подсказка 6
Мы взяли m наименьшим, т.к. обычно это помогает в поиске противоречий. Для того чтобы доказать утверждение из подсказки 5, попробуем найти НОД(10^n - 1, 10^m - 1).
Подсказка 7
В процессе поиска c помощью алгоритма Евклида можно заметить, что у нас в конце концов появится 10^(НОД(m, n)) - 1. Предположим, что n не делится на m, тогда НОД(n, m) < m. Осталось лишь найти противоречие с тем, что m - наименьшее взятое число из набора.
Заметим, что
Так как числа и взаимно просты, то кратно тогда и только тогда, когда кратно Поскольку — простое, согласно малой теореме Ферма
Рассмотрим все натуральные при которых кратно наименьшее такое обозначим за
Если делится на то
Значит, делится на а значит, и на что и требовалось.
В обратную сторону: если кратно то рассмотрим Воспользуемся алгоритмом Евклида, т.е. свойством НОД
Теперь
Повторяя эти действия, убеждаемся, что в конце получается число
Если не делится на то
Значит, — не минимальное натуральное число, при котором кратно — противоречие. Значит, кратно что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Доказать, что для любого целого не кратного существует такое, что
Рассмотрим сначала Тогда сравнение имеет не более решений, а, значит, найдется которое решением не является. Для заметим, что где — остаток от деления на Но тогда и, по утверждению выше, мы найдем не являющееся решением сравнения Тогда так же не является решением сравнения
Ошибка.
Попробуйте повторить позже
Два различных простых числа и отличаются менее чем в два раза. Докажите, что существуют такие два последовательных натуральных числа, что у одного из них наибольший простой делитель равен а у другого —
Без ограничения общности будем считать, что взаимно просты, по малой теореме Ферма а значит существует некоторый остаток такой, что и В силу того, что либо либо и тогда При этом
Если можно взять два последовательных натуральных числа числа и У числа — наибольший простой делитель а у числа наибольший простой делитель равен ( — наибольшие простые делители, иначе бы числа были бы больше соответственно).
Если же то возьмем последовательные натуральные числа Тогда у числа — опять-таки наибольший простой делитель, а у числа наибольший простой делитель равен иначе бы то есть что не выполняется.
Следовательно, существуют такие два последовательных натуральных числа, что у одного из них наибольший простой делитель равен а у другого —
Ошибка.
Попробуйте повторить позже
(a) По МТФ Следовательно, С помощью последнего сравнения нетрудно посчитать (четыре раза умножить остаток на что
(b) Заметим, что Посчитаем сначала остаток при делении на а потом — при делении на По МТФ но тогда Также по МТФ Отсюда имеем и Из последнего сравнения нетрудно посчитать, что Значит,
Таким образом, число имеет вид и для некоторых целых и То есть что равносильно Видно, что для выполнения равенства необходимо, чтобы давало остаток при делении на Значит, откуда Заметим, что мы нашли остаток при делении на
Ошибка.
Попробуйте повторить позже
Известно, что делится на Докажите, что делится на
МТФ утверждает, что если не делится на то Предположим, что переменных не делятся на а остальные делятся. Следовательно, сумма их двенадцатых степеней сравнима с по модулю Значит, по условию Заметим, что Таким образом, то есть каждая из шести переменных делится на тогда их произведение должно делиться на Что и требовалось.
Ошибка.
Попробуйте повторить позже
Является ли простым число
Подсказка 1
Вообще не понятно, как доказывать простоту числа. Может, мы сможем придумать конкретное простое, на которое поделится данное выражение?
Подсказка 2
Малая теорема Ферма позволяет легко находить остаток по простому модулю. Может, стоит использовать какое-то простое, остаток по которому можно будет найти через МТФ?
Подсказка 3
Достаточно рассмотреть число 31.
Заметим, что это число делится на Действительно, и по МТФ Также заметим, что это число, очевидно, больше чем Следовательно, оно составное.
нет
Ошибка.
Попробуйте повторить позже
Докажите, что если — простое число и то делится на
По МТФ значит, делимость на доказана. Число чётно как разность нечётных чисел, откуда чётно.
Осталось доказать делимость на Заметим, что
Посмотрим на остатки степеней двойки при делении на и так дальше. То есть двойка в нечётной степени сравнима с по модулю Следовательно, кратно Что и требовалось.
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные числа что и — простые.
Заметим, что если не делится на то по МТФ делится на Следовательно, в этом случае откуда противоречие. Значит, делится на то есть предположительно Но заметим, что тогда
Получается таких не существует.
таких нет
Ошибка.
Попробуйте повторить позже
Найдите все такие простые числа что делится на
Ясно, что остатки степеней пятерки по модулю зацикливаются (потому что количество остатков при делении на конечно), притом в цикле точно встретится остаток так как по МТФ (очевидно, что не походит к условию). Значит, существует наименьшее натуральное такое, что (нетрудно понять, что является последней степенью пятёрки в самом первом цикле остатков по модулю ). Значит, если то делит
Следовательно, делит Если то кратно то есть Если или то но очевидно, что в силу МТФ.
Ошибка.
Попробуйте повторить позже
Докажите, что ни при каком целом число не делится на
Предположим, что при некоторых делимость реализуется. Тогда также делится на Следовательно, (последний переход справедлив по МТФ). Значит, может давать только лишь остатки или при делении на но в этих случаях не поделится на пришли к противоречию.
Ошибка.
Попробуйте повторить позже
(a) Поделим все числа на и получим последовательных натуральных чисел, среди которых, очевидно, найдётся число, кратное
(b) В прошлом пункте мы поняли, что в последовательности есть член, кратный Следовательно, произведение всех чисел также кратно Тогда в качестве можно взять тот самый член, который делится на
(c) Ясно, что нужно взять тот единственный член, который делится на в противном случае выражение не поделится даже на
Обозначим числа следующим образом: Пусть кратно Следовательно,
Первая скобка делится на Покажем, что то же самое можно сказать про вторую. Заметим, что произведение представляет из себя произведение всех остатков при делении на кроме Значит, оно сравнимо с по модулю Также подметим, что МТФ позволяет заменить на Следовательно, вторая скобка сравнима с по модулю По теореме Вильсона это выражение кратно что и требовалось.
Ошибка.
Попробуйте повторить позже
Вася хочет найти все целые числа такие, что выражение
делится на для всех целых . Какие остатки может давать число при делении на Укажите все возможные ответы или докажите, что таких целых чисел нет.
Источники:
Подсказка 1
В задачах на делимость мы что делаем в первую очередь? Конечно, сравниваем выражение по модулю того числа, на которое оно должно делиться. Но 15 - число составное, с ним работать будет неудобно. Давайте перейдём для начала к сравнениям по модулю 3 и 5. Потом мы справимся найти остаток и по модулю 15. Нужно упростить наше выражение. Какую теорему можно вспомнить, чтобы это сделать?
Первое решение.
По малой теореме Ферма и
Теперь взглянем на исходное выражение по модулю
Теперь взглянем на исходное выражение по модулю
Итак, и . По Китайской теореме об остатках решение такой системы сравнений по модулю, равном произведению модулей, существует и единственно, легко находим, что это
Второе решение.
Подставим и получим, что если такое и существует, то должно делится на то есть должно давать остаток при делении на Осталось проверить, что если , то указанное выражение делится на для любого натурального
Докажем это утверждение индукцией по (для делимость очевидна, для отрицательных доказывается аналогично или сводится к случаю положительного заменой . Если , утверждение уже проверено. Предположим теперь, что мы уже доказали, что делится на и докажем, что также делится на Посмотрим на разность этих двух выражений:
После раскрытия скобок все слагаемые в правой части, кроме , делятся на но делится на поскольку