Уравнения в целых числах → .03 Оценки в уравнениях над Z
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Сумма кубов трёх последовательных натуральных чисел оказалась кубом натурального числа. Докажите, что среднее из этих трёх чисел
делится на
Источники:
Подсказка 1
Необходимо показать, что если для некоторых натуральных чисел x, y верно (x−1)³+x³+(x+1)³=y³, то x кратно 4. Раскройте скобки и приведите подобные слагаемые.
Подсказка 2
Мы получили, что 3(x²+2)=y³. Как можно воспользоваться тем, что y кратно 3?
Подсказка 3
Пусть y=3z. Тогда имеем, x(x²+2)=9z³. Что можно сказать о числе НОД(x, x²+2)?
Подсказка 4
Он равен 1 или 2. Если он равен 1, то что можно сказать про произвольное простое число p, отличное от 3, делящее z?
Подсказка 5
Оно делит ровно одно из чисел x и x²+2, причем входит в него в степени, кратной 3. Тогда x =9u³ и x²+2=v³, либо x =u³, x²+2 =9v³ при некоторых натуральных u,v. Докажите, что каждый из этих случаев невозможен.
Подсказка 6
Осталось разобрать случай НОД(x, x²+2). Почему при этом x кратно 4?
Пусть среднее из последовательных чисел равно Тогда для некоторого натурального
верно уравнение
что экививалентно
Таким образом, делится на
следовательно,
для некоторого натурального
Уравнение теперь имеет
вид
Очевидно, что Пусть
Тогда либо
и
либо
при
некоторых натуральных
В первом случае
что невозможно, так как куб целого числа при делении на
даёт
остаток
или
Аналогично второе равенство влечёт, что
что невозможно по тем же причинам. Итак,
Тогда
(и, следовательно,
) чётно, поэтому
делится на
Поскольку
не
делится на
получаем, что
делится на
Ошибка.
Попробуйте повторить позже
Найдите все пары натуральных чисел и
для которых
является целым.
Источники:
Поделим многочлен на
с остатком. Для удобства домножим
на
всё равно
и
взаимно просты. При
делении мы получим остаток
То есть дробь
также является целой.
Теперь заметим, что число является целым. Однако
взаимно просто с
следовательно число
целое. То же самое можно сказать про
Поскольку задача стала инвариантной относительно перестановки
и
мы можем
считать, что
Пусть
Из делимости на
следует, что
то есть
откуда
Если то
откуда
Если то
Ясно, что выражения слева при любом
лежит между
и
То есть осталось перебрать случаи,
когда
и
Если , то
. Решая неравенство
получаем, что
. Нам подойдут
.
Если , то
. Снова получаем ограничение
. Перебирая, получаем
.
Если , то
и
, откуда
.
Если , то
, откуда
.
Если , то
. Решая неравенство
, получаем, что
. Нам подойдут
.
Не забывая про симметрию относительно переменных, запишем ответ.
Ошибка.
Попробуйте повторить позже
Пусть и
- натуральные числа такие, что
делит
. Докажите, что
является квадратом целого
числа.
Решение 1: Выберем целые числа такие что:
Для фиксированного рассмотрим пару
с минимальным значением
Обозначим
Тогда квадратное уравнение относительно
Если существует другой корень то:
Если то это противоречит условию минимальности
поэтому
не может быть положительным целым. По формуле
Виета:
что делает целым. Из неравенства:
следует Тогда:
Таким образом, всегда является полным квадратом.
_________________________________________________________________________________________________________________________________________________________________________________
Решение 2: Предположим противное: пусть не является квадратом. Без ограничения общности
Выберем пару
с минимальной суммой
Рассмотрим квадратное уравнение:
Его корни и
удовлетворяют:
Пусть тогда второй корень:
Так как не квадрат,
Подставляя
в исходное уравнение:
Так как то
Из
следует
что противоречит минимальности
Следовательно,
обязано быть квадратом.
Ошибка.
Попробуйте повторить позже
Найти все решения в натуральных числах уравнения
Здесь обозначает произведение всех натуральных чисел от 1 до
включительно.
Заметим, что так как
и
Если то
Второй множитель целый, так как Значит,
Отсюда и
Тогда
что невозможно.
Если то
Второй множитель целый, так как Значит,
Если то
и
— получили противоречие.
Если то
и
Отсюда
и
Откуда Значит, подходит тройка
Если то
Так как
то
и поэтому и
Тогда
что невозможно.
Если то
Так как
и
Если
, то
что невозможно. Если
то
Значит, подходит тройка
Если то
Раз
то
Если
то
таким образом, пришли к
противоречию. Значит,
Тогда
и
и тройка
— решение.
(
), (
), (
)