Über unlösbare diophantische Gleichungen der Form \(x^m + 1 = y^n\). (Q2579856)

Aus der Annahme einer nichttrivialen Lösung der diophantischen Gleichung \[ x^2 - 1 = y^n \tag{1} \] werden einschneidende Bedingungen für \(n\), \(x\) und \(y\) hergeleitet, die. für ``kleine'' Werte überhaupt unerfüllbar sind. Insbesondere wird bewiesen: (1) ist in ganzen Zahlen \(x \not = 0\), \(y \not = 0\) unlösbar, wenn \(n > 3\) eine Primzahl und eine der beiden Bedingungen \[ 2^{n-1} \not \equiv 1 \pmod {n^2}, \quad (3) \quad 3^{n-1} \not \equiv 1 \pmod {n^2} \tag{2} \] erfüllt ist, insbesondere deshalb für alle Primzahlen \(n\) mit \(3 < n < 16\,000\). Zu diesem Zweck wird (1) auf eine Gleichung der Gestalt \[ u^n \pm 1 = 2^\alpha v^n \qquad (\alpha >1) \tag{4} \] zurückgeführt und für jede Gleichung der Gestalt (4) bewiesen, daß sie in ganzen Zahlen \(u\), \(v\) mit \(u \not \equiv 0\), \(\pm 1\) (mod \(n\)), \(v \not \equiv 0\) (mod \(n\)) unlösbar ist, sobald \(n\) eine Primzahl ist und einer der Bedingungen (2) und (3) genügt. Ähnliche Untersuchungen über die allgemeinere diophantische Gleichung \(x^m + 1 = y^n\) schließen sich an.