On an identity of Desboves (Q2266751)

Aufbauend auf einer Polynomidentität nach \textit{A. Desboves} [C. R. Acad. Sci., Paris 87, 159--161 (1878; JFM 10.0146.01)] konstruiert der Autor über dem Körper der rationalen Zahlen eine parametrisierte Folge elliptischer Kurven zusammen mit jeweils einem konkreten rationalen Punkt, welcher nach dem Satz von Nagell-Lutz von unendlicher Ordnung ist. Eine Teilfolge dieser Kurven ist von der Form \(E_{n^ 2}: y^ 2=x^ 3-n^ 2\cdot x\) für \(n=m(4m^ 2+1),\) wobei m alle positiven ganzen Zahlen durchläuft. Bekanntlich charakterisieren die sämtlichen Kurven \(E_{n^ 2}\) mit einem rationalen Punkt unendlicher Ordnung gerade die sogenannten Kongruenzzahlen n, d.h. die Lösungen des klassischen diophantischen Problems, alle (ganzzahligen) Flächeninhalte rechtwinkliger Dreiecke mit rationalen Seitenlängen zu bestimmen. Dies angewandt auf die konstruierte Teilfolge von Kurven \(E_{n^ 2}\) liefert schließlich in jeder Restklasse modulo 8 die Existenz unendlich vieler Kongruenzzahlen. Man vermutet, daß jedes n kongruent 5, 6,,7 modulo 8 Kongruenzzahl ist [\textit{N. M. Stephens}, Bull. Lond. Math. Soc. 7, 182--184 (1975; Zbl 0304.10011)].