Решение можно было бы построить так.
Обозначим
,
.
Исходное уравнение запишется так:
.
Тогда
.
Если
имеет натуральное решение, то имеет натуральное решение и
. (Обратное не обязательно верно).
Решение
для
увидел
ИСН.
Меньше семи
быть не может, поскольку система уравнений Лича
для
натуральных решений не имеет.
Проще всего в этом убедиться, посчитав ранги эллиптических кривых
при
с помощью PARI/GP.
Они все нулевые. И, следовательно, рациональных точек бесконечного порядка нет. А рациональные точки кручения
не дают натуральных решений
(обязательно появляются нулевые значения переменных или
или
).
Так что семь - минимальное значение для
.
Кстати, значение
соответствует системе
.
Второй путь - находить элементарные доказательства отсутствия натуральных решений
для
. Например,
nnosipov получал в одной из тем доказательство для
.
Вопрос. Может кто-нибудь увидит решение уравнения
для
? (Система Лича при
решение имеет).