Остатки и сравнения по модулю → .03 Малая теорема Ферма
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Является ли простым число
Подсказка 1
Вообще не понятно, как доказывать простоту числа. Может, мы сможем придумать конкретное простое, на которое поделится данное выражение?
Подсказка 2
Малая теорема Ферма позволяет легко находить остаток по простому модулю. Может, стоит использовать какое-то простое, остаток по которому можно будет найти через МТФ?
Подсказка 3
Достаточно рассмотреть число 31.
Заметим, что это число делится на Действительно,
и по МТФ
Также заметим,
что это число, очевидно, больше чем
Следовательно, оно составное.
нет
Ошибка.
Попробуйте повторить позже
Докажите, что если — простое число и
то
делится на
По МТФ значит, делимость на
доказана. Число
чётно как разность нечётных чисел, откуда
чётно.
Осталось доказать делимость на Заметим, что
Посмотрим на остатки степеней двойки при делении на и так дальше. То есть двойка в нечётной степени
сравнима с
по модулю
Следовательно,
кратно
Что и требовалось.
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные числа что
и
— простые.
Заметим, что если не делится на
то по МТФ
делится на
Следовательно, в этом случае
откуда
противоречие. Значит,
делится на
то есть предположительно
Но заметим, что тогда
Получается таких не существует.
таких нет
Ошибка.
Попробуйте повторить позже
Найдите все такие простые числа что
делится на
Ясно, что остатки степеней пятерки по модулю зацикливаются (потому что количество остатков при делении на
конечно),
притом в цикле точно встретится остаток
так как по МТФ
(очевидно, что
не походит к
условию). Значит, существует наименьшее натуральное
такое, что
(нетрудно понять, что
является
последней степенью пятёрки в самом первом цикле остатков по модулю
). Значит, если
то
делит
Следовательно, делит
Если
то
кратно
то есть
Если
или
то
но очевидно, что
в силу МТФ.
Ошибка.
Попробуйте повторить позже
Докажите, что ни при каком целом число
не делится на
Предположим, что при некоторых делимость реализуется. Тогда
также делится на
Следовательно,
(последний переход справедлив по МТФ). Значит,
может
давать только лишь остатки
или
при делении на
но в этих случаях
не поделится на
пришли к
противоречию.
Ошибка.
Попробуйте повторить позже
(a) Поделим все числа на и получим
последовательных натуральных чисел, среди которых, очевидно, найдётся число, кратное
(b) В прошлом пункте мы поняли, что в последовательности есть член, кратный Следовательно, произведение всех чисел также
кратно
Тогда в качестве
можно взять тот самый член, который делится на
(c) Ясно, что нужно взять тот единственный член, который делится на в противном случае выражение
не
поделится даже на
Обозначим числа следующим образом: Пусть
кратно
Следовательно,
Первая скобка делится на Покажем, что то же самое можно сказать про вторую. Заметим, что произведение
представляет из себя произведение всех остатков при делении на
кроме
Значит, оно сравнимо с
по модулю
Также подметим, что МТФ позволяет заменить
на
Следовательно, вторая скобка сравнима с
по модулю
По теореме Вильсона это выражение кратно
что и требовалось.
Ошибка.
Попробуйте повторить позже
Про простые числа и
известно, что
Докажите, что
Источники:
Подсказка 1
Давайте попробуем решать задачу от противного и предположим, что p > q. На что похожи обе части равенства? Быть может, было какое-то разложение или формула? ;)
Подсказка 2
Левая часть выражения очень похожа на p^(q+1) - 1. А что нужно сделать, чтобы привести её к такому виду?)
Подсказка 3
Давайте домножим обе части равенства на (p-1)(q-1).
Подсказка 4
Как воспользоваться тем, что p и q различные простые?
Подсказка 5
Обратите внимание на делимость обеих частей на p.
Предположим, что и без ограничения общности будем считать, что
Добавим к обеим частям равенства
после чего
умножим обе части на
Тогда по формуле разности степеней получим
Раскрыв скобки, получаем
что, в свою очередь, равносильно равенству
Поскольку левая часть равенства делится на то и выражение
делится на Поскольку
и
являются простыми числами и
то НОД
а значит
Но из малой теоремы
Ферма следует, что
поэтому что невозможно. Следовательно, наше предположение ошибочно и
Ошибка.
Попробуйте повторить позже
В этом сюжете разрешается использовать (без обоснования) так называемую малую теорему Ферма, гласящую, что для всякого целого числа
и простого натурального числа
справедливо соотношение:
делится на
без остатка.
Итак, — простое число. Маша должна понять, есть ли среди чисел
значения, дающие одинаковые остатки от деления на .
1. Пусть . Докажите, что искомая пара найдётся.
2. Пусть . Докажите, что найдётся искомая пара, содержащая одно из крайних чисел.
3. Докажите, что искомая пара найдётся при .
4. Докажите, что искомая пара найдётся, если , а
- простое.
Источники:
Подсказка 1
Для первых трёх пунктов достаточно использовать малую теорему Ферма с тем лишь дополнением, что во втором и третьем пункте нужно разобрать отдельно случаи с малыми значениями p, а вот в 4 пункте всё интереснее!
Подсказка 2
Перейдём к последнему пункту. Докажем методом "от противного". Будем рассматривать порядки 2 и 3 по модулю p. Чему они могут быть равны?
Подсказка 3
Действительно, варианты: 1, 2, q, 2q = p - 1. Неразобранный случай остался 2q. В нашем предположении в последовательности должны встретиться по разу все ненулевые остатки. Вот бы теперь какое-нибудь утверждение про остатки придумать. Пусть у нас есть два числа меньших q (q > 2), числа x и k. При этом x и остаток kx от деления на q имеют разную чётность. Можем ли мы тогда определить k относительно q? Какое можем получить отсюда следствие?
Подсказка 4
Действительно, k = q-1. Осталось подумать над следствием, и мы уже близки к финалу!
Подсказка 5
Для простого q, нечётного k такого, что 2q не делится на (k+1) найдется l, что остатки чисел l, kl по модулю 2q лежат строго между 0 и q. Во-первых, это не всем известный факт и по-хорошему требует доказательства. Во-вторых, применим это следствие, а дальше изучим сумму по k от 1 до (p - 1) чисел (2^k + 3^k)^(l+r) по модулю p.
1. По МТФ , но в то же время и
.
_________________________________________________________________________________________________________________________________________________________________________________
2. Если , то всё ясно. Если
, то остальное как в предыдущем пункте. Иначе же
. Например, потому что
из МТФ
, значит,
Тогда
______________________________________________________________________________________________________________________________________________________
3. Случаи разбираются руками. Дальше, аналогично предыдущим пунктам, если
, то всё ясно. Иначе
,
а тогда для
Если бы остатки не повторялись, каждый бы встречался по разу, и тогда их сумма была бы равна 0 . Но тут, как мы видим, их сумма равна
_________________________________________________________________________________________________________________________________________________________________________________
4. Предположим, что все остатки различны. Посмотрим на порядки 2 и 3 по модулю . (Порядок
по модулю
-
минимальное натуральное
такое, что
(или числитель соответствующей несократимой дроби,если
- дробь)
кратно
; это
мы будем обозначать
.) По МТФ они могут быть равны лишь
. Первые два
случая проигнорируем, а случаи, когда хотя бы один из порядков равен
, идентичны разобранным в пунктах 1 и 3 .
Пусть порядки
, в частности все остатки
, различны (иначе, если
и
дают одинаковые остатки, то
, а значит и
, кратно
, но
) и найдётся такое
, что
. Отметим также, что в
этом случае
, так что если при некотором
имеем
, то и
, так
что нарушается условие различности остатков. Поэтому в нашей последовательности встречаются по разу все ненулевые
остатки.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма 1. Пусть простое и
таково, что для любого
число
и остаток
от деления на
имеют
разную чётность. Тогда
.
Следствие 1. Пусть простое,
нечётное,
не кратно
. Тогда найдется
такое, что
обоих чисел
остатки по
модулю
заключены строго между
и
.
Доказательство. Действительно, попробуем в качестве все числа от 1 до
. Пусть все пары
не подошли, т.е. все
имеют остатки по модулю
, большие
. Это значит, что чётность остатка
по модулю
противоположна четности
остатка
по модулю
(
- нечётно), а она совпадает с четностью
(т.к.
нечётно), и мы попадаем в условия
леммы.
_________________________________________________________________________________________________________________________________________________________________________________
Подберём по следствию 1 такое , что
при делении на
имеет остаток меньше
, назовём этот остаток
делится на
.
Теперь изучим сумму по модулю
. С одной стороны, выражение в скобках пробегает все ненулевые остатки, а
число
не кратно
, так что эту сумму можно посчитать как сумму геометрической прогрессии с
неединичным знаменателем
, и она равна нулю.
Посчитаем эту же сумму другим способом. Раскрыв все скобки по биному, перегруппировав слагаемые и переставив множители в
показателях степеней, мы получим сумму геометрических прогрессий вида . Докажем, что ровно одна из
этих прогрессий постоянна, а значит, ровно одно из указанных выражений ненулевое (тут надо отметить, что
,
так что
, поэтому появляющиеся биномиальные коэффициенты не кратны
). Это даст требуемое
противоречие.
Действительно, при получаем, учитывая
, что
, т.к.
делится на
. С другой
стороны, если
, при некотором
то, деля, получаем
то есть
. Получаем, что
, значит
равен 1 или 2 , что может быть лишь при
; этот случай проверяется
непосредственно.
Ошибка.
Попробуйте повторить позже
Вася хочет найти все целые числа такие, что выражение
делится на для всех целых
. Какие остатки может давать число
при делении на
Укажите все возможные ответы или
докажите, что таких целых чисел
нет.
Источники:
Подсказка 1
В задачах на делимость мы что делаем в первую очередь? Конечно, сравниваем выражение по модулю того числа, на которое оно должно делиться. Но 15 - число составное, с ним работать будет неудобно. Давайте перейдём для начала к сравнениям по модулю 3 и 5. Потом мы справимся найти остаток и по модулю 15. Нужно упростить наше выражение. Какую теорему можно вспомнить, чтобы это сделать?
Подсказка 2
Верно, есть малая теорема Ферма (она утверждает, что n^p сравнимо с n по модулю p), к тому же здесь удачно совпали степени. Попробуйте упростить теперь наше выражение по модулю 3 и 5. Как же можно в лоб найти остаток a?
Подсказка 3
Ага, мы нашли, что остаток при делении на 3 и 5 число -1. Теперь можно просто перебрать числа дающие остаток -1 по модулю 3, чтобы какой-то из них совпал по модулю 5. Китайская теорема об остатках утверждает, что такое число существует и единственное. Несложным перебором получается ответ, победа!
Первое решение.
По малой теореме Ферма и
Теперь взглянем на исходное выражение по модулю
Теперь взглянем на исходное выражение по модулю
Итак, и
. По Китайской теореме об остатках решение такой системы сравнений по модулю, равном произведению
модулей, существует и единственно, легко находим, что это
Второе решение.
Подставим и получим, что если такое
и существует, то
должно делится на
то есть
должно давать остаток
при делении на
Осталось проверить, что если
, то указанное выражение делится на
для любого натурального
Докажем это утверждение индукцией по (для
делимость очевидна, для отрицательных
доказывается аналогично или
сводится к случаю положительного
заменой
. Если
, утверждение уже проверено. Предположим теперь, что мы уже
доказали, что
делится на
и докажем, что
также делится на
Посмотрим на
разность этих двух выражений:
После раскрытия скобок все слагаемые в правой части, кроме , делятся на
но
делится на
поскольку
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
Докажите, что существует бесконечно много натуральных
таких, что число
не делится на
Назовём натуральное плохим, если
не делится на
Наша цель — доказать, что плохих чисел бесконечно
много.
Первое решение. Докажем, что при любом чётном одно из чисел
и
плохое; из этого, очевидно, следует
требуемое. Предположим противное. Тогда
и
Иначе говоря,
и
Но отсюда следует, что
это невозможно, ибо
Противоречие.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. При утверждение задачи очевидно, поэтому будем считать, что
______________________________________________________________________________________________________________________________________________________
Лемма. Пусть и
— натуральные числа. Предположим, что
делится на
Тогда
делится на
Доказательство. Пусть — остаток от деления
на
Тогда
то есть одно из чисел делится на
Но это невозможно при
ибо
______________________________________________________________________________________________________________________________________________________
Докажем, что существует бесконечно много плохих чисел вида Действительно, если
делится на
то по лемме
должно делиться на
Это невозможно, если, например,
— простое число, большее
Осталось заметить, что таких простых чисел
бесконечно много.
_________________________________________________________________________________________________________________________________________________________________________________
Третье решение. Мы опять же исследуем лишь случай
Пусть — некоторый простой делитель числа
Положим
тогда при любом
имеем
то есть
делится на
С другой стороны, покажем, что числа и
не могут одновременно делиться на
Действительно, иначе
на
делилась бы и их разность
но это невозможно, ибо
по малой теореме Ферма, а числа
и
взаимно просты с
Итак, либо не делится на
(и, значит, на
), либо
не делится на
(и, значит, на
). Поэтому среди
чисел
бесконечно много плохих.
Ошибка.
Попробуйте повторить позже
Натуральные числа и
удовлетворяют неравенству
Известно, что для любого натурального делителя
числа
число
является простым. Докажите, что число
простое.
Подсказка 1
Для начала логично подставить в формулу число, которое гарантировано является делителем n, то есть единицу. Так получаем, что 1+k является простым, назовём его p. Как соотносится p и делители числа n?
Подсказка 2
Поскольку 1+k>n, любой делитель d числа n строго меньше p, а значит, взаимно прост с n. Но тогда что можно сказать о делимости d в степени k-ой плюс k на p?
Подсказка 3
Действительно, по малой теореме Ферма d в степени p-1 сравнимо с 1 по модулю p, то есть после прибавления p-1 получится число, делящееся на p, которое должно являться простым, а значит, оно равно p. Осталось сделать выводы о том, чему в таком случае равно n.
Подставив в условие (такой делитель у
точно есть), мы узнаем, что число
— простое. Поскольку
ни один
делитель числа
не кратен
Следовательно, по малой теореме Ферма простое число
кратно
и, значит, равно
для каждого делителя
числа
Это значит, что единственный делитель
— это число
то есть
и
что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Маша, скучая на уроке математики, проделала с некоторым 2015-значным натуральным числом следующую операцию: от десятичной записи этого числа она отбросила последнюю цифру и к умноженному на 3 получившемуся числу прибавила удвоенную отброшенную цифру. С полученным числом она опять проделала ту же операцию и так далее. После многократного применения этой операции получающиеся у Маши числа перестали меняться, и тогда она остановилась.
(a) Какое число оказалось у Маши в конце?
(b) Какое наименьшее число могло быть у Маши в самом начале (укажите две его последние цифры)?
Пункт а), подсказка 1
Нам говорят, что числа у Маши перестали меняться - намекают на уравнение! Попробуйте его составить, грамотно обозначив число, получившееся у Маши.
Пункт а), подсказка 2
Подумайте, как часто такое уравнение имеет решение, если одна из наших переменных - цифра
Пункт б), подсказка 1
Изначально у нас было какое-то гигантское число, а стало 17 ⇒ число уменьшилось. Это произошло из-за того, что у Маши было какое-то специальное число? Или так всегда происходит?
Пункт б), подсказка 2
Верно, большое число всегда уменьшается после применения такой операции. Мы должны получить 17 в какой-то момент, надо бы понять что-то про изначальное число из этого. А какое число могло быть у Маши перед тем, как она получила 17? Видите что-то общее у этих чисел?
Пункт б), подсказка 3
Давайте попробуем доказать в общем виде, что если получилось число, делящееся на 17, то и до этого число делилось на 17. Попробуйте связать (10x + y) и (3x + 2y) так, чтобы там фигурировало 17.
Пункт б), подсказка 4
Можно заметить, что если к 3х + 2y добавить 17x, получится 2(10x + y). То есть изначальное число должно делиться на 17, надо просто найти наименьшее такое ⇒ надо взять 10²⁰¹⁴ и добавить к нему недостающий остаток
Пункт б), подсказка 5
17 - простое число. Помните теорему, помогающую найти остаток от деления на простое число?
Пункт б), подсказка 6
Конечно, это Малая теорема Ферма! Остаётся только представить 2014 в виде 16k + r, и задачка убита!
a) Пусть в конце осталось число , оканчивающееся на цифру
. Тогда
после очередной операции станет равным
Равенство равносильно
и, так как
– цифра, то
. Поэтому
.
b) Заметим, что если число , тогда оно обязательно уменьшается:
равносильно
. (что для
всегда
верно). Из соотношения
следует, что число делится на
тогда и только тогда, когда
делится на
. Поскольку стабилизация операции
происходит на числе
, то исходное число также должно делиться на
Найдём наименьшее -значное число, которое делится на
. По малой теореме Ферма
поэтому
Тогда число - наименьшее число, которое делится на
нацело, значит, это и будет наименьшее число, которое могла
выписать Маша. Его последние две цифры
.
a)
b) (число
)
Ошибка.
Попробуйте повторить позже
Дано бесконечное множество натуральных чисел Известно, что для любых двух различных чисел
в множестве
также содержится хотя бы одно из чисел
и
Докажите, что в
содержится хотя бы одно составное
число.
Подсказка 1
Что ж, будем доказывать от противного. Пусть все числа, содержащиеся в нашем множестве простые. Теперь найти бы какой-то модуль, по которому было бы хорошо рассмотреть числа в множестве...
Подсказка 2
Да-да, нам нужен тот самый модуль, который нас не раз выручал (модуль 3). Рассмотрим произвольные a и b, a также числа a^b - 2 и a^b + 2. Теперь следует рассмотреть 2 случая:
a даёт остаток 1 при делении на 3 или a даёт остаток 2 при делении на 3. Для каждого из этих случаев можно несложными преобразованиями доказать, что в множестве будет число, которое будет составным.
Решение 1.
Предположим, что множество состоит только из простых чисел. Тогда все числа из множества
нечётные(так как любое число вида
составное при
). Возьмём в множестве
два произвольных числа
Если
даёт остаток
при делении на
то
также даёт остаток
Тогда
делится на 3 и по нашему предположению
не может принадлежать множеству
Значит, в этом случае множеству
принадлежит число
Аналогично если
даёт остаток
при делении на
то
также даёт остаток
составное и тогда в этом случае множество
должно содержать число
Если множество содержит хотя бы одно простое число
дающее остаток
при делении на
то в множестве
как мы
установили, содержится число вида
дающее остаток
Тогда число
тоже принадлежит
Заметим, что это число
даёт при делении на
тот же остаток, что и число
Но это число делится на
по малой теореме Ферма, значит, оно
составное.
Аналогично, если простое число даёт остаток
при делении на
то в множестве
содержится число
которое
по тем же причинам делится на
Решение 2.
Предположим противное. Как и в первом решении установим, что если (mod
) принадлежит
то
также
принадлежит
В частности, в
есть числа, сравнимые как с
так и с
по модулю
Рассмотрим простые числа и
из
Тогда в
содержится простое число
Следовательно, делится на
Пусть
Тогда число
делится на поскольку по малой теореме Ферма
и, значит,
Таким образом, число принадлежит
и является составным. Противоречие.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные такие, что произведение первых
нечетных простых чисел, уменьшенное на 1, является точной степенью
натурального числа (большей, чем первая).
Подсказка 1
Пусть произведение нечётных простых чисел равно aⁿ + 1. Хотелось бы посмотреть на нечётные делители a. Но существуют ли они?
Подсказка 2
Если показатель степени не простой, можно ли его сделать простым?
Подсказка 3
Можно обратить внимание, что у нас есть нечётные простые из произведения, а также простое n. Давайте рассмотрим простой нечётный делитель числа a. Может их стоит сравнить между собой?
Подсказка 4
В произведении есть все простые вплоть до некого pₖ. Если n меньше pₖ, то оно входит в произведение простых. Что тогда можно сказать о aⁿ при рассмотрении по модулю n?
Подсказка 5
Тогда с одной стороны aⁿ + 1 делится на n, но по малой теореме Ферма и aⁿ − a тоже делится на n. Не противоречат ли эти две делимости друг другу?
Пусть и
— первые
нечётных простых чисел. Предположим, что
Без ограничения общности можно считать, что – простое число, ведь если
то можно заменить
на
а
— на
Заметим, что
поскольку
не делится на
при любом
Пусть у есть нечетный простой делитель
Тогда
иначе левая часть
делилась бы на
что не так. Поэтому и
Покажем, что Действительно, в противном случае
где
Тогда
кратно
с другой стороны, по
малой теореме Ферма
кратно
Так как
причём кратно
и
то делится на
что противоречит условию.
Итак, и
откуда
что противоречит , значит,
— степень двойки. Степени двойки имеют остатки
при делении на
а
делится на
при
Значит,
и возможными значениями для
являются
и
Оба варианта не подходят,
следовательно, подходящих
нет.
Таких не существует