Оценочная теория чисел
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пусть — простое число, а числа
— целые. Докажите, что существует целое число
такое, что числа
дают не менее
различных остатков по модулю
Подсказка 1
Попробуйте для каждого остатка оценить количество таких k, для которых этот есть среди чисел из условия.
Подсказка 2
Зайдëм с конца. Если при каком-то k различных остатков не меньше (p + 1)/2, то задача решена. Это возможно, когда сумма количеств по всем k хотя бы p(p + 1)/2. Попробуйте это доказать.
Для каждого остатка оценим сверху количество таких в для которых этот остаток есть среди чисел
Сначала заметим, что
сравнимо с
ровно при одном
от
до
И пусть при этом единственном
число
сравнимо с
по модулю
То есть каждой паре
соответствует единственный остаток
Рассмотрим фиксированный остаток Предположим, что
не делится на
Пусть он встречается ровно
раз. Обозначим
через
количества чисел (среди
), которые равны
по модулю
на шагах, где встречается
хотя бы один раз остаток
Тогда
так как любой такой остаток будет встречаться
раз в
сумме для всех
(по одному разу за каждый
кроме
). А количество пар, которым соответствует остаток
равно
Обозначим его через С другой стороны
Если же делится на
то
То есть в этом случае
Теперь просуммируем по всем остаткам по модулю Получим, что сумма количеств различных остатков среди
по всем
от
до
не меньше, чем
Тогда при каком-то количество различных остатков не меньше, чем
что и требовалось.
Ошибка.
Попробуйте повторить позже
На доске написано натуральное число, в записи которого нет цифр и
Докажите, что если это число умножить на
то хотя бы
одна из этих цифр в нём появится.
Пусть наше число Тогда получается, что если
начинается на
или
и имеет
цифр, то
поэтому
откуда
т.е. число
либо имеет
цифр и начинается с цифры
либо
имеет
цифру и начинается с цифры
или
Ошибка.
Попробуйте повторить позже
Дано натуральное число Докажите, что любое натуральное число
можно домножить на какое-то натуральное число, меньшее
так, чтобы десятичная запись произведения начиналась на
Пусть — наименьшее целое число такое, что
а
— наименьшее натуральное число такое, что
(иначе говоря,
и
). Тогда
то есть
это значит, что число
начинается на
Значит, если
то
— требуемый множитель.
Предположим, что Из выбора
получаем, что
то есть
что противоречит выбору
Наконец, если
то целое число
также начинается на
то есть подходит число
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные для которых существует хотя бы
таких
что
— точный квадрат.
Выясним, при каких число
является квадратом. Пусть
тогда
Пусть
и
— пара
делителей
(
). Решая систему из уравнений
получаем, что
То есть количество таких
равно
количеству таких пар делителей
у которых одинаковая чётность. С одной стороны, их должно быть хотя бы
С другой
стороны, их не более
(потому что в каждой паре один делитель не больше
). Значит,
Решая это неравенство,
получаем, что
Значит, могут подойти лишь
Очевидно, что подходит. Двойка не подойдёт, потому что разница между минимальными квадратами
и она растёт.
подходит, например,
не подойдёт, потому что разница между минимальными квадратами
а следующая минимальная
разница уже
не подойдёт, потому что есть пример
однако третья минимальная разница между квадратами уже
Ошибка.
Попробуйте повторить позже
Обозначим через сумму цифр натурального числа
Докажите, что существует бесконечно много натуральных
таких,
что
Пусть таких чисел конечное число, тогда для всех начиная с некоторого
Но
делятся на
поэтому
и
делятся на
значит,
Тогда
значит, число имеет более
знаков:
Отсюда, при
получаем
— противоречие.
Ошибка.
Попробуйте повторить позже
Цель этого сюжета — доказательство следующего утверждения:
Пусть — нечётное простое число. Докажите, что существует ровно
упорядоченных четвёрок
натуральных чисел,
для которых
и
Если — остаток по модулю
то назовём четвёрку (
), удовлетворяющую условиям выше,
-четверкой, если
(mod
1. Докажите, что если -четвёрка существует, то
2. Докажите, что для данного существует не более одной
-четвёрки.
3. Докажите, что если -четверка существует, то
-четвёрки не существует.
4. Докажите, что для всякого существует либо
-четвёрка, либо
-четвёрка.
Источники:
Пункт 1. Подсказка 1
Перепишем требуемое так: доказать, что для r=0, r=1 и r=p-1 r-четвёрки точно нет. Каким путём хочется доказать это утверждение?
Пункт 1. Подсказка 2
Конечно! Давайте пойдём от противного. Если 0-четвёрка существует, то что следует из c ≡ ra (mod p)? Но разве это не противоречит равенству из условия?) Окей... Пусть теперь 1-четвёрка существует. Попробуем аналогично случаю r=0 прийти к противоречию! Какое тогда сравнение по (mod p) можно написать?
Пункт 1. Подсказка 3
Верно! Тогда p = ab + cd ≡ ab + rad = a(b+d) (mod p). Какая делимость отсюда следует? Как можно оценить a и b+d?
Пункт 1. Подсказка 4
Да! Либо a, либо (b+d) делится на p. Значит либо a≥p, либо (b+d)≥p. Хмм... но по условию ab + cd = p... Осталось написать цепочки неравенств и прийти к противоречию! Абсолютно аналогично докажем и для r=p-1.
Пункт 2. Подсказка 1
Опять пойдём от противного. Пусть для одного r существуют две четвёрки: (a,b,c,d) и (a`, b`, c`, d`). Воспользуемся равенством из условия и попробуем связать четвёрки между собой.
Пункт 2. Подсказка 2
Ага. Можно заметить, что ac' ≡ ara' ≡ ca' (mod p). Попробуем аналогично связать b,d и b`,d`.
Пункт 2. Подсказка 3
Тогда ac`- a`c, bd`- b`d кратны р. Предположим, что эти разности одновременно не равны нулю. Попробуем тогда оценить bd`- b`d, пользуясь тем, что ac`- a`c > 0. Какое противоречие получаем?
Пункт 2. Подсказка 4
Да! ac` > p > ab. Отсюда с` > b, c` > d. Не забываем, что bd`- b`d кратно р, но разве оно больше p?) С этим случаем покончено. А что, если всё-таки какая-то разность равна нулю (пусть bd`- b`d=0)? Что можно сказать про делители переменных, исходя из условия ab+cd = p = a`b`+ c`d`? Как связать это с bd`= b`d.
Пункт 2. Подсказка 5
Заметим, что из ab + cd = p = a`b` + c`d` следует, что b и d, b` и d` взаимнопросты. Тогда из bd`= b`d следует, что b=b`, d=d`. Как теперь можно преобразовать равенство ab+cd = a`b` + c`d`? Что из него следует?
Пункт 2. Подсказка 6
Конечо! (a-a`)b=(c-c`)d. Но b и d взаимнопросты. Значит (a-a`) делится на d, (c-c`) делится на b! Обозначим это так: (a-a`)=dx, c-c`)=bx. Осталось рассмотреть случай x>0 и x<0, пользуясь неравенствами между переменными и заключить, что четвёрки совпадают!
Пункт 3. Подсказка 1
Пусть (a,b,c,d), (a`,b`,c`,d`) — две четвёрки, удовлетворяющие условиям с r и c r` = p − r соответственно. Давайте действовать, как в прошлом пункте. Какие тогда цепочки сравнений по mod p тогда можно написать? Какое противоречие с делимость на p получается?
Пункт 3. Подсказка 2
Верно! Можно получить, что ac`+a`c, bd`+b`d кратны p. Аналогично прошлому пункту, пусть с`≥b, тогда с`>c,d. Оценим bd`+b`d>0. Какое противоречие с делимостью на p можно получить?
Пункт 3. Подсказка 3
Да, bd`+b`d = 0, но bd`+b`d >0 !? Окей, пусть c`< b. Попробуем оценить a`c+ac и b`d+bd`. Чему могут быть равны эти выражения (помним, что они краты p).
Пункт 3. Подсказка 4
a`c+ac` < ab+ a`b` < 2p, аналогично b`d+bd`<2p. Тогда, т.к. они делятся на p и больше нуля, то они равны p! А что еще равно p по условию?)
Пункт 3. Подсказка 5
Да! Запишем разность ab + cd и a`c+ac`. Получаем делимость на a. Такс... чего-то не хватает. Вспомним, что четвёрки упорядоченные. Что, если а — наибольшее из всех чисел? Выполняется ли полученная делимость?)
Пункт 4. Подсказка 1
Окей...Давайте искать четверки так: на плоскости рассмотрим все векторы с целыми координатами (x,y), где y≡rx (mod p). Рассмотрим вектор u=(a,c), где сумма a+c минимальная. Что тогда нужно сделать, чтобы доказать существование r-четвёрки (или (p-r)-четвёрки)?
Пункт 4. Подсказка 2
Давайте на прямой с уравнением xc − ya =p (пусть a>c) искать точку (d,−b) такую, что d> 0, d< a,d <b,c<b — тогда четвёрка (a,b,c,d) и будет искомой. С какими прямыми нам теперь нужно работать, чтобы найти иском точку?
Пункт 4. Подсказка 3
Да! Рассмотрим прямую y=-x. Пусть точка (x₀,y₀)∈ℓ с целыми x₀,y₀ лежит выше прямой y+x= 0, а точка v₀=(x₀− a,y₀− c) — (нестрого) ниже. Какие условия теперь надо проверить?
Пункт 4. Подсказка 4
Конечно! Проверим нужные нам неравенства, которы мы писали выше! Проверьте эти условия, пользуясь выбором вектора (сумма координат минимальна).
Пункт 4. Подсказка 5
Теперь выберем наибольшее целое неотрицательное m, при котором x₀−a−ma≥0. Тогда вектор v₀−mu = (x₀−a−ma, y₀−c−mc) — искомый. Какой случай осталось проверить, прежде чем разобраться со случаем с>a?
Пункт 4. Подсказка 6
Осталось только исключить случай x−a−ma =0! Разберём теперь c>a аналогично, просто по сути переобозначив переменные, закончив решение задачи!
1. Требуется исключить варианты Если существует
-четверка
при
то
натуральное кратное
и
тогда
— противоречие.
Пусть существует -четверка
при
Тогда
Получаем, что Тогда либо
либо
делится на
Тогда либо
либо
В первом случаем получаем,
что
Во втором же
Получаем, что
-четверки не существует.
Пусть существует -четверка
при
Тогда
Получаем, что Тогда либо
либо
делится на
Тогда либо
либо
поскольку
В первом случаем получаем, что
Во втором же
Получаем, что
-четверки тоже не
существует.
2. Пусть
— две четверки, удовлетворяющие условиям с одним и тем же
Тогда
аналогично
Т.е.
кратны
Предположим, что эти разности одновременно не равны нулю. Пусть не умаляя общности тогда
т.е.
и тем более
Отсюда получаем, что
откуда (т.к. кратно
получаем
— противоречие.
Пусть теперь одна из исходных разностей равна нулю (не умаляя общности Отметим, что из равенств
следует взаимная простота
и
и
Поэтому из равенства
следует, что
и
а из него —
В силу взаимной простоты
и
имеем
При
это
противоречит условию
при
— условию
. Значит,
— четверки полностью
совпадают.
3. Пусть ,
— две четверки, удовлетворяющие условиям с
и c
соответственно. Тогда
аналогично
Т.е.
кратны
Пусть а значит,
тогда, аналогично прошлому пункту,
— противоречие с делимостью на Значит,
и, аналогично
Тогда
поэтому из
делимости
и аналогично
Предположим теперь, не умаляя общности, что — наибольшее из чисел. Вычитая из
равное ему
получаем
откуда из взаимной простоты
и
получаем, что
делится на
— противоречие с тем, что
4. Рассмотрим на плоскости множество всех векторов с целыми координатами
такими, что
или
Отметим, что это множество вместе с каждым вектором
содержит также и
Рассмотрим в нашем
множестве вектор с минимальной суммой координат. В силу замечания выше можно считать, что вектор
где
(на
осях координат и на биссектрисах углов между ними такой вектор лежать не может, поскольку
если
то переобозначим
и
Предположим пока, что
Рассмотрим прямую
с уравнением
Будем искать точку
на этой прямой такую, что
— тогда четверка
и будет искомой. Заметим, что если
то
Прямая где-то пересекает прямую
Пусть точка
с целыми
лежит выше прямой
а точка
— (нестрого) ниже.
Во-первых, проверим, что В самом деле, в противном случае
Из выбора вектора
имеем
Если , то
— противоречие. Если же то
— снова противоречие.
Итак, Поскольку
имеем
Если
то
и обе координаты
вектора
по модулю не больше, чем
— это опять противоречит выбору
Значит,
и
Теперь выберем наибольшее
целое неотрицательное
при котором
Ясно, что это неотрицательное значение строго меньше, чем
Тогда
вектор
и есть искомый вектор. Действительно, все нужные неравенства уже установлены, осталось только исключить случай
но в таком случае из уравнения прямой
получаем
что невозможно в силу того, что
Наконец обратимся к случаю В этом случае обозначим
и построим точно так же четверку
со всеми
нужными свойствами, но такую, что, наоборот
В этом случае, очевидно,
будет
-четверкой, что нам
подходит.
Ошибка.
Попробуйте повторить позже
Выписаны 100 положительных чисел, сумма которых равна а сумма квадратов больше, чем
Доказать, что среди этих чисел есть
число, большее, чем
Источники:
Подсказка 1
Пусть х₁ - наибольшее из чисел. Тогда очевидно х₁>P/S. С таким выражением работать куда проще, чем с абстрактным условием на неизвестное число. Перезапишем его в виде Sx₁>P. Как бы нам доказать это неравенство?...
Подсказка 2
Давайте домножим выражение для суммы всех чисел на х₁. Попарного сравним каждое слагаемое со слагаемыми из суммы квадратов. Что получается?
Подсказка 3
Верно, Sx₁ оказывается не меньше суммы квадратов! А теперь можно заменить всё на введённые в условии обозначения и доказать неравенство.
Расположим наши числа по убыванию, Имеем
Умножим первое равенство на получим, что
Следовательно,
Ошибка.
Попробуйте повторить позже
Сколько двузначных натуральных чисел нельзя представить в виде суммы двух палиндромов?
Палиндром - число, читающееся одинаково слева направо и справа налево. Однозначные числа также считаются
палиндромами. Многозначные палиндромы не могут начинаться с 0.
Подсказка 1
Давайте подумаем: если число n можно представить указанным образом, какие числа рядом с ним тоже точно можно?
Подсказка 2
n + однозначное. А еще n + 11. А что делать с n + 10? Сколько таких чисел и чему они равны?
Подсказка 3
Предположим, что число n + 10 = a + b. Какими тогда могут быть a и b?
Если число является палиндромом, то числа
допускают нужное представление. Поэтому числа от
до
могут быть представлены нужным образом:
Если число двузначное и является палиндромом, то число
также палиндром, и может быть представлено как
.
Например, если
. Поскольку разность между соседними двузначными палиндромами равна
, это означает,
что все такие числа допускают нужное представление. Осталось рассмотреть числа вида
, где
— палиндром, то есть
числа
. Пусть число
. Если и
и
двузначные палиндромы, тогда правая часть
делится на
, а левая нет. Значит, одно из слагаемых должно быть однозначным, то есть числом из набора
. Но
разность
и любого числа из набора не кратна
. Числа
нельзя представить как сумму двух
палиндромов.
Ошибка.
Попробуйте повторить позже
Вася написал на доске числа от до
Сперва он сосчитал количество выписанных чисел, представимых в виде суммы точного куба и
точной шестой степени. Затем он подсчитал количество выписанных точных квадратов. Какой из результатов оказался
больше?
Подсказка 1
Нам необходимо сравнить два количества некоторых объектов, обладающих определенным свойством. Естественным шагом будет найти одно из количеств явно, после чего сделать оценку через него на количество объектов другого типа (найти его часто бывает трудно, а вот оценить через другое число может получиться довольно просто). Что проще найти: количество чисел, которые являются полными квадратами или количество тех чисел, что представимы в виде точного куба и точной шестой степени?
Подсказка 2
Найдем количество точных квадратов среди чисел на доске. Несложно показать, что их число равно 10⁶. Как теперь можно оценить количество тех чисел, то представимы в виде точного куба и точной шестой степени?
Подсказка 3
Пусть число n представимо в виде суммы n=a³+b⁶ для некоторых натуральных a и b. Тогда количество чисел n явно не больше, чем количество различных пар (a, b) для которых число a³+b⁶ не превосходит 10¹². Как можно оценить количество таких пар?
Подсказка 4
Если a³+b⁶ не превосходит 10¹², то каждое из чисел a³ и b⁶ строго меньше 10¹². Тогда a имеет меньше 10⁴ возможных значений, b меньше 10², следовательно, количество таких пар меньше 10⁶.
Натуральное число такое, что
тогда и только тогда, когда
Таким образом, количество полных квадратов,
не превосходящих
равно
Докажем, что количество чисел на доске, представимых в виде суммы точного куба и точной шестой степени, меньше, чем
Действительно, количество чисел
на доске не превосходит количества пар натуральных чисел
таких, что
для
которых верно неравенство
Таким образом, для каждого из чисел верно, что
то есть
Тем самым мы показали, что количество пар меньше, чем
Квадратов больше
Ошибка.
Попробуйте повторить позже
Найдите все натуральные , для которых число
— целое.
Пусть Обозначим
, где
Тогда
Тогда получаем дробь, которая
является целым числом по условию:
Значит, Получаем, что,
Заменим
:
Так как Таким образом,
равно 1, 2 или 3.
1)
Такое может быть только если числа равны 1 или -1. Тогда Но тогда
— число будет
ненатуральным. Противоречие.
2)
Рассмотрим левую часть данного уравнения как квадратный трёхчлен относительно
Так как — целое число,
— квадрат. Посмотрим на остатки при делении на 3 и на 9:
Если получаем, что
и
чего не может быть, так как если квадрат делится на 3, то
он делится и на 9.
Если или
получаем, что
Квадрат не может давать остаток 2 при делении на
3.
Значит, такое равенство невозможно. Противоречие.
3)
Заметим, что тогда правая часть должна делиться на 3: делится на 3,
тоже. Тогда
тоже должно делиться на
3.
Если получаем, что
что неверно.
Если получаем, что
что неверно.
Если получаем, что
что неверно.
Значит, такое равенство невозможно. Противоречие.
Таким образом, мы доказали, что таких не существует.
таких нет
Ошибка.
Попробуйте повторить позже
Назовем несократимую дробь особенной, если дробь
— несократимая для всех натуральных
Сколько существует особенных
дробей, у которых числитель и знаменатель — натуральные числа, не превосходящие
Подсказка 1
Попробуйте собрать какую-то очевидную информацию про рассматриваемые дроби. Какие точно не могут быть особенными?
Подсказка 2
Очевидно, такими не могут быть дроби, у которых числитель и знаменатель четные. Что можно сказать про другие дроби?
Подсказка 3
Чтобы было проще рассуждать, стоит обратить внимание на разность числителя и знаменателя. Что можно сказать про дроби, у которых эта разность равна 1 или степени двойки?
Докажем, что подойдут все дроби, у которых числитель и знаменатель отличаются на а также все дроби, у которых числитель и
знаменатель нечетны и отличаются на степень двойки. С дробями первого вида все понятно, а дроби второго вида особенны потому, что если
числитель и знаменатель увеличить на
то разность их не изменится и останется степенью двойки. Но два нечетных числа,
отличающиеся на степень двойки, очевидно, взаимно просты, иначе их разность делилась бы на их нечетный НОД, что
невозможно.
Посчитаем, сколько таких дробей. Дробей первого вида Дроби второго вида, у которых числитель и знаменатель
отличаются на
это
т.е.
Нужно сложить эти выражения по всем
Получится
Также нужно учесть неправильные дроби, поэтому всего их
Значит, в сумме выходит
Докажем, что все остальные дроби не подходят. Если и
четные, то дробь сократима. Остаются дроби, у которых
числитель и знаменатель отличаются на
у которого есть нечетный делитель
Но такая дробь не может быть
особенной, поскольку можно выбрать нечетное число
кратное
и большее, чем
и
и взять
или
(хотя бы одно из этих чисел натуральное, поскольку
нечетно, и хотя бы одно из
и
нечетно). Тогда дробь
будет сократима на
поскольку ее числитель или знаменатель, по построению, будет равен
а значит будет
делиться на
но разность числителя и знаменателя также кратна
т.е. и числитель и знаменатель кратны
т.е. дробь
сократима.
Остаётся рассмотреть дроби вида но в случае
они сократимы, а в случае
такая дробь сократима для всех
Ошибка.
Попробуйте повторить позже
Найдите сумму всех натуральных чисел для которых число
является квадратом некоторого натурального
числа.
Источники:
Подсказка 1
Одно из значений n ищется подбором, попробуйте его сразу угадать!
Подсказка 2
Для остальных n > 1 попробуем сравнить наше выражение с точными квадратами. n² + 7n при выделении полного квадрата даёт (n + 3.5)² - 3.5². Попробуйте с учётом этого сделать вывод о том, будет ли наше выражение больше/меньше или может быть равно (n + 4)², (n + 3)² или (n + 2)². Осталось перебрать не так уж много вариантов, чтобы получить исчерпывающий ответ!
Первое решение.
Пусть данное число является квадратом натурального числа Тогда:
Так как первый сомножитель меньше второго, то получаем три случая:
- 1.
-
Вычтем из второго уравнение первое, получим, что
А значит,
— не натуральное число.
- 2.
-
Аналогично первому случаю, получаем, что
- 3.
-
Получаем, что
Итак, сумма подходящих равна
______________________________________________________________________________________________________________________________________________________
Второе решение.
Ясно, что подходит, потому что
При
заметим, что
так как
Но при этом
Значит, возможна только ситуация, когда
В итоге сумма подходящих значений равна
Ошибка.
Попробуйте повторить позже
Известно, что в десятичной записи числа все цифры различны. Есть ли среди них цифра 0?
Заметим, что
Следовательно, в десятичной записи числа не больше, чем 10 цифр.
С другой стороны,
поэтому в десятичной записи числа не меньше, чем 9 цифр.
Если цифр 9 и среди них нет нуля, то сумма цифр в десятичной записи этого числа равна откуда следует, что
делится на 3, что неверно.
Если цифр 10 и они различные, то среди них есть ноль.
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число. Игорь выбрал
различных натуральных чисел, не превосходящих
Затем Саша выписал всех их
попарные суммы. Оказалось, что среди выписанных чисел нет двух различных, одно из которых делится на другое. При каком
наибольшем
такое могло произойти?
Подсказка 1
В задаче говорится про различные суммы, поэтому, для начала, хотелось бы понять, сколько их будет в зависимости от k, постарайтесь придумать оценку снизу.
Подсказка 2
Все получившиеся суммы будут меньше, чем 2n. Покажите, что если получилось хотя бы n+1 различная сумма, то найдутся 2 числа, такие что одно из них делит другое.
Пусть Игорь выбрал числа Рассмотрим следующие числа, выписанные Сашей:
Чисел всего и все они меньше, чем
Покажем, что среди чисел от 1 до
нельзя выбрать более
чисел
так, чтобы ни одно из выбранных чисел не делилось ни на одно другое выбранное число. Пусть удалось выбрать хотя
бы
чисел, обладающих таким свойством, тогда у каких-то двух из них совпадет наибольший нечетный делитель,
действительно, нечетных чисел до
ровно
Тогда одно из этих чисел будет делиться на другое, противоречие. Значит,
Осталось привести пример. Пусть четно, тогда в качестве
достаточно взять числа от
до
Такой пример очевидно
подходит, так как минимальная сумма
больше половины от наибольшей суммы, которая равна
Аналогично, если
нечетно, достаточно взять числа от
до
При —
а при
—
Ошибка.
Попробуйте повторить позже
Существует ли такое натуральное что среди любых
подряд идущих натуральных чисел встретится хотя бы один куб натурального
числа?
Подсказка 1
Чему равна разность между кубами соседних чисел n и n+1?
Подсказка 2
Разность равна 3n^2+3n+1. Существует ли число k, которое было бы больше, чем 3n^2+3n+1 при любом n?
Подсказка 3
Нет, например при n = k данное число, уже больше, чем k.
Рассмотрим разность между соседними кубами и
Эта разность равна
Пусть мы нашли
которое
удовлетворяет условию. Тогда возьмем
и получим, что разность между двумя соседними кубами явно больше
Получаем
противоречие.
Не существует
Ошибка.
Попробуйте повторить позже
Может ли произведение последовательных натуральных чисел быть точной
-ой степенью натурального числа?
Подсказка 1
Предположим, что такое возможно. Тогда a²⁰²⁴=x(x+1)...(x+2023). Что можно сказать про a по сравнению с x?
Подсказка 2
Среди чисел х, х+1, ..., х+2023 должно найтись само а. Тогда полезно будет рассмотреть, например, а+1(поймите, почему оно точно должно быть).
Предположим, что такое возможно. Тогда пусть Заметим, что из натуральности
следует, что
При
слева в равенстве
сомножителя, не больших
а справа
сомножителя, не меньших
Аналогично, противоречие, если
Тогда в сомножителях справа есть число
Оно взаимно просто с
так
что делится на какое-то простое
на которое не делится
Значит, правая часть делится на
а левая — нет. Противоречие. Значит,
условие, требуемое в задаче, никогда не выполняется.
Ошибка.
Попробуйте повторить позже
Докажите, что существует натуральное число такое, что уравнение
имеет не менее решений в натуральных числах.
Рассмотрим числа в промежутке от
до
Тогда количество наборов
равно
Максимальное значения числа
равно
Тогда по принципу Дирихле есть число
для которого количество решений хотя бы
Взяв достаточно
большое
мы получим не менее
решений.
Ошибка.
Попробуйте повторить позже
Пусть
— натуральные числа,
Пусть
— наибольший делитель
меньший
Оказалось, что
Докажите, что
Неравенства из условия влекут
причем для каждого отношение
— суть наименьший простой делитель
. Тогда
не меньше, чем 29 —
десятое простое число, а значит
Число же является делителем
большим 1, а значит не меньше, чем наименьший простой делитель —
то есть так не
меньше, чем 29. Подставляя полученную оценку в неравенство
имеем
Ошибка.
Попробуйте повторить позже
Докажите, что существует такое что для любого нечётного простого
числа
…,
дают хотя бы
различных остатков при делении на
Все сравнения в этом решении производятся по модулю Если
и
— целые числа, причём
не делится на
то через
мы
обозначаем тот единственный остаток
по модулю
для которого
Пусть числа
дают ровно различных остатков при делении на
Обозначим
Тогда выражения вида
при дают максимум
различных остатков.
Назовём пару натуральных чисел таких, что
исключительной, если
Покажем, что для каждого
существует не более одной исключительной пары
в которой
Действительно, если
— такая
пара, то из
вытекает, что
откуда
или Такой остаток
не более чем единственен (поскольку
), а по нему восстанавливается
Итого, существует не более чем исключительная пара; обозначим их количество через
Пусть числа
дают
ровно
различных остатков по модулю
встречающихся
раз соответственно. Тогда
Верна следующая цепочка неравенств:
откуда
Вспоминая, что получаем оценку
Таким образом, в качестве искомой константы можно взять, например, число
для простых
неравенство
тривиально, а для
следует из неравенства
при
Ошибка.
Попробуйте повторить позже
Число называется шикарным, если у него есть два делителя, отличающихся на и фееричным, если у него есть два делителя,
отличающихся на
Каких чисел больше от
до
— шикарных или фееричных?
Подсказка 1
Перебрав первые чисел так 20, видно что одних больше половины, а других меньше. Почему так?
Подсказка 2
Если d шикарное, то и kd шикарное (почему?).
Подсказка 3
3 и 4 шикарные, а вот перебирая маленькие числа, нечетных фееричных не нашлось, может это не совпадение?
Оценим количество шикарных и фееричных чисел. Нетрудно понять, что нечётные числа точно не могут быть фееричными, так как
один из двух делителей, которые отличаются на три, является чётным. Следовательно, всего не более фееричных
чисел.
Если число кратно или
оно точно является шикарным. Заметим, что таких чисел хотя бы
Так же заметим, что шикарным является число
которое не кратно ни
ни
Следовательно, шикарных чисел
больше.
Шикарных