Показатели и первообразные корни
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Сколько делителей от до
имеет число
Подсказка 1
Если совсем нет идей, то для начала стоит понять, что чётные делители можно отбросить.
Подсказка 2
Теперь давайте поймëм, что мы ищем такие n, для которых 2²³⁹ сравнимо с 1 по модулю n. Стоит подумать о показателе двойки по модулю n и о том, как он связан с 239.
Ясно, что на чётные делители это число делиться не может. А для любого нечетного числа если
делит
Однако число
— простое, то есть либо
либо
Заметим, что по теореме Эйлера
Но
Следовательно,
откуда
Ошибка.
Попробуйте повторить позже
Докажите, что при натуральном число
не делится на
Подсказка 1
Тут стоит идти от противного. Ясно, что n нечëтное. Учитывая, что из двойки в степени n вычитается единица и (2, n) равно 1, есть смысл поискать противоречие, связанное с показателем.
Подсказка 2
Рассмотрите наименьший простой делитель n.
Предположим противное, пусть существует такое Ясно, что оно нечётное. Выберем у
наименьший простой делитель
На него
делится
то есть
делится и на
Также на этот показатель делится
Учитывая, что
понимаем, что
у
есть простой делитель, меньший
поскольку
Следовательно,
также делится на этот делитель, значит
— не
наименьший простой делитель, пришли к противоречию.
Ошибка.
Попробуйте повторить позже
Найдите все пары простых чисел и
таких, что
Подсказка 1
Для начала стоит откинуть случаи, когда первая сколка делится на p, либо вторая на q. В этом вам поможет МТФ.
Подсказка 2
Стало быть, теперь первая скобка делится на q, а вторая - на p.
Подсказка 3
Пусть p > q. Ясно, что (p, q - 1) = 1. Значит, 1 представляется в виде линейной комбинации p и q - 1. Попробуйте, используя это знания, провести некоторые манипуляции со сравнениями.
Предположим, что кратно
По МТФ
Следовательно,
Таким образом,
То есть либо
либо
либо
делит
(аналогичная ситуация). Значит, в этом случае мы получили пары
Пусть теперь не делит
не делит
Отсюда ясно, что
кратно
кратно
Пусть
Ясно, что
и, следовательно, существуют такие положительные
и
что
Поскольку
по МТФ
имеем
По нашему предположению
отсюда
Последнее сравнение равносильно
следующему:
Но в силу наших рассуждений
То есть
это возможно лишь при
но этот случай сейчас не рассматривался.
Ошибка.
Попробуйте повторить позже
Найдите все упорядоченные тройки простых чисел таких, что
Подсказка 1
Для начала поймем могут ли быть равные числа среди p, q, r?
Подсказка 2
Правильно, не могут! Попробуем теперь доказать следующую лемму: если p,q,r — такие различные простые числа, что p делит q^r+1 и p > 2, то либо p − 1 кратно 2r, либо q^2 − 1 кратно p. Заметим, что из условия леммы следует, что q^r сравнимо с -1, но не сравнимо с 1 по модулю p. Что можно сделать с этим сравнением?
Подсказка 3
Верно! Надо возвести его в квадрат и получить, что q^(2r) сравнимо с 1 по модулю p. Что тогда можно сказать про ord(q) по модулю p?
Подсказка 4
Точно! Он делит 2r, но не делит r. Так как p простое, то какой вывод можно сделать?
Подсказка 5
Ага! либо (ord q по модулю p) = 2, либо (ord q по модулю p) = 2r. Если верно второе, то p− 1 кратно 2r, поэтому лемму доказали. Теперь остается ее применить и поразбирать случаи. Предположим, что p, q, r — нечетные. Что следует из того, что p - 1 делится на 2r?
Подсказка 6
Верно! 0 ≡ p^q + 1 ≡ 2, то есть r = 2, а значит, противоречие. Теперь пусть q^2 - 1 делится на p. Какое тогда неравенство можно написать на p и q?
Подсказка 7
Точно! Из того, что q^2 - 1 делится на p следует, что либо (q-1)/2, либо (q+1)/2 делится на p, а значит, q > (q+1)/2 ≥ p. Теперь легко получаем противоречие. Осталось только разобрать случай, когда одно из чисел равно 2 и вычислить два других.
Ясно, что не кратно
а значит
Аналогично
и
то есть
и
различные.
_________________________________________________________________________________________________________________________________________________________________________________
Докажем теперь следующую лемму: если — такие различные простые числа, что
делит
и
то либо
кратно
либо
кратно
Из условия леммы следует, что сравнимо с
по модулю
но не сравнимо с
поскольку
Следовательно,
Получаем, что
кратно
и
не кратно
Поскольку
— простое, это возможно лишь когда
или
Если верно второе, то
кратно
В первом же случае получим, что
кратно
Лемма
доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Начнём решение со случая, когда и
нечётны. Поскольку
делит
по лемме либо
кратно
либо
кратно
Но первый случай невозможен, поскольку сравнение
влечёт за собой сравнения
то есть
что противоречит нашему предположению. Следовательно,
делит
Простое число
нечётно, a
и
чётны. Значит, одно из чисел
или
кратно
Отсюда следует, что
Аналогично
и
противоречие.
Значит, среди чисел есть хотя бы одна двойка. Поскольку при циклической перестановке ничего не изменится, можно положить, что
Теперь
делит
тогда по лемме либо
делит
либо
кратно
Но первый случай невозможен,
поскольку
делит
и
Следовательно,
кратно
По условию
кратно
Ранее мы
заключили, что
откуда
то есть
Ошибка.
Попробуйте повторить позже
Найдите остаток суммы всех выражений вида где
по простому модулю
У простого числа есть первообразный корень Следовательно, каждый остаток в сумме можно заменить на
в соответствующей
степени, ведь нас интересует лишь остаток суммы при делении на
Но тогда сумму можно записать в следующем виде:
Мы получили дробь, которая является целой. Покажем, что она делится на кроме некоторых случаев.
Предположим, что не делится на
В этом случае достаточно доказать, что
делит числитель дроби. Посмотрим на его первое
слагаемое:
а
— это сумма всех остатков при делении на
кроме
и
то есть она
сравнима с
по модулю
Тогда всё слагаемое сравнимо с
Докажем теперь, что
кратно
Если знаменатель делится на
то
кратно
(в этом случае
не делит
), откуда
и
То есть либо
либо
(тогда
). В первом случае остаток
во втором —
потому что в
сумме нет слагаемых. Иначе
не делится на
а числитель делится, так как
Следовательно,
при
остаток
Если же делится на
то
то есть
Этот случай уже рассмотрен.
при
и
при
Ошибка.
Попробуйте повторить позже
Пусть и
— простые,
Известно, что
делится на
Докажите, что
Предположим противное, пусть По условию
то есть
— нечётное, а значит
Делимость
на
равносильна сравнению
Возведём его в квадрат:
Далее запишем его следующим образом:
После применения МТФ последнее сравнение превратится в
Следовательно,
кратно Отсюда вытекают два случая.
Если первая скобка кратна то
Также ранее мы выяснили, что
Таким образом, зная, что если
и
то
получаем:
Осталось заметить, что не делится на
потому что
по нашему предположению. Следовательно, этот НОД
равен либо
либо
То есть либо
либо
но при
это невозможно.
Если вторая скобка кратна то
Домножим сравнение на
и получим:
Условие позволяет заменить в последнем сравнении
на
и получить следующее:
Снова приходим к первой задаче,
только в этом случае нужно посмотреть на
и аналогичным способом убедиться, что он может быть лишь
или
что приводит
к противоречию.
Ошибка.
Попробуйте повторить позже
Докажите, что является первообразным корнем любого простого числа вида
где
— простое.
Пусть тогда
делит
Поскольку
— простое, задача сводится к рассмотрению случаев.
Если то
что невозможно.
Если то
то есть
но
противоречие.
Если то
откуда
или
но
противоречие.
Случаи и
влекут за собой сравнение
Но
То есть двойка — квадратичный вычет по модулю
Заметим, что при нечётном
простое число
имеет вид
(при
число
составное). Однако двойка
не может быть квадратичным вычетом по простому модулю вида
противоречие. Следовательно,
что и
требовалось.
Теперь докажем, что двойка не может быть квадратичным вычетом по простому модулю вида
Остатки
при
делении на
будем называть положительными, а остальные — отрицательными. Умножим все положительные остатки на
Пусть среди полученных чисел есть
отрицательных остатков. Тогда с одной стороны произведение этих остатков
сравнимо с
по модулю
с другой стороны оно сравнимо с
по модулю
Отсюда получаем, что
Осталось заметить, что отрицательными будут лишь те, которые лежат между и
(границы включены). Количество таких
чисел равно верхней целой части от
При
оно нечётно, то есть
Следовательно, двойка —
квадратичный невычет, доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что является первообразным корнем по модулю
при любом натуральном
Докажем индукцией по что
Нетрудно убедиться, что
— первообразный корень по модулю
Предположим, что утверждение верно для всех Пусть
тогда
кратно
Ясно, что
чётное, иначе
не будет давать остаток
при делении на
То есть
Заметим,
что
По предположению Вторая же скобка делится на
но не делится на
поскольку
кратно
при
(случаи, когда
можно рассмотреть отдельно). Таким образом, степень вхождения
в
равна
Значит, для делимости на
необходимо, чтобы
было не меньше
Следовательно,
что и
требовалось.
Ошибка.
Попробуйте повторить позже
Докажите, что если то
Иными словами, нас просят доказать сравнение Возведём его в квадрат:
Заметим, что
полученное сравнение верно, поскольку
Таким образом,
кратно
НОД скобочек не превосходит
двух, поэтому одна из скобочек делится на
Предположим, что это первая скобочка, тогда
То есть
двойка не является первообразным корнем по модулю
получили противоречие, так как двойка первообразный корень
то есть
делится первая, что и требовалось.
Ошибка.
Попробуйте повторить позже
Натуральное число таково, что
— целое. Докажите, что
— составное.
При число
Предположим, что при некотором
число
будет простым. Если число
— нечетное, то целое число
заведомо будет четным. Тогда
откуда
что выполняется только при
а при
(легко доказать по индукции).
Если число — четное, то
где
нечетное, иначе
не будет целым. Тогда
откуда
Для
Значит,
где
— наименьшее число такое, что
Тогда
Если простое, то
Значит,
Тогда
Если составное, то
тогда
Где число и при этом
следовательно
будет составным.
Значит, — простое. Пользуясь круговыми многочленами, сможем показать, что
где — круговой многочлен.
где
примитивные корни степени
из
И если
имеет простой делитель
отличный от
то
будет делителем
но не
И тогда
как минимум будет содержать в произведении
то есть не будет простым. Тогда
— простое нечетное, а
для некоторого натурального
Тогда
Тогда по простому модулю число
Противоречие. Значит,
— составное.
Ошибка.
Попробуйте повторить позже
Дано нечетное простое число , а также простые числа
и
. Известно, что
. Докажите, что либо
, либо
.
Давайте сразу перепишем все на язык сравнений. Известно, что . Возведем это неравенство в квадрат. Получим, что
, значит
и так как
простое, то у
есть 4 варианта для значения.
1 случай Тогда по последнему свойству
2 случай Тогда
и
.
3 случай Тогда
4 случай Если
, то получается 3 случай, поэтому давайте считать, что
. Тогда по последнему свойству
и
, поэтому
.
Ошибка.
Попробуйте повторить позже
Дано простое число . Докажите, что
делится на
.
Подсказка 1
Четвëрка делимости никак не помогает, значит, на неë исходное число можно поделить. Теперь мы оказались в ситуации, когда можно использовать показатели.
Подсказка 2
А именно, нас интересует одно из из свойств. Если a в степени x сравнимо с a в степени y по модулю m, то как связаны между собой x, y и показатель a по модулю m?
должно делиться на
и очевидно, что на самом деле мы хотим, чтобы
делилось
на
. Если мы хотим доказать, что степень двойки минус один делится на какое-то число, то нам на самом деле
нужно доказать, что
. Чему же равен
? Поймем, что
, так как во-первых,
подходит, так как
, для
, поэтому
не может делиться на
. Тогда
нам нужно доказать, что
. Если
, то это очевидно, если
, то это верно по теореме
Эйлера.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа . Докажите, что для каждого нечетного простого делителя
числа
число
делится на
.
, поэтому
, а значит
. Отсюда следует, что
, где
. Если
,
то
и все хорошо. Если же
, то
. Противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального свободного от квадратов, существуют такие простое число
и целое число
что
делится на
а
делится на
Пусть для некоторого упорядоченного набора простых чисел
причём
— нечетное. Пусть
и
определим
Если утверждение задачи очевидно, теперь
Пусть
— все вычеты по модулю
взаимно простые с
Во-первых, любое при возведении в
-тую степень остаётся по модулю
взаимно простым с
Во-вторых, пусть существуют что
и Если
и
то
то есть
делится на
но тогда или
что влечёт за собой
— противоречие, или
но тогда
делится на — противоречие, ведь
для любого
Из этого следует, что
Возьмём что
Такое найдётся, так как (
) — вычет, взаимно простой с
по модулю
Тогда
делится на Требуемые
и
найдены.