Über die Gleichungen \(1+Dx^2= 2y^n\) und \(1+Dx^2=4y^n\). (Q2580467)

Es wird bewiesen: Ist \(n>0\) ungerade, \(D>0\) quadratfrei, so kann im Falle \(D\equiv 1\;(\text{mod}\;4)\) die Gleichung \(1+Dx^2 = 2y^n\), im Falle \(D\equiv 3\;(\text{mod}\;4)\) die Gleichung \(1+Dx^2 = 4y^n\) nur dann eine Lösung in ganzen Zahlen \(x\), \(y\) mit \(y>1\) haben, wenn die Anzahl der Idealklassen des von \(\sqrt{-D}\) erzeugten Zahlkörpers durch \(n\) teilbar ist. Beim Beweis wird ein Satz von \textit{Mahler} (Arch. Math. Naturv. Oslo 41 (1935), Nr. 6; F. d. M. 61, 1053) über spezielle diophantische Gleichungen zweiten Grades benutzt.