Solution of the equation \(x^4 8x^2y^2+8y^4=z^2\). (Q1517969)

Die Lösung der in der Ueberschrift angegebenen Gleichung in ganzen Zahlen wird hier nach einer ``méthode de descente'' von Fermat angebahnt. Das Wesen dieser Methode besteht darin, dass das einzelne Lösungssystem \(x\), \(y\), \(z\) (man kann sich leicht ersichtlich auf Zahlen \(x\), \(y\), \(z\) beschränken, von denen keine zwei einen Factor gemeinsam haben) durch einen einfachen Algorithmus aus drei kleineren Zahlen \(t\), \(u\), \(a\) hergestellt werden, welche wieder derselben Gleichung wie \(x\), \(y\), \(z\) genügen. Freilich ist diese Reduction direct nur möglich, falls \(y\) gerade ist; in diesem Falle gilt: \[ t^4-8t^2u^2+8u^4=a^2, \] \[ \pm x=t^8-8u^8,\quad y=2atu,\quad z=a4-32t^4u^4. \] Man kann jetzt, wenn auch \(u\) gerade ist, den gleichen Reductionsprocess nochmals und unter der entsprechenden Bedingung wiederholt anwenden. Aber man wird so notwendig nach endlich vielen Schritten zu einem Zahlentripel kommen, in welchem die zweite Zahl ungerade ist. Die Methode schliesst also nicht vollständig ab. Hat man nun ein solches Tripel mit ungerader zweiter Zahl gewonnen, oder ist gleich anfangs \(y\) ungerade, so reducirt der Verf. die zu lösende Aufgabe auf die ganzzahlige Auflösung der Gleichungen: \[ pq=rs,\quad p^2-4q^2+4pq+8s^2-r^2=0. \] Der Verf. zeigt, dass bei der Behandlung dieser Gleichungen die Fermat'sche Methode ohne Ausnahme anwendbar ist. Es folgt bei der numerischen Durchführung, dass im ganzen sechs Lösungen \(x\), \(y\), \(z\) in nicht- verschwindenden Zahlen existiren, welche \(y<10^{10}\) befriedigen.