Остатки и сравнения по модулю → .03 Малая теорема Ферма
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует бесконечно много натуральных
таких, что
делится на
По малой теореме Ферма: если Тогда
то есть
значит, надо найти одно такое, что
Рассмотрим пусть оно и ненатуральное, последующие будут натуральными:
Ошибка.
Попробуйте повторить позже
Найдите все пары числел где
простое, а
целое и при этом
В ответе укажите значения
Если их
несколько, перечислите их в любом порядке через запятую.
Источники:
Подсказка 1
Хотим использовать малую теорему Ферма (МТФ). Посмотрим на левую часть: по какому модулю удобно рассматривать остаток?
Подсказка 2
Рассматриваем остаток по модулю 5 (тогда возникает требование, что p не равно 5), так как по МТФ p⁴ дает остаток 1 по модулю 5. Вся левая часть, получается, дает остаток 2 по модулю 5. Теперь посмотрим на правую часть. Сразу видно, что второе слагаемое дает остаток 0 по модулю 5 (так как имеет вид 5*q). Что тогда можно сказать о n²?
Подсказка 3
Получается, n² должно давать остаток 2 по модулю 5. Рассмотрим различные случаи остатков. Какой вывод можем сделать?
Подсказка 4
Да, n² не может давать остаток 2 по модулю 5. Тогда у нас остается единственное возможное значение p: p = 5. Тогда наше уравнение превращается в квадратное, которое легко решается!
Согласно малой теореме Ферма, если число
даёт остаток 1 при делении на 5. Число 211 также даёт остаток 1 при
делении на 5. И
делится на
Значит, если
мы получаем, что
даёт остаток 2 при делении на 5, что
невозможно.
Осталось разобрать случай В этом случае нам надо решить квадратное уравнение
Откуда получаем два решения: и
Ошибка.
Попробуйте повторить позже
Докажите, что для простого уравнение
не имеет решений в натуральных числах при
,
,
Подсказка 1
Иногда полезно рассмотреть крайние случаи. Может ли равенство достигаться, если одно из чисел равно p?
Подсказка 2
Если ни одно из чисел не равно p, то они точно меньше. Может тогда посмотреть на делимость, ведь у нас есть малая теорема Ферма.
Подсказка 3
Из малой теоремы Ферма легко получается, что a + b ≡ c (mod p). Но все числа меньше p, какие есть варианты?
Подсказка 4
Полезно бы сравнить aᵖ + bᵖ и cᵖ при полученных условиях, кажется одна из частей будет намного больше другой.
Предположим противное: пусть существуют натуральные числа удовлетворяющие уравнению
Рассмотрим случаи, когда одно из чисел
равно
Пусть Тогда
Так как
то
Следовательно,
что невозможно. Аналогично для
Пусть Тогда
так как
Теперь и
– простое, значит,
не делятся на
По малой теореме Ферма:
Подставляя в исходное уравнение, получаем:
Так как то
Возможны два случая:
а) Пусть
Тогда По биному Ньютона:
так как все дополнительные слагаемые положительны при и
б) Пусть
Обозначим тогда
Уравнение принимает вид:
При фиксированном минимум
достигается при
и тогда
Рассмотрим убывающую при функцию
Так как функция убывает, то
что завершает доказательство.
Ошибка.
Попробуйте повторить позже
Малая теорема Ферма. Для любого простого и взаимно простого с
числа
верно, что
(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.
Заметим, что это число делится на Действительно,
и по МТФ
Также заметим,
что это число, очевидно, больше чем
Следовательно, оно составное.
нет
Ошибка.
Попробуйте повторить позже
Докажите, что если — простое число и
то
делится на
По МТФ значит, делимость на
доказана. Число
чётно как разность нечётных чисел, откуда
чётно.
Осталось доказать делимость на Заметим, что
Посмотрим на остатки степеней двойки при делении на и так дальше. То есть двойка в нечётной степени
сравнима с
по модулю
Следовательно,
кратно
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные числа что
и
— простые.
Заметим, что если не делится на
то по МТФ
делится на
Следовательно, в этом случае
откуда
противоречие. Значит,
делится на
то есть предположительно
Но заметим, что тогда
Получается таких не существует.
таких нет