Find all the integer pairs $(x, y)$ which satisfy the equation $x^5-y^5=16xy$ I just came across the following question:

Find all the integer pairs $(x, y)$ which satisfy the equation $x^5-y^5=16xy$

I solved it as follows:
$x=y=0$ obvious solution. If $xy\neq0$, let $d=gcd(x, y)$ and we write $x=da$, $y=db$, $a, b\in \Bbb{Z}$ with $(a, b)=1$. Then, the given equation is:
$$d^3a^5-d^3b^5=16ab$$
So, by the above equation, $a$ divides $d^3b^5$ and hence $a$ divides $d^3$. Similarly $b$ divides $d^3$. Since $(a, b)=1$  we have that $ab$ divides $d^3$, so $d^3=abr$ with $r\in \Bbb{Z}$. Then the above equation becomes $abra^5-abrb^5=16ab$, so $r(a^5-b^5)=16$.
Hence, the difference $a^5-b^5$ must divide $16$. If $|(a^5-b^5)|\le2$ we have that $(x, y)=(-2, 2)$ is a solution. Otherwise $$|a^5-b^5|=|(x+1)^5-b^5|\ge |(x+1)^5-x^5|=|5x^4+10x^3+10x^2+5x+1|\ge31$$ which is impossible.
So only solutions are $(x, y)=(0, 0)$ or $(-2, 2)$.
I believe that this solution is not at all intuitive nor simple. Could you please post a more intuitive and simple solution where you are explaining your intuition on every step?

First of all,if $x=y$ then $x=y=0$ which does work. So,now assume $x \not =y$. Again if one of them is $0$, other one has to be also. So,from now on also assume that none of them is $0$
$\textbf{Case 1:}$ $x,y$ both are positive.
Then $(x-y)(x^4+x^3y+x^2y^2+xy^3+y^4)=16xy$
since obviously $x >y$,if $x \ge 3$ we have $x^4+x^3y \ge 9x^2+9xy \ge 9xy+9xy=18xy$.So, $x \le 2$So,only a few case to check.
$\textbf{Case 2:}$ Both are negative gives the same equation with $x,y$ swapped.
$\textbf{Case 3:}$ $x$ negative but $y$ positive would give $x^5+y^5=16xy$ by substituting
$x=-x$ to make things easier to work with.
Here a simple AM-GM can be applied to show that $16xy \ge 2x^{5/2}y^{5/2} \implies 8 \ge (xy)^{3/2} \ge xy$. So, a very small number of cases to check. We will find the solution $(2,2)$ which in turns means $(-2,2)$ is a solution to the original equation.
Last case is only $y$ is negative but that's obviously impossible.
Hence $(0,0)$ and $(-2,2)$
are the only possible pairs satisfying the given relation
