A note on the Diophantine equation (aⁿx^m±1)/(aⁿx±1)=yⁿ+1 (Q4522897)

The author considers the Diophantine equation \[ {a^nx^m+\delta\over a^nx+\delta}=y^n+1, \quad \delta=\pm 1,\;x,y\in {\mathbb Z},\;a\in {\mathbb Z},\;m>2,\;n>1, \;|x|>1. \tag{1} \] He proves the following results -- For \(\delta=-1\) and \(x>1\), all the solutions of (1) are given by \[ (a,x,y,m,n)=(u^{m-2},u^{n},u^{m-1},m,n) \] with \(u>1\). -- For \(\delta=-1\) and \(x<-1\), all the solutions of (1) are given by \[ (a,x,y,m,n)=(u^{2k-2},-u^{2l-1},-u^{2k-1},2k,2l-1) \] with \(k\), \(l\), \(u>1\). -- For \(\delta=1\) and \(x>1\), equation (1) has no solutions. -- For \(\delta=1\) and \(x<-1\), all the solutions of (1) are given by \[ (a,x,y,m,n)=(u^{2k-3},-u^{n},u^{2k-2},2k-1,n) \] with \(k\), \(u>1\). As a corollary he obtains: The Diophantine equation \[ {x^m+\delta\over x+\delta}=y^n+1, \quad \delta=\pm 1,\;x,y\in {\mathbb Z},\;a\in {\mathbb Z},\;m>2,\;n>1, \;|x|>1 \] has no solution. In the case \(\delta=-1\), this result was proved by Le Maohua, but with the extra assumption that \(n\) is prime. The proof combines deep results on the Diophantine equations \(X^n-DY^n=\pm 1\).