Показатели и первообразные корни
Ошибка.
Попробуйте повторить позже
Даны взаимно простые числа и Докажите, что для любого нечетного делителя числа число делится на
Пусть — нечетный делитель числа В силу взаимной простоты чисел и будет также верно, что взаимно просто с и Тогда по модулю числа остатки будут обратимы.
Пусть — такое число, что Тогда
Тогда то есть число имеет показатель по модулю равный (так как означает, что делится на показатель, но говорит о том, что меньшие степени двойки не будут показателем)
Если — простое, то и тогда делится на показатель. Если составное, то оно раскладывается, как при этом предыдущие равенства можно рассмотреть по модулю тогда для всех простых делителей числа Тогда то есть
Ошибка.
Попробуйте повторить позже
Докажите, что натуральные числа можно расставить по кругу так, чтобы для любых трех подряд идущих по часовой стрелке чисел число делилось на
Подсказка 1
Условие задачи напоминает геометрическую прогрессию. А можно ли как-то представить остатки в виде геометрической прогрессии?
Подсказка 2
Все остатки — степени первообразного корня. Как тогда расположить числа, чтобы условие выполнилось?
Будем воспринимать наши числа как где — первообразный корень и будем их расставлять по кругу, так как нас интересует значения чисел лишь по модулю Расставим их по кругу так Для чисел очевидно, что делится на поэтому наша конструкция подходит для всех чисел не на стыке. На стыке все тоже хорошо, так как числа и можно представить, как и
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует натуральное такое, что делится на
Решение 1.
Лемма. Для любого натурального найдётся натуральное такое что
Доказательство. Индукция по База индукции: Годится Переход индукции. Если то
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Утверждение задачи тоже доказываем индукцией по База: делится на . Переход. Пусть делится на Хотим добиться делимости на Пусть таково, что Можем считать, что не делится на а также что Тогда рассмотрим разность
Так как оба числа и делятся на и не делятся на то делится на
______________________________________________________________________________________________________________________________________________________
Решение 2.
Покажем, что является показателем числа по модулю (при условии Этот показатель является делителем числа т.е. является степенью двойки. Но при любом натуральном верно Значит, показатель в самом деле равен
Таким образом, степени числа пробегают ровно четверть всевозможных остатков по модулю Но по модулю эти степени могут давать лишь остатки и а значит, степени числа пробегают все остатки по модулю дающие или по модулю В частности, остаток тоже пробегают.
Ошибка.
Попробуйте повторить позже
Пусть — произведение первых ста простых чисел. Сравнимо ли с единицей по модулю
Подсказка 1
Посчитайте показатель 2 по модулю 17.
Подсказка 2
N должно на него делиться, не так ли?
Заметим, что на не делится, а значит, сравнения быть не может.
Нет
Ошибка.
Попробуйте повторить позже
Докажите, что сравнение имеет решение тогда и только тогда, когда простое
Подсказка 1
Пусть x⁴ сравнимо с -1 по модулю p. Обозначим через s показатель x по модулю p. Что можно сказать про s?
Подсказка 2
Конечно! Тогда x⁸ сравнимо с 1, и поэтому s делит 8. Чему равно s?
Подсказка 3
Верно! s = 8, а из малой теоремы Ферма s делит (p-1). Какой вывод можно сделать?
Подсказка 4
Теперь в обратную сторону. Любое число в степени 8k сравнимо с 1 по модулю p, поскольку p простое. Тогда любое число в степени 4k сравнимо с 1 или -1 по модулю p. А какое число можно возвести в степень 4k, чтобы наверняка получить -1?
Пусть для некоторого имеет место сравнение Тогда Пусть Заметим, что Если то сравнение не выполняется, откуда получаем, что Так как (по малой теореме Ферма), то тогда откуда и получаем
Обратно, предположим, что Пусть — первообразный корень по модулю Поскольку легко видеть, что из сравнения следует, что (в случае получаем противоречие с тем, что — первообразный корень). В качестве решения берем
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт (a)
Ясно, что достаточно доказать утверждение только в одну сторону. Пусть s — показатель -a по модулю p. Может ли s быть нечетным?
Подсказка 2, пункт (а)
Поскольку s — показатель -a, то степени s остатков a и (-1) сравнимы по модулю p. А какая степень остатка a сравнима с 1?
Подсказка 3, пункт (a)
Верно, степень 2s! Но мы знаем, что 4k — показатель a, поэтому 4k | 2s, то есть 2k | s. Значит, s четное число. С каким числом сравнима s-я степень a?
Подсказка 1, пункт (b)
Сначала предположим, что a — первообразный корень по модулю p. Очевидно, что (2k+1)-я степень a сравнима с -1. Обозначим через s показатель -a. Что можно сказать об s?
Подсказка 2, пункт (b)
Верно! Тогда s делит 2k+1, следовательно, s не превосходит 2k+1. Остается понять, почему невозможно неравенство s < 2k+1. Для ответа на этот вопрос вспомним, что показатель a равен 4k+2!
Подсказка 3, пункт (b)
Теперь будем доказывать обратное. Пусть показатель -a равен 2k+1, а s — теперь показатель a. Тогда сразу получаем, что s делит 4k+2. Предположим, что s < 4k+2. Может ли s быть четным?
Подсказка 4, пункт (b)
Если s делит 4k+2 и меньше 4k+2, то s меньше 2k+1, поскольку оно четно. В чем противоречие?
Подсказка 5, пункт (b)
Верно! Тогда s-я степень -a сравнима с 1, хотя показатель у -a нечетный. Но тогда s нечетно, поэтому из s | (4k+2) следует, что s | (2k+1). А где тут противоречие?
(a) Достаточно доказать утверждение только в одну сторону, так как в обратную сторону утверждение получается заменой Итак, пусть — первообразный корень по модулю Тогда Пусть Тогда Предположим, что нечетно, тогда поэтому Тогда то есть поэтому — четно, получаем противоречие. Тогда Отсюда получаем, что Легко видеть, что при получаем верное сравнение.
(b) Пусть — первообразный корень. Тогда То есть поэтому (что невозможно, иначе не является первообразным корнем) или Тогда Пусть Тогда следовательно, Предположим, что Тогда при этом откуда поэтому что противоречит тому, что является первообразным корнем. Значит,
Обратно, пусть теперь Тогда поэтому Пусть Предположим, что Тогда потому Если четно, то имеем при этом — противоречие. Тогда нечетно. Значит, из следует, что Но тогда и что невозможно. Значит, что и требовалось.
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Оказалось, что — простое. Докажите, что является первообразным корнем по модулю
Подсказка 1
Пусть s — показатель 2 по модулю p. Какие значения может принимать s?
Подсказка 2
Верно! s — это одно из чисел 2, 4, q, 2q или 4q. Поскольку p — простое число, то по модулю p есть первообразный корень. Тогда остаток 2 — некоторая степень k этого первообразного корня. Тогда мы знаем, что 4q | sk. Как доказать, что s не может быть равно 2 или 4?
Подсказка 3
Точно! Тогда бы получилось, что 16 сравнимо с 1 по модулю p, что невозможно для p вида 4q+1 с простым q. Для того, чтобы доказать, что s не может быть равно q или 2q вспомним, что 4q | sk. Какими свойствами обладает k?
Подсказка 4
Верно! В обоих случаях k четно, поэтому 2 является квадратичным вычетом по модулю p. Возможно ли это?
Пусть — первообразный корень по модулю и Тогда по малой теореме Ферма, а потому С другой стороны, поскольку Таким образом, следовательно Ясно, что тогда В случае имеем поэтому следовательно, поскольку Очевидно, что При простых это возможно только для и которые не представляются в виде для простых
Предположим, что Тогда Тогда является квадратичным вычетом по модулю Найдем символ Лежандра
Тогда не может являться квадратичным вычетом по модулю — противоречие. В случае снова получаем, что поэтому но не может являться квадратичным вычетом по модулю Таким образом, что и требовалось.
Ошибка.
Попробуйте повторить позже
Найдите все простые такие, что остатки чисел при делении на различны.
Подсказка 1
Для начала стоит понять хоть что-то про вычеты пятой степени. Поймите сколько их, как они устроены. Для этого обратитесь к первообразным корням.
Подсказка 2
Докажите, что вычетов пятой степени ровно k, и их можно записать как первообразный корень в степенях 1, 2, 3, ..., k. Непонятно, как в терминах первообразных корней понять, что нужные нам числа - это именно 1, 2, 3, ..., k. Раз не получается сказать про объекты по отдельности, то нужно посмотреть сразу на все объекты. Рассмотрите какие-либо симметричные функции от k переменных.
Подсказка 3
Вычеты пятой степени, как мы уже поняли, образуют геом. прогрессию. У нее хорошо считается сумма и оказывается, что по модулю p она равна 0. Тогда и сумма пятых степеней чисел 1, 2, 3, ..., k равна 0. Как ее можно посчитать?
Подсказка 4
Попробуйте выразить сумму пятых степеней первых чисел через симметрические функции, либо угадать ответ и проверить его по индукции.
Для начала покажем, что вычетов пятой степени ровно по модулю
Пусть первообразный корень по модулю Тогда все ненулевые остатки можно записать как Так как первообразный корень, то если пятые степени каких-то остатков совпадают, то кратно то есть кратно значит, все остатки разбиваются на групп по чисел, пятые степени которых дают одинаковый результат по модулю
Все эти остатки пятой степени можно записать как Сумма всех этих остатков равна
Значит, если остатки чисел при делении на различны, то это все остатки пятой степени, а, значит, по доказанному ранее сумма пятых степеней этих чисел равна нулю по модулю Воспользуемся следующей формулой
которую можно доказать по индукции. Если это выражение равно нулю по модулю то кратно Далее все сравнения по модулю
Тогда Нетрудно проверить, что такое действительно подходит.
Ошибка.
Попробуйте повторить позже
Дано -значное число Докажите, что найдётся такое натуральное что число имеет хотя бы цифр, и в десятичной записи этого числа можно зачеркнуть не более, чем цифр с конца так, чтобы полученное число оканчивалось числом
Подсказка 1
Все подобные задачи, где какие-то цифры зачеркиваются в конце решаются похожими методами. Нужно научиться изменять число так, чтобы свойства из условия сохранялись, а после зачеркивания число менялось не очень сильно, например, не более чем на 1. Что подобного можно сделать в этой задаче?
Подсказка 2
Для решения задачи достаточно доказать, что существуют степени 2, дающие при делении на 10^(2n) остаток между A*10^n и (A+1)*10^n. Как искать такие степени? Что означает сформулированное утверждение на языке сравнений и показателей?
Подсказка 3
Докажите, что число 2 принадлежит к показателю 4*5^{m - 1} по модулю 5^m, и существует бесконечно много таких k, что 2^k сравнимо с r по модулю 10^{2n}. Выведите из этих двух утверждений решение задачи. Осталось лишь доказать эти два утверждения. Индукция вам в поможет.
Докажем, что для любого кратного и не кратного существует бесконечно много таких что Очевидно, достаточно найти такие что (поскольку при Заметим, что число принадлежит к показателю по модулю (то есть но никакие меньшие степени не сравнимы с по этому модулю). Это утверждение несложно доказать по индукции: база проверяется непосредственно, а переход вытекает из формулы — если делится на то вторая скобка делится на но не на поэтому для делимости произведения на первая скобка должны делиться на Тем самым мы доказали, что все вычеты по модулю не кратные сравнимы со степенями двойки. При это даёт нам нужное утверждение.
Докажем теперь, что в условии задачи всегда можно зачеркнуть ровно цифр, то есть, что существуют степени дающие при делении на остаток между и Число является остатком степени (оно не кратно и кратно Оно попадает в нужный интервал, потому что
Ошибка.
Попробуйте повторить позже
Даны два числа: и где — натуральные числа. Найдите все возможные наибольшие общие делители и и докажите, что других нет.
Без ограничения общности можно полагать Предположим, что — общий простой делитель данных чисел. Имеются сравнения
Тогда имеем Тогда имеем делимость так как Но это противоречит условию Таким образом, у данных чисел не может быть общих простых делителей, а потому они взаимно просты.
Ошибка.
Попробуйте повторить позже
Назовём многочлен перестановочным по простому модулю если его значения дают все возможные остатки при делении на Существует ли перестановочный по модулю многочлен степени
Подсказка 1
Давайте доказывать, что такой многочлен существует. Более того, давайте доказывать, что x^17 подходит. Как это можно сделать?
Подсказка 2
Для проверки достаточно показать, что сравнение a^17 = b ^17 бывает только при a = b. Как это можно сделать? Вспомните про первообразный корень и докажите это.
Докажем, что — перестановочный многочлен. Для этого проверим, что
Если то утверждение очевидно.
Пусть Пусть — первообразный корень по модулю 101. Тогда Получаем систему:
Тогда Так как — первообразный корень, то Откуда получаем, что Тогда
Тогда получаем, что осуществляет биекцию и, следовательно, является перестановочным.
Ошибка.
Попробуйте повторить позже
Рассмотрим все числа вида при Сколько из них делятся на
Подсказка 1
Для начала давайте поймëм, что 10 никак не помогает в делимости на 1001. Значит, можно рассматривать делимость 10^{i - j} - 1 на 1001.
Подсказка 2
Делимость на 1001 рассматривать тяжело. Вместо этого давайте поймëм, что 1001 = 7 • 11 • 13, и отдельно рассмотрим делимость на каждое из этих простых чисел.
Подсказка 3
Так, теперь мы пришли к простым числам. На этом этапе стоит вспомнить свойства показателей и понять, как с ними связано i - j.
Заметим, что Ясно, что делиться на никак не помогает. Следовательно, для делимости необходимо и достаточно, чтобы выполнялись следующие сравнения: и А это равносильно тому, что делится на и Нетрудно посчитать, что и Таким образом, должно делиться на
Теперь найти все подходящие значения нетрудно. Понятно, что может равняться — всего вариантов. Рассмотрим уравнение Оно имеет следующие решения Всего значит надо просуммировать это выражение по всем Итоговый ответ:
Ошибка.
Попробуйте повторить позже
Сколько делителей от до имеет число
Подсказка 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 и чётны. Значит, одно из чисел или кратно Отсюда следует, что Аналогично и противоречие.
Значит, среди чисел есть хотя бы одна двойка. Поскольку при циклической перестановке ничего не изменится, можно положить, что Теперь делит тогда по лемме либо делит либо кратно Но первый случай невозможен, поскольку делит и Следовательно, кратно По условию кратно Ранее мы заключили, что откуда то есть
Ошибка.
Попробуйте повторить позже
Найдите остаток суммы всех выражений вида где по простому модулю
У простого числа есть первообразный корень Следовательно, каждый остаток в сумме можно заменить на в соответствующей степени, ведь нас интересует лишь остаток суммы при делении на Но тогда сумму можно записать в следующем виде:
Мы получили дробь, которая является целой. Покажем, что она делится на кроме некоторых случаев.
Предположим, что не делится на В этом случае достаточно доказать, что делит числитель дроби. Посмотрим на его первое слагаемое: а — это сумма всех остатков при делении на кроме и то есть она сравнима с по модулю Тогда всё слагаемое сравнимо с Докажем теперь, что кратно
Если знаменатель делится на то кратно (в этом случае не делит ), откуда и То есть либо либо (тогда ). В первом случае остаток во втором — потому что в сумме нет слагаемых. Иначе не делится на а числитель делится, так как Следовательно, при остаток
Если же делится на то то есть Этот случай уже рассмотрен.
при и при
Ошибка.
Попробуйте повторить позже
Пусть и — простые, Известно, что делится на Докажите, что
Предположим противное, пусть По условию то есть — нечётное, а значит Делимость на равносильна сравнению Возведём его в квадрат: Далее запишем его следующим образом: После применения МТФ последнее сравнение превратится в Следовательно,
кратно Отсюда вытекают два случая.
Если первая скобка кратна то Также ранее мы выяснили, что Таким образом, зная, что если и то получаем:
Осталось заметить, что не делится на потому что по нашему предположению. Следовательно, этот НОД равен либо либо То есть либо либо но при это невозможно.
Если вторая скобка кратна то Домножим сравнение на и получим: Условие позволяет заменить в последнем сравнении на и получить следующее: Снова приходим к первой задаче, только в этом случае нужно посмотреть на и аналогичным способом убедиться, что он может быть лишь или что приводит к противоречию.
Ошибка.
Попробуйте повторить позже
Докажите, что является первообразным корнем любого простого числа вида где — простое.
Пусть тогда делит Поскольку — простое, задача сводится к рассмотрению случаев.
Если то что невозможно.
Если то то есть но противоречие.
Если то откуда или но противоречие.
Случаи и влекут за собой сравнение Но То есть двойка — квадратичный вычет по модулю Заметим, что при нечётном простое число имеет вид (при число составное). Однако двойка не может быть квадратичным вычетом по простому модулю вида противоречие. Следовательно, что и требовалось.
Теперь докажем, что двойка не может быть квадратичным вычетом по простому модулю вида Остатки при делении на будем называть положительными, а остальные — отрицательными. Умножим все положительные остатки на Пусть среди полученных чисел есть отрицательных остатков. Тогда с одной стороны произведение этих остатков сравнимо с по модулю с другой стороны оно сравнимо с по модулю Отсюда получаем, что
Осталось заметить, что отрицательными будут лишь те, которые лежат между и (границы включены). Количество таких чисел равно верхней целой части от При оно нечётно, то есть Следовательно, двойка — квадратичный невычет, доказано.
Ошибка.
Попробуйте повторить позже
Докажите, что является первообразным корнем по модулю при любом натуральном
Докажем индукцией по что Нетрудно убедиться, что — первообразный корень по модулю
Предположим, что утверждение верно для всех Пусть тогда кратно Ясно, что чётное, иначе не будет давать остаток при делении на То есть Заметим, что
По предположению Вторая же скобка делится на но не делится на поскольку кратно при (случаи, когда можно рассмотреть отдельно). Таким образом, степень вхождения в равна Значит, для делимости на необходимо, чтобы было не меньше Следовательно, что и требовалось.