решения так и нет.
1. Убеждаемся прямой подстановкой, что для малых
не существует подходящих
. В дальнейшем, можно видеть (и на каждом шаге подтверждать), работаем над полем целых положительных чисел.
2. Замечаем, что
3. Пользуемся простотой
и пунктом 2 и делаем вывод, что если решение существует, то
4. То есть существует такое натуральное
, что
5. Делаем замену
для удобства, и подставляем из второго равенства
в первое:
6. Преобразуем равенство:
Обозначим - снова целое положительное
:
7. Избавляясь от
, получим симметричное выражение по паре
:
8. Итого: если исходная задача имеет решение в натуральных числах, то имеет решение и уравнение из п.7.
В силу симметрии, достаточно искать только среди
. Фиксируя
, получаем квадратное уравнение по
. Подставляя малые значения (вплоть до 3), убеждаемся, что квадратные уравнения не имеют целых решений. При больших
, как можно увидеть, что минимум параболы обязательно будет при значениях
. Поэтому функция
будет возрастать, и в области
ее минимум достигается при собственно
. Но
. Поэтому корней уравнения
не существует.
Таким образом, утверждение задачи доказано.
Если разрешить не только натуральные значения - то подстановка
дает решение
- тогда
, а
. Парное к нему, как можно видеть,
. Наоборот, тоже
- тогда
либо
. Собственно, эти решения выше, с отсылкой на Вольфрам, приводили.