Теория чисел на Турломе
Ошибка.
Попробуйте повторить позже
Какое наибольшее количество непересекающихся троек попарно различных натуральных чисел можно выбрать среди чисел от до
так, чтобы в каждой тройке одно число равнялось произведению двух других?
Источники:
Оценка.
Будем считать, что первое число в тройках минимальное из трёх, последнее — максимальное. Рассмотрим произвольную
тройку где
. Ясно, что
, откуда
, откуда
. Таким образом, первыми
числами в тройке могут быть лишь числа от
до
. Значит, всего можно взять не больше
троек, так как числа не
повторяются.
Предположим, что можно взять ровно тройку. Тогда каждое из чисел от
до
будет первым числом в своей тройке. Но
при
умножении любого числа на себя даёт то же самое число, то есть в тройке оно быть не может. Стало быть, можно выбрать не более
троек.
Пример.
Рассмотрим тройки вида , где
пробегает значения от
до
. Во-первых, ясно, что среди первых и
вторых чисел этих троек нет одинаковых, так как
Во-вторых,
, то есть третьи числа в
тройках не уходят за пределы
. В-третьих, минимум
равен
, а значит никакое третье число не
совпадает с первыми и вторыми числами. Наконец, в-четвёртых, если
и
, то либо
, что
невозможно, либо
, что также невозможно, потому что
Значит, пример удовлетворяет
условию.
Ошибка.
Попробуйте повторить позже
При каком наименьшем все натуральные делители числа
можно поделить на три группы, суммы в которых равны? Если группа
состоит из одного числа, то сумма чисел в этой группе равна этому одному числу.
Источники:
Заметим, что поэтому сумма всех делителей числа
равна
Поэтому нам надо поделить делители в группы с суммой
Подойдут группы
,
и все оставшиеся
числа.
Докажем теперь, что делители чисел меньше нельзя поделить на три группы с равной суммой. Для этого докажем, что если
меньше
то сумма делителей числа
меньше
Поскольку у
всегда есть делитель, равный
то сумма в одной группе должна
быть хотя бы
на этом и будет построено противоречие.
Вспомним, что сумма делителей числа равняется
Следовательно
В неравенстве мы заменили конечную сумму геометрической прогрессии на бесконечную.
Пусть теперь — некоторое число. Если у
то
поскольку число тем больше, чем меньше
Аналогично, если то
Итак, если то в разложение
входит хотя бы 3 простых числа. Поскольку уже
то нас интересуют
лишь
в разложении которых ровно три простых числа.
Если среди этих простых чисел нет если среди них нет и
то
значит
есть; если нет
то
значит и
есть; если нет
то
значит и
есть. Тогда
(добавление ещё одного
простого сделает
больше
), сумма делителей которого равна
Значит,
обязательно делится на
Пусть третий простой делитель Заметим, что
поскольку мы ищем
то домножить
мы можем
максимум на
Итак, получили всего немного вариантов: или
, или
, или
В первом случае при получаем
при
получаем
а
Во втором случае,
Если то
Отсюда что неверно.
Аналогично, в третьем случае
Отсюда должно быть хотя бы
что неверно при
Ошибка.
Попробуйте повторить позже
Найдите количество четвёрок положительных целых чисел таких, что
и
Источники:
Легко видеть, что Заметим, что правая часть равенства делится на
, а значит, и левая часть должна делиться, откуда
Разберём два случая, чему может равняться
тогда
откуда
тогда
Тогда, аналогично, или или
разберём эти два случая:
тогда
откуда
тогда
небольшим перебором убеждаемся, что тогда
Итого, получаем три возможные четвёрки решений:
Ошибка.
Попробуйте повторить позже
Фрэнк придумал способ кодирования чисел. Число кодируется числом
по следующим правилам:
получается из
так: Фрэнк смотрит, какие разряды в десятичной записи числа
отличаются от соответствующих разрядов числа
и увеличивает в
десятичной записи числа
на
только самый левый из этих разрядов (при этом
становится
а если разряда ещё не было, то
Фрэнк считает, что в нём стоял
). Например,
Найдите
если известно, что
Источники:
Что происходит, когда при увеличении на
меняются
последних разрядов? Можно посмотреть на это так: мы к каждому из
последних разрядов прибавляем
по модулю
Способ кодирования Фрэнка состоит в том, что вместо прибавления
ко всем разрядам
мы прибавляем
только к самому левому из них.
Тогда и способ декодирования становится понятен: как получилось число Мы
раз прибавляли
к разряду тысяч,
— к разряду сотен,
— к разряду десятков,
— к разряду единиц. Тогда число
получается, когда мы
раз
прибавляли
к разряду тысяч,
— к разряду сотен,
— к разряду десятков,
— к разряду
единиц. Получается, что ответ
Ошибка.
Попробуйте повторить позже
Назовём число волшебным, если оно делит число
Найдите все волшебные числа в промежутке от
до
Источники:
Докажем, что в общем случае при не являются волшебными числа только вида
, где
— простое.
Для этого разберём три случая: когда является простым, когда
является простым, и когда ни
, ни
не являются
простыми (в частности, если
нечётно, то
не является простым).
_________________________________________________________________________________________________________________________________________________________________________________
Первый случай. Если является простым. Рассмотрим выражение
по модулю Утверждается, что среди слагаемых в этой сумме встретятся все возможные ненулевые остатки по модулю
. Так как
различных ненулевых остатков по модулю
ровно
и слагаемых столько же достаточно показать, что все слагаемые дают
различные остатки по модулю
. Это действительно так, потому что в противном случае для некоторы
и
таких, что
было бы верно сравнение
Но перенеся в этом сравнении всё в левую часть, получаем
что невозможно, так как все множители в произведении не делятся на , а
— простое. Полученное противоречие доказывает, что
слагаемые являются всеми возможными остатками по модулю
, а значит, им сумма равна
, то есть кратна
, так как
простое, большее
а следовательно, нечётно.
_________________________________________________________________________________________________________________________________________________________________________________
Второй случай. Если является простым. Обозначим
через
тогда
Заметим, что среди чисел от
до
есть
только одно, кратное
: это само число
. Тогда при раскрытии скобок в выражении
все слагаемые кроме будут кратны
а это слагаемое — не будет. Значит, и вся сумма не будет кратна
, а следовательно,
и
, то есть
. Значит, в этом случае число магическим не является.
_________________________________________________________________________________________________________________________________________________________________________________
Tретий случай. Если ни ни
не являются простыми. В этом случае
можно представить в виде произведения
(т. к.
непростое), причём оба множителя будут больше
(так как либо
, поделённое на любой нечётный простой
делитель будет больше двойки, либо
— степень двойки, но в силу
степень двойки хотя бы четвёртая, и значит,
, где оба множителя больше
). То есть для некоторых
верно
. Тогда раскрывая скобки в
выражении
получаем слагаемые вида , где
, и два слагаемых
Во всех слагаемых первого вида в произведении содержатся множители
и
, а значит, после сокращения на
оставшееся
произведение будет делиться на
. Теперь заметим, что
. Тогда в случае
во втором слагаемом в
произведении
содержатся различные множители
а значит, после сокращения на
останется произведение
, кратное
. Если же
, то
, но тогда число
и
кратно
. Аналогично
доказывается, что последнее, третье слагаемое, кратно
, а значит, число является волшебным, так как все слагаемые кратны
.
_________________________________________________________________________________________________________________________________________________________________________________
Осталось заметить, что числами, для которых их половина является простым числом, являются те и только те, что перечислены как исключённые в ответе.
Все числа от до
кроме
.
Ошибка.
Попробуйте повторить позже
Существует ли множество натуральных чисел для которого выполнены следующие свойства: всевозможные суммы двух элементов из
уникальны (т.е. не бывает двух различных пар элементов, у которых суммы одинаковы), и при этом среди этих сумм можно найти
подряд идущих натуральных чисел.
Источники:
Приведём явный пример.
Рассмотрим числа вида
где
Тогда, очевидно, суммы вида
равны , то есть образуют
подряд идущих чисел. Осталось доказать, что среди попарных сумм пирведённых
чисел нет совпадающих.
Разделим все суммы на три вида: первый вид второй вид
третий вид
______________________________________________________________________________________________________________________________________________________
Для начала докажем, что суммы из двух разных видов не равны между собой.
Предположим, что число второго вида и третьего вида равны между собой. Тогда для некоторых будет выполнено
Перенося в этом равенстве все слагаемые без влево и оставляя справа только
заметим, что
больше, чем сумма
модулей всех остальных слагаемых, а значит, равенства быть не может. Аналогично доказывается, что числа первого вида не могут быть
равны числам второго и третьего видов.
_________________________________________________________________________________________________________________________________________________________________________________
Теперь докажем, что суммы из одного вида тоже отличаются друг от друга.
Приведём доказательство для сумм третьего вида, для двух других видов доказательства будут аналогичны.
Пусть есть и
такие, что пара чисел
не совпадает с парой
. Докажем, что не может быть равенства
Действительно, если так, то после подстановки получаем равенство
Если , то без ограничения общности можно считать, что
, но тогда
по модулю больше, чем все суммма модулей
остальных
слагаемых в равенстве, а значит, равенства быть не может. Если
, то после сокращения равных слагаемых остаётся
равенство
причём в этом равенстве так как изначальные пары были различны. Но тогда опять же не умаляя общности будет выполнено, что
и
по модулю будет больше, чем сумма модулей всех остальных членов в уравнении, что невозможно. Следовательно, все
суммы третьего вида различны между собой.
Заметим, что при доказательстве того, что попарные суммы различны внутри второго типа нужно отдельно рассмотреть случаи, когда
и
они будут образовывать наши подряд идущие числа, а следовательно, все различны. Во всех остальных
случаях соображение о том, что какое-то слагаемое по модулю будет больше, чем сумма модулей остальных, по-прежнему
работает.