Die diophantische Gleichung \(mx^2+ny^2=z^4\). (Q2590574)

Für die Lösbarkeit der diophantischen Gleichung \(mx^2+ny^2=z^k\) bei quadratfreiem \(mn\neq -1\) in teilerfremden (das ist hier wesentlich) \(x\), \(y\) und mit \(2\nmid z\) werden folgende Bedingungen als notwendig und hinreichend nachgewiesen: Ist \(2^\varkappa\mid k\), \(2^{\varkappa+1}\nmid k\) und ist \((m)= \mathfrak m^2\) in \textbf{P}\((\sqrt{-mn})\), so ist die Klasse von \(\mathfrak m\) eine \(2^\varkappa\)-te Potenz. Ist speziell \(k=4\), so läßt sich dieses Kriterium in einfacher Weise mit Hilfe des vom Verf. eingeführten Symbols \(\{D_1,D_2,m\}\) (J. reine angew. Math. 180 (1939), 1-43; F.~d.~M. 65, 106) aussprechen, dessen praktische Anwendung im wesentlichen auf die Bestimmung der Lösbarkeit einiger diophantischer Gleichungen \(ax^2+by^2+cz^2=0\) mit \(abc\mid mn\) hinauskommt.