Решение совершенно верное.
Задача взята мною из книги Р. Кармайкла "Diophantine Analyses".
Кармайкл рассматривает там уравнение

и находит элементарным способом одно решение, которое для

совпадает с решением, приведенным
Shadow.
Если встать на другую точку зрения и рассматривать уравнение

, где

рациональные числа,

, то оказывается, что оно бирационально эквивалентно уравнению эллиптической кривой

.
На кривой

имеется рациональная точка бесконечного порядка

,
а вместе с ней и бесконечное количество рациональных точек

на этой кривой.
Каждая из них дает рациональное решение для уравнений

, а, сл-но, и целое решение для уравнения

при целых

.
Приведенное здесь решение соответствует точке

для

.