The exponential Diophantine equation \(x^y + y^x = y^2\) with \(xy\) odd (Q485540)

The author considers the equation (different from the one in the title) \[ x^y+y^x=z^2 \] in positive integers \(x,y,z\) with \(\min (x,y)>1,\) \(\gcd (x,y) =1\) and \(xy\) odd. It is proved that for every solution \((x,y,z)\) of the above equation which satisfies the properties specified, we have either \(x \in \mathbb{D}\) or \(y \in \mathbb{D}\), where \(\mathbb{D}\) is the set of all odd positive integers \(D\) such that \(D\) is not a square and \(\gcd (D,v_1)>\max (1,\sqrt{D}/8)\), where \((u_1,v_1)\) is the fundamental solution of the Pell equation \(u^2-Dv^2=1\). Supported by an argument depending on the \(abc\)-conjecture and the generalized Fermat conjecture, the author proposes a conjecture that the above ternary equation has no solution \((x,y,z)\) with \(\min (x,y)>1,\) \(\gcd (x,y) =1\) and \(xy\) odd.