Un problema d'analisi indeterminata di terzo grado. (Q2590571)

Gezeigt wird: Ist \(r=2n\) eine gerade natürliche Zahl, so sind die Lösungen der Gleichung \[ x_1^3+x_2^3+\cdots+x_r^3=0\tag{1} \] n rationalen Zahlen genau die Wertsysteme \[ x_j=\sum_{k=1}^n v_{kk}v_{jk},\quad x_{n+j}=\sum_{k=1}^n v_{kk}v_{jk}'\qquad (j=1,\ldots,n) \] mit \[ \begin{aligned} &v_{jk}=y_jy_k+3z_jz_k+3(y_jz_k-z_jy_k),\\ &v_{jk}'=-(y_jy_k+3z_jz_k)+3(y_jz_k-z_jy_k), \end{aligned} \] wo \(y_1,\ldots,y_n\), \(z_1,\ldots,z_n\) beliebige rationale Zahlen sind. Diese Parameterdarstellung ergibt sich, indem im projektiven \((r-1)\)-dimensionalen Raum die von dem allgemeinen rationalen Punkt der Hyperfläche (1) zusammen mit der \((n-1)\)-dimensionalen Mannigfaltigkeit \[ x_{n+j}=\frac{1+i\sqrt3}2x_j\qquad(j=1,\ldots,n)\tag{2} \] aufgespannte \(n\)-dimensionale Mannigfaltigkeit mit dem zu (2) konjugiert-komplexen Gebilde geschnitten wird. Die \(n\) ersten homogenen Koordinaten des Schnittpunktes liefern dann, in der Gestalt \(y_j+i\sqrt3z_j\) (\(j=1,...,n\)) mit reellen (von selbst rationalen) \(y_j\), \(z_j\) dargestellt, die obigen Parameter. Sieht man von dem Fall \(x_n=x_r=0\) ab, so ergeben sich auch die \(y_j\) und \(z_j\) auf rationale Weise aus \(x_1,\ldots,x_r\). Für jede (nicht notwendig gerade) natürliche Zahl \(r\) wird dann noch in Gestalt rationaler Funktionen gewisser rationalen Parameter eine Teillösung von (1) aufgestellt; die Umkehrung der Transformation ist jedoch nicht mehr rational.