Оценочная теория чисел
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Даны целое не являющееся целой степенью числа
и целое
Верно ли, что существует такое целое
что в
десятичной записи числа
встречается десятичная запись числа
Например, для
и
можно выбрать
т.к.
в записи которого есть
Источники:
Подсказки по 119891:
Подсказка 1:
Утверждение, про которое нас спрашивают, слишком общее. Давайте рассмотрим более частный вариант. Покажем, что найдётся число a^n, запись которого начинается с числа b.
Подсказка 2:
Иными словами, мы хотим подобрать такие целые положительные m и n, что 10^m • b < a^n < 10^m • (b + 1). Это сразу даст реализацию первой подсказки и решение задачи.
Подсказка 3:
В неравенстве довольно много степеней. Почему бы не прологарифмировать его по основанию 10?
Подсказка 4:
На самом деле это неравенство скрывает более общий факт. Запишем его так: lg(b) < nlg(a) - m < lg(b+1). Кстати, а мы же знаем, что a — не степень 10. Что можно сказать про число lg(a)?
Подсказка 5:
Докажите, что для иррационального x и любого интервала (u, v) найдутся целые положительные m, n такие, что u < nx - m < v.
Подсказка 6:
Попробуйте найти две пары чисел (m, n), чтобы разница между числом, соответствующим первой паре и числом, соответствующим второй паре, была меньше длины отрезка (u, v). Рассмотрите разницу t этих чисел, а также числа 2t, 3t, 4t, ..... Не найдётся ли среди них нужное?
Докажем, что для любого целого (
и любого целого
найдется целое
для которого десятичная запись
числа
начинается с последовательно записанных цифр числа
— иными словами, найдутся такие целые положительные
что
Прологарифмируем последнее двойное неравенство с основанием
Докажем, что иррационально: если это не так, то
для некоторых целых положительных взаимно простых
тогда
что невозможно. Итак,
иррационально.
Для завершения решения задачи можно доказать, что для любого иррационального и любого выбранного интервала
найдутся такие целые положительные
что
Заметим, что для любого целого можно выбрать такое целое
что
Пусть
т.е. отрезок
можно разбить на
равных отрезков, длина каждого из которых будет меньше длины интервала
Рассмотрим бесконечный
набор чисел
и выберем из него два числа попадающие в один и тот же из упомянутых
отрезков — пусть это числа
и
(без ограничения общности будем считать, что первое меньше второго).
Тогда
Для найденного рассмотрим числа
— ввиду
среди них найдется число, лежащее на интервале
что и
требовалось доказать.
Осталось заметить, что в условиях нашей задачи — иррациональное положительное число;
—
положительный интервал (если
то в качестве
можно выбрать любое число из интервала
Итак, найдутся
такие целые положительные
что
т.е. десятичная запись числа
будет начинаться с цифр числа
Да, верно
Ошибка.
Попробуйте повторить позже
Натуральные числа таковы, что дробь
есть целое число. Докажите, что
Источники:
Подсказка 1
Доказать требуемое можно через довольно естественную идею. Давайте поделим m на n с остатком: m = qn + r и покажем, что q ≥ n.
Подсказка 2:
В контексте решения будет выгодно использовать сравнения по модулю 3ⁿ + 2. С их помощью можно упростить числитель.
Подсказка 3:
Если вы правильно применили сравнения, у вас должно возникнуть два случая — при чётном и нечётном q. В обоих случаях стоит представить условие с делимостью как равенство: числитель равен знаменателю, умноженному на некоторое целое. Далее попробуйте сделать какие-то грубые оценки. Например, если покажете, что 2ⁿ > 3^q, то очевидно n > q.
Разделим на
с остатком: пусть
где
и
(так как
Заметим, что
Тогда
имеем
Рассмотрим два случая: четно и
нечетно.
Первый случай. Пусть четно. Тогда
Для некоторого натурального
Тогда имеем
так как
Следовательно,
для некоторого натурального
Значит,
(подставили
в равенство), то
есть
откуда следует, что
Но тогда
что и требовалось.
Второй случай. Пусть нечетно. Тогда
поскольку
Так как получаем
Следовательно,
для некоторого натурального
Значит,
то есть Если при этом
то для того, чтобы выполнялось равенство, приведенное выше, необходимо,
чтобы выполнялось неравенство
так как в этом случае
Тогда
Если же
(
как следствие одного из приведенных выше равенств). Тогда и
Действительно, в противном случае
и
и
Но тогда
— противоречие. Итак,
и
тогда
Итак, Но тогда аналогичным образом, как в первом случае, можно получить, что
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что среди элементов последовательности
есть лишь конечное количество простых
чисел, и найдите наибольшее из них.
Источники:
Подсказка 1:
Пусть k — наибольше целое число такое, что k² ≤ n. Значит, n < (k+1)². Ясно, что [√n] = k. Вас это ни на что не наталкивает?
Подсказка 2:
А давайте представим n как k² + t. Но ведь мы же тогда можем вычислить n-й член, используя переменные k и t, потому что t+1 последних слагаемых равны k, следующие k² - (k-1)² слагаемых равны k-1 и так дальше.
Подсказка 3:
Осталось лишь внимательно посмотреть на выражение и заметить, что при k больших некоторого числа оно будет иметь определённый делитель.
Пусть — натуральное и
Тогда
Значит,
принимает фиксированное значение, равное
пока
пробегает отрезок
длина которого равна
Значит, если
где
то
Заметим, что дробь принимает целые значения при натуральных
Если множитель
в числителе этой дроби не
сокращается полностью со знаменателем, то данная дробь не взаимно проста с числом
(у них обоих есть общий делитель, входящий
в
и не сократившийся после деления на
Ясно, что при
такой множитель заведомо останется. Поэтому
и
Значит, при
все числа
составные.
При получаем формулу
где
При
находим
а при
получаем
— простое. Таким образом, наибольшее простое число в последовательности
равно
и соответствует индексу
Ошибка.
Попробуйте повторить позже
Натуральные числа таковы, что
Докажите, что
Первое решение. Выражение симметрично относительно так что можно считать
Тогда из натуральности получаем
и
Из таких неравенств на числитель и знаменатель первых двух дробей получаем, что должны
выполняться точные равенства. Значит,
и
но
между ними, так что
что и требовалось
доказать.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. Пусть
Тогда имеем
Вычитая полученные равенства, получаем
Если то, сократив, получим равенство
С другой стороны, левая часть очевидно больше 0, а правая — меньше,
откуда получаем противоречие. Значит,
Аналогично получаем
и
Ошибка.
Попробуйте повторить позже
Найдите все натуральные такие, что если
— все натуральные делители
то
делится на
и
Подсказка 1.
Сначала рассмотрим d₁+d₂. Нам известно, что d₁=1. Тогда d₂ и d₂+1 вместе являются делителями числа n. Какой вывод из этого можно сделать?
Заметим, что так что эта сумма в точности равна
Так как
то есть у
есть чётный делитель (
или
Тогда
и
делится на 2 и на 3. Но тогда у
есть делители
то есть их сумма уже
Значит,
и
является единственным ответом.
Ошибка.
Попробуйте повторить позже
Все натуральные делители натурального числа разбили на пары и посчитали сумму чисел в каждой паре. Оказалось, что все суммы — простые числа. Докажите, что все они различны.
Подсказка 1.
Допустим, в одну пару попали числа, которые имеют общий делитель d > 1. Может ли тогда их сумма быть простым числом?
Подсказка 2.
Нет, не может. Это следует как раз из наличия общего делителя. Как тогда можно разбить делители исходного числа на пары?
Подсказка 3.
Числа в одной паре должны в произведении давать исходное. Чтобы это понять, нужно вспомнить, что не менее половины делителей числа делятся на простое p.
Заметим, что если является простым числом, то
и
взаимно просты. Далее докажем, что если
и
— два делителя
числа
и
то эти делители не могут быть взаимно просты. Рассмотрим
такое, что его степень вхождения в
больше, чем в
(оно есть, поскольку
Тогда
должно делить и
и
Докажем, что в каждой
паре делителей их произведение должно быть в точности
Пусть в какой-то паре оно меньше. Поскольку произведение
всех делителей — это
найдётся пара, в которой произведение больше, чем
По доказанному, сумма этих двух
делителей не может быть простым числом, противоречие. Итак, в каждой паре делителей их произведение одинаково.
Поскольку делители различны, их суммы совпадать не могут, ведь пара чисел однозначно восстанавливается по сумме и
произведению.
Ошибка.
Попробуйте повторить позже
Натуральное число дает остаток 4 при делении на 8. В ряд выписаны числа
— все делители
. Докажите,
что если число
не кратно 3, то
Подсказка 1.
По условию число делится на 4, но не делится на 8. Допустим, что у n есть нечётный делитель d. Какие тогда ещё делители точно можно выделить?
Подсказка 2.
Это делители 2d и 4d. Значит, если k-ый делитель будет иметь вид d или 2d, то он точно подойдёт под условие. Тогда плохим может оказаться только делитель вида 4d.
Подсказка 3.
Если номер этого делителя не делится на 3, то найдётся тройка, минимальный делитель в которой лежит между d и 4d. Тогда подходящее число можно поискать в ней.
По условию число делится на 4, но не делится на 8. Тогда разобьём делители
на группы следующим образом: возьмём в группу
делители
и
где
не делится на 2. Пусть минимальные числа в группах — это
Номером группы будем называть индекс из этой группы. Рассмотрим
где
Если
не делится на 4, то
поскольку
точно является делителем
Предположим теперь, что кратно 4. Пусть
— номер группы, которой принадлежит
Заметим, что
поскольку число
точно больше, чем
ведь оно больше
чисел из групп с номерами, не более
и больше, чем
и
Тогда есть
хотя бы один делитель, меньший
номер группы у которого хотя бы
(поскольку есть
чисел, меньших
Рассмотрим
наибольший из таких делителей
Тогда
не может иметь вид
поскольку
Значит, по выбору
имеем
Остаётся
заметить, что
является делителем
а значит,
Ошибка.
Попробуйте повторить позже
Натуральные числа и
таковы, что
— простое и делит число
Докажите, что
Подсказка 1.
Выражение от m и n делится на выражение, которое линейно зависит от m и n. Как можно воспользоваться этим и переписать эту делимость?
Подсказка 2.
Заметим, что n сравнимо с (-1−m) по модулю m+n+1. Заменив n в выражении, предстоит как-то воспользоваться простотой числа n+m+1.
Подсказка 3.
Воспользуйтесь тем фактом, что если квадрат числа делится на простое, то и само число на него делится.
Пусть Не умаляя общности,
Заметим, что
Заменим в выражении из условия
Но так как — простое, то
Но
Получаем противоречие, а значит, требуемое верно.
Ошибка.
Попробуйте повторить позже
Простые числа
таковы, что
делится на
делится на
делится на
Докажите, что среди
чисел
есть одинаковые.
Подсказка 1
Предположим, все числа различны. Что, если наименьшее число равно 2? Проанализируйте чётность выражений вида bc + b + c.
Подсказка 2
Если a ≥ 3, что можно сделать с тремя данными условиями делимости? Как собрать их в одно выражение, используя симметрию?
Подсказка 3
Рассмотрим выражение abc + ab + bc + ca + a + b + c. Почему оно "наследует" делимость на a, b и c из исходных условий?
Подсказка 4
Разделите выражение abc + ab + bc + ca + a + b + c на abc. Что получится? Как можно оценить сверху это выражение?
Подсказка 5
Воспользуйтесь тем, что (a + 1)(b + 1)(c + 1) = abc + ab + ac + bc + a + b + c + 1.
Предположим противное: все числа различны. Без ограничения общности считаем Отдельно рассмотрим случай
Тогда
— нечетные простые, следовательно,
— нечетное и не делится на
противоречие.
Пусть Тогда
и
Теперь
делится на на
и на
следовательно, оно также делится на
но это невозможно, поскольку
Ошибка.
Попробуйте повторить позже
Натуральные числа
таковы, что
при этом
Докажите, что
Подсказка 1
Рассмотрим дробь (a + e)/(b + f). Что мы знаем о её расположении относительно a/b и e/f? Проверьте разности (a + e)/(b + f) − a/b и e/f − (a + e)/(b + f). Как связано данное условие af − be = −1 со знаками этих разностей?
Подсказка 2
Можем ли мы представить c/d в виде (ax + ey)/(bx + fy) для некоторых натуральных x, y?
Подсказка 3
Рассмотрим систему, состояющую из уравнений bx + fy = d и ax + ey = c. Как выразить x и y, используя условие af − be = −1? Что можно сказать о знаках выражений de − cf и bc − ad, учитывая цепочку неравенств a/b < c/d < e/f?
Заметим, что
В самом деле,
и
В любом случае мы можем решить систему
умножая первое уравнение на а второе на
и вычитая первое из второго, получим уравнение
так как
и аналогично имеем, что
Таким образом, существуют натуральные числа и
такие, что
что влечёт
Ошибка.
Попробуйте повторить позже
Найдите все пары различных натуральных чисел и
такие, что
делится на
Подсказка 1.
В задачах на делимость x на y часто помогает поиск выражения, сравнимого с x по модулю y, абсолютное значение которого мало отличается от y.
Подсказка 2.
Если a > b, то само выражение отлично подходит на эту роль. Иначе хочется как-то избавиться от большого слагаемого b². Как это можно сделать?
Подсказка 3.
Докажите, что b является обратным остатком к a. Тогда мы можем заменить b на 1/a в нашей делимости и привести выражение к общему знаменателю.
Разберем два случая.
Пусть Предположим, что частное от деления данных чисел не меньше 2. Тогда
откуда
Значит, откуда
Значит
делится на
откуда
делится на
То есть
или
Если же
частное от деления равно 1, то
откуда
Тогда
откуда или
В первом случае находим
откуда
Во втором случае находим
то есть
Теперь разберем случай Тогда
Предположим, что частное от деления больше 1. Тогда
откуда
Тогда откуда
Тогда
делится на
откуда снова
или
Наконец, если частное от деления равно 1,
то
Тогда
Значит,
откуда или
В первом случае
Во втором случае откуда
и их перестановки
Ошибка.
Попробуйте повторить позже
Натуральные числа и
таковы, что
делится на
Докажите, что
Подсказка 1.
Хотим сократить условие делимости на min(a, b)!, поэтому разумно рассмотреть случаи знака между a и b.
Подсказка 2.
Считаем a < b. В задачах на делимость x на y часто помогает мысль поиска множителей в x, взаимопростых с y. Это поможет уменьшить x и получить более содержательное утверждение.
Подсказка 3.
Получили, что a! делится на 1 + (a+1)·...·b, но тут ещё раз спасает наша мысль, ведь произведение b−a последовательных чисел делится на (b−a)!.
Подсказка 4.
А теперь осталось воспользоваться тем, что число всегда не меньше своего делителя, и получить окончательную оценку.
Первое решение. Если мы сразу получаем
В случае
требуемое неравенство равносильно
что легко
проверяется, так как пара
не удовлетворяет условию
Теперь предположим, что
и обозначим
Требуемое неравенство принимает вид
Предположим, от противного, что Определим
Из условия следует
откуда мы получаем
Заметим, что должно выполняться
в противном
случае
что невозможно. Мы видим, что
так как
— это произведение
последовательных целых чисел. Таким
образом,
откуда следует, что
Если то
является произведением
целых чисел, не превосходящих
тогда как
является произведением
целых чисел, превосходящих
Следовательно,
что является противоречием.
Остаётся исключить случай Так как
то
Следовательно, из (1) мы можем заключить,
что
Теперь является произведением
целых чисел, не превосходящих
таким образом, оно меньше, чем
Снова мы приходим к противоречию.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение. Как и в предыдущем решении, мы можем предположить, что и пусть
Предположим, от
противного, что
Из условия
мы имеем
из чего следует, что все простые делители не превосходят
Пусть — простой делитель
Если
или
то
делит одно из чисел
…,
что невозможно.
Следовательно,
Кроме того, должно выполняться
в противном случае,
откуда что опять же невозможно. Таким образом, мы имеем
и
так как
Следовательно,
также.
Если то интервал
содержит не более одного целого числа и, следовательно, не более одного простого числа,
которое должно быть равно
Так как
мы должны иметь
или
что абсурдно, поскольку
Таким образом, мы имеем
и значит,
Отсюда следует, что
лежит в интервале
Таким образом, каждый простой множитель, входящий в разложение лежит в интервале
и его степень в точности равна 1.
Поэтому мы должны иметь
Однако является произведением
чисел, не превосходящих
поэтому оно меньше, чем
Это
противоречие.
Ошибка.
Попробуйте повторить позже
Пусть — все натуральные делители натурального числа
Оказалось, что
делится на Найдите
Заметим, что Это выражение не имеет общих делителей ни с одним
Значит,
Ясно, что Отсюда следует, что делимость возможна лишь когда
при всех
…,
Рассмотрим
равенство
Если делителя
не существует, то есть
или, что равносильно,
Если существует, то
для некоторого простого
Значит, равенство примет вид
Если
то
Если
то
Ошибка.
Попробуйте повторить позже
В строчку выписаны все натуральные делители числа в порядке возрастания:
Оказалось, что при любом
натуральном
от
до
включительно либо
делится на
либо
делится на
Докажите, что
имеет не более двух
различных простых делителей.
Предположим, что у есть хотя бы
различных простых делителя
Пусть
Заметим, что оба числа
и
делятся на
так как
является простым и имеет место неравенство
Отсюда следует, что не может делиться на
Значит, по условию
делится на
то есть
делится на
Но
откуда получаем противоречие.
Ошибка.
Попробуйте повторить позже
Дано натуральное число Найдите все натуральные числа
удовлетворяющие одновременно двум условиям:
у числа
не менее
делителей;
если выписать все делители
по возрастанию от 1 до
то каждый делитель, начиная с
-го, будет делиться на сумму
предыдущих делителей.
Пусть
…<
— делители
По условию
кратно
Заметим, что а
— предмаксимальный делитель
Но
Значит,
Аналогично
Из этих равенств следует, что Но
потому что отличается от
домножением на простое число.
таких нет
Ошибка.
Попробуйте повторить позже
Пусть
— некоторые различные натуральные делители натурального числа
Оказалось, что
и
При каких это возможно?
Предположим, что существует такое что
Тогда все делители из набора делятся на
Давайте заменим
на
а каждое
на
Будем делать так до тех пор, пока существует такое
Итак, теперь для всех
Пусть, не умаляя общности
Тогда
кратно Если
то
Значит, Дальше нужно рассмотреть несколько случаев.
Если то
притом
откуда
Если то можно рассмотреть
которое будет равно
Тогда
У есть делитель
то есть
должно делиться
Значит,
делится на
Это возможно лишь при
То есть,
Вспомним, что
и все делители можно домножить на некоторое число и ничего не поменяется. Значит,
подходят все
кратные
Ошибка.
Попробуйте повторить позже
Можно ли выписать 90 различных трёхзначных чисел в ряд в порядке возрастания так, чтобы произведение любых двух подряд идущих чисел делилось на предыдущее число?
Разобьем все трехзначные числа на промежутки вида
и промежутки вида
для
Предположим, что в нашем ряду стоят хотя бы
числа из одного промежутка первого вида:
Тогда
если
делится на
то
делится на
Но
а также
Поэтому
что приводит к противоречию. Аналогично доказывается, что не могут быть выбраны числа из промежутка вида
Так как каждое трехзначное число содержится ровно в одном из данных промежутков, то всего выбрано не более чисел.
Противоречие.
нельзя
Ошибка.
Попробуйте повторить позже
Натуральные числа и
таковы, что
делится на
делится на
делится на
Докажите, что
если
то
Из условия очевидно, что
Заметим, что
так как Аналогично,
Из попарной взаимной простоты следует, что
Преобразуем неравенство из условия:
а так как обе части целочисленные имеем также
тогда
Так как
имеем
Тогда
Ошибка.
Попробуйте повторить позже
Дано простое число Натуральные числа
и
таковы, что
а число — точный квадрат. Докажите, что какие-то два из чисел
и
совпадают.
По условию
без ограничения общности натуральные числа
тогда
где — некоторое целое число. Рассматривая по модулю
откуда то есть
для некоторого целого
Тогда:
без ограничения общности можно считать
Раскроем скобки:
Делим на
Поскольку простое и не делит
то
Оценим
так как
Тогда:
Так как делится на
и лежит в
возможны случаи:
Случай (1): Тогда:
Из
Следовательно, числа совпадают.
Случай (2): Тогда:
Тогда что невозможно, так как
Ошибка.
Попробуйте повторить позже
Назовем натуральное число хорошим, если оно делится на два последовательных нечетных натуральных числа, больших Докажите, что
для любого натурального
среди чисел от
до
менее
чисел являются хорошими.
Подсказка 1
Найдите способ перечислить все хорошие числа. Как можно оценить их количество?
Подсказа 2
Если число делится на два последовательных натуральных числа, то оно делится и на их произведение. Как можно оценить количество чисел кратных 3*5? k(k+2) при произвольном нечетном k?
Подсказка 3
Их количество не превосходит n/15 и n/k(k+2) соответственно. При каком k таких чисел уже не найдется?
Подсказка 4
При k больше, чем √n. Как теперь можно оценить общее количество хороших чисел?
Подсказка 5
Оно не больше, чем сумма n/{3*5}+n/{5*7}+...+n{l(l+2)}. Как можно преобразовать данную сумму?
Подсказка 6
Воспользуйтесь тем, что 1/{k(k+2)}=1/{2k}-1/{2k+4}, чтобы преобразовать данную сумму. Наконец, воспользуйтесь ограничениями на n, чтобы доказать, что это число менее n/5.
Заметим, что число, делящееся на два последовательных нечётных натуральных числа, делится также на их произведение. Поэтому
количество чисел от до
делящихся на
фиксированных нечётных числа
и
не превосходит
Также заметим,
что число, не превосходящее
может делиться на
только в случае, когда
Обозначим наибольшее нечетное число,
не превосходящее
через
то есть для него верно, что
а также
Тогда суммарное количество хороших чисел не
превосходит
Заметим, что
Тогда вся сумма равна
Легко видеть, что при откуда вся сумма меньше, чем
что и требовалось
доказать.