Решение совершенно верное.
Задача взята мною из книги Р. Кармайкла "Diophantine Analyses".
Кармайкл рассматривает там уравнение
и находит элементарным способом одно решение, которое для
совпадает с решением, приведенным
Shadow.
Если встать на другую точку зрения и рассматривать уравнение
, где
рациональные числа,
, то оказывается, что оно бирационально эквивалентно уравнению эллиптической кривой
.
На кривой
имеется рациональная точка бесконечного порядка
,
а вместе с ней и бесконечное количество рациональных точек
на этой кривой.
Каждая из них дает рациональное решение для уравнений
, а, сл-но, и целое решение для уравнения
при целых
.
Приведенное здесь решение соответствует точке
для
.