Теория чисел на Турломе
Ошибка.
Попробуйте повторить позже
Какое наибольшее количество непересекающихся троек попарно различных натуральных чисел можно выбрать среди чисел от до
так, чтобы в каждой тройке одно число равнялось произведению двух других?
Источники:
Подсказка 1
Так как нам дано условие про равенство одного из чисел тройки и произведения остальных, удобно упорядочить все тройки. То есть в тройке (a,b,c) получаем, что a < b < c. Теперь мы точно знаем, что c = a*b. Попробуйте оценить число a, использовав это равенство.
Подсказка 2
Супер! Теперь мы знаем, что a^2 < c. Но по условию c <= 2024, а значит a < 45. Тогда мы получаем, что всего троек не больше 44. Но пример построить не получается... Попробуйте предположить, что их 44, и использовать то, что все числа от 1 до 44 будут использоваться.
Подсказка 3
Посмотрите на тройку, содержащую число 1. Что можно сказать про числа в ней, используя условие про равенство одного из чисел тройки и произведения остальных?
Оценка.
Будем считать, что первое число в тройках минимальное из трёх, последнее — максимальное. Рассмотрим произвольную
тройку где
. Ясно, что
, откуда
, откуда
. Таким образом, первыми
числами в тройке могут быть лишь числа от
до
. Значит, всего можно взять не больше
троек, так как числа не
повторяются.
Предположим, что можно взять ровно тройку. Тогда каждое из чисел от
до
будет первым числом в своей тройке. Но
при
умножении любого числа на себя даёт то же самое число, то есть в тройке оно быть не может. Стало быть, можно выбрать не более
троек.
Пример.
Рассмотрим тройки вида , где
пробегает значения от
до
. Во-первых, ясно, что среди первых и
вторых чисел этих троек нет одинаковых, так как
Во-вторых,
, то есть третьи числа в
тройках не уходят за пределы
. В-третьих, минимум
равен
, а значит никакое третье число не
совпадает с первыми и вторыми числами. Наконец, в-четвёртых, если
и
, то либо
, что
невозможно, либо
, что также невозможно, потому что
Значит, пример удовлетворяет
условию.
Ошибка.
Попробуйте повторить позже
При каком наименьшем все натуральные делители числа
можно поделить на три группы, суммы в которых равны? Если группа
состоит из одного числа, то сумма чисел в этой группе равна этому одному числу.
Источники:
Подсказка 1
Вспомните для начала, как считать сумму делителей числа, или выведите. Это несложно. Давайте подумаем в общем о природе групп. Какая может быть минимальная сумма делителей у одной группы?
Подсказка 2
Верно, так как в какую-то группу попадёт число n, а это делитель n, то сумма должна быть равна минимум n. Тогда о каком примере можно подумать? Попробуйте перебрать не слишком большие числа, где сумма делителей будет хотя бы 3n.
Подсказка 3
Да, это число 120, сумма его делителей 360. Поэтому у нас получатся группы (120), (40, 20, 60) и в последней группе остальные числа. Отсюда получается и идея для доказательства оценки. Если число будет меньше 120, то сумма его делителей будет меньше 3n. Как тогда можно оценить самым грубым образом сумму делителей в общем виде?
Подсказка 4
Верно, если предположить, что геометрическая прогрессия бесконечная, то это запишется просто как n на произведение дробей вида p/p-1. Как можно оценить сколько простых делителей входит в n при наших условиях?
Подсказка 5
Да, давайте просто переберём все наши возможности. Это когда n просто степень простого числа, когда n произведение двух степеней простых. Рассмотрев ещё, что будет происходить с 3 делителями или больше, получим, что n содержит ровно 3 простых делителя. А можем ли мы сказать, из каких точно делителей должно состоять n?
Подсказка 6
Верно, маленьким перебором получится, что n представляется в одном из трёх видов 2*3²*p, 2²*3*p, 2*3*p, где p простое число. Теперь только осталось разобрать их, и мы получим оценку на число 120. Победа!
Заметим, что поэтому сумма всех делителей числа
равна
Поэтому нам надо поделить делители в группы с суммой
Подойдут группы
,
и все оставшиеся
числа.
Докажем теперь, что делители чисел меньше нельзя поделить на три группы с равной суммой. Для этого докажем, что если
меньше
то сумма делителей числа
меньше
Поскольку у
всегда есть делитель, равный
то сумма в одной группе должна
быть хотя бы
на этом и будет построено противоречие.
Вспомним, что сумма делителей числа равняется
Следовательно
В неравенстве мы заменили конечную сумму геометрической прогрессии на бесконечную.
Пусть теперь — некоторое число. Если у
то
поскольку число тем больше, чем меньше
Аналогично, если то
Итак, если то в разложение
входит хотя бы 3 простых числа. Поскольку уже
то нас интересуют
лишь
в разложении которых ровно три простых числа.
Если среди этих простых чисел нет если среди них нет и
то
значит
есть; если нет
то
значит и
есть; если нет
то
значит и
есть. Тогда
(добавление ещё одного
простого сделает
больше
), сумма делителей которого равна
Значит,
обязательно делится на
Пусть третий простой делитель Заметим, что
поскольку мы ищем
то домножить
мы можем
максимум на
Итак, получили всего немного вариантов: или
, или
, или
В первом случае при получаем
при
получаем
а
Во втором случае,
Если то
Отсюда что неверно.
Аналогично, в третьем случае
Отсюда должно быть хотя бы
что неверно при
Ошибка.
Попробуйте повторить позже
Найдите количество четвёрок положительных целых чисел таких, что
и
Источники:
Подсказка 1
Сразу же оценим сверху d в силу нашего равенства. Раз мы имеем дело с факториалами, то сразу хочется посмотреть на делимость левой части на делители числа 24. Как за счёт этого мы можем ограничить наши переменные?
Подсказка 2
Верно! Левая часть делится на 23. Тогда d! точно делится на 23, а значит, и d делится на 23. Получаем, что 23 ≤ d ≤ 24. Теперь у d всего 2 возможных значения. Рассмотрите по отдельности оба случая и проделайте всё по аналогии с другими переменными.
Легко видеть, что Заметим, что правая часть равенства делится на
, а значит, и левая часть должна делиться, откуда
Разберём два случая, чему может равняться
тогда
откуда
тогда
Тогда, аналогично, или или
разберём эти два случая:
тогда
откуда
тогда
небольшим перебором убеждаемся, что тогда
Итого, получаем три возможные четвёрки решений:
Ошибка.
Попробуйте повторить позже
Фрэнк придумал способ кодирования чисел. Число кодируется числом
по следующим правилам:
получается из
так: Фрэнк смотрит, какие разряды в десятичной записи числа
отличаются от соответствующих разрядов числа
и увеличивает в
десятичной записи числа
на
только самый левый из этих разрядов (при этом
становится
а если разряда ещё не было, то
Фрэнк считает, что в нём стоял
). Например,
Найдите
если известно, что
Источники:
Подсказка 1
Мы прибавляем 1 к какому-то разряду числа, при этом 0 → 1, 9 → 0, на какую операцию это похоже? Давайте пойдём от обратного - как получилось число 2021? Сколько раз прибавляли 1 к каждому из разрядов?
Подсказка 2
Конечно, операция является прибавлением 1 к разряду по модулю 10! Изначально у нас было число 0, тогда c₁ ≡₁₀ 2 раза добавили 1 к разряду тысяч, c₂ ≡₁₀ .... А сколько всего проделано операций? Не забудьте учесть, что меняется только левый разряд!
Что происходит, когда при увеличении на
меняются
последних разрядов? Можно посмотреть на это так: мы к каждому из
последних разрядов прибавляем
по модулю
Способ кодирования Фрэнка состоит в том, что вместо прибавления
ко всем разрядам
мы прибавляем
только к самому левому из них.
Тогда и способ декодирования становится понятен: как получилось число Мы
раз прибавляли
к разряду тысяч,
— к разряду сотен,
— к разряду десятков,
— к разряду единиц. Тогда число
получается, когда мы
раз
прибавляли
к разряду тысяч,
— к разряду сотен,
— к разряду десятков,
— к разряду
единиц. Получается, что ответ
Ошибка.
Попробуйте повторить позже
Назовём число волшебным, если оно делит число
Найдите все волшебные числа в промежутке от
до
Источники:
Подсказка 1
Задача на делимости, а после раскрытия скобок появится некоторая сумма, которую надо рассмотреть по модулю n. Удобнее всего как-то классифицировать различные значения n. Например, по простоте. А что, если n раскладывается на множители a и b? Такие случаи тоже можно классифицировать в зависимости от a и b.
Подсказка 2
Разберите случай простого n. Для этого можно, например, посмотреть на остатки каждого из слагаемых по такому модулю. А что делать, если n — "почти простое"? Скажем, у него есть ещё ровно 3 делителя, кроме простого p.
Подсказка 3
Разберите случай n = p*2, где p — простое. Что можно сказать о каждом из слагаемых после раскрытия скобок?
Подсказка 4
И, наконец, можно разобрать случай, когда n можно разложить в произведение a и b, где оба эти множителя больше 2. Как можно оценить a и b? Какие множители точно будут в числителях слагаемых?
Подсказка 5
Хотя бы одно из них небольшое, так что в числителях, кроме a и b, будут ещё числа, которые делятся на них ;)
Докажем, что в общем случае при не являются волшебными числа только вида
, где
— простое.
Для этого разберём три случая: когда является простым, когда
является простым, и когда ни
, ни
не являются
простыми (в частности, если
нечётно, то
не является простым).
_________________________________________________________________________________________________________________________________________________________________________________
Первый случай. Если является простым. Рассмотрим выражение
по модулю Утверждается, что среди слагаемых в этой сумме встретятся все возможные ненулевые остатки по модулю
. Так как
различных ненулевых остатков по модулю
ровно
и слагаемых столько же достаточно показать, что все слагаемые дают
различные остатки по модулю
. Это действительно так, потому что в противном случае для некоторы
и
таких, что
было бы верно сравнение
Но перенеся в этом сравнении всё в левую часть, получаем
что невозможно, так как все множители в произведении не делятся на , а
— простое. Полученное противоречие доказывает, что
слагаемые являются всеми возможными остатками по модулю
, а значит, им сумма равна
, то есть кратна
, так как
простое, большее
а следовательно, нечётно.
_________________________________________________________________________________________________________________________________________________________________________________
Второй случай. Если является простым. Обозначим
через
тогда
Заметим, что среди чисел от
до
есть
только одно, кратное
: это само число
. Тогда при раскрытии скобок в выражении
все слагаемые кроме будут кратны
а это слагаемое — не будет. Значит, и вся сумма не будет кратна
, а следовательно,
и
, то есть
. Значит, в этом случае число магическим не является.
_________________________________________________________________________________________________________________________________________________________________________________
Tретий случай. Если ни ни
не являются простыми. В этом случае
можно представить в виде произведения
(т. к.
непростое), причём оба множителя будут больше
(так как либо
, поделённое на любой нечётный простой
делитель будет больше двойки, либо
— степень двойки, но в силу
степень двойки хотя бы четвёртая, и значит,
, где оба множителя больше
). То есть для некоторых
верно
. Тогда раскрывая скобки в
выражении
получаем слагаемые вида , где
, и два слагаемых
Во всех слагаемых первого вида в произведении содержатся множители
и
, а значит, после сокращения на
оставшееся
произведение будет делиться на
. Теперь заметим, что
. Тогда в случае
во втором слагаемом в
произведении
содержатся различные множители
а значит, после сокращения на
останется произведение
, кратное
. Если же
, то
, но тогда число
и
кратно
. Аналогично
доказывается, что последнее, третье слагаемое, кратно
, а значит, число является волшебным, так как все слагаемые кратны
.
_________________________________________________________________________________________________________________________________________________________________________________
Осталось заметить, что числами, для которых их половина является простым числом, являются те и только те, что перечислены как исключённые в ответе.
Все числа от до
кроме
.
Ошибка.
Попробуйте повторить позже
Существует ли множество натуральных чисел для которого выполнены следующие свойства: всевозможные суммы двух элементов из
уникальны (т.е. не бывает двух различных пар элементов, у которых суммы одинаковы), и при этом среди этих сумм можно найти
подряд идущих натуральных чисел.
Источники:
Подсказка 1
Если вы обратились к подсказкам, то скорее всего вы устали от безрезультатных попыток доказать, что не существует. Дак вот, эта задача — конструктив. Нужно придумать пример)
Подсказка 2
Чтобы придумывалось легче, попробуйте сначала взять несколько переменных и как-нибудь выразите все числа множества через них, чтобы соблюдалось условие. Потом подберёте конкретные значения.
Подсказка 3
Также для упрощения стоит придумывать такие выражения, чтобы все суммы имели понятный вид, или один из небольшого количества вариантов понятных видов.
Подсказка 4
Чтобы добиться различности, давайте попробуем некоторые переменные приравнять к степени некоторого числа х от 1 до k-ой. Другие переменные определим как c - x + ..., c - x² + ..., c - x³ + ... и так далее. Что нужно поставить вместо точек, чтобы пример стал рабочим? И не забудьте его работоспособность доказать!
Приведём явный пример.
Рассмотрим числа вида
где
Тогда, очевидно, суммы вида
равны , то есть образуют
подряд идущих чисел. Осталось доказать, что среди попарных сумм пирведённых
чисел нет совпадающих.
Разделим все суммы на три вида: первый вид второй вид
третий вид
______________________________________________________________________________________________________________________________________________________
Для начала докажем, что суммы из двух разных видов не равны между собой.
Предположим, что число второго вида и третьего вида равны между собой. Тогда для некоторых будет выполнено
Перенося в этом равенстве все слагаемые без влево и оставляя справа только
заметим, что
больше, чем сумма
модулей всех остальных слагаемых, а значит, равенства быть не может. Аналогично доказывается, что числа первого вида не могут быть
равны числам второго и третьего видов.
_________________________________________________________________________________________________________________________________________________________________________________
Теперь докажем, что суммы из одного вида тоже отличаются друг от друга.
Приведём доказательство для сумм третьего вида, для двух других видов доказательства будут аналогичны.
Пусть есть и
такие, что пара чисел
не совпадает с парой
. Докажем, что не может быть равенства
Действительно, если так, то после подстановки получаем равенство
Если , то без ограничения общности можно считать, что
, но тогда
по модулю больше, чем все суммма модулей
остальных
слагаемых в равенстве, а значит, равенства быть не может. Если
, то после сокращения равных слагаемых остаётся
равенство
причём в этом равенстве так как изначальные пары были различны. Но тогда опять же не умаляя общности будет выполнено, что
и
по модулю будет больше, чем сумма модулей всех остальных членов в уравнении, что невозможно. Следовательно, все
суммы третьего вида различны между собой.
Заметим, что при доказательстве того, что попарные суммы различны внутри второго типа нужно отдельно рассмотреть случаи, когда
и
они будут образовывать наши подряд идущие числа, а следовательно, все различны. Во всех остальных
случаях соображение о том, что какое-то слагаемое по модулю будет больше, чем сумма модулей остальных, по-прежнему
работает.