Теория чисел на устном туре Турнира Городов
Ошибка.
Попробуйте повторить позже
Дано натуральное число Натуральное число
назовём удачным, если найдутся
последовательных натуральных
чисел, сумма которых равна сумме
следующих за ними натуральных чисел. Докажите, что количество удачных чисел
нечётно.
Источники:
Подсказка 1:
Ясно, что m > n. Давайте для удобства обозначим m = n + k и будем считать количество таких k. Осталось записать условие на равенство сумм, пользуясь формулой суммы членов арифметической прогрессии.
Подсказка 2:
Пусть первой наименьшее число среди n чисел равно x. Тогда у вас должно получиться равенство, в котором участвуют x, k и n. Обратите внимание на чётность множителей.
Подсказка 3:
У вас должно было получиться равенство (2x + k - 1)k = 2n². Давайте заметим, что у 2n² нечётное количество нечётных делителей. А сколько значений х соответствует распределению делителей по скобочкам?
Решение 1. Ясно, что положим
где
— натуральное, и будем искать количество подходящих
то есть таких
для которых уравнение
имеет решение в натуральных Преобразуем, пользуясь формулой суммы арифметической прогрессии. Получим:
Умножив на и приведя подобные слагаемые получаем:
Слева в уравнении (*) два сомножителя разной чётности, дающие в произведении при этом левый сомножитель
больше правого. Наоборот, если зафиксировать нечётный делитель
числа
то, зная
найдём дополнительный
делитель
и далее из системы
однозначно находим натуральное
(равное
Итак, количество подходящих равно количеству нечётных делителей числа
которое, в свою очередь, равно количеству всех
делителей числа
где (нечётное)
получается из
делением на наибольшую степень двойки, входящую в разложение
Но
количество делителей точного квадрата нечётно (так как все делители числа
кроме
можно разбить на пары:
и только
делитель
остаётся без пары).
_________________________________________________________________________________________________________________________________________________________________________________
Решение 2.
Очевидно, где
натуральное. Запишем равенство из условия в виде
Отсюда:
Чтобы условие задачи выполнялось с данным необходимо и достаточно, чтобы
было целым неотрицательным.
Положим где
нечётное,
целое неотрицательное. Тогда
будет целым в двух случаях: (а) если оба члена равенства (**)
целые
(б) если оба они полуцелые
Первый случай имеет место, когда
— нечётный делитель числа
то есть делитель числа
Количество
таких значений
нечётно, поскольку это всевозможные делители полного квадрата. Второй случай означает,
что
где — делитель числа
Между первым и вторым множеством значений
есть биекция: каждому
из первого множества
соответствует число
из второго множества, и обратно.
Пусть — пара из указанной биекции, причём
Тогда при
получится неотрицательное
а при
отрицательное.
Действительно, в силу
требуется проверить неравенство
Но что и требовалось. Поэтому подходящих значений
будет ровно
то есть нечётное
количество.
Ошибка.
Попробуйте повторить позже
Пусть — набор из
различных натуральных чисел. Для каждой пары чисел
где
подсчитаем, сколько
чисел в
являются делителями числа
Какое наибольшее значение может принимать сумма полученных
чисел?
Источники:
Подсказка 1
Что нужно делать в первую очередь, когда проверяем делимость у каких-то элементов последовательности без привязи к их позиции?
Подсказка 2
Упорядочим числа набора! Подумайте, на каких позициях относительно двух элементов могут находиться делители их разности?
Подсказка 3
Для конкретного k и j найдите количество и aᵢ, таких что aⱼ - aᵢ делится на aₖ.
Сначала докажем оценку. Пусть — элементы набора
Заметим, что разность вида
при
может делиться на
лишь при
Выберем любые
и посмотрим, сколько из чисел вида
(при
) может делиться на
Все такие числа при
отличаются менее, чем на
поэтому на
может
делиться лишь одно из них. Значит, всего таких разностей может быть максимум
Итого, получаем
оценку:
Это количество достигается, например, на наборе Здесь все неравенства из оценки обращаются в равенства, а значит, и
оценка достигается.
Есть и другие примеры, в том числе, в которых все числа набора попарно взаимно простые, скажем,
Ошибка.
Попробуйте повторить позже
Существует ли целое , удовлетворяющее неравенству
(Здесь обозначает целую часть числа
, то есть наибольшее целое число, не превосходящее
.)
Источники:
Подсказка 1
Первая мысль, которая возникает при виде этого неравенства, — это избавиться от целых частей, с ними неудобно работать. В конце концов, тут есть корни, если бы можно было в исходном неравенстве убрать целые части, то дальше можно и в квадрат возводить спокойно. Что ж, можно попытаться доказать, что целые части действительно можно убрать...
Подсказка 2
Для этого примените неравенства, возникающие из определения целой части числа. Что ж, дальше попробуем пользоваться возведением в квадрат. И... в итоге получается тривиальное неравенство, не содержащее n :( Что это может значить? Вероятно, надо как-то ещё преобразовать исходное неравенство, чтобы такой способ сработал. Если и пытаться это делать, то для правой части, она выглядит получше. Не поможет ли возведение её в квадрат?
Подсказка 3
Хм, можно оценить, что квадрат правой части (к слову, целой) не больше, чем 9n + 6. Подумаем, а когда в таком неравенстве достигается равенство?
Подсказка 4
Вообще, при равенстве получится, что квадрат целого числа даёт остаток 6 по модулю 9. Стоп, а такое вообще возможно?
Подсказка 5
Нет, квадраты чисел по модулю 9 не дают остаток 6! Более того, остаток 5 они тоже не дают, а вот остаток 4 уже может получиться. А тогда можно оценить правую часть более строго!
Подсказка 6
Действительно, получается, что квадрат правой части на самом деле не больше, чем 9n + 4, давайте преобразуем исходное неравенство, а дальше опять будем возводить в квадрат, остаётся надеяться, что в результате получится более содержательное неравенство
Предположим целое удовлетворяет этому неравенству. Имеем
Но квадрат целого числа не может давать ни остаток 6, ни остаток 5 от деления на 9, значит,
Тогда исходное неравенство влечёт неравенство
Возводя в квадрат и приводя подобные слагаемые, получаем, что
Однако, прямая проверка показывает, что при исходное неравенство не выполняется — противоречие.
Ошибка.
Попробуйте повторить позже
Возрастающая последовательность натуральных чисел такова, что при каждом целом
число
равно
наименьшему натуральному числу, большему чем
и не делящемуся ни на одно из чисел
. Докажите, что в такой
последовательности лишь конечное количество составных чисел.
Подсказка 1
Нам нужно доказать, что начиная с какого-то m все числа нашей последовательности станут простыми. Допустим, что для какого-то n > m выполняется aₙ = d*t, где t ≤ d. Из условия мы понимаем, что d у нас не является числом вида aₖ, где k < m. Тогда как мы можем оценить d?
Подсказка 2
Точно! Мы можем тогда сказать, что aₖ < d < aₖ₊₁ для k < m. Тогда если мы возьмём достаточно большое m (например, 100), то мы также знаем, что d > a₁₀₀. Что теперь можно сказать про делители числа d, если мы знаем, что d не является членом нашей последовательности?
Подсказка 3
Верно! Мы получаем, что d делится на какое-то aₚ, где p ≤ k. Тогда какое противоречие мы получаем для aₙ?
Докажем, что все , большие
, — простые числа. Предположим противное, тогда некоторое
раскладывается как
, где
, и следовательно
. Согласно определению
не является ни одним из
.
Тогда
для какого-то
. Раз
не было выбрано в качестве
, оно делится на какое-то
. Но тогда и
делится на
. Противоречие.
Ошибка.
Попробуйте повторить позже
В строку записано натуральных чисел. Каждое из них, начиная с третьего, делится и на предыдущее, и на сумму двух предыдущих.
Какое наименьшее значение может принимать последнее число в строке?
Подсказка 1
Начните с малого: попробуйте построить последовательность из 3-4 чисел, удовлетворяющих условиям. Какие минимальные значения можно выбрать для первых двух чисел? Как будет расти последовательность?
Подсказка 2
Докажите, что каждое следующее число должно быть значительно больше предыдущего. Если aₖ делится на aₖ₋₁ и на (aₖ₋₁ + aₖ₋₂), как это ограничивает минимальное значение?
Подсказка 3
Попробуйте взять первые два числа равными 1. Как будет выглядеть последовательность? Почему факториалы — это единственный способ достичь минимального последнего числа?
Подсказка 4
Допустим, для первых k чисел минимальная последовательность — это факториалы. Как доказать, что aₖ₊₁ должно быть не меньше k! ? Используйте условие делимости на сумму двух предыдущих. aₖ₊₁ должно делиться на aₖ + aₖ₋₁ = (k-1)! + (k-2)! = (k-1)·(k-2)! + (k-2)! = k·(k-2)!
Пример. Условию задачи, очевидно, удовлетворяют числа так как при любом натуральном
число
делится
как на
так и на
Оценка. Пусть — три подряд идущих числа в строке, но не первые три числа. Докажем, что
По условию,
где
и
натуральные. Тогда
причём
делится на
Получаем, что
делится
на
откуда
делится на
и так как
и
взаимно просты,
делится на
то есть
что и
требовалось.
Заметим, что первые два числа не меньше каждое. Третье число больше второго (так как делится на сумму второго и первого), а
значит, хотя бы в два раза больше второго (так как делится на него и не равно ему). По доказанному выше, четвёртое число тогда хотя бы в
раза больше третьего, пятое — хотя бы в
раза больше четвёртого, и так далее, откуда по индукции получаем, что
-е число не
меньше, чем (
)! при всех натуральных
Ошибка.
Попробуйте повторить позже
Имеется натуральное -значное число
-значное число
— то же число
записанное от конца к началу (например, для
четырёхзначных чисел это могли быть
и
). Известно, что
При каком
частное
будет наименьшим (но строго
больше
)?
Подсказка 1
Пусть A = a₁₀₀₀a₉₉₉...a₀. (Где a_i — цифры). Что можно сказать про a₀, a₁,..., a₄₉₉, учитывая A > Z?
Подсказка 2
Верно! Они не могут быть все девятками! Теперь уже легко указать максимальное значение Z. Какое?
Подсказка 3
Правильно! 9...989...9 (в начале 499 девяток, а в конце 501 девятка). Обозначим за Z₀ это число. Теперь будем пытаться оценить A - Z снизу. Для начала давайте поймём, как действовать, если мы найдем точную оценку на A - Z снизу, и она будет достигаться при Z = Z₀.
Подсказка 4
Останется только вычесть из дроби A/Z единицу, подставить Z₀ и получить ответ. Какая оценка на A - Z напрашивается, если мы хотим равенство при Z = Z₀?
Подсказка 5
Верно! 10⁵⁰¹ - 10⁴⁹⁹. Давайте будем доказывать эту оценку. Для удобства введем обозначения φ_n = a_{501 + n} - a_{499 - n} и △_n = 10⁵⁰¹⁺ⁿ - 10⁴⁹⁹⁻ⁿ. Как тогда записывается число A - Z?
Подсказка 6
Ага! A - Z = φ₄₉₉△₄₉₉ + ... + φ₁△₁ + φ₀ △₀. Прежде чем оценивать это выражение, давайте попробуем оценить снизу отношение △_{i +1} / △_i.
Подсказка 7
Оно всегда больше 10. Пусть j — максимальный индекс такой, что φ_j ≠ 0. Попробуйте написать оценку на |φ_j△_j + ... + φ₁△₁ + φ₀ △₀| используя неравенство треугольника и нашу оценку на отношение △_{i +1} / △_i. Также стоит помнить, что φ_i является разностью цифр, а, значит, не больше 9.
Первое решение. Пусть Поскольку
среди цифр
есть хотя бы одна недевятка. Значит,
Покажем, что
Отсюда будет следовать, что
Эта оценка достигается при что и даёт ответ. Имеем
где и
при
Заметим, что
Пусть
наибольший индекс,
при котором
Тогда
что и требовалось.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. Ясно, что можно минимизировать (положительное) число Пронумеруем цифры в
слева направо
Пусть
— наименьший номер, для которого
(тогда
и
ибо
).
Рассмотрим произвольный оптимальный пример. Заменим первые и последние цифр на девятки.
не изменится,
не
уменьшится, то есть наша дробь не увеличится. По этой же причине
можно заменить на
Заменим
на
а
на
При этом
не увеличится, а
не уменьшится. Заменим все цифры
на нули, а
на девятки. Тогда
не увеличится, а
если и уменьшится, то на меньшую величину (это произойдёт только тогда, когда вторая половина и так была
девятками!). Поскольку в оптимальном примере
(в первом просто меньше цифр), то, ясно,
не возрастёт. Итак, можно
считать, что
имеет вид
В этом случае
Это выражение достигает минимума при и при этом же
достигается максимум значения рассматриваемых
Значит, это и
есть ответ.
При запись которого (слева направо) такая:
девятка, восьмёрка,
девяток
Ошибка.
Попробуйте повторить позже
Для каких натуральных верно следующее утверждение: для произвольного многочлена
степени
с целыми коэффициентами
найдутся такие различные натуральные
и
для которых
делится на
Подсказка 1
Условие задачи сильно напоминает формулировку теоремы Безу для многочленов: "Пусть P(x) является многочленом с целыми коэффициентами. Тогда для любых чисел целых чисел a, b число P(a)-P(b) делится на a-b." Доказательство данного утверждения опирается на тот факт, что для любых целых чисел a, b и натурального числа n a^n-b^b кратно a-b В данной задаче разность многочленов меняется на их сумму. К нашему счастью, для нечетных n и произвольных целых чисел a и b верно, что a^n+b^n кратно a+b. Что позволяет понять данное соображение в условиях нашей задачи?
Подсказка 2
Если представить произвольный многочлен P(x) в виде сумму многочленов P₀(x)+P₁(x), где в P₀(x) входят все мономы P(x) четной степени, а в P₁(x) - нечетной. Тогда, аналогично доказательству теоремы Безу, для любых натуральных чисел a, b верно, что P₁(a)+P₁(b) кратно a+b, тем самым мы показали, что число P(a)+P(b) сравнимо с P₀(a)+P₀(b) по модулю a+b. Что можно сказать о многочленах, для которых P₀(x) является константой?
Подсказка 3
Пусть P₀(x)=с для некоторого целого с. Тогда P(a)+P(b) сравнимо с 2c по модулю a+b, и по условию 2с кратно на a+b. Существует ли число c такое, что для любых различных чисел a и b число 2c не кратно a+b?
Подсказка 4
Существует! Например, число c=1. Таким образом, 2с=2<a+b, следовательно, 2с не кратно a+b. Таким образом, мы показали, существует многочлен P(x) = P₁(x)+1 произвольной нечетной степени, для которого искомые числа a, b не существуют. Осталось показать, что для любого многочлена четной степени утверждение задачи верно.
Подсказка 5
Покажем, что существуют такие числа натуральные числа a и b, что для многочлена P(x) верно, что P₀(a)+P₀(b) кратно a+b. Зафиксируем произвольное число a=m. Тогда P₀(m)+P₀(b) должно быть кратно m+b. Если b=P₀(m)-m, то m+b=P(m), то есть достаточно показать, что P₀(P₀(m)-m) кратно P₀(m). Это правда, поскольку P₀(P₀(m)-m) сравнимо c P₀(-m) по модулю P₀(m) и, в свою очередь, P₀(-m)=P₀(m), поскольку P₀(x) состоит из лишь мономов четной степени. В чем проблема данных рассуждений?
Подсказка 6
Число b=P₀(m)-m не обязательно является целым. Для решения задачи осталось показать, что существует для любого многочлена четное степени существует такое натуральное m, что число P₀(m)>m.
Нечётные не подходят. В самом деле, рассмотрим многочлен
и различные натуральные
Так как
нечётно,
делится на
а тогда
не делится, поскольку
Осталось доказать, что все чётные подходят. Рассмотрим произвольный многочлен
степени
Представим его в виде суммы
где в
все мономы чётной степени, а в
— нечётной. Заметим, что при всех натуральных
сумма
делится на
Докажем, что найдутся такие
что и
делится на
Заметим, что степень
равна
Рассмотрим случай, когда старший коэффициент положителен (в случае отрицательного старшего коэффициента проведём
дальнейшее доказательство для многочлена
Так как
то найдётся такое натуральное
что
Докажем, что
подходят. В силу выбора
они оба натуральные, причём
Далее, по модулю
выполняются
сравнения
(очевидно) и
(в силу чётности многочлена
. Значит,
что и требовалось.
_________________________________________________________________________________________________________________________________________________________________________________
Замечание. В случае чётного можно проделать подобное рассуждение и без разбиения на чётную и нечётную компоненты.
Поскольку степень многочлена
равна
существует такое натуральное
, что
. Тогда подойдут
числа
Действительно, тогда
и по модулю
верно сравнение
При всех чётных
Ошибка.
Попробуйте повторить позже
Конечно или бесконечно множество натуральных чисел, у которых как в десятичной записи, так и в семеричной записи нет нуля?
Источники:
Подсказка 1
При переходе из 10-й в 7-ую систему счисления число ведет себя непонятным образом, попробуйте подобрать такое число, чтобы в 7-й системе было приятно с ним работать
Подсказка 2
Какие числа в семеричной системе легко переводятся в десятичную систему счисления?
Подсказка 3
aₙ = 7ⁿ+7ⁿ⁻¹…+7+1 в семеричной системе счисления записывается так: 111…111 (n+1 единица). Всегда ли aₙ не имеет нулей?
Подсказка 4
Чтобы не сильно менять вид числа aₙ будем добавлять числа вида 7^k, k ≤ n
Подсказка 5
Пусть ноль где-то есть, какую степень семерки нужно взять чтобы избавиться от 0, но не совершить переход через разряд?
Подсказка 6
Найдётся степень семёрки, лежащая между 10^i и 7×10^i. Докажите, что перехода через разряд не произойдёт.
При любом натуральном положим
Покажем, что к
можно прибавить несколько различных степеней
семёрки, не превосходящих
чтобы получилось число
без нулей в десятичной записи. Тогда семеричная запись
будет
состоять из единиц и двоек. Ясно, что таким образом мы построим бесконечно много различных чисел
удовлетворяющих
условию.
Итак, рассмотрим десятичную запись числа рассмотрим первый слева ноль в ней (если он есть). Пусть он стоит в
-м разряде
справа (разряд единиц считаем нулевым). Найдётся степень семёрки
лежащая между
и
заметим, что она
меньше
и поэтому меньше
После прибавления её к
перехода из
-го разряда не произойдёт (так как
первая цифра
меньше
), при этом в
-м разряде окажется не ноль. Значит, в полученном числе первый слева ноль в
десятичной записи (если он есть) расположен правее, чем в
применим к этому нулю то же действие (при этом мы прибавим
меньшую степень семёрки, чем в предыдущий раз). Продолжая так дальше, в результате мы построим требуемое число
Бесконечно
Ошибка.
Попробуйте повторить позже
Найдите все такие пары натуральных чисел и
что
делится на
и
делится на
Если то, очевидно,
при этом пара
подходит. Осталось разобрать случай
Заметим сразу, что
и
взаимно
просты; пусть
Число
делится на аналогично,
делится на
а из взаимной простоты и на их произведение. Итак,
а
значит,
или
С другой стороны,
Итак,
Но — противоречие.