из книги dioph.equations titu andrescu
А, понятно. Это уравнение интересно тем, что среди уравнений вида

оно первое, которое неразрешимо, но эту неразрешимость нельзя установить методом остатков: сравнение

разрешимо при любом

(что, кстати, можно доказать совсем элементарно). Так что метод спуска (или что-то ещё более хитрое) здесь потребуется.