Решение совершенно верное.
Задача взята мною из книги Р. Кармайкла "Diophantine Analyses".
Кармайкл рассматривает там уравнение
![$\dfrac{x^4+ky^4}{m^4+kn^4}=z^2\qquad(1)$ $\dfrac{x^4+ky^4}{m^4+kn^4}=z^2\qquad(1)$](https://dxdy-03.korotkov.co.uk/f/e/6/0/e608f3d0e37937dd8942bfae18ef7f4282.png)
и находит элементарным способом одно решение, которое для
![$k=1$ $k=1$](https://dxdy-04.korotkov.co.uk/f/7/e/b/7eb22be4bf74527b54b6d6093847814782.png)
совпадает с решением, приведенным
Shadow.
Если встать на другую точку зрения и рассматривать уравнение
![$\dfrac{X^4+k}{M^4+k}=z^2\qquad(2)$ $\dfrac{X^4+k}{M^4+k}=z^2\qquad(2)$](https://dxdy-01.korotkov.co.uk/f/c/7/e/c7eb88f489f407ab22b1ae12d3d5f89282.png)
, где
![$M,k$ $M,k$](https://dxdy-04.korotkov.co.uk/f/7/a/f/7af2ebd87f1c5e0a70f1346feddda21b82.png)
рациональные числа,
![$k\ne{M^4}$ $k\ne{M^4}$](https://dxdy-01.korotkov.co.uk/f/0/e/6/0e6606f3c06f97b699f2256878d9743082.png)
, то оказывается, что оно бирационально эквивалентно уравнению эллиптической кривой
![$w^2=u^3-4k(M^4+k)^2{u}\qquad(3)$ $w^2=u^3-4k(M^4+k)^2{u}\qquad(3)$](https://dxdy-03.korotkov.co.uk/f/e/3/5/e35f907ed2495010c923071eef94a30e82.png)
.
На кривой
![$(3)$ $(3)$](https://dxdy-01.korotkov.co.uk/f/c/f/3/cf330257519e06f13c2ecab5e25c6d2a82.png)
имеется рациональная точка бесконечного порядка
![$P=(u,w)=(-4kM^2,4Mk(k-M^4))$ $P=(u,w)=(-4kM^2,4Mk(k-M^4))$](https://dxdy-02.korotkov.co.uk/f/9/c/2/9c231643f9d49b149bf1ee88dfba43d382.png)
,
а вместе с ней и бесконечное количество рациональных точек
![$(2P,3P,4P...)$ $(2P,3P,4P...)$](https://dxdy-03.korotkov.co.uk/f/e/f/1/ef19d2e166c3ca6a603d077b827aad1482.png)
на этой кривой.
Каждая из них дает рациональное решение для уравнений
![$(3),(2)$ $(3),(2)$](https://dxdy-04.korotkov.co.uk/f/7/d/8/7d88ca4453248d35a8d8be558687888882.png)
, а, сл-но, и целое решение для уравнения
![$(1)$ $(1)$](https://dxdy-02.korotkov.co.uk/f/d/3/4/d343a5beaabde2410ecf9f826344ed8382.png)
при целых
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
.
Приведенное здесь решение соответствует точке
![$2P$ $2P$](https://dxdy-02.korotkov.co.uk/f/d/5/9/d592776e922bdabcb1c66f4cb56ecb9882.png)
для
![$k=1$ $k=1$](https://dxdy-04.korotkov.co.uk/f/7/e/b/7eb22be4bf74527b54b6d6093847814782.png)
.