Уравнения в целых числах → .03 Оценки в уравнениях над Z
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Решите в целых числах уравнение
Подсказка 1
Попробуйте найти решения при фиксированном y².
Подсказка 2
Получается, что при фиксированной правой части у нас есть два решения, сумма которых равна -3. Также стоит учесть, что правая часть это y². Тогда мы можем вписать решения, которые следуют из нахождения одного решения (x, y).
Подсказка 3
Очень часто, когда мы хотим доказать, что что-то не является квадратом, то мы пробуем зажимать его между двумя. Быть может, такое можно сделать и тут? При каких x такое можно провернуть?
Подсказка 4
Из наших наблюдений о решениях достаточно рассматривать x > -3/2, y > 0. При каких из них можно зажать левую часть между квадратами?
Подсказка 5
Рассмотрите отдельно случаи x > 3, x = 2, ..., -1.
Заметим, что если — решение, то
тоже решения. Тогда достаточно найти все решения вида
остальные будут производными от этих.
1) Если то
Значит,
не может быть квадратом целого числа при таких
ограничениях.
2)
— решения
3)
— не квадрат, решений в целых числах нет;
4)
— не квадрат, решений в целых числах нет;
5)
— не квадрат, решений в целых числах нет;
6)
— не квадрат, решений в целых числах нет;
Ошибка.
Попробуйте повторить позже
Существует ли натуральное число, являющееся точным квадратом, которое можно представить в виде суммы квадратов
последовательных натуральных чисел?
Подсказка 1
Существует ряд модулей, по которым квадраты натуральных чисел дают "приятные остатки". К их числу относиться, например, модуль 5, квадрат натурального числа может давать только остатки 0, 1,-1. А по какому модулю можно рассмотреть данное уравнение?
Пусть такое число существует. И пусть оно представляется как
Но если
— натуральное, то:
Т.е. мы зажали наше между двумя последовательными квадратами натуральных чисел. Следовательно
не может являться
квадратом натурального числа.
Не существует
Ошибка.
Попробуйте повторить позже
Решите в натуральных числах уравнение:
Подсказка 1
Степени данных чисел находятся все дальше от друга при увеличении чисел. Как можно воспользоваться этим в данном задании?
Подсказка 2
Было бы приятнее работать в случае, если n было бы четным, тогда мы могли бы рассматривать все слагаемые уравнения как квадраты. Докажите, что случай нечетного n невозможен по модулю 3.
Подсказка 3
Иногда в задачах на проверку существования какой-либо степени числа полезно зажимать данное число между двумя соседними числам, которые являются теми же степенями. Используйте, что 15^n больше 2^n, следовательно, квадрат их суммы должен быть не сильно больше, чем 15^n, которое само по себе является квадратом.
Подсказка 4
Докажите, что 2^n + 15^n < (15^(n/2)+1)^2.
Рассмотрим остатки по модулю 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
Теперь можно легко получить ограничение на одну из переменных, перебрать натуральные значения, и задача убита!
Уравнение не поменяется от перестановки и
местами, поэтому без ограничения общности можем считать
. Тогда
, тогда
и
. Подставляя в уравнение, имеем
, решений
нет.
таких нет
Ошибка.
Попробуйте повторить позже
Найдите все пары натуральных чисел и
таких, что
Выражение из левой части должно равняться кубу натурального числа из правой части. Но оценим с обеих частей кубами натуральных чисел левую часть:
Последнее неравенство верно в силу .
Итак, возможны два случая, когда левая часть равняется кубу:
. В этом случае натуральных корней нет.
. Здесь единственным натуральным решением будет
, откуда
.
Ошибка.
Попробуйте повторить позже
Дана операция , действующая по следующему правилу:
. Найдите сумму всех натуральных
, которые
удовлетворяют равенству
.
Распишем равенство :
Перебирая значения от 1 до 4 получаем, что подходит только 3. При
равенство не достигается, ведь
Ошибка.
Попробуйте повторить позже
Существуют ли такие целые положительные и
, что
?
Так как числа положительные, то сократим на .
Правая часть меньше , но больше 0. Значит
, то есть
, так как числа целые. Отсюда левая часть хотя бы
.
Ошибка.
Попробуйте повторить позже
Будет ли уравнение иметь целые корни?
Подсказка 1
Попробуйте понять, что если и есть корень, то он отрицательный! А дальше сделайте замену y = -x и подставьте в уравнение.
Подсказка 2
После этого, перенесите все что с минусом в другую часть, и рассмотрите случаи y = 1 и y ≥ 2, может оценки какие-то выйдут)
Если есть целый корень , то
. Пусть
, тогда
Если , то
. Если
, то
.
Следовательно, целых корней нет.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные для которых найдётся такое натуральное
что числа
и
являются кубами
натуральных чисел.
Подсказка 1
Предположим, оба выражения — кубы. Что можно сказать об их произведении? Вспомните свойство кубов: произведение кубов — тоже...
Подсказка 2
Перемножим выражения (m² + 1)k и (m + 3)k². Упростите это произведение. Какой множитель теперь явно является кубом?
Подсказка 3
Чтобы доказать, что число не является степенью k некоторого натурального, достаточно проверить, что оно лежит строго между k-ыми степенями двух последовательных натуральных чисел.
Подсказка 4
Стоит сравнить (m² + 1)(m + 3) с m³ и (m+1)³.
Для подойдет
Пусть
Заметим, что
— куб натурального числа, а тогда и
—
куб натурального числа. Но
поэтому
то есть;
Противоречие с
Ошибка.
Попробуйте повторить позже
Дано натуральное и
Нечетное натуральное число
таково, что
Докажите, что число
не
является точным квадратом.
Пусть и
Из условия следует, что
Предположим, что
Тогда
В правую часть последнего равенства двойка входит в степени в точности
Так как
нечетно, то в левой части одна из скобок не
делится на
Разберем два случая.
Случай 1: не делится на 4. Тогда
для некоторого натурального
Равенство перепишется как
Следовательно, что невозможно, в силу
Случай 2: не делится
Тогда
то есть
Следовательно,
откуда
Проверим, что такие значения тоже не подходят. Мы знаем, что
При
слева
а справа не
При
получаем
При
получаем
что опять невозможно, так как
делится на
большую степень двойки.
Ошибка.
Попробуйте повторить позже
Найдите все пары , где
— натуральное, а
— простое, для которых верно
По формуле геометрической прогрессии
Заметим, что слева стоит произведение трех скобок, каждая из которых больше 1 при всех . Тогда каждая из скобок должна быть
равна
, но первая скобка больше второй - противоречие. Если же
, то
, но данное уравнение не имеет
решений.
Ошибка.
Попробуйте повторить позже
Найдите количество четвёрок положительных целых чисел таких, что
и
Источники:
Подсказка 1
Сразу же оценим сверху d в силу нашего равенства. Раз мы имеем дело с факториалами, то сразу хочется посмотреть на делимость левой части на делители числа 24. Как за счёт этого мы можем ограничить наши переменные?
Подсказка 2
Верно! Левая часть делится на 23. Тогда d! точно делится на 23, а значит, и d делится на 23. Получаем, что 23 ≤ d ≤ 24. Теперь у d всего 2 возможных значения. Рассмотрите по отдельности оба случая и проделайте всё по аналогии с другими переменными.
Легко видеть, что Заметим, что правая часть равенства делится на
, а значит, и левая часть должна делиться, откуда
Разберём два случая, чему может равняться
тогда
откуда
тогда
Тогда, аналогично, или или
разберём эти два случая:
тогда
откуда
тогда
небольшим перебором убеждаемся, что тогда
Итого, получаем три возможные четвёрки решений:
Ошибка.
Попробуйте повторить позже
Решите уравнение с тремя неизвестными
в натуральных числах.
Подсказка 1
Понятно, что таковое равенство может редко когда достигаться, так как слева что-то почти всегда большее чем справа(степень растет быстрее произведения). Значит, нужно сделать какую-то понятную оценку, а все случаи, которые под нее не подходят, перебрать. Мы хотим какими-то неравенствами получить XYZ, как оценку снизу. Что мы знаем из неравенств? Как это неравенство нам поможет в оценке XYZ(желательно несколько симметрично относительно X и Z, так как очень похожее структурно)?
Подсказка 2
Да, хочется применить неравенство о средних для двух чисел, но как? Нам нужно как-то X^Y перейти к произведению XY*(что-то, не обязательно константное). Аналогично, со вторым слагаемым. Если X >= 2, то X^k >= 2^k, k - натуральное. При этом, 2^k >= 2k(доказывается по индукции), или 2^(k - 1) >= k. Как с этим знанием найти эту оценку?
Подсказка 3
Верно, можно сделать оценку, что X^Y >= X^2 * X^(Y - 2) >= X^2 * 2^(Y - 2) >= X^2*Y/2. При этом, если бы X >= 3, то мы могли бы сказать, что X^(Y - 1) >= 3^(Y - 1) > 2 ^ (Y - 1) > Z^2/2(при Z > 4, остальные Z перебираются). Значит, можно это неравенство применить на второе слагаемое в левой части уравнения.
Подсказка 4
Тогда, Y^Z = Y^(Z - 1) * Y >= 3^(Z - 1) * Y >= Z^2*Y/2. Почему это хорошие оценки? Потому что у нас получается идеальные слагаемые для оценки их как неравенства о средних(Z^2*Y/2 и X^2*Y/2), так как степень каждой переменной будет равна 2/2 = 1, а коэффициент будет равен 1(из за 1/2 перед каждым слагаемым). Значит, при Х >= 2, Y >= 3 у нас есть строгая оценка, что левая часть больше правой. Отсюда, осталось грамотно перебрать меньшие, но это уже задача вполне рабочая.
1) Рассмотрим случаи. При получаем уравнение:
откуда , то есть
,
.
2) При получаем уравнение:
При решений нет. При подстановке
получаем решения
,
,
,
. При
будет
выполнено, что
и тогда решений не будет.
Доказать, что легко по индукции. База индукции проверяется подстановкой
.
Шаг индукции доказывается тем, что если то
так как при
.
3) При сначала рассмотрим случай
. Тогда имеем уравнение
которое не имеет решений, так как
(неравенство легко доказать по индукции)
Иначе . Тогда
(в последнем переходе снова используем неравенство )
При неравенство
можно проверить вручную, а при сослаться на доказанное нами неравенство
В итоге, воспользовавшись доказанным и неравенством между средними, получаем:
То есть при решений нет, так как
,
,
,
,
Ошибка.
Попробуйте повторить позже
Сколько пар целых чисел, являющихся решениями уравнения
удовлетворяют неравенству
Найти пару
для которой
наибольшее.
Подсказка 1
Попробуйте сделать оценку на модули x и y, а так же запишем 7x - 5y = 23 как x = (23+5y) / 7. Что можно сказать об y?
Подсказка 2
y = -6 или y = 1! Проделайте аналогичные действия с x, тогда несложно будет найти наибольшее значение x+y.
Легко видеть, что При
выражение
кратно семи только при
Для
имеем соответственно
Наибольшее значение
равно
пары, наибольшую сумму имеет пара
Ошибка.
Попробуйте повторить позже
Найдите все упорядоченные тройки натуральных чисел такие, что все три числа
— точные
квадраты.
Подсказка 1
Иногда в задачах на проверку существования какой-либо степени числа полезно зажимать данное число между двумя соседними числам, которые являются теми же степенями. Для какого числа получится использовать данный метод?
Подсказка 2
Вид a²+2b+c похож на разложение числа (a+1)². Как это наблюдение можно использовать для оценки данного числа?
Подсказка 3
Давайте для удобства упорядочим числа. Выражения из условия цикличны, так что надо будет разобрать два случая. Пусть a ≥ b ≥ c. Тогда (a+2)² > a²+2b+ c > a². Что в этом случае можно сказать про a²+2b+ c?
Подсказка 4
Оно равно (a+1)². Можно ли получить на аналогичные условия на b или с?
Подсказка 5
Да, (b+1)² = b²+2c+a. Осталось наложить условие на c²+2c+a. Может ли число оно быть (c+5)²?
Подсказка 6
Нет, последнее больше. Осталось разобрать случаи равенства (с+1)², (c+2)², ..., (c+4)². А ещё не забудьте проверить аналогичным образом другое упорядочивание.
Будем считать, что Тогда заметим, что
Также хотим зажать
сверху. Видно, что
в силу того, что
явно больше
Следовательно,
Также
из
того, что
Поэтому
Откуда следует и
Поэтому
и
Теперь посмотрим на
Оно больше или
равно, чем
при этом равенство достигается при
Теперь сравним
и
Первое из них сильно
больше, поэтому остается проверить, что будет если
где После этого перебора и решения линейного уравнения мы получаем, что есть решение
Также
подойдёт их циклическая перестановка.
Теперь рассмотрим, что произойдёт при другом порядке в цикле: Аналогично получаем, что
Рассмотрим Также
поскольку
Тогда получается, что будет уже больше нашего выражения. Так что
Но тогда мы получаем, что
Вспоминая наше упорядочивание, получаем, что равенство возможно только при
Тогда
Снова приходим к тройке
Следовательно, ответом будет являться любая циклическая перестановка и
Циклическая перестановка следующих наборов:
Ошибка.
Попробуйте повторить позже
Целые числа и
таковы, что
Найдите, какое наибольшее значение может принимать .
Подсказка 1
Когда мы видим выражение вида a * mn + b * n + c * m + d, то первым делом нам нужно попробовать его разложить на скобки, добавив некоторую константу к обеим частям уравнения. Попробуйте это сделать, ведь с множителями удобнее работать чем с слагаемыми!
Подсказка 2
Получится (m-5)(n-4)=29. Много ли целых чисел могут давать в произведении 29?
Первое решение. Постараемся разложить на скобки:
В правой части простое число, поэтому в левой части целые числа в скобках могут равняться только 1 и 29, либо -1 и -29. Наибольшее
значение достигается при
______________________________________________________________________________________________________________________________________________________
Второе решение. Запишем равенство в виде
Равенство реализуется при
Ошибка.
Попробуйте повторить позже
Найдите все такие пары натуральных чисел и
что
делится на
и
делится на
Если то, очевидно,
при этом пара
подходит. Осталось разобрать случай
Заметим сразу, что
и
взаимно
просты; пусть
Число
делится на аналогично,
делится на
а из взаимной простоты и на их произведение. Итак,
а
значит,
или
С другой стороны,
Итак,
Но — противоречие.