Оценочная теория чисел
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Имеется натуральное число Возьмём остатки от деления числа
на
Докажите, что сумма этих остатков больше
Обозначим сумму остатков от деления на числа
через
Мы докажем, что
при
Числа не делится нацело ни на какое нечётное число, отличное от
значит, остаток от деления
на такое
число не меньше
Отсюда легко вывести, что для любого нечётного
остаток от деления
на
не меньше
Отсюда следует, что
где –– количество не превосходящих
чисел вида
а
определяется условиями
(нет смысла
брать большее
так как тогда выражение в скобке будет равно нулю).
Рассмотрим -e слагаемое
Число
равно числу не превосходящих
членов арифметической прогрессии
Число таких членов не меньше
и, значит, это слагаемое не меньше
Заменив сумму в правой части первыми восемью слагаемыми, получим
При выражение в скобке положительно, то есть
Ошибка.
Попробуйте повторить позже
Будем говорить, что мы укоротили число, если стерли его последнюю цифру. Натуральное число, большее миллиона, таково, что если укоротить его, получится квадрат натурального числа, если укоротить этот квадрат, получится куб натурального числа, укоротив этот куб, получим четвёртую степень натурального числа, а, укоротив эту четвёртую степень, получим пятую степень натурального числа. Докажите, что если укоротить эту пятую степень, то получится шестая степень натурального числа.
Источники:
Подсказка 1
Что можно сказать о числах после первого и третьего укорачиваний?
Подсказка 2
Верно! Они отличаются лишь двумя последними цифрами, и потому 100 ≥ n² - 100m⁴, где n² и m⁴ — соответственно число после первого и третьего укорачиваний. Как тогда связаны m и n?
Подсказка 3
Точно! n = 10m². Что тогда можно сказать о второй и третьей цифрах исходного числа?
Подсказка 4
Конечно, это нули! Тогда как можно представить число после пяти укорачиваний двумя способами и какой вывод можно из этого сделать?
Пусть число после первого укорачивания равно а после третьего —
Тогда
отличается от
только двумя последними
цифрами, то есть
Так как по условию изначальное число больше миллиона, то
что возможно только если
(иначе
). Значит, вторая и третья
цифры исходного числа — нули, и куб
получающийся после второго укорачивания, оканчивается на
Следовательно,
четвертая и пятая цифры исходного числа — тоже нули (куб числа, делящегося на
делится и на
), и после пятого
укорачивания мы получим число
Поскольку в разложение числа, являющегося одновременно точным
квадратом и точным кубом, все простые множители входят в степенях, кратных
это число является точной шестой
степенью.
Ошибка.
Попробуйте повторить позже
На доску выписаны числа . Можно ли покрасить половину этих чисел в красный цвет, а оставшиеся в синий так,
чтобы сумма красных чисел делилась на сумму синих?
Источники:
Обозначим самое большое выписанное число через . Минимальная сумма синих чисел равна
Максимальная сумма красных чисел равна
Так как , отношение суммы красных чисел к сумме синих меньше трех, значит, если все-таки сумма красных чисел
делится на сумму синих, частное равно 1 или 2.
В первом случае мы получаем, что суммы красных чисел и синих чисел должны быть равны, поэтому сумма всех выписанных на доску
чисел должна быть четна. При этом половина, а именно , чисел нечетна. Поэтому сумма всех чисел на самом деле нечетна, и
частное не может быть равно 1.
Во втором случае обозначим сумму синих чисел через . Сумма красных чисел равна
, а сумма всех выписанных чисел равна
,
то есть делится на 3. На самом же деле сумма выписанных чисел равна
Признак делимости на 3 гласит: натуральное число делится на 3 тогда и только тогда, когда сумма его цифр делится на 3. Сумма цифр
числа равна 4 , а сумма цифр числа
равна 5 . Поэтому оба этих числа не делятся на 3 , тогда и сумма всех
выписанных чисел на 3 не делится, и второй случай также невозможен.
Ошибка.
Попробуйте повторить позже
Дано натуральное число Определим функцию
Докажите, что существует такое натуральное что
, но
Напомним, что — целая часть
то есть наибольшее целое число, не превосходящее
а
— дробная часть
Источники:
Для решения задачи нам понадобится два классических утверждения из теории чисел.
_________________________________________________________________________________________________________________________________________________________________________________
Теорема Дирихле. Для любого иррационального числа и натурального числа
найдется такое число
,
, что
или
.
_________________________________________________________________________________________________________________________________________________________________________________
Теорема Кронекера. Для любого иррационального числа и любых чисел
,
,
, найдется такое натуральное число
,
что
.
_________________________________________________________________________________________________________________________________________________________________________________
Применим теорему Дирихле для и
и найдем такое
, что
______________________________________________________________________________________________________________________________________________________
В первом случае имеем неравенство . Применим теорему Кронекера для
получим, что найдется такое , что
. Для этого
имеем
Следовательно, и
. Поскольку
дробная часть числа меньше, чем
, поэтому
В итоге поэтому
______________________________________________________________________________________________________________________________________________________
В случае выполняется неравенство
Применяя теорему Кронекера для
получим, что найдется такое , что
. Для этого
имеем
Следовательно, и
. Поскольку
дробная часть числа меньше, чем
, поэтому
В итоге поэтому
Ошибка.
Попробуйте повторить позже
Даны натуральные числа и
Ни одно из них не кратно другому. Известно, что число
делится на
Докажите, что
Источники:
Подсказка 1:
Будем доказывать от противного. Если дана делимость одного выражения на другое, то есть смысл рассмотреть какую-нибудь их линейную комбинацию.
Подсказка 2:
Рассмотрим разность abc + 1 и ab – b + 1, она равна b(ac – a + 1). Она тоже делится на ab – b + 1. Какие выводы можно сделать?
Подсказка 3:
Ясно, что b не имеет общих делителей с ab – b + 1. Значит, ac – a + 1 делится на ab – b + 1.
Подсказка 4:
Вспомним, что задача решается от противного, то есть предполагается, что b ≥ c + 1. Есть ощущение, что при таком раскладе ab – b + 1 редко когда меньше ac – a + 1.
Первое решение. Предположим противное: пусть Из делимости
на
следует, что число
кратно Поскольку числа
и
взаимно просты, получаем, что делится на
Ясно, что
поэтому либо
либо
В первом случае получаем
и, значит, делится на
что невозможно по условию. Во втором случае имеем
то есть
Это значит, что то есть
но это также невозможно по условию, ибо тогда снова
делится на
______________________________________________________________________________________________________________________________________________________
Второе решение. Опять же предположим противное. Поскольку делится на
то и
тоже кратно то есть
при некотором натуральном Иначе говоря,
Значит, делится на
По нашему предположению, С другой стороны, поскольку
имеем
откуда Значит,
и потому
Теперь переписывается в виде
то есть
Но тогда
то есть делится на
Это невозможно.
Ошибка.
Попробуйте повторить позже
Даны натуральные числа такие, что
а число
делится на
Докажите, что
делится на
Подсказка 1
Попробуйте из условия делимости вычесть делитель из делимого, чтобы получить новый вид выражения.
Подсказка 2
(abc + 1) − (ab − b + 1) = b(ac − a + 1). Обратите внимание, что в разности появляется множитель b.
Подсказка 3
Заметьте, что число b и число ab − b + 1 взаимно просты. Какой из этого вывод можно сделать?
Подсказка 4
Тогда ac − a + 1 делится на ab − b + 1. Сравните их.
Подсказка 5
Если ac − a + 1 < 2(ab − b + 1), то правда ли, что ac − a + 1 = ab − b + 1?
Подсказка 6
Да, так как ab − b + 1 делит ac − a + 1. Что даёт равенство?
Подсказка 7
А если его преобразовать к виду b(a − 1) = a(b − 1), вспомните про делимость.
Из условия следует, что
делится на Заметим, что
и
взаимно просты, отсюда получаем, что делится на
Далее замечаем, что
Действительно,
Значит, делимость на
возможна только в случае равенства
Имеем
Видим, что делится на
но так как
и
взаимно просты, отсюда следует, что
делится на
что и требовалось
доказать.
Ошибка.
Попробуйте повторить позже
Можно ли число представить в виде суммы трёх натуральных чисел
таких, что
делится на
и
делится на
?
Подсказка 1
Сравните чётность b + c и b − c + 1. Если они разной чётности, то может ли b + c быть нечётным?
Подсказка 2
Нет, не может, ведь тогда нечётные числа не делятся на чётные.
Подсказка 3
Если нужные a, b, c нашлись, то что тогда известно про делители 2023 = a + b + c?
Подсказка 4
Среди них есть b + c. Может ли тогда b + c быть чётным?
Предположим, такие три числа найдутся. Поскольку кратно
сумма
также кратна из чего следует, что
нечётно. Значит,
— чётное число, и нечётное число не может на него делиться.
нельзя
Ошибка.
Попробуйте повторить позже
Натуральное число назовём интересным, если существует натуральное число
такое, что:
;
- разность чисел
и
— простое число;
- произведение чисел
и
— точный квадрат.
Найдите все интересные числа, большие 200 и меньшие 400.
Подсказка 1
Заметим сразу, что если A-B = p - простому числу, то НОД(A, B) либо 1, либо p. Попробуйте понять, что случай с НОДом равным p - невозможен из-за второго условия)
Подсказка 2
Окей, теперь у нас НОД = 1. Но тогда раз произведение этих чисел - точный квадрат, то что можно сказать про сами числа?
Подсказка 3
Что они сами являются квадратами! А теперь давайте вернемся к тому, что разность этих чисел - простое число. Эти же числа являются квадратами. А разность квадратов хорошо раскладывается на произведение) Что можно отсюда выяснить?
Подсказка 4
Если разложить разность квадратов как (a-b)(a+b), то станет понятно, что она может быть равна простому числу только если a-b = 1. Получается, A и B - просто последовательные квадраты) Остался небольшой перебор и все значения найдены!
Пусть — простое число. По условию
для некоторого натурального
Заметим, что НОД чисел
и
делит их разность, равную
поэтому он равен либо
либо 1. Разберём два случая.
- Предположим,
Тогда
и
для некоторого натурального
Тогда
т.е.
Отсюда следует, что
делится на
поэтому
— точный квадрат. Но
т. е. число
находится между двумя последовательными точными квадратами, поэтому само не может быть точным квадратом. Противоречие.
-
Предположим,
Произведение взаимно простых чисел
и
является точным квадратом тогда и только тогда, когда сами числа
и
являются точными квадратами. Тогда
и
для некоторых натуральных
откуда следует, что
Из того, что произведение натуральных чисел
и
равно простому числу
следует, что
и
Тогда
и
поэтому
и
Поскольку число
является простым, получаем несколько случаев:
- Если
то
— не подходит под условие задачи.
- Если
то
и
— подходит под условие задачи.
- Если
то
и
— подходит под условие задачи.
- Если
то
и
— подходит под условие задачи.
- Если
то
— не подходит под условие задачи.
- Если
Ошибка.
Попробуйте повторить позже
Найдите все натуральные числа для которых число
также является натуральным.
Источники:
Подсказка 1
Мы хотим сделать так, чтобы числитель делился на знаменатель. Попробуем сделать замену а+1=b, так же заменим и корень. Что получится?
----—
Подсказка 2
Получается, что знаменатель можно выразить как частное разности квадратов и разности корня и (a+1). Мы понимаем, что разность квадратов корня и (a+1) должна делиться на (a^2+1). Воспользуемся сравнениями по модулю!
Подсказка 3
Может ли -а-1 быть сравнимо с нулем по модулю a^2+1?
Обозначим . В числителе записано
На должно делиться
При модуль остатка меньше
поэтому остаток не может делиться на
ни при каком
Уравнению
удовлетворяет единственное значение
Ошибка.
Попробуйте повторить позже
Пусть — множество всех простых чисел, расположенных в некотором порядке. Может ли случиться так, что для всех
натуральных
число
является натуральным?
Источники:
Подсказка 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 у этих
чисел - это 1 и 2. А значит, их квадрат сравним с 1, а произведение с двойкой. Но тогда, числитель не делится на 3, а знаменатель делится. Значит, противоречие. Значит, числа с остатками 1 и 2 не стоят рядом. Ммм… Но если у нас сначала стоит число 2, а потом что-то еще, то это что-то еще - это….
Подсказка 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. Значит среди его простых делителей должно быть число вида
— противоречие.
Ошибка.
Попробуйте повторить позже
Число таково, что неравенства
выполняются ровно при
натуральных значениях
При скольких натуральных
значениях
могут выполнятся неравенства
Подсказка 1
Пользоваться изначальным неравенством, где n стоит в показателе степени, неудобно. Предположим logₐ 2 = 𝜶 и зададим обычные ограничения на n. Если при заданном а значений n ровно 5, то как можно записать это в виде неравенства?
Подсказка 2
Верно, числа от n до n+4 принадлежат промежутку от 𝜶 до 2𝜶, при этом n-1 уже меньше 𝜶, а n+4 больше 2𝜶. Теперь попробуем преобразовать наше неравенство так, чтобы "зажать" и найти количество значений n, лежащих в промежутке от 2𝜶 до 3𝜶.
Подсказка 3
И не забудьте для каждого количества решений привести примеры!
Ясно, что Полагая
неравенство
перепишем в виде
а неравенства
- в виде
Согласно условию, для некоторого натурального числа
выполнены неравенства
Из
них следует, что
Таким образом, неравенствам обязательно удовлетворяет четвёрка чисел
и, возможно , одно
или оба числа пары
Приведём три соответствующих примера. При имеем
и
при имеем
и выполняются неравенства
наконец, если то
и
Ошибка.
Попробуйте повторить позже
Найдите все пары натуральных чисел, для которых оба числа
являются точными квадратами.
Подсказка 1
Давайте внимательно посмотрим на наши выражения. Нельзя ли сразу угадать какую-то пару чисел, удовлетворяющую условиям задачи. Пусть x равен какому-то натуральному n. Тогда какой должен быть y, чтобы первое выражение было квадратом?
Подсказка 2
Верно, тогда y=n+2. Можно проверить, что условие задачи выполняется. Что же делать теперь? Ведь y может быть больше или меньше x+2. Какую идею тогда здесь можно применить для дальнейшей оценки наших выражений, чтобы перебирать другие варианты было проще?
Подсказка 3
Да, можно попробовать зажать наши числа между квадратами. Если y < x+2, то первое выражение будет находиться между x² и (x+4)², и остаётся только вариант для (x+2)² = x² + 8y из-за чётности. Аналогично рассматривается, если y > x+2. Тут уже второе число зажимается между y² и (y-4)². Осталось только технически это всё реализовать и найти оставшиеся решения. Победа!
Легко проверить, что пары вида , где n – натуральное число, удовлетворяют условию задачи. Пусть
– любая другая пара,
удовлетворяющая условию задачи. Рассмотрим два случая.
1) Пусть сначала . Тогда
, откуда
, где
. Очевидно,
возможен лишь случай
(по чётности), и тогда
.
Осталось выяснить, при каких натуральных число
будет точным квадратом. Пусть
, тогда
. Число под корнем должно быть точным квадратом:
, т. е.
.
Разложим на множители и рассмотрим системы. Учитывая, что
и
имеют одинаковую чётность, отбросим лишние,
останутся системы:
откуда или
,
.
При значение
и подходит
. При
значение
и подойдет
. Поскольку
, получаем пары
и
.
2) Пусть теперь , т. е.
. Здесь
, и мы имеем
. Значит,
, где
. Опять возможен только случай
(по чётности), так что
.
Пусть , тогда
. Выше показано, что число под корнем является точным квадратом только при
или
. Тогда
или
. Получаем пары
и
, первая из которых входит в множество
.
Ошибка.
Попробуйте повторить позже
— различные целые числа. Докажите, что начиная с некоторого
все такие числа
будут иметь простой
делитель, больший
Подсказка 1
Попробуйте пойти от противного и посмотрите на НОДы каких-нибудь двух скобочек. Что про них можно сказать?
Подсказка 2
Если число состоит только из простых делителей, меньших 20, наверное стоит посмотреть на степени их вхождения в скобочки.
Подсказка 3
Простое наблюдение - простых чисел до 20 всего 8, а скобочек 9. Вас это ни на что не наталкивает?
Предположим противное, пусть найдётся сколь угодно большое при котором выражение имеет только простые делители, меньшие
При огромных
выражение будет принимать огромные значения, а значит какое-то простое число, меньшее
будет входить в
разложение на простые в огромной степени. Заметим, что всего есть
простых чисел, меньших
а скобочек
Поэтому всегда
какие-то две скобочки имеют НОД, больший единицы. Понятно, что любые две скобки
и
имеют ограниченный НОД, не
превосходящий
по абсолютной величине. Из этого следует, что в разложение двух и более скобок не может входить одно и то же
простое число в огромных степенях, ведь тогда НОД будет слишком большим. Однако, при огромных
каждая скобка принимает
огромное значение, а значит включает в себя один из простых множителей в огромной степени. Как известно, скобочек
а
простых чисел, меньших
—
значит какие-то две скобки включают одно и то же простое число в огромной степени,
противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого натурального существует простое
такое, что
— составное.
Допустим, . Тогда у числа
найдётся простой делитель
. При делении на него любая степень числа
даёт остаток 1 ,
поэтому сумма
таких слагаемых делится на
и больше
. При
подойдёт
, поскольку
.
Ошибка.
Попробуйте повторить позже
Петя выписал на доску все натуральные числа от 1 до 3300 (каждое по одному разу). Может ли Вася стереть 120 чисел так, чтобы из оставшихся нельзя было выбрать арифметическую прогрессию из 41 числа?
Сотрём все числа, кратные 41 , а также числа от 1641 до 1680 — как раз 120 штук. Докажем, что из оставшихся чисел нельзя составить арифметическую прогрессию длины 41.
Действительно, если разность этой прогрессии не делится на 41, то в ней должно присутствовать число, кратное 41 . Пусть разность
делится на 41. Если она равна 41, то прогрессия состоит из 41 последовательных чисел с некоторым фиксированным ненулевым остатком
при делении на 41. Одно из чисел с таким остатком было стерто в ходе уничтожения отрезка от 1641 до 1680, поэтому все члены прогрессии
либо одновременно меньше 1641, либо одновременно больше 1680. Но тогда разность ее крайних членов должна быть меньше 1640 , а она
равна .
Может случиться, что разность прогрессии равна 82. Но тогда её первый член не больше 20 , ибо иначе её 41 -ый член больше, чем
. Однако, как легко видеть, в этом случае её 21 -ый член попадёт в выброшенный отрезок от 1641 до
1680.
Наконец, если разность прогрессии делится на 41 и больше 82 , то разность крайних членов будет не меньше , что
невозможно.
Ошибка.
Попробуйте повторить позже
Найдите наибольшее натуральное такое, что для любых положительных чисел
, удовлетворяющих неравенству
,
верно
Положим . Тогда требуемое неравенство приобретает вид
откуда
Поскольку можно сделать сколь угодно близким к 1 , при
найдутся такие
и
, для которых неравенство
не выполнено.
Покажем, что уже подходит.
Из исходного условия , откуда
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные числа , что для любых двух его взаимно простых делителей
число
тоже является
делителем
.
Если или
, то это ни о чем не говорит, поэтому можно думать, что
и
хотя бы 2. Если у числа
не будет 2 взаимно
простых делителей, не равных 1, то оно сразу подходит. Значит, все степени простых подходят.
Пусть у есть хотя бы 2 простых делителя. Рассмотрим минимальный простой делитель
и пусть
, где
не делится на
.
Тогда
делитель
. Если
, то все отлично. Пусть
. Тогда
. Заметим, что если
, то
, но у
нет делителей меньше
, кроме 1?! Значит,
.
Так как , то
и
. Тогда
тоже делитель
. Опять если у
и этого числа есть общий простой делитель
, то либо
, что невозможно, так как
минимальный простой делитель, либо
. В этом случаем либо
, что
невозможно, либо
и
.
Если , то
и
являются делителем
. С другой стороны, одно из них делится только на первую степень 2, поэтому
или
. В первом случае
и
. Во втором случае
и значит,
. Значит,
. Вариант
нам подходит. Если
, то
и значит,
?!
Значит, и
взаимно просты. Тогда
. Правая часть хотя бы
, но не делится на
, но при
этом равна степени
?!
Ошибка.
Попробуйте повторить позже
По кругу расставлены числа от 1 до 23. Докажите, что сумма некоторых трех подряд стоящих чисел не меньше 36.
Пусть сумма любых трех подряд стоящих чисел хотя бы 37. Тогда рассмотрим все возможные тройки подряд стоящих чисел и возьмём их
сумму. Всего троек будет 23, и итоговая сумма будет . С другой стороны, в этой сумме каждое число будет встречаться 3 раза.
Значит, эта сумма равна
Но это меньше
. Противоречие.
Ошибка.
Попробуйте повторить позже
Дано натуральное число свободное от квадратов. Пусть
— множество всех натуральных делителей
Подмножества
множества
удовлетворяют условию, что для любых
и
справедливо, что
не делится на
и
не делится на
Докажите, что
Запишем неравенство в таком виде:
Ясно, что мощность не меньше мощности
Поэтому возведение в квадрат будет равносильным переходом:
Давайте определим множества элементов, которые запрещены в множестве
Заметим, что Действительно, потому что множества
и
не пересекаются. Запишем
по формуле
включения-исключения:
Давайте заметим, что является подмножеством
Тогда давайте будем доказывать более сильное неравенства, дополним
элементами до
Тогда неравенство примет вид:
Запишем его так:
Теперь становится ясно, что достаточно доказать неравенство Оно очень похоже на неравенство о средних,
поэтому возникает желание доказать неравенство
Докажем его индукцией по количеству простых делителей База при
(нет простых делителей) очевидна. Теперь
докажем переход. Пусть
где
— простое. Тогда для
неравенство является верным и осталось понять, как его
использовать.
Как известно, делители числа, свободного от квадратов, можно разбить на пары Отсюда следует, что
Пусть
где
а я
дополняет его до
Аналогично определим
для
и
для
Определим множества
и
для числа
В силу определения этих множеств
включает
включает
Также
(если поделить все элементы
и
на
то будет такое же включение). Проделаем следующую цепочку
равенств и неравенств с помощью предположения индукции:
Осталось показать, что Если привести подобные, получится неравенство
которое равносильно неравенству
В силу определения множеств если
, то
и если
то
То есть первая скобка неположительная, а вторая неотрицательная, это даёт
требуемое.
Ошибка.
Попробуйте повторить позже
Для натурального числа рассмотрим все различные точные квадраты, которые можно получить из
вычёркиванием одной цифры в
его десятичной записи. Докажите, что количество этих квадратов не превосходит некоторой величины, не зависящей от
Источники:
Пусть число состоит из
цифры. Считаем далее, что
меньшие числа не влияют на искомую ограниченность.
Для обозначим через
число, получающееся удалением из
-ой с конца цифры. Обозначим через
количество точных квадратов в множестве
Наша цель — доказать, что
ограничено сверху.
Пусть где
не кратно 10. Если
нечётно, то число
может быть точным квадратом только при
так
что в этом случае
Если
чётно, то заключительные
нулей не влияют на дело, поэтому
Поэтому далее
считаем, что
не кратно 10.
Выделим множество из
номеров
для которых
— точный квадрат, причём натуральные числа
попарно различимы.
Отметим следующее:
1) следовательно
при всех
2)
3) кратно
Из свойства 1) следует, что для различных номеров из
имеет место оценка
Сопоставляя это со свойством 2), получаем, что Таким образом, все элементы
кроме, быть может, одного,
больше, чем
Обозначим
(удалили из
наименьший элемент), тогда
и
Пусть — два элемента множества
Тогда по свойствам 1), 2) имеем
С другой стороны, по свойству 3) число
кратно
Положим (где
обозначает верхнюю целую часть). Хотя бы одно из чисел
кратно
и хотя
бы одно кратно
Кроме того, если
нечётно, то нечётны числа
поэтому одно из чисел
не кратно
другое, соответственно, кратно
Иначе
не кратно 5, и аналогичным образом получаем, что одно из чисел
кратно
Рассмотрим пятиэлементное подмножество наименьший элемент
обозначим
а наибольший
Обозначим
Если
нечётно, положим
иначе положим
Из доказанного следует, что элементы
множества
дают не более двух различных остатков по модулю
и не более двух различных остатков по
модулю
Значит, в
найдутся два различных элемента
такие, что
кратно
Тогда по (1)
получаем
откуда следует что Таким образом, если разбить отрезок
на группы подряд идущих чисел, в каждой из которых
отношение любых двух элементов меньше чем
(количество таких групп меньше, например, миллиона), то любая из этих групп
содержит не более 4 элементов множества
Отсюда вытекает ограниченность числа