Можно попытаться без Морделла.
если

- четно, то имеем

- невозможно.
Пусть

, тогда
1.

- четно, то
2.

- нечетно, то
Для первого случая имеем
Для второго случая имеем
Таким образом, нам нужно доказать невозможность двух случаев:

и
Пусть

, тогда

,
после преобразований имеем

, пусть

, тогда имеем
Далее, если верить Maxima, то получается один действительный корень:
обозначим
Здесь уже помогает квадратичный решатель
http://www.alpertron.com.ar/QUAD.HTM , который показывает, что подходящих решений для

нет.
Совершенно аналогично поступаем со случаем

.Там тоже решений не будет.