I want to prove that the integers solutions to $x^4-2y^2=1$ are only $(1,0)$ and $(-1,0)$
There is a hint:
The positive primitive solutions of $x^2 + y^2 = z^2$ with $y$ is even are $x=r^2-s^2, ~y=2rs,~z=r^2+s^2$. And we can use the similar proof to prove the equation.
But I don't know how to start it, anyone can help?