Further solutions of the auxiliary Diophantine equation

Determine whether the auxiliary equation \[(2k+1)^{2b+1}-(2k-1)^{2b+1}=2(2k^2-1)^{b+1}, \] with integers \(k\ge 2\), odd integers \(b\ge 3\), and \(p=2k^2-1\) prime, admits any solutions beyond the known solution \(k=2\), \(b=1\), corresponding to \(p=7\) and \((x,y,z)=(4,3,76)\).

Background

The paper studies positive-integer solutions of px+(2p+1)y=z2p^x+(2p+1)^y=z^2 for an odd prime pp under the consecutive-exponent condition xy=1|x-y|=1. Apart from the universal solution (x,y,z)=(2,1,p+1)(x,y,z)=(2,1,p+1), the authors reduce any exceptional solution to the case where $2p+1$ is composite and has the factorization (2k1)(2k+1)(2k-1)(2k+1), with p=2k21p=2k^2-1.

In the remaining nontrivial factorization case, the exponents satisfy x=2(b+1)x=2(b+1) and y=2b+1y=2b+1, and the problem becomes the displayed auxiliary equation. The paper proves an upper bound on bb for each fixed kk, hence reducing the search to finitely many exponents for each prime, but it does not establish whether additional solutions exist. It records the example k=2,b=1k=2,b=1, yielding 74+153=7627^4+15^3=76^2, and reports that no solutions were found computationally for odd b3b\ge3.

References

For odd integers $b\ge3$, no solutions were found in our computations. Although this suggests that the above solution may be unique, we do not have a general proof covering all such cases. Determining whether the auxiliary equation admits solutions beyond the example $p=7$ remains an interesting open problem.

On the Diophantine Equation $p^x+ (2p+1)^y =z^2$ with Consecutive Exponents  (2608.18608 - Panda, 19 Aug 2026) in Remark following Theorem 3.1, after the proof of the main result