Функция Эйлера и теорема Эйлера из ТЧ
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число . Докажите, что есть сто идущих подряд чисел, каждое из которых имеет общий делитель с больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа (Количество чисел от до взаимно простых с ) Тогда для любого натурального числа справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить в знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до взаимно простых с меньше
Рассмотрим два случая: делится на и не делится на
1. Число делится на Тогда можно разбить числа от до на групп по идущих подряд чисел. Если количество чисел от до взаимно простых с меньше , то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на Тогда среди чисел до можно выделить групп по идущих подряд чисел. Если в каждой группе будет число взаимно простое с , то чисел взаимно простых с хотя бы ( тоже взаимно проста с ). Это противоречит тому, что количество чисел от до взаимно простых с меньше
Ошибка.
Попробуйте повторить позже
Найдите все тройки взаимно простых в совокупности натуральных чисел таких, что для любого натурального число делится на .
Источники:
Для начала покажем, что . Пусть и . Тогда или , или делится на . Но тогда так как , то все три переменные делятся на , что невозможно по условию. Значит, . Подставим , получим
Отсюда получаем, что . Если , то все переменные равны . Если все переменные хотя бы , то . Пусть , тогда , откуда получаем ещё одно решение . Осталось убедиться, что эти решения подходят. Действительно, и , так как .
, , ,
Ошибка.
Попробуйте повторить позже
Докажите, что при число четно.
Подсказка 1
Посмотрим на разложение m в произведение простых. Пусть в нем есть какое-то нечетное число. Что получается из формулы функции Эйлера?
Подсказка 2
Верно! В ней есть слагаемое, равное разности степеней этого нечетного числа, которая обязательно четна. А что, если нечетного числа в разложении нет?
Подсказка 3
Верно! Тогда наше число является степенью двойки, причем не ниже второй. Какой вывод можно сделать по формуле функции Эйлера?
Первый способ. Если в разложение входит какое-то нечётное простое число в некоторой натуральной степени то и кратно что, в свою очередь, кратно как разность двух нечётных чисел. В противном случае либо тогда либо откуда Если то чётно и В ином случае Что и требовалось.
Второй способ. Разобьём числа на пары следующим образом: Заметим, что при чётном число останется без пары. В этом случае делит то есть оно точно не учтётся в Ясно, что НОД НОД Отсюда следует, что для каждой пары либо оба числа учитываются в либо нет. Значит, является суммой нескольких двоек, то есть делится на Осталось заметить, что при хотя бы одна пара вида найдётся.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального числа найдется число с суммой цифр, равной делящееся на
Подсказка 1
Заметим, что, приписывая нули к числу, мы не меняем его сумму цифр. Тогда, если n = abk, где a — степень двойки, b — степень пятерки, а k — число, взаимно простое с 10, то делимость на a и b можно заработать, приписав достаточное число нулей. А как хорошим способом заработать делимость на k?
Подсказка 2
Попробуем найти много чисел с суммой цифр 1, которые будут иметь остаток 1 по модулю k. Поскольку k взаимно просто с 10, то по теореме Эйлера одно такое число легко получится. А как получить большее количество чисел?
Подсказка 3
Верно! Возводя неравенство в разные степени, мы сможем доказать, что любая степень десятки с показателем, кратным функции Эйлера от k, имеет остаток 1 при делении на k. Как теперь сконструировать число с нужной суммой цифр, делящееся на k?
Для начала заметим, что к числу с суммой цифр равной мы можем дописать сколько угодно нулей справа и при этом сумма цифр не
изменится. Поэтому если , где НОД(, 10) = 1, то чтобы найти нужное число делящееся на , достаточно найти число
делящееся на .
Вторая идея этого решения заключается в том, чтобы найти МНОГО чисел с суммой цифр 1 и остатком 1 по mod . Если мы найдем
таких чисел и сложим их, то сумма цифр сложится (мы на это надеемся), и получившееся число будет сравнимо с по модулю , а
.
В качестве одного из таких чисел можно взять (по теореме Эйлера (mod )) и тут время вспомнить о том, что
сравнения можно возводить в степень, то есть (mod ), поэтому нам подойдет любое число вида . При сложении
таких чисел в столбик из-за того, что единички у этих чисел будет в разных разрядах, получится число с суммой цифр и делящееся на
. Осталось лишь дописать к этому число много (max(, )) нулей справа и получить число с суммой цифр и делящееся на
.
Ошибка.
Попробуйте повторить позже
Дано натуральное Докажите, что число
делится на
Подсказка 1
Сначала разложим на множители 1989 = 9 × 13 × 17. Тогда достаточно доказать делимость указанного числа на все числа 9, 13 и 17. Попробуем вынести за скобки общий множитель. Тогда у нас получится произведение степени числа n на разность степени числа n и единицы. Как можно доказать делимость на 9?
Подсказка 2
Верно! Если n делится на 3, то вынесенный множитель делится на 9. Если же не делится, то достаточно доказать, что показатель степени числа n из скобки делится на функцию Эйлера числа от числа 9 (она равна 6). Как это сделать?
Подсказка 3
Верно! Это выражение делится на 2, поскольку числа в разности имеют одну и ту же четность. Для делимости на 3 снова выносим общий множитель. Если n кратно 3, то все получилось, а если же не делится, то в скобке показатель степени числа n делится на 2, и по малой теореме Ферма мы получаем делимость. Можно ли аналогично доказать, что исходное выражение в задаче делится на 13 и 17?
Заметим, что Отдельно покажем делимость на каждый множитель. Запишем выражение в виде
Докажем делимость на Если кратно то выражение поделится на В противном случае надо доказать, что делит Для этого достаточно, чтобы делилось по теореме Эйлера на Делимость на очевидна, так как и имеют одну чётность. Если кратно то доказали. В противном случае запишем в виде и заметим, что делится на
Докажем делимость на Если кратно то доказали. В противном случае достаточно, чтобы делилось на Делимость на мы доказали в предыдущем абзаце. Докажем делимость на Если чётно, то она очевидна. В противном случае запишем в виде и поймём, что нам достаточно делимости на что является правдой.
Докажем делимость на Если кратно то доказали. В противном случае достаточно, чтобы делилось на Если чётно, то делимость очевидна. В противном случае достаточно доказать, что делится на Для этого переберём нечётные остатки при делении на Если то всё очевидно. Если то Если посмотреть на цикл остатков степеней троек при делении на то можно видеть, что в при нечётных отсюда следует делимость. Если то
Если то
Ошибка.
Попробуйте повторить позже
Докажите, что при любом четном число делится на
Запишем в виде Заметим, что НОД чисел и делит поскольку Но по условию чётно, а значит числа и нечётны, то есть они взаимно просты. Пусть некоторое простое число входит в одно из чисел или в степени Поскольку скобочки взаимно просты, степень вхождения в также равна Заметим, что справедливо неравенство потому что Следовательно, делится на В таком случае по теореме Эйлера Простой делитель был выбран произвольно, поэтому делимость доказана.
Ошибка.
Попробуйте повторить позже
Для скольких значений числа где существует число такое, что делится на
Подсказка 1
По теореме Эйлера мы можем легко указать степень двойки, которая при вычитании единицы будет делиться на i. Однако i может быть четным. В этом случае теорема Эйлера не работает. Как решить эту проблему?
Подсказка 2
Верно! Если i четно, то степень двойки при вычитании единицы нечетна, и не может делиться на i. Положим теперь j — количество чисел, меньших i, взаимно простых с i. Почему для каждого нечетного i существует подходящее j?
Очевидно, что для четных число точно не делится на . Поэтому число точно нечетное, НОД(, 2) = 1, а значит можно
применить теорему Эйлера.
(mod ), значит если , то тогда нам подходит.
Понятно, что всегда хотя бы 1, так как для любого числа есть 1, которая не превосходит и взаимно проста с и всегда
не больше , так как по определению равно количеству натуральных чисел от 1 до и взаимно простых с . Поэтому для всех
нечетных существует требуемое в задаче
Ошибка.
Попробуйте повторить позже
Найдите сумму натуральных чисел от до включительно, имеющих с числом общие делители, большие
Источники:
Подсказка 1
В условии задачи сказано, что надо просуммировать числа от 1 до 3000, которые не взаимнопросты с 3000. Какие нам тогда числа не подходят, если 3000 = 2³ * 3¹ * 5³?
Подсказка 2
Это значит, что нам подходят числа, которые делятся на 2, или на 3, или 5. Давайте поймём, что если нам подходит число x, то подходит и число 3000-x. При том, все числа, которые подходят под условие выше, разбиваются на пары. Или почти все? А когда тогда посчитать их сумму?
Подсказка 3
Числа 3000 и 1500 не составляют те самые пары, а вот все остальные числа, подходящие под условия все таки разбиваются на пары. Это значит, что нам теперь достаточно найти количество таких чисел и домножить их на 3000 (учтя особую роль в этой сумме исключений выше). Как найти количество таких чисел? Мы ведь не можем просто сложить количество чисел кратных 2, 3 и 5 и получить ответ. У нас есть числа которые кратны сразу двум каким-то, а также числа, кратные сразу всем. Подумайте, как тогда считать их количество?
Подсказка 4
Мы можем посчитать с помощью формулы включений и исключений количество таких чисел, а именно сначала количество просто кратных какому-то, минус сумма кратных сразу двум и плюс сумма кратных всем трём. Получится 2200. Чему тогда равна наша сумма?
, то есть нас интересуют числа, деляющиеся на или Найдём сначала количество таких чисел. Для этого воспользуемся принципом включений и исключений. Чётных чисел от до ровно , кратных трём — , кратных пяти — . Однако, если просто сложить числа 1500,1000 и 600 , мы посчитаем некоторые числа 2 раза, а именно, числа, делящиеся на и , поэтому из полученной суммы надо вычесть и . Однако, всё ещё неправильный ответ, Поскольку в этом выражение числа, имеющие все три простых множителя, сначала считаются три раза, а потом их количество вычитается опять же три раза, поэтому надо снова добавить эти числа. Количество таких чисел , значит, количество чисел, имеющих с общие делители и не превосходящих его, это
Заметим теперь, что если какое-то число имеет с числом общие делители, то число тоже имеет с те же самые общие делители. Значит, все интересующие нас числа, кроме чисел и разбиваются на пары с суммой (числу 3000 в пару пришлось бы сопоставить а числу само себя). Таких пар получаается поэтому итоговый ответ
Замечание.
Числа, меньшие и взаимно простые с ним разбиваются на пары таким же образом, поэтому участники, знакомые с функцией Эйлера, могли получить формулу для ответа в виде
Ошибка.
Попробуйте повторить позже
Докажите, что к числу можно приписать слева несколько цифр так, чтобы снова получилась степень двойки.
Мы хотим дописать какое-то число цифр слева и получить . Нужно каким-то образом перевести это на язык остатков и сравнений.
Пусть в числе цифр. Тогда для того, чтобы у и у совпадали последние цифр, нужно, чтобы у числа
последние цифр были нулями или, что то же самое, чтобы делилось на . Таким образом, наша задача превратилась в
следующую задачу: Пусть у числа в десятичной записи цифр. Докажите, что найдется такое , что (mod
).
. Давайте для начала докажем, что выражение слева всегда делится на .
Поймем, что первое число, в котором 2019 цифр, это , но , поэтому , что и дает нам то, что
делится на .
Теперь осталось найти такое , что или (mod ). Так как НОД(2, ) = 1, то здесь
можно вспомнить, что по теореме Эйлера (mod ). Значит в качестве можно взять и тогда
Ошибка.
Попробуйте повторить позже
Докажите, что (в первом слагаемом двоек, во втором — ) делится на все числа от 1 до .
Замечание. Делится на все числа от 1 до и делится на — это совсем не одно и то же. Например, возьмем : число 60 делится на все числа от 1 до 6, но не делится на
Замечание. Возведение в степень всегда идет сверху вниз, то есть
Будем доказывать по индукции. Давайте сначала проверим для n = 2. Очевидно, что делится и на 1, и на 2, а дальше мы будем
делать следующее: рассматривать выражение, где в обеих степенях на одну двойку больше и в доказательстве предполагать, что для
меньшего количества двоек мы уже все доказали.
(Идея индукции заключается в том, что мы доказываем два факта: если для какого-то числа наше условие верно, то и для оно
тоже будет верно (эта часть решения называется "переход") и что наше условие верно для некоторого минимального числа , в нашем
случае для 2 (эта часть решения называется "база"). Зная эти два факта, мы можем сказать, что раз для это верно, то и для
(по 1 факту), а раз для 3, то и для 4 и т. д.)
Базу мы уже доказали, осталось доказать переход.
, степень 2 в скобочках (назовем ее ) — это число из предыдущего шага индукции, то есть
делится на числа от 1 до и нам нужно теперь доказать, что делится на все числа от 1 до . Возьмем какое-то число
из ряда от 1 до и представим , как , где нечетное. Теперь нам нужно доказать, что делилось на (это очевидно, так
как степень ) и делилось на .
Вторая часть верна, так как , если (в случае утверждение о том, что делится на очевидно), потому
что мы в рассматриваем числа не превосходящие и взаимно простые и так как , то не взаимно просто с
, а значит меньше хотя бы на 1. Значит и делиться на , поэтому делилось на
.
Ошибка.
Попробуйте повторить позже
Дано нечетное натуральное число Докажите, что при некотором натуральном у числа не меньше различных простых делителей.
Подсказка 1
Для данного m можно определить последовательность чисел, задаваемую выражением из условия для n-го члена. Тогда наша задача - найти в этой последовательности подходящее число. Попробуем зафиксировать какое-нибудь n. Как по нему построить такое k, чтобы k-ый член последовательности был больше n-го, и простых делителей у этого члена было не меньше, чем у n-го?
Подсказка 2
Точно! Возьмем n, взаимно простое с m, а после этого положим k равным сумме n и произведения m на функцию Эйлера от квадрата n-го члена. На что делится разность k-го члена и n-го члена?
Подсказка 3
Верно, на квадрат n-го члена! Что можно сказать о простых числах, входящих в n-ый и k-ый члены?
Подсказка 4
Конечно! Все простые делители n-го члена входят в k-ый член в тех же степенях. А можно ли сравнить k-ый и n-ый члены?
Подсказка 5
Правильно! k-ый член больше! Следовательно, у него больше простых делителей, чем у n-го. А как заработать число с еще большим числом делителей?
Пусть Пусть взаимно просто с тогда взаимно просто с Рассмотрим число Тогда взаимно просто с Заметим, что кратно по теореме Эйлера, а кратно , поскольку делится на . Следовательно, делится на . Значит, все простые делители числа входят в в тех же степенях, что и в само при этом число больше; следовательно, у него есть другой простой делитель. Итого, по числу мы получили у которого количество различных простых делителей больше. Теперь рассмотрим тогда взаимно просто с и у числа есть некоторые простые делители. Производя аналогичную процедуру, за шагов мы получим число у которого не менее различных простых делителей.
Ошибка.
Попробуйте повторить позже
Теорема Эйлера. Для любого числа и взаимно простого с числа верно, что (mod )
Давайте возьмем две разные ПрСВ по одному модулю и перемножим в каждой все числа. Так как наборы остатков одинаковые, то
получившиеся произведения будут сравнимы по модулю .
Тогда рассмотрим две такие ПрСВ: [, , ..., ] (это любая ПрСВ по модулю ) и [, , ..., ] (То, что написано
справа - это ПрСВ) и перемножим в каждой все числа. Получаем, что:
(mod ) или
(mod ).
Теперь перепишем это сравнение через разность, то есть
делится на .
Из-за того, что НОД(, ) = 1, то отсюда следует, что делится на или (mod )