Функция Эйлера и теорема Эйлера из ТЧ
Ошибка.
Попробуйте повторить позже
Для каждого натурального определим число
равное количеству целых чисел
взаимно простых с
Найти
Источники:
Пусть где
— различные простые числа,
— их (натуральные) кратности. Количество чисел, не
больших
делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
Количество чисел, не больших делящихся на
И наконец, количество чисел, делящихся на
Общее количество чисел, не взаимно простых с по формуле включений-исключений равно
Тогда
Таким образом, при имеем
1160
Ошибка.
Попробуйте повторить позже
Сумма всех натуральных делителей числа более чем в 100 превосходит само число
. Докажите, что есть сто идущих подряд чисел,
каждое из которых имеет общий делитель с
больший 1.
Источники:
Сначала докажем лемму.
_________________________________________________________________________________________________________________________________________________________________________________
Лемма.
Пусть - функция Эйлера числа
(Количество чисел от
до
взаимно простых с
) Тогда для любого натурального числа
справедливо неравенство
_________________________________________________________________________________________________________________________________________________________________________________
Доказательство леммы.
Запишем сумму делителей числа через произведение сумм степеней его простых делителей. Если
то
Используя формулу суммы геометрической прогрессии, получаем:
Функция Эйлера вычисляется по формуле Тогда чтобы получить
в
знаменателе, домножим числитель и знаменатель на
_________________________________________________________________________________________________________________________________________________________________________________
Решение задачи.
По условию и лемме
Тогда
То есть количество чисел от до
взаимно простых с
меньше
Рассмотрим два случая: делится на
и
не делится на
1. Число делится на
Тогда можно разбить числа от
до
на
групп по
идущих подряд чисел. Если
количество чисел от
до
взаимно простых с
меньше
, то хотя бы в одной группе не будет числа взаимно простого с
2. Число не делится на
Тогда среди чисел
до
можно выделить
групп по
идущих подряд чисел. Если в каждой
группе будет число взаимно простое с
, то чисел взаимно простых с
хотя бы
(
тоже взаимно проста с
). Это
противоречит тому, что количество чисел от
до
взаимно простых с
меньше
Ошибка.
Попробуйте повторить позже
Среди натуральных чисел, не превосходящих выбрали все такие
для которых
взаимно просто с каждым из
чисел
Докажите, что количество выбранных чисел равно
Будем обозначать эту функцию за Посчитаем сначала её для степени простого числа
У нас есть ровно
остатка таких, что
и
не делятся на
так что
Теперь покажем, что
мультипликативна. Пусть
покажем, что
Представим
в виде прямоугольной таблицы
столбцов), отметим столбцы, для номеров которых
взаимно просты с
Расположим числа слева-направо и сверху-вниз: в строке
столбце
стоит число
Тогда взаимно
просты с
будут клетки, которые стоят в отмеченных столбцах. Теперь рассмотрим, какие остатки по модулю
встречаются в рамках
одного столбца. Там стоят числа вида
Из взаимной простоты
и
получаем, что все эти остатки различны.
Значит, в одном столбцу нам подойдёт ровно
чисел. Таким образом, всего подходящих чисел как раз
(поскольку столбцов
Теперь остаётся сказать, что для простых
верна формула из условия, значит, и для составных
тоже.
Ошибка.
Попробуйте повторить позже
Докажите, что при выполнено неравенство
Докажем неравенство для каждого случая, когда для некоторого простого
и натурального
Действительно,
верно при поскольку
При
неравенство имеет вид
что верно при
Теперь докажем утверждение задачи для произвольного Пусть
Тогда, в силу мультипликативности функции Эйлера, имеем
Наконец, по доказанному неравенству для степеней простых чисел, данное значение не меньше, чем
что доказывает исходное неравенство, если среди простых множителей нет двойки или она хотя бы во второй степени. Пусть теперь есть
двойка в точности в первой степени. Тогда хотим улучшить оценку для какого-то простого на Если
то
и
Если же
и
то
Окончательно, заметим, что раз
то в нём
или двойка в степени не менее
или есть простое число, большее
или тройка в степени больше
так что оценка
верна.
Ошибка.
Попробуйте повторить позже
Изначально в ряд написаны единицы. Раз в минуту между каждыми двумя соседними числами записывается их сумма. Докажите, что
любое натуральное
встретится ровно
раз через
минут.
Выпишем подряд строки чисел, образующиеся в результате очередного шага. Получим некоторую таблицу. Попробуем выяснить, сколько
раз в -й строке этой таблицы встретится число
Будем говорить, что в нашей таблице встречается пара натуральных чисел
если числа
и
стоят рядом в одной строке, причём
справа от
______________________________________________________________________________________________________________________________________________________
Лемма. Если натуральные числа и
взаимно просты, то пара
встречается в таблице ровно один раз; если же
и
имеют
общий делитель (отличный от
то пара
не встретится в таблице ни разу.
Доказательство. Индукция по База
очевидна. Шаг индукции. Пусть
(случай
аналогичен).
Пара
может встретиться в таблице в том и только том случае, когда в ней встречалась пара
Числа
и
являются одновременно либо взаимно простыми, либо нет. Для пары
утверждение справедливо по предположению индукции.
Поэтому утверждение верно и для пары
______________________________________________________________________________________________________________________________________________________
Каждый раз, когда пишется как сумма двух соседних чисел
и
, оно встречается в парах
и
Мы
доказали, что это бывает ровно один раз для каждого
меньшего
и взаимно простого с ним (тогда, конечно, и
взаимно просто с
Итак, каждое число
будет написано на отрезке столько раз, сколько существует натуральных чисел, меньших
и взаимно простых
с ним, что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Докажите, что существует такое натуральное число что уравнение
имеет не менее
решений.
Основная идея: пусть и
причём
взаимно просты с
Тогда
Значит, нам
достаточно придумать
таких пар чисел и взять все их комбинации произведений, ведь
Будем брать тройки простых чисел
такие, что
Нам подойдёт такое:
- 1.
-
и 599
- 2.
-
и 313
- 3.
-
и 353
- 4.
-
и 433
- 5.
-
и 701
- 6.
-
и 937
- 7.
-
и 929
- 8.
-
и 757
- 9.
-
и 1013
- 10.
-
и 1009
- 11.
-
и 1201
Вот мы предъявили нужные нам пары чисел, у которых одинаковая функция Эйлера. Тогда выбирая один из двух вариантов в
паре и перемножая их, получим какие-то число. Они различны, их и у них одинаковая функция Эйлера, что мы и
хотели.
Ошибка.
Попробуйте повторить позже
Пусть — составное число такое, что существует взаимно простое с ним натуральное число
принадлежащее
для
которого не выполнено
Докажите, что тогда среди чисел от
до
найдётся не более
чисел
Рассмотрим число такое, что
и
Тогда видно, что только одно из чисел
и
может быть сравнимо с
единицей по модулю
А любое число в промежутке
не взаимно простое с
точно не может в
степени давать единицу по
модулю
Откуда сразу следует, что чисел
не более
______________________________________________________________________________________________________________________________________________________
Замечание. Эта задача связана с тестом простоты Ферма, в котором мы пытаемся определить простое ли число выбрав случайно
число в промежутке
и проверить верно ли
Данная задача как раз говорит о том, что если существует число
из
условия, то с хорошей вероятностью нам выдаст нужное число
то есть
неверно, а значит,
составное. Оказывается число
из условия задачи может не существовать и по составному модулю, такие числа называют числами Кармайкла. Предлагается
подумать о том, как тогда проверять простое ли число. Для этого также есть именной вероятностный тест, а именно тест
Соловея-Штрассена.
Ошибка.
Попробуйте повторить позже
Найдите все тройки взаимно простых в совокупности натуральных чисел таких, что для любого натурального
число
делится на
.
Источники:
Для начала покажем, что Пусть
и
Тогда или
или
делится на
Но тогда так как
то все три переменные делятся на
что невозможно по условию. Значит,
Подставим
получим
Отсюда получаем, что Если
то все переменные равны
Если все переменные хотя
бы
то
Пусть
тогда
откуда получаем ещё одно решение
Осталось убедиться, что эти решения подходят. Действительно,
и
так как
,
,
,
Ошибка.
Попробуйте повторить позже
Докажите, что при число
четно.
Первый способ. Если в разложение входит какое-то нечётное простое число
в некоторой натуральной степени
то
и
кратно
что, в свою очередь, кратно
как разность двух нечётных чисел. В противном случае либо
тогда
либо
откуда
Если
то
чётно и
В ином случае
Что и
требовалось.
Второй способ. Разобьём числа на пары следующим образом:
Заметим, что при чётном
число
останется без пары. В этом случае
делит
то есть оно точно не учтётся в
Ясно, что НОД
НОД
Отсюда следует, что для каждой пары либо оба числа учитываются в
либо нет. Значит,
является
суммой нескольких двоек, то есть делится на
Осталось заметить, что при
хотя бы одна пара вида
найдётся.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального числа найдется число с суммой цифр, равной
делящееся на
Для начала заметим, что к числу с суммой цифр равной мы можем дописать сколько угодно нулей справа и при этом сумма цифр не
изменится. Поэтому если
, где НОД(
, 10) = 1, то чтобы найти нужное число делящееся на
, достаточно найти число
делящееся на
.
Вторая идея этого решения заключается в том, чтобы найти МНОГО чисел с суммой цифр 1 и остатком 1 по mod . Если мы найдем
таких чисел и сложим их, то сумма цифр сложится (мы на это надеемся), и получившееся число будет сравнимо с
по модулю
, а
.
В качестве одного из таких чисел можно взять (по теореме Эйлера
(mod
)) и тут время вспомнить о том, что
сравнения можно возводить в степень, то есть
(mod
), поэтому нам подойдет любое число вида
. При сложении
таких чисел в столбик из-за того, что единички у этих чисел будет в разных разрядах, получится число с суммой цифр
и делящееся на
. Осталось лишь дописать к этому число много (max(
,
)) нулей справа и получить число с суммой цифр
и делящееся на
.
Ошибка.
Попробуйте повторить позже
Дано натуральное Докажите, что число
делится на
Заметим, что Отдельно покажем делимость на каждый множитель. Запишем выражение в виде
Докажем делимость на Если
кратно
то выражение поделится на
В противном случае надо доказать, что
делит
Для этого достаточно, чтобы
делилось по теореме Эйлера на
Делимость на
очевидна, так как
и
имеют одну чётность. Если
кратно
то доказали. В противном случае запишем
в виде
и заметим,
что
делится на
Докажем делимость на Если
кратно
то доказали. В противном случае достаточно, чтобы
делилось на
Делимость на
мы доказали в предыдущем абзаце. Докажем делимость на
Если
чётно, то она очевидна. В противном
случае запишем
в виде
и поймём, что нам достаточно делимости
на
что является
правдой.
Докажем делимость на Если
кратно
то доказали. В противном случае достаточно, чтобы
делилось на
Если
чётно, то делимость очевидна. В противном случае достаточно доказать, что
делится на
Для этого
переберём нечётные остатки при делении на
Если
то всё очевидно. Если
то
Если посмотреть на цикл остатков степеней троек при делении на
то можно видеть, что в
при нечётных
отсюда
следует делимость. Если
то
Если то
Ошибка.
Попробуйте повторить позже
Докажите, что при любом четном число
делится на
Запишем в виде
Заметим, что НОД чисел
и
делит
поскольку
Но по
условию
чётно, а значит числа
и
нечётны, то есть они взаимно просты. Пусть некоторое простое число
входит в одно из
чисел
или
в степени
Поскольку скобочки взаимно просты, степень вхождения
в
также равна
Заметим, что
справедливо неравенство
потому что
Следовательно,
делится на
В
таком случае по теореме Эйлера
Простой делитель
был выбран произвольно, поэтому делимость
доказана.
Ошибка.
Попробуйте повторить позже
Для скольких значений числа где
существует число
такое, что
делится на
Очевидно, что для четных число
точно не делится на
. Поэтому число
точно нечетное, НОД(
, 2) = 1, а значит можно
применить теорему Эйлера.
(mod
), значит если
, то тогда
нам подходит.
Понятно, что всегда хотя бы 1, так как для любого числа
есть 1, которая не превосходит
и взаимно проста с
и
всегда
не больше
, так как по определению
равно количеству натуральных чисел от 1 до
и взаимно простых с
. Поэтому для всех
нечетных
существует требуемое в задаче
Ошибка.
Попробуйте повторить позже
Для натурального числа обозначим через
количество натуральных чисел, не превосходящих
и взаимно
простых с
а через
сумму натуральных делителей числа
Найдите все чётные натуральные
для которых
Предположим, что у есть простой нечётный делитель
причём
при
Тогда
что невозможно. Допустим, что не является степенью двойки. Если
при
то
для различных простых
причём
Функция Эйлера вычисляется как
Обозначим через
степень вхождения
в
число
Тогда
так как все нечётны. Это значит, что
что невозможно.
Таким образом, если — не степень двойки, то
Если
опять же в силу нечётности всех
имеем
что опять ведёт к противоречию.
Итак, если — не степень двойки, то
для некоторого нечётного простого
и тогда
Тогда
условие можно переписать как
и пользуясь получаем, что
При этом
и
— чётное, значит могут подойти
Они действительно все подходят, что даёт ответы
Наконец, разберём случай, когда
Для такого
сумма делителей
Подставляя в
условие, получаем
Если
то
противоречие. Однако, подходит, что также даёт ответы
и
Ошибка.
Попробуйте повторить позже
Найдите сумму натуральных чисел от до
включительно, имеющих с числом
общие делители, большие
Источники:
, то есть нас интересуют числа, деляющиеся на
или
Найдём сначала количество таких чисел. Для этого
воспользуемся принципом включений и исключений. Чётных чисел от
до
ровно
, кратных трём —
,
кратных пяти —
. Однако, если просто сложить числа 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. Значит
и
делиться на
, поэтому
делилось на
.
Ошибка.
Попробуйте повторить позже
Найдите все бесконечные последовательности натуральных чисел
…такие, что
и
при всех
Обозначим через степень вхождения двойки в разложение числа
Лемма. Пусть — натуральное число. Если
делится на некоторое простое
то и
делится на некоторое простое
Более того, если
делится на простое
то
при этом равенство достигается тогда и только тогда, когда
и
Доказательство. Если в разложении числа нет простых, больше или равных
то их нет и в разложении
Пусть
Тогда
Каждое из чисел больше нуля, поэтому если таких чисел хотя бы два, или одно из них хотя бы
то
Иначе
где
Лемма доказана.
_________________________________________________________________________________________________________________________________________________________________________________
Докажем, что ни один из членов последовательности не делится ни на одно простое число, большее или равное Предположим
противное, и пусть
делится на простое
Тогда, согласно лемме, для каждого
число
делится на некоторое простое
Согласно лемме, последовательность
начиная с
будет не возрастать. Поскольку убывать бесконечно она не может, то,
начиная с некоторого момента, она стабилизируется, и опять же из леммы,
при всех достаточно больших
Тогда
то есть
Поскольку то
делится на
Значит,
а
Следовательно, начиная с некоторого момента
и
Но тогда последовательность
по модулю
зацикливается, а поскольку
зацикливается без предпериода. Значит, найдётся
что
делится на
что невозможно.
Значит, среди простых делителей членов последовательности могут быть только и
Поскольку
— нечётное число, оно не
может являться значением функции Эйлера, поэтому в последовательности не встречается. Заметим, что
откуда, если то
или
а если
при
то
Таким образом, если ни
один член последовательности не делится на
получаем первый ответ, иначе — второй.
для любого
при
при
где
—– натуральное число
Ошибка.
Попробуйте повторить позже
Дано нечетное натуральное число Докажите, что при некотором натуральном
у числа
не меньше
различных
простых делителей.
Пусть Пусть
взаимно просто с
тогда
взаимно просто с
Рассмотрим число
Тогда
взаимно просто с
Заметим, что
кратно
по теореме Эйлера, а
кратно
, поскольку
делится на
.
Следовательно,
делится на
. Значит, все простые делители числа
входят в
в тех же степенях, что и в само
при
этом число
больше; следовательно, у него есть другой простой делитель. Итого, по числу
мы получили
у которого количество
различных простых делителей больше. Теперь рассмотрим
тогда
взаимно просто с
и у числа
есть некоторые простые
делители. Производя аналогичную процедуру, за
шагов мы получим число
у которого не менее
различных простых
делителей.
Ошибка.
Попробуйте повторить позже
Пусть — такое нечётное число, что число
является степенью двойки. Докажите, что
— тоже степень
двойки.
Так как функция Эйлера мультипликативна, то если — это примарный сомножитель в разложении
то
является
степенью двойки, что возможно только в двух случаях:
или
Легко видеть, что если
не является степенью двойки, то
не простое. Поэтому любой примарный сомножитель это либо степень двойки, либо одно простое число Ферма, то есть простое вида
Положим (отметим, что не все из них простые). Так как
и
взаимно просты, то функция Эйлера от каждого
из них является степенью двойки. Пусть
где и
— простые числа Ферма. Заметим, что
поэтому любое число Ферма больше произведения всех меньших.
Среди различных чисел и
выберем наибольшее, пусть это
Если оно в разложении числа
то очевидно, что
будет сильно больше числа
Значит, оно в разложении числа
Пусть
делится на
но не делится на
(возможно,
Рассмотрим числа и
по модулю
Все числа Ферма, которые есть в разложении, кроме
дают остаток
от деления на
дает остаток
от деления на
Тогда
с одной стороны дает остаток такой же, как
а с
другой стороны —
Значит,
Тогда а число
делится на
и на
Если
то
и, следовательно, число
— степень двойки. Покажем, что случай
невозможен. В этом случае число
делится на
и на
Пусть
Тогда
— противоречие.
Пусть Тогда
а
Если
— произведение всех чисел Ферма, меньших
то
а
откуда
и
что запрещено условием. В противном случае
— снова противоречие.