How to prove that the only integral solutions to the equation $y^{2}=x^{3}-1$ is $x=1, y=0$. I rewrote the equation as $y^{2}+1=x^{3}$ and then we can factorize $y^{2}+1$ as $y^{2}+1 = (y+i) \cdot (y-i)$ in $\mathbb{Z}[i]$. Next i claim that the factor's $y+i$ and $y-i$ are co-prime. But i am not able to show this. Any help would be useful. Moreover, i would also like to see different proofs of this question.
Extending Consider the equation $y^{a}=x^{b}-1$ where $a,b \in \mathbb{Z}$ and $(a,b)=1$ and $a < b$. Then is there any result which states about the nature of the solution to this equation.