Лемма об уточнении показателя
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а
— натуральные числа. Оказалось, что
Докажите, что
Подсказка 1
Для начала попробуйте разобрать случай, когда у чисел x и y есть общий простой нечетный делитель.
Подсказка 2
Если у x и y есть общий простой нечётный делительно, то достаточно посмотреть на его степень вхождения в обоих частях нашего равенства. Теперь пусть у x + y есть нечетный простой делитель q. Что тогда можно сказать про степени вхождения q в нашем равенстве (давайте пока считать, что p > 2)?
Подсказка 3
Для этого достаточно выяснить, как вычислить степень вхождения q в x^p + y^p. Что же может нам помочь в этом?
Подсказка 4
Правильно, лемма об уточнении показателя! Применив ее, легко получить, что m может быть только 1. Теперь можно считать, что x + y вообще не имеет нечётных простых делителей. То есть x + y является степенью двойки. Из нашего равенства также будет следовать, что x^p + y^p тоже степень двойки. Попробуйте осознать, что это бывает довольно редко.
Подсказка 5
Не забудьте рассмотреть случай p = 2. Чтоб разобрать этот случай достаточно на самом деле понять, что при m > 2 правая часть точно больше левой.
Пока будем считать, что Пусть
— простой общий делитель чисел
и
Тогда
и
(
Теперь
посмотрим на степень вхождения
в нашем равенстве. Мы получаем, что
а значит,
Следовательно, достаточно доказать задачу для где
Предположим, что
имеет простой множитель
Тогда
и
по отдельности на
не делятся. Тогда по лемме об уточнении показателя получаем
поэтому что неверно. Пусть
а значит,
и
(
Мы разобрали случай, когда у
есть нечётный простой делитель, поэтому можно считать, что
и
Следовательно, из нашего
равенства мы получаем, что
где
— какое-то число. Тогда мы знаем, что
После
раскрытия скобок получаем, что степень вхождения двойки справа равна
а слева равна
Значит,
Так как
то
а значит,
и аналогично
то есть
Тогда из условия сразу следует, что
Если же то мы получаем
Заметим, что
в силу того, что
и
А значит,
левая часть нашего равенства при
точно больше правой. То есть
тоже равно двум.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и простые
такие, что
Подсказка 1
В случае нечетного c правая часть делится на p+3, а тогда оно является степенью двойки или произведением степени двойки и числа p. Предположим, что это степень двойки. Какие числа тогда заведомо являются вычетами или невычетами по модулю p?
Подсказка 2
Верно! -1 является вычетом, а 2 — невычетом. Тогда -2 — невычет. Возможно ли такое?
Подсказка 3
Конечно же, нет! Пусть теперь p+3 - это произведение степени двойки и p. Легко видеть, что p = 3. Можно ли найти теперь степень вхождения 3 в правую часть?
Подсказка 4
Верно! По лемме об уточнении показателя степень вхождения 3 в правую часть равна степени вхождения 3 в c, увеличенной на 1. Следовательно, с не меньше, чем (b-1)-я степень числа 3. При каких a, b, c это возможно?
Подсказка 5
Остается случай четного c. Обозначим степень вхождения 2 в c через n. Заметим, что если в правой части заменить c на n-ю степень 2, то получится делитель правой части. Тогда мы знаем разложение этой правой части с заменой c на n-ю степень 2 на простые множители. Какие выводы напрашиваются?
Подсказка 6
Верно! Мы видим, что при p > 2 можно применять LTE-лемму по модулю 2! Тогда можно получить уравнение на степени вхождения 2, а что из него следует?
Подсказка 7
Точно! Из этого уравнения легко получается, что степень вхождения 2 в показатель 2 по модулю p равна n+1. Тогда p-1 делится на (n+1)-ю степень 2. Кроме того, можно заметить, что степень вхождения p в левую часть с заменой c на n-ю степень двойки четна. Как тогда можно оценить степень вхождения 2 в b из имеющихся условий?
Подсказка 8
Конечно! Степень вхождения 2 в b, увеличенная на 2, не меньше 3 и не больше степени вхождения 2 в p+3. Отсюда получаем, что p-1 не делится на 8. Какое тогда получается уравнение из исходного?
Подсказка 9
Верно! Мы получаем n = 2 и после подстановки легко видеть, что при p > 5 решений нет (одна из частей уравнения точно больше другой). Остается разобраться со случаями p = 3 и p = 5!
Предположим, что нечетное. Тогда правая часть делится на
откуда
или
В первом случае получаем, что Тогда
является квадратичным вычетом по модулю
а
— не является, откуда
является квадратичным невычетом по модулю
но
откуда получаем противоречие.
Во втором случае получаем, что делится на
откуда
Тогда имеем уравнение
Заметим, что
откуда
По лемме об уточнении показателя получаем, что
откуда То есть
что возможно только при
и
Разберем случай четного Пусть
то есть
Заметим, что
делит
откуда
Заметим, что при
откуда
Тогда
Тогда
С другой стороны
откуда
Заметим, что а
откуда следует, что
то есть
делится на
Тогда
Посмотрим на наше равенство по модулю
Имеем
откуда
— четное. Тогда из только что полученного
равенства на степени вхождения следует, что
То есть число не может делиться на
Значит,
откуда
Тогда имеем уравнение
Заметим, что при
Если то
— нет решений.
Если то
откуда
Вернемся к исходному уравнению
Посмотрев по модулю получаем
Далее
Но по лемме об уточнении показателя
откуда что не может быть правдой. Значит,
Ошибка.
Попробуйте повторить позже
Дано -значное число
и произвольное натуральное число
Докажите, что найдется такое не более чем
-значное число
натуральное число
что любое число вида
— составное.
Источники:
Из признака делимости на (необходимо рассмотреть знакочередующуюся сумму блоков по
цифре с конца) следует, что
числа в которых количество
в записи отличается на четное число имеют одинаковые остатки при делении на
Заметим, что а еще по лемме об уточнении показателя
не делится на
поэтому у
есть простой
делитель
отличный от
Достаточно сделать так, чтобы и
делились на
и на
соответственно. Такое
существует и не превосходит
по китайской теореме об остатках.
Ошибка.
Попробуйте повторить позже
При каких натуральных существуют натуральное
и простое
для которых
Подсказка 1
Предположим, что p нечетно. Так как 3 + 4 = 7, удобно использовать LTE-лемму для модуля 7. Какой вывод из нее можно сделать?
Подсказка 2
Точно! Если p отлично от 7, то левая часть делится на 7, но не делится на 49, откуда n = 1. А что получается при p = 7?
Подсказка 3
Верно! Для p = 7 получаем, что левая часть делится на 49, но не делится на 343. Можно ли теперь оценить n сверху?
При левая часть равна
так что подходит и
Пусть теперь
нечётно. Тогда
По лемме об
уточнении показателя для модуля
Значит, при выражение делится на
но не на
и
Если же
то выражение делится на
но не на
а
значит,
Таким образом, мы убедились, что решения существуют только при
Ошибка.
Попробуйте повторить позже
Докажите, что не существует натурального такого, что число
представимо в виде произведения
последовательных
натуральных чисел.
Подсказка 1
Предположим, что такое a существует. Тогда, как легко видеть, разница квадрата числа a и 1 делится на 12. А как связаны степени вхождения 2 и 3 в разность квадрата a и 1 и в разность 2022-ой степени a и 1?
Подсказка 2
Верно! Они совпадают. Попробуем теперь изучить именно a²-1. На какую минимальную степень 2 и 3 оно должно делиться?
Подсказка 3
Конечно! Произведение 50 последовательных чисел делится на 50!, а по теореме Лежандра степень вхождения 2 в это число больше 40. Аналогично, степень вхождения 3 больше 20. Как теперь получить противоречие?
Предположим противное. Пусть искомое число существует. Произведение
натуральных чисел кратно
следовательно
нечетно, а
значит
кратно
аналогично
кратно
В силу LTE, с другой стороны, произведение 50 натуральных чисел кратно
но в
силу теоремы Лежандра
следовательно, Аналогично,
Таким образом, то есть
тем самым получено противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует натуральное
такое, что
делится на
Решение 1.
Лемма. Для любого натурального найдётся натуральное
такое что
Доказательство. Индукция по База индукции:
Годится
Переход индукции. Если
то
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Утверждение задачи тоже доказываем индукцией по База:
делится на
. Переход. Пусть
делится на
Хотим добиться делимости на
Пусть
таково, что
Можем считать, что
не делится на
а также что
Тогда рассмотрим разность
Так как оба числа и
делятся на
и не делятся на
то
делится на
______________________________________________________________________________________________________________________________________________________
Решение 2.
Покажем, что является показателем числа
по модулю
(при условии
Этот показатель является делителем числа
т.е. является степенью двойки. Но при любом натуральном
верно
Значит, показатель в самом
деле равен
Таким образом, степени числа пробегают ровно четверть всевозможных остатков по модулю
Но по модулю
эти степени
могут давать лишь остатки
и
а значит, степени числа
пробегают все остатки по модулю
дающие
или
по модулю
В
частности, остаток
тоже пробегают.
Ошибка.
Попробуйте повторить позже
Известно, что при всех натуральных число
является точным кубом. Докажите, что
Подсказка 1
Попробуем выбрать n нечетным и простое p > 2. Что можно сказать о степени вхождения p в наш куб?
Подсказка 2
Конечно! По LTE-лемме она равна сумме степеней вхождения p в a+1 и в n. Как показать, что тогда число кубом не является?
Подсказка 3
Верно! При n = p или n = p² степень вхождения p в наше число на 3 не делится, и кубом оно не является. Тогда легко видеть, что a+1 и a³+1 являются степенями двойки. Как теперь показать, что a=1?
Выберем какое-нибудь нечётное Тогда
Рассмотрим разность
Предположим, что она
делится на какое-нибудь простое
Тогда по LTE
Заметим теперь, что при
или
эта
сумма не делится на
а значит, число не является кубом. Значит, предположение было ошибочным, и
Выберем
Предыдущее рассуждение можно применить к числу
вместо
и оно сработает, если
Осталось рассмотреть случай, когда
Заметим, что
Значит, число
(очевидно, нечётное), должно быть степенью
двойки, то есть равняться единице.
Ошибка.
Попробуйте повторить позже
Пусть — простое число,
и
— натуральные числа такие, что
Каким может быть количество натуральных делителей
числа
Подсказка 1
Очевидно, что p нечетно. Из формулы суммы геометрической прогрессии легко видеть, что a четно. А на какую степень двойки может делиться p-1?
Подсказка 2
Верно! Исходя из LTE-леммы, p-1 делится на 2, но не делится на 4. Тогда p имеет остаток 3 при делении на 4, а его квадрат остаток 1. Тогда по LTE-лемме числитель нашей дроби делится на 4. Какова степень вхождения 2 в левую часть данного уравнения?
Подсказка 3
Верно! Она равна разности суммы степеней вхождений 2 в p+1, a и 1. Степени вхождения из нашего выражения не превосходят логарифма от соответствующих чисел! Тогда наша дробь не превосходит (p+1)a/2. Как теперь получить противоречия?
При уравнение имеет вид
и не имеет решений в натуральных числах, следовательно,
нечетно.
Если является нечетным, то число
так же нечетно, что невозможно, следовательно кратно
Предположим, что кратно
Степень вхождения
в правую часть равна
что, в силу LTE для числа
равно
следовательно,
а значит
С другой стороны,
что влечет противоречие.
Таким образом, дает остаток
при делении на
— четно. Тогда
то есть
кратно
а значит, в силу
LTE,
то есть степень вхождения 2 в левую часть исходного уравнения что не превосходит
Таким образом, верна серия неравенств
При верны неравенства
и
сложив которые получим противоречие.
Если то уравнение имеет вид
В случае, если является составным (обозначим его произвольный делитель за
), имеем
кратно что невозможно в силу простоты
а значит
— так же простое число.
При уравнение
имеет решение, количество делителей числа
равно
Если то число делителей числа
равно
(делителями являются числа
и
).
или
Ошибка.
Попробуйте повторить позже
Найдите степень вхождения в
Запишем выражение в виде Пусть
— некоторый простой делитель
тогда по
имеем:
Следовательно, степень вхождения во всё выражение равна
для каждого простого делителя
Получается, что
степень вхождения
равна
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение
Предположим, что не делится на
В таком случае
потому что
кратно
Но
потому
что
и
натуральные. Следовательно,
кратно
Предположим, что
то
Ясно, что
иначе левая часть больше правой. Если
то
Таким образом, степень вхождения
в левую часть равна
то есть меньше, чем степень вхождения
в правую часть, противоречие. То есть
Сократим равенство на
получим уравнение
Итак, теперь и
не делятся на
а
— делится (доказывается так же, как мы это делали в начале). Тогда по
имеем:
С другой стороны, она равна Отсюда получаем
Учитывая, что
ни на что кроме
не делится,
Таким образом, то есть
Пусть, не умаляя общности,
тогда
при
Значит,
но этот случай не подходит.
Нет решений
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение
Подсказка 1
Легко видеть, что при нечетном x решение возможно только для x = 1. Пусть x четно. Что получится, если применить LTE-лемму по модулю 2?
Подсказка 2
Пусть x = 2k. Тогда мы, перенеся 1 влево, получим, что степень вхождения 2 в разность k-ой степени 9 и 1 в точности равна степени вхождения 2 в k, увеличенной на 3. Какое условие тогда нужно наложить, чтобы решение вообще могло существовать?
Подсказка 3
Верно! Необходимо, чтобы выполнялось неравенство 2k < k + 3 (из соображений степеней вхождения 2). Как теперь завершить решение?
Преобразуем к виду Пусть
нечётен. Тогда
не делится на
откуда
и
Теперь рассмотрим случай,
когда
Заметим, что
Применим здесь LTE по модулю
Сделаем грубую оценку: откуда
Таким образом, решения имеются только тогда, когда
—
иначе двойка входит в левую часть в меньшей степени, чем в правую, и равенство недостижимо. Значит,
откуда
или
Простой подстановкой получаем, что в первом случае
во втором случае
Ошибка.
Попробуйте повторить позже
На доске написаны цифр в ряд. Докажите, что к ним можно приписать несколько цифр слева и не более
цифр справа так, чтобы
получилась степень двойки.
Рассмотрим остатки степеней двойки по модулю Покажем,что двойка — первообразный корень по модулю
Заметим, что
делится на
только если
делится на
(проверка остатков степеней
по модулю
Пусть
Теперь по LTE
То есть
откуда
и
Таким образом, двойка — действительно первообразный корень по этому модулю. Следовательно, по модулю степени двойки дают
различных остатков — в точности те, что взаимно просты с
(так как степень двойки не кратна пяти). Значит, существуют
степени двойки, сравнимые по модулю
с
То есть существуют степени двойки, сравнимые по модулю
с
(домножаем все предыдущие степени и их остатки на это можно сделать, поскольку
и
взаимно просты).
Заметим теперь, что каждый следующий остаток отличается от предыдущего не более чем на Значит, на каждом шаге
-ая с конца цифра соответствующей степени двойки увеличивается не более, чем на
а отсюда следует, что такими шагами мы
получим на местах с
по
любую комбинацию цифр. Собственно, выберем степень двойки, на которой мы получили данную
комбинацию — она и будет искомой, которая получается дописыванием цифр.
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные что
целое.
Пусть — наименьший простой делитель числа
Тогда
и
Получаем, что
Обозначим через
показатель числа 2 по модулю
Тогда
и
Значит,
и потому либо
либо
(иначе в
найдется
простой делитель
меньший
). При
получаем, что
— противоречие. Поэтому
и
Значит,
Теперь применим LTE:
откуда следует, что
Пусть Если
то
— ответ. В противном случае
— нечетно, и пусть
— наименьший простой делитель
Тогда
Получаем:
и
)
Пусть
— порядок двойки по модулю
Тогда
и
Ho
поэтому
значит,
Если
то
— противоречие. При
получаем, что
— противоречие. Если
то
и
— противоречие. Значит,
Тогда
и
Получаем, что Однако, перебрав все остатки
по модулю
легко убедиться, что это невозможно. Таким образом, мы
получаем противоречие.
Ошибка.
Попробуйте повторить позже
На какую максимальную степень пятерки делится выражение ?
Первое решение.
Второе решение.
Замечание.
— неверное рассуждение
Ошибка.
Попробуйте повторить позже
Лемма об уточнении показателя, ЛоУП, lifting the exponent lemma, LTE.
Пусть и
— различные целые числа,
— натуральное число, а
— нечетное простое число, НЕ ДЕЛЯЩЕЕ
и
.
ЕСЛИ делится на
, то
Будем вести индукцию по .
(a) Докажите базу для .
Решение. Заметим, что . Поскольку
, правая скобка по модулю
сравнима с
, что, очевидно, не кратно
.
(b) Докажите, пожалуйста, базу и для . Это пригодится в дальнейшем.
Решение. Докажем для . Аналогично предыдущему пункту, заметим, что
Поскольку , правая скобка по модулю
сравнима с
, то есть делится на
. Теперь остаётся доказать, что она не
делится на
. Будем действовать так: заметим, что если
, то
. Подставим это выражение вместо
в скобку,
получим следующее выражение:
. Если записывать его как многочлен от
, оно примет
вид
раскрываем каждую скобочку по биному Ньютона и смотрим на свободные члены и члены первой степени - очевидно, остальные делятся
на , и влиять на наше утверждение не будут
складываем все члены с и замечаем, что
нечётно, а значит, эта сумма делится на
(c) Докажите индукционный переход.
Решение. Пусть
. Тогда заметим, что
Т.к. основания степеней сравнимы по модулю , можно применить здесь доказанную в предыдущем пункте базу для
.
Получим
Выполнив аналогичное действие раз, получим, что
Но это, согласно первому пункту, равно
Замечание. Заметим ещё, что вышеприведённое решение не работает при , т.к.
в этом случае не кратен
.
Недостающую для этой делимости двойку можно получить из
, если оно чётно, а это равносильно тому, что
кратно
. Таким
образом, если
кратно
, то LTE для
выполняется.