Теория чисел на Изумруде
Ошибка.
Попробуйте повторить позже
Трёхзначное число состоит из цифр и обладает следующими свойствами:
цифра в разряде единиц равна последней цифре числа
цифра в разряде десятков равна последней цифре числа
цифра в разряде сотен равна последней цифре числа
Найдите все такие числа.
Источники:
Подсказка 1
Обратите внимание, что последняя цифра суммы а + b + с равна с. Это означает, что а + b должно быть кратно 10. Какие пары цифр а и от 1 до 9 дают в сумме 10?
Подсказка 2
Как можно переписать условие "ab + bc + са оканчивается на b"? Попробуйте выразить это через а, b и с, со старыми ограничениями. Какие новые ограничения на с это накладывает?
Подсказка 3
Финишная прямая! Рассмотрите два основных варианта: Если b = 5, то а = 5. Какие с подойдут? Если а = 1, то b = 9. Какое с даст abc, оканчивающееся на 1? Не забудьте проверить а = 6, b = 4.
Заметим, что можно, не умаляя общности, считать, что наше трёхзначное число — это именно так как числа
— симметричные выражения относительно
. Тогда по условию
равно последней цифре числа
но тогда
так как разряд единиц обнулился, то есть
где
так как
Но
значит,
откуда
, то есть
и
Аналогично, так как последняя цифра числа совпадает с
то
Перепишем иначе:
где Тогда
то есть При этом
значит, либо
, либо
(так мы
обеспечим делимость на
Разберём случаи:
- 1.
-
— противоречие.
- 2.
-
Если
то
оканчивается на
то есть
— противоречие. Значит
Заметим, что все эти числа подходят, так как
то заканчивается на
тоже заканчивается на
- 3.
-
Знаем, что последняя цифра числа
равна
то есть
заканчивается на
при этом
а наименьшее натуральное число, кратное
и оканчивающееся на
— это
То есть
— подходит.
- 4.
-
Знаем, что последняя цифра числа
равна
тогда
- 4.1.
-
— подходит.
- 4.2.
-
— подходит.
Итого, ответ:
Ошибка.
Попробуйте повторить позже
Найдите все тройки натуральных чисел являющиеся решением уравнения
Источники:
Подсказка 1
Обратите внимание, число 2^{xy} почти всегда значительно больше числа 2^{x + y}. Попробуйте формализовать эту идею.
Подсказка 2
Пусть x, y ≥ 6. Давайте зафиксируем y, выразим z через x и y. Осталось показать, что при больших х это выражение будет меньше 1, значит, решений не будет.
Подсказка 3
Доказывать стоит по индукции. Глобальная идея — показать, что знаменатель выражения увеличивается в большее количество раз, чем числитель при увеличении x.
Задача симметрична относительно и
Пусть
Тогда
или
чего не бывает. Значит,
Аналогично,
Пусть
Тогда
или
Тогда получаем решения при
при
при
При
по индукции покажем, что
то есть решений нет. База при
верна. Рассмотрим
следующие оценки числителя и знаменателя в переходе
и
то есть числитель увеличился
менее, чем вдвое, а знаменатель более, чем вдвое, значит,
уменьшилось. Теперь можно считать, что
Тогда
Пусть
Тогда
то есть равенства нет. Тогда и
Покажем, что при
Снова используем индукцию: пусть
Тогда при
получаем
Теперь
переход индукции:
что и требовалось. Оценим левую часть, используя полученное неравенство:
Далее то есть
Тогда в левой части
Пусть
Тогда
по прошлой оценке, то есть равенство возможно только при Теперь пусть
или
хотя бы
Тогда
и
что снова противоречит оценке правой части. Значит, Подставляя тройку
понимаем, что это не будет решением.
Итого, мы получили ответ из шести троек (учитывая то, что есть симметричные для
и
и
Ошибка.
Попробуйте повторить позже
Император планеты Кибертрон приказал создать календарь наподобие земного, то есть разбить год на месяцы так, чтобы один месяц содержал 28 дней, а все остальные — либо 30 , либо 31. Кроме того, он пожелал, чтобы среди любых трёх последовательных месяцев был хотя бы один 31-дневный: «лишние» 31-е дни император планировал сделать всепланетными праздниками, а праздников хотелось побольше. Однако Мудрейший математик Кибертрона установил, что приказ Императора выполнить невозможно. Каким наибольшим числом может быть количество дней в году на планете Кибертрон, если известно, что это число — целое?
Источники:
Пусть год на Кибертроне составляет суток. Приказ Императора может быть выполнен тогда и только тогда, когда для некоторых целых
неотрицательных
и
выполняется
Назовём натуральные представимые в указанном виде, приемлемыми, а выражение
— представлением
Найдем
все приемлемые числа
______________________________________________________________________________________________________________________________________________________
Лемма.Пусть число — приемлемо. Тогда можно считать, что в его представлении
где
и такое
(следовательно, и
— единственно.
Доказательство. Пусть но
Тогда
При этом
Следовательно, пара
тоже подходит для представления
Осуществляя данную операцию несколько раз,
найдём требуемое представление. Чтобы показать его единственность, предположим противное, то есть, что для некоторых различных
и
не превосходящих 30
Тогда
Заметим, что левая часть не может быть кратна 31 — противоречие.
_________________________________________________________________________________________________________________________________________________________________________________
Вернемся к задаче. Все числа вида приемлемы
Число вида
приемлемо, только
если
Другими словами, Наибольшее неприемлемое число такого вида —
Аналогично,
(здесь
приемлемо, если
Наибольшее неприемлемое число такого вида — В остальных случаях имеем
где
Тогда
приемлемо тогда и только тогда, когда
Поскольку — целое, получаем, что наибольшее неприемлемое число указанного вида достигается при
в случае нечетного
и
при
в случае нечетного
Значения
будут соответственно равны
Теперь ясно, что наибольшее неприемлемое число возникает при наибольшем значении то есть при
В этом
случае
1393
Ошибка.
Попробуйте повторить позже
Натуральные числа от 1 до 8 расставили по кругу так, что каждое число делится на разность своих соседей. Известно, что числа 2 и 5 стоят рядом. Докажите, что числа 4 и 6 стоят рядом.
Источники:
Подсказка 1
Будем отталкиваться от того, что нам уже дано. Какие числа можно поставить рядом с 2? Какие - рядом с 5?
Подсказка 2
Рядом с 2 может стоять одно из чисел 3, 4 ,6, 7. Рядом с пятеркой - 1, 3, 7. Переберем случаи! От какого еще числа удобно отталкиваться?
Подсказка 3
Помним, что соседями единицы могут быть только последовательные числа.
Рядом с может стоять одно из чисел
. Рядом с пятеркой —
. Заметим также, что соседями единицы могут быть только два
последовательных числа. Переберем всевозможные варианты для соседа двойки:
1) Рядом с 2 стоит 3. Тогда рядом с 3 может стоять только 1. Ее сосед — это только 4 и рядом с 4 может встать только 6.
2) Рядом с 2 стоит 4. Тогда рядом с 4 может стоять или
.
Ошибка.
Попробуйте повторить позже
Дарья Дмитриевна готовит зачёт по теории чисел. Она пообещала каждому студенту дать столько задач, сколько слагаемых он создаст в числовом примере
где все числа — натуральные, больше 10 и являются палиндромами (не меняются, если их цифры записать в обратном порядке). Если
студент не нашёл ни одного такого примера, он получит на зачёте 2021 задачу. Какое наименьшее количество задач может получить
студент?
Источники:
Подсказка 1
Легко можно придумать пример для трех. Например, 22+888+1111. Попробуйте доказать, что меньше трех придумать невозможно.
Подсказка 2
Пример на одного числа невозможен, так как 2021 - не палиндром. Если же чисел будет два, то одно число обязательно должно быть четырехзначным. Рассмотрите несколько вариантов того, как может выглядеть это четырехзначное число. Подумает, как при этом должно выглядеть второе число в сумме.
Одну задачу студент получить не может, так как 2021 не является палиндромом. Предположим, что он может получить две задачи, тогда
хотя бы одно из чисел — четырёхзначное. Если оно начинается на 2, то вторая цифра 0 и само число равно 2002. В таком случае
второе число равно 19, что не палиндром. Если же число начинается с 1, то его последняя цифра также 1 и у второго числа последняя
цифра должна быть нулём, что неверно для палиндромов. Значит две задачи студент получить не мог. Пример на 3 задачи существует,
например,
Ошибка.
Попробуйте повторить позже
Найдите количество троек натуральных чисел , являющихся решением уравнения
Источники:
Подсказка 1
Для каждого значения √(n+√k) значение m будет определено однозначно. Подумайте, какие значения может принимать √(n+√k).
Подсказка 2
√(n+√k) не может быть меньше 2, так как n и k больше 1, и также не может быть больше 2022, так как 2023-m≤2022. Давайте обратим внимание на то, что в правой части уравнения стоит целое число, тогда и в левой части тоже должно быть целое. Какие должны для этого соблюдаться условия?
Подсказка 3
Для этого k и n+√k должны быть точными квадратами. Обозначим k = x² и n+√k = y². В таком случае, число n определяется однозначно, значит, для получения ответа на задачу нам нужно найти все возможные пары (x, y).
Чтобы левая часть была целым числом, числа и
должны быть точными квадратами, при этом
значит
и отсюда
Так как
то
может принимать любое значение от
до
— по этому
значению число
определяется однозначно.
Пусть и
где
и
тогда число
определяется однозначно, а именно
Получается, необходимо посчитать число допустимых пар
Всего их
Формула суммы квадратов первых натуральных чисел известна:
Применим эту формулу и получим
Ошибка.
Попробуйте повторить позже
В вершинах правильного двенадцатиугольника в некотором порядке расставили натуральные числа от 1 до 12 (каждое по одному разу). Могло ли случиться так, что суммы всех пар соседних чисел являются простыми и суммы всех пар чисел, между которыми стоят ровно два числа, тоже являются простыми?
Источники:
Подсказка 1
Для начала, попробуйте взять любое число от 1 до 12 и посмотреть, сколько чисел в сумме с исходным дают простое число!
Подсказка 2
Да, для каждого числа это индивидуально, поэтому конкретно из этого факта мало что можно извлечь. Но если рассмотреть похожую идею, какие числа в сумме с исходным образуют простое число? И как нам это поможет в задаче?
Подсказка 3
Верно, каждое число влияет ровно на 4 суммы. Так что, если мы найдем два числа, для которых дополнение до простого совпадает, то мы победим! (дополнение – число, которое в сумме с исходным даёт простое)
Подсказка 4
Да, надо посмотреть на числа 6 и 12.
Каждое число в вершине участвует ровно в четырёх суммах. Заметим, что для получения простой суммы к числам 6 и 12 можно прибавить только 1, 5, 7 и 11. Значит для вершин, в которых стоят числа 6 и 12, наборы соседних чисел и чисел, стоящих от них через две вершины, должны совпадать. Однако, для каждой вершины эти наборы различны, поэтому хотя бы одна из сумм не будет являться простым числом.
Ошибка.
Попробуйте повторить позже
Назовём число полуцелым, если число
— целое. Полуцелой частью числа
назовём наибольшее полуцелое число, не превосходящее
и будем обозначать
Решите уравнение
Источники:
Подсказка 1
Так, даны какие-то полуцелые части. Понятно, что сразу же напрашивается аналогия с целой и дробной частью. Когда мы делим число x на целую —[x], и дробную — {x} части, мы можем записать, что х=[x]+{x}, где [x] — целое число, а {x} лежит на [0,1). Здесь, чтобы облегчить себе жизнь, поступим так же и запишем подобные ограничения на полуцелую часть числа и “остаток”, который получается после ее вычитания.
Подсказка 2
Если обозначить за n/2 полуцелую часть, то можно записать, что x = n/2+r. Получаем уравнение на n и r и имеем соответствующие ограничения на эти величины. Далее нужно будет активно использовать то, в каких пределах лежит r, и вспомнить, какие приемы можно использовать в подобных задачах с целой и дробной частью.
Подсказка 3
Удобнее будет отдельно рассмотреть положительные и отрицательные n. Дальше только аккуратные преобразования, нахождение n, подстановка и нахождение r :)
Рассмотрим два случая.
1) Число — полуцелое, тогда
и исходное уравнение примет вид
Корнями данного уравнения являются числа но тогда числа
не являются целыми, значит решений
нет.
2) Имеет место равенство
где и
тогда
А также исходное уравнение примет вид
Выразим из уравнения и получим
Решения существуют только при Найдём все
удовлетворяющие неравенству
Если , то
и может иметь решение только лишь неравенство
которое после возведения в квадрат равносильно
Поскольку и
, то
— единственное целое значение, удовлетворяющее
системе. В этом случае
Если то решений нет, так как
— целое.
Если , то
и может иметь решение только лишь неравенство
Поскольку и
то
— единственное целое значение,
удовлетворяющее системе. В этом случае
Ошибка.
Попробуйте повторить позже
Пусть — множество всех простых чисел, расположенных в некотором порядке. Может ли случиться так, что для всех
натуральных
число
является натуральным?
Источники:
Подсказка 1
В задачах на делимость (а это по сути она и есть) часто выгодно рассмотреть какое-то красивое число. А поскольку у нас в задаче часто фигурируют простые, рассмотрим p_m = 2. Что тогда хорошего можно сказать про дробь?
Подсказка 2
Тогда, можно сказать, что число меньше 2, а значит равно 1, а значит, p_(m + 1) = p^2_(m + 2) + 2. А мы как-то использовали m? Может ли m быть сильно большим? Как можно ограничить m зная симметричность p_(i + 1) и p_i в нашем числе?
Подсказка 3
Если m > 1, то можно взять рассмотреть (2p_(m - 1) - p^2_(m + 1))/(2 + p_(m - 1)). Тогда, p_(m - 1) = p^2_(m + 1) + 2 = (p^2_(m + 2) + 2)^2 + 2. По какому модулю теперь удобно посмотреть, при наличии тут множественных квадратов?
Подсказка 4
Конечно, mod 3. Ведь тогда, если p_(m + 2) != 3, то p_(m + 1) кратен 3, а значит равен 3. Но тогда p_(m + 2) = 1. А если же p_(m + 2) = 3, то p_(m - 1) = 123. Значит, пришли к общему противоречию с тем, что m > 1, значит, m = 1. При этом, поняли, что mod 3 в этой задаче, как будто, играет важную роль. Давайте тогда , если уж все таки хотим делимость, рассмотрим такие p_k и p_k + 1, что их сумма кратна 3, и при этом они оба отличны от 3. Что это значит тогда для этих двух чисел? А для дроби?
Подсказка 5
Это значит, что остатки mod 3 у этих
Подсказка 6
Это числа, которые сравнимы с 2 mod 3, а после идет сама тройка. Но тогда, если после тройки стоит число = 2 mod 3, то после него идут только числа = 2 mod 3, а значит пришли к противоречию, так как числа = 1 mod 3 существуют. А значит, после 3 идут только числа = 1 mod 3, но тогда перед 3 стоит конечное число простых = 2 mod 3. А то, что таких бесконечно - остаётся вам в качестве упражнения! :)))
Предположим, что такое могло случиться. Тогда существует натуральное такое, что
Значит число
является натуральным, откуда
Случай невозможен, так как тогда число
также является натуральным, откуда
Теперь если то
что невозможно. Если же
то
Значит,
Это невозможно. Следовательно,
Предположим теперь, что нашлись числа и
с различными ненулевыми остатками при делении на 3, то есть
Поскольку число
является натуральным, то
Но тогда
Это невозможно, так как квадраты имеют остатки 0 или 1 при делении на 3. В итоге мы доказали, что числа с остатками 1 и 2 при делении на 3 не могут быть соседними.
Поскольку это означает, что после
стоят несколько чисел с остатком 2 при делении на 3, затем где-то стоит
число 3. Если после тройки стоит число с остатком 2 при делении на 3, то все числа далее будут с таким же остатком и в
последовательности простых чисел не будет ни одного числа с остатком 1 при делении на 3 (такие есть, например, число
7).
Следовательно, после тройки стоит число с остатком 1 при делении на 3 и все числа за ним имеют такой же остаток. Но тогда до тройки стоит лишь конечное число простых чисел с остатком 2 при делении на 3.
Предположим, что простых чисел вида конечное число. Обозначим все такие числа через
Число
не
делится на простые числа
и даёт остаток 2 при делении на 3. Значит среди его простых делителей должно быть число вида
— противоречие.
Ошибка.
Попробуйте повторить позже
Существуют ли 4 различных натуральных числа, больших единицы, таких, что сумма квадратов любых трёх из них делится на оставшееся число, увеличенное на единицу?
Источники:
Подсказка 1
Давайте подумаем, какой здесь может быть ответ. Если ответ «нет», то непонятно, из каких соображений приходить к противоречию в общем случае. То есть доказывать неразрешимость системы сравнений при произвольных 4 числах. Тяжело. А если ответ «да», то нужно просто придумать пример. Про квадраты и делимость удобно говорить по модулям 2, 3, 4 и подобным. То есть хотелось бы, чтобы модули, по которым мы рассматриваем суммы квадратов были бы 2,3,4, то есть чтобы числа были 1,2,3.., в целом, какими-то маленькими. Единица сразу не подойдет, чисто интуитивно, она может испортить много модулей, так как ни на что не делится. А вот 2 и 3 — удачные числа. Попробуйте построить пример с ними.
Подсказка 2
Если мы хотим использовать числа 2 и 3, то удачно было бы использовать числа, которые им кратны. То есть, к примеру, 6 или что-то большее (чтобы были общие делители у каждого слагаемого из суммы квадратов). Давайте возьмем 6 и посмотрим, чему равна сумма квадратов этих трёх чисел. Она равна 49. Тогда нам либо надо брать оставшееся число равным 48, либо 6, но 6 уже взято. Поэтому давайте возьмем 48. Подходит ли такая четвёрка?
Посмотрим на числа 2, 3, 6, 48:
1) сумма квадратов 2, 3, 6 равна 48+1;
2) числа 3, 6, 48 делятся на 2+1, поэтому и сумма квадратов;
3)
4)
Ошибка.
Попробуйте повторить позже
Приведите пример различных натуральных чисел таких, что
Источники:
Подсказка 1
Попробуем подставить какое-то значение вместо, например, а. При этом нам выгодно, чтобы выражение справа разбивалось на произведение каких-то множителей. Какое а берём?
Подсказка 2
Пусть а = 1. Теперь рассмотрим левую и правую часть по каким-то модулям, чтобв отбросить точно не подходящие варианты. Каких модулей нам хватит, чтобы легко подобрать подходящие значения?
Подсказка 3
Смотрим остатки по модулям 3, 4 и 5. Отсюда берем какие-то подходящие b, c и d, получаются несколько наборов, можем выбрать любой.
Рассмотрим числа 1, 4, 8, 12. Так как
то этот набор чисел удовлетворяет условию.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание.
В задаче требуется только пример, попробуем прийти к нему. — наименьшее из используемых натуральных чисел, пусть
Добавим к каждой части по единице, тогда уравнение выглядит как
Теперь рассмотрим делимость на
тогда
иначе правая часть будет делиться на
Рассмотрим аналогично делимость на
Тогда
иначе правая часть будет делиться на
Получим минимально возможное то есть
и
Тогда или
. В первом случае получаем
и
Во втором случае: и
Оба примера подходят, могут быть и другие подходящие под условие наборы.
Например, подходят числа
Ошибка.
Попробуйте повторить позже
Пусть — количество способов представить число
в виде суммы факториалов натуральных чисел, а
— количество способов
представить число
в виде суммы факториалов натуральных чисел (наборы, отличающиеся перестановкой чисел, считаются
одинаковыми). Докажите, что
Источники:
Подсказка 1
Когда нам нужно доказать равномощность некоторых множеств (в нашем случае это множества разложений в сумму факториалов), имеет смысл построить биекцию между такими множествами (взаимно однозначное соответствие).
Подсказка 2
Давайте разложим 2019 в сумму факториалов и попробуем что-то сказать хотя бы про одно слагаемое.
Подсказка 3
Давайте зацепимся за то, что 2019 нечётно!
Подсказка 4
Раз 2019 нечётно, то хотя бы один факториал нечётный! А много ли их таких? ;)
Пусть — некоторое представление числа
в виде суммы факториалов натуральных чисел. Поскольку
эта сумма нечётна, есть хотя бы одно нечётное слагаемое. Нечётный факториал единственный и равен единице, поэтому, без ограничения
общности,
Тогда равенство примет вид
и является представлением числа в виде суммы факториалов натуральных чисел. То есть из каждого представления числа
мы однозначно получили представление числа
С другой стороны, взяв любое представление
и добавив к нему получим однозначно представление
Значит, количества представлений чисел и
совпадают.
Ошибка.
Попробуйте повторить позже
Про простые числа и
известно, что
Докажите, что
Источники:
Подсказка 1
Давайте попробуем решать задачу от противного и предположим, что p > q. На что похожи обе части равенства? Быть может, было какое-то разложение или формула? ;)
Подсказка 2
Левая часть выражения очень похожа на p^(q+1) - 1. А что нужно сделать, чтобы привести её к такому виду?)
Подсказка 3
Давайте домножим обе части равенства на (p-1)(q-1).
Подсказка 4
Как воспользоваться тем, что p и q различные простые?
Подсказка 5
Обратите внимание на делимость обеих частей на p.
Предположим, что и без ограничения общности будем считать, что
Добавим к обеим частям равенства
после чего
умножим обе части на
Тогда по формуле разности степеней получим
Раскрыв скобки, получаем
что, в свою очередь, равносильно равенству
Поскольку левая часть равенства делится на то и выражение
делится на Поскольку
и
являются простыми числами и
то НОД
а значит
Но из малой теоремы
Ферма следует, что
поэтому что невозможно. Следовательно, наше предположение ошибочно и