Оценки в уравнениях над Z
Ошибка.
Попробуйте повторить позже
Найдите все такие натуральные что делится на
Подсказка 1
Попробуем рассмотреть данное выражение по модулю числа, на которое нужно доказать делимость. Многоэтажная степень не очень приятна. Можно ли как-нибудь ее заменить?
Подсказка 2
Можно! Для этого заметим, что 2 в степени n³ можно заменить на (-n) в степени n по нашему модулю. Теперь у нас появился вопрос о том, как раскрыть (-1) в степени n. Для этого попробуем понять, какова четность n.
Подсказка 3
Конечно, n нечетно! Тогда (-1) в степени n равна -1. Тогда по условию получается, что (n в степени n) - n - 3 является нулем по нужному модулю. Кажется, что этот модуль при достаточно больших n сильно превосходит получившееся выражение. Попробуем это доказать!
Подсказка 4
Заметим, что 2 в степени n строго больше n. Из этого легко получается, что наш модуль всегда строго превосходит число, делимость которого мы исследуем. Кажется, что тогда ответ состоит в том, что подходящих n не существует, но это еще не так! Ведь мы должны доказать, что наш модуль превосходит исследуемое на делимость число по абсолютной величине! А при каких n это число отрицательно?
Чётным быть не может, иначе получается, что нечётное число делится на чётное.
По условию по модулю
Значит, по модулю
При по индукции легко доказать, что откуда и
поэтому делимость невозможна.
же подходит.
Ошибка.
Попробуйте повторить позже
Найдите все пары натуральных чисел, для которых
Подсказка 1
Давайте перенесем куб вправо и изменим внутри знак. Тогда, что мы можем сказать про ab, если 3^3 = 27? А что мы можем сказать про то как связаны a и b?
Подсказка 2
Из того, что 27 - куб, следует, что ab - тоже куб, так как справа у нас расположен куб. А что насчет связи a и b? Если у них есть общий делитель, то получается, что по некоторому простому модулю p, для которого a = 0 и b = 0 (mod p), выходит, что 1 = 0, mod p. Значит, p = 1, а значит a и b взаимнопросты. Как мы тогда можем скомбинировать наши результаты?
Подсказка 3
Тогда, a, b - кубы, ведь они взаимнопросты и их произведение - куб(если вам непонятно почему это так, то попробуйте рассмотреть произвольное p^3a и понять почему факт верен). Но тогда, выходит, что 27xy = 1 - x^3 - y^3(x^3 = a, y^3 = b). Хмм, мы пришли к уравнению, которое все же лучше начального, но также непонятно как решать. Давайте попробуем как-то оценить x через y, и быть может из этой оценки будет явно следовать ограниченность количества вариантов(подсказка внутри подсказки - 27xy > 0).
Подсказка 4
Но если у нас 27xy > 0, то x^3 - y^3 - 1 > 0, а значит y <= x - 1. Подставив эту оценку(после переноса всех слагаемых в одну сторону) в уравнение, мы и получим ограниченность количества решений, откуда и будет следовать ответ.
Во-первых, покажем, что и взаимно просты. Пусть это не так, тогда они делятся на какое-то простое число , а значит и делится на , но это не так.
Во-вторых, покажем, что и — точные кубы. Число — куб, — куб, значит и — куб. Если некоторое простое число входит в в степени , то оно либо входит в этой же степени в , а в — в нулевой, либо наоборот, так как . Таким образом, и — кубы, ведь все простые множители входят в них в степени.
Пусть , тогда извлечём из равенства кубический корень и получим:
Зафиксируем и сравним с ней . Ясно, что , потому что иначе правая часть отрицательна, а левая — положительна. Перепишем равенство в виде:
Нетрудно видеть, что
То есть равенство возможно лишь когда , откуда . Притом эта пара является решением при любом натуральном .
Ошибка.
Попробуйте повторить позже
Найдите все пары целых чисел удовлетворяющие уравнению
Подсказка 1
Слева у нас первая скобка достаточно большая. Давайте для начала сравним одну её с правой частью.
Подсказка 2
Отлично, только первая скобка слева по модулю хотя бы такая же, как правая часть. Вторая скобка у нас целая, тогда какие значения она может принимать?
Подсказка 3
Итак, x+y-3 может принимать значения -1, 0 и 1. Эти три варианта можно разобрать отдельно, в каждом из случаев получив простую систему.
Известно, что
Тогда может равняться только в случае, если либо и либо какая-то из скобок равна
1.
Тогда левая часть уравнения равняется Но тогда и правая равна Т.е. Тогда либо либо Оба решения нам подходят.
2.
С учетом того, что то Проверкой убеждаемся, что это решение.
3.
С учетом того, что то Проверкой понимаем, что это не будет являться решением.
4.
Получается, что Подстановкой получим тождество, т.е. это будет решением.
Итого у нас решения.
Ошибка.
Попробуйте повторить позже
Найдите все простые числа и такие, что делится на делится на делится на
Подсказка 1
Попробуйте из этих трёх чисел получить некоторое число, которое будет делиться сразу на p, q и r.
Подсказка 2
Попробуйте рассмотреть числа pq + qr и pr + 1. Они оба делятся на q, а значит и сумма делится. Как можно развить это рассуждение для других переменных?
Рассмотрим число Из условия следует, что оно делится на все простые и Так как кратно то не равно и то есть, применяя аналогичное соображение, получим, что все числа различны. И поэтому Докажем, что числа большие и не подходят. Заметим, что число — целое. Если среди чисел нет двойки, то это выражение равно
Если одно из чисел а все остальные не меньше то
Если же два из простых это и то
и целое, то есть равно а тогда
Ошибка.
Попробуйте повторить позже
Решите уравнение в натуральных числах:
Подсказка 1
В левой части 4 возводится в степень (n! - 1), а в правой — 2 в степень n!. Интуиция подсказывает, что левая часть чаще всего больше правой. Как можно это доказать?
Подсказка 2
Обозначим правую часть через t. Тогда в левой части можно выделить t²/4. Перенесем правую часть влево. Тогда наше выражение почти является квадратным трехчленом, мешает только одно слагаемое. Как от него избавиться?
Подсказка 3
Верно! Оно не меньше 1, поскольку m и n — натуральные числа. Выходит, наша новая левая часть не меньше квадратного трехчлена (t-2)², который равен нулю только при t = 2. Как теперь понять, когда получается равенство в исходном уравнении?
Положим тогда После этого уравнение примет вид
Равенство достигается тогда и только тогда, когда а Найденные значения, очевидно, подходят.
Ошибка.
Попробуйте повторить позже
Существует ли натуральное число которое можно представить как в виде так и в виде где и — три различных натуральных делителя числа
Подсказка 1
Делитель числа n точно не больше, чем n, поэтому a² и b² должны быть достаточно близки к n. Какую оценку на a позволяет сделать такое соображение?
Подсказка 2
Ага, а²>n, ведь n=а²-b, поэтому а>√n. Если а²>(√n+1)², то b>2√n. Найдётся ли в таком случае c, подходящее под условие?
Подсказка 3
Верно, не найдётся, потому что c будет больше n, но это противоречие с делимостью. Какой вывод тогда отсюда остаётся сделать? Разберите другой случай, противоречие будет уже с другим требованием задачи для a, b, c.
Предположим, что такие существуют. Понятно, что Пусть Тогда Значит, Тогда Противоречие, так как Значит, Тогда получаем, что — делитель и отсюда
Значит, ведь — делитель Тогда Противоречие с тем, что и различны.
Не существуют
Ошибка.
Попробуйте повторить позже
Решите уравнение в целых числах
Источники:
Подсказка 1
Пусть y неотрицательный. Давайте тогда попробуем сначала перенести одно из слагаемых с правой части влево и вынести за скобку общий множитель. Что тогда хочется ещё сделать? Что мы можем оценить из нашего предположения для y?
Подсказка 2
Верно, давайте сократим на 3^x и посмотрим на левую часть. Она целая, если y неотрицателен, и причём не делится на 3. Тогда что можно сказать о правой части и с чем возникает противоречие?
Подсказка 3
Да, правая тоже будет целым числом, но тогда она будет степенью тройки. Но такого быть не может! Отлично, то есть y не больше чем -1, а в силу симметрии x тоже. Давайте теперь вернёмся к исходному уравнению. Что, возможно, вам хотелось сразу сделать, но потом вы ни к чему не пришли? Как можно избавиться от степени тройки с одной стороны уравнения?
Подсказка 4
Точно, давайте теперь сократим на 3^(x+y). Тогда справа у нас останется сумма степеней троек, а слева число. Причём степени у нас будут положительные из-за ранее сделанных выводов. Осталось только оценить степени и победа!
Предположим, что Преобразуем уравнение:
Тогда, так как то число целое и не кратно трем. Значит, тоже целое, но число не может быть степенью тройки (нулевой быть не может, так как оно больше а ненулевой - так как оно не кратно Таким образом, В силу симметрии относительно перестановки получим, что Пусть Тогда:
Домножим на
Пусть Если то Значит, тогда Получим что, или Откуда получим ответ.
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение
Источники:
Подсказка 1
Давайте сначала переберем значения b. При 1 нет решений, при 2 можно найти одно решение. А дальше уже не хочется смотреть...и мы начинаем понимать тендецию, что справа будет стоять экспонента от a, а слева - многочлен...Как теперь строго описать этот феномен?
Подсказка 2
Вот давайте теперь предположим, что b хотя бы 3, а a хотя бы 2. Посмотрим на a^b + a + b. Вот пара оценок на помощь: a^b < a^b + a + b < a^b + ab < a^b +ba^(b-2). А как это еще можно оценить так, чтобы справа вышло тоже что-то в степени b?
Подсказка 3
Как (a+1/a)^b! Это проверяется с помощью бинома Ньютона. То есть, вышло что a^b < b^a < (a+1/a)^b. Те, кто рассматривал уравнение вида a^b = b^a знают, что нужно дальше делать) А кто нет, то вот что: приведите эти три функции к почти одинаковому виду, а после посмотрите на скорость роста функции.
Подсказка 4
Прологарифмируем и поделим на ab! выйдет: ln(a+1/a)/a > ln(b)/b > ln(a)/a. Рассмотрите производную функции ln(x)/x и поймете, как она себя ведет. А дальше надо подумать про самое больше число в этой цепочке неравенств...
Подсказка 5
С помощью производной ln(x)/x, можно понять, что нет решений при b ≥ a ≥ 3 и c a = 2, b ≥ 4. Теперь предлагается вот что: можно получить противоречие с тем, что самое наибольшее слагаемое в цепочке - не наибольшее. докажите, что ln(a+1/a)/a < ln(a-1)/(a-1) при a ≥ 4, также с помощью производных)
Если или то решений нет. Если то получим При решений нет, подходит, а при левая часть увеличивается менее чем в два раза при увеличении на Пусть Тогда
Последнее неравенство следует из разложения по биному Ньютона для Действительно:
Значит,
логарифмируя и деля на получаем:
Пусть Заметим, что убывает при и (у этой функции производная равна и она отрицательна при Поэтому нет решений с и с
С другой стороны, можно проверить, что
при Действительно, при это
и производная выражения равна
Но (так как при
так что
уже при Таким образом, уравнение не имеет решений при
Замечание. Вместо оценки можно использовать (верную при тогда упрощаются вычисления, но нужно перебирать больше исключений.
Ошибка.
Попробуйте повторить позже
Найдите количество троек натуральных чисел , являющихся решением уравнения
Источники:
Подсказка 1
Для каждого значения √(n+√k) значение m будет определено однозначно. Подумайте, какие значения может принимать √(n+√k).
Подсказка 2
√(n+√k) не может быть меньше 2, так как n и k больше 1, и также не может быть больше 2022, так как 2023-m≤2022. Давайте обратим внимание на то, что в правой части уравнения стоит целое число, тогда и в левой части тоже должно быть целое. Какие должны для этого соблюдаться условия?
Подсказка 3
Для этого k и n+√k должны быть точными квадратами. Обозначим k = x² и n+√k = y². В таком случае, число n определяется однозначно, значит, для получения ответа на задачу нам нужно найти все возможные пары (x, y).
Чтобы левая часть была целым числом, числа и должны быть точными квадратами, при этом значит и отсюда Так как то может принимать любое значение от до — по этому значению число определяется однозначно.
Пусть и где и тогда число определяется однозначно, а именно Получается, необходимо посчитать число допустимых пар Всего их
Формула суммы квадратов первых натуральных чисел известна:
Применим эту формулу и получим
Ошибка.
Попробуйте повторить позже
Решите в целых числах и уравнение
Запишем равенство в виде Правая часть больше значит левая тоже. Следовательно, Получаем неравенство которое имеет решения Осталось перебрать полученные целые значения и выписать ответ.
Ошибка.
Попробуйте повторить позже
Найдите все простые и такие, что верно
Ясно, что иначе правая часть больше левой. Если равенство примет вид то есть решений не будет. Если то и эта пара подходит. Пусть теперь Следовательно, (выражение на натуральных числах возрастает). Это неравенство равносильно следующему: Очевидно, оно решений в простых числах не имеет.
Ошибка.
Попробуйте повторить позже
Найдите все пары натуральных чисел и таких, что
Попробуем собрать слева и справа полные квадраты. Домножим на и прибавим чтобы было удобнее это делать. Получим равенство
Заметим, что при натуральных выражение положительно. Значит, откуда получаем неравенство
Его решения: Осталось сделать перебор и выписать ответ.
Ошибка.
Попробуйте повторить позже
Решите уравнение в простых числах
Источники:
Если записать равенство в виде станет понятно, что Теперь запишем равенство так: Возникает желание разобрать два случая.
Первый случай, кратно то есть Подставим это в уравнение и получим: Рассмотрим это как квадратное уравнение относительно Дискриминант равен Он должен быть точным квадратом. Следовательно, Ясно, что значит
Получаем, что Делаем перебор, находим ответы.
Второй случай, кратно то есть Аналогичными рассуждениями получим уравнение Далее требуем, чтобы дискриминант был квадратом: Получаем ограничения на
откуда Перебираем и выписываем ответ.
Ошибка.
Попробуйте повторить позже
Решите в целых числах уравнение
Заметим, что если — решение, то тоже решения. Тогда достаточно найти все решения вида остальные будут производными от этих.
1) Если то Значит, не может быть квадратом целого числа при таких ограничениях.
2)
— решения
3) — не квадрат, решений в целых числах нет;
4) — не квадрат, решений в целых числах нет;
5) — не квадрат, решений в целых числах нет;
6) — не квадрат, решений в целых числах нет;
Ошибка.
Попробуйте повторить позже
Существует ли натуральное число, являющееся точным квадратом, которое можно представить в виде суммы квадратов последовательных натуральных чисел?
Подсказка 1
Существует ряд модулей, по которым квадраты натуральных чисел дают "приятные остатки". К их числу относиться, например, модуль 5, квадрат натурального числа может давать только остатки 0, 1,-1. А по какому модулю можно рассмотреть данное уравнение?
Пусть такое число существует. И пусть оно представляется как Но если — натуральное, то:
Т.е. мы зажали наше между двумя последовательными квадратами натуральных чисел. Следовательно не может являться квадратом натурального числа.
Не существует
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение:
Рассмотрим остатки по модулю 3: Из этого следует, что — четное (иначе ). Тогда — квадрат натурального числа. Рассмотрим квадрат следующего натурального числа:
Получается, что мы зажали между двумя квадратами последовательных натуральных чисел. Значит, что тогда не будет целым. Т.е. решений в натуральных числах нет.
Нет решений
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и такие, что числа и являются точными квадратами.
Разберем два случая. Сначала предположим, что Тогда Следовательно, откуда что невозможно из соображений четности.
Теперь предположим, что Тогда откуда либо либо Изучим каждый из этих подслучаев отдельно.
Если то и число является квадратом. Это квадрат числа, большего и меньшего той же четности, что и Следовательно, либо либо В итоге или и или и
Если же то и число является квадратом. Это квадрат числа, большего и меньшего Значит, либо либо Первое уравнение имеет нецелый корень, а второе дает откуда
Ошибка.
Попробуйте повторить позже
Найдите все натуральные числа такие, что и — точные квадраты.
Перемножим наши точных квадрата, получив тоже точный квадрат
Т.к. при нечетном (mod 8), а квадраты по модулю 8 сравнимы только с делаем вывод, что четное.
при
При верно, что Домножив на получим
Получаем, что при лежит между квадратами двух последовательных натуральных чисел. Значит, единственное возможное значение — При проверке получаем, что
Ошибка.
Попробуйте повторить позже
Решите уравнение в натуральных числах
Подсказка 1
Эх, ну вот почти полный квадрат перед нами – всё портит эта тройка! Стояли бы там 2 или 4 всё бы было получше, не правда ли? Кстати, заметьте, что теперь мы решаем уравнение не в целых, а в натуральных числах – как это может помочь?
Подсказка 2
y^4 = (y^2)^2 – фактически нас просят доказать, что выражение слева является квадратом квадрата, но раз так, то оно и просто квадрат, не правда ли?
Подсказка 3
Вспомните интересный способ доказательства того, что число не квадрат – можно зажать его между двумя соседними квадратами! Если вы всё ещё в недоумении, просто прочтите все 3 подсказки в связке и внимательно!
Поскольку , то
Мы показали, что находится между двумя соседними квадратами, откуда это выражение не может быть квадратом, то есть не может быть равно .
таких нет
Ошибка.
Попробуйте повторить позже
Решите уравнение в натуральных числах
Подсказка 1
Кажется, что перед нами совсем какая-то бяка: никаких намекающих коэффициентов и даже никаких ФСУ не поиспользуешь сходу. Но чисто интуитивно кажется, что выражение справа обычно довольно гигантское при больших x и y и не так уж и часто может равняться выражению слева
Подсказка 2
Значит, нам могут помочь оценки! А для них можно ещё одну полезную вещь заметить: симметрию (x,y) <—> (y,x) – она нам позволит не умаляя общности упорядочить переменные: x>=y. Попробуйте 3 слагаемых слева оценить чем-то одинаковым, чтобы они схлопнулись в одно слагаемое!
Подсказка 3
Теперь можно легко получить ограничение на одну из переменных, перебрать натуральные значения, и задача убита!
Уравнение не поменяется от перестановки и местами, поэтому без ограничения общности можем считать . Тогда , тогда и . Подставляя в уравнение, имеем , решений нет.
таких нет