On the decomposition of quadratic forms in six variables. (Q2595780)

Es sei \(f_6=\sum\limits_{k,j=1}^6 a_{kj}x_kx_j\) (\(a_{kj}=a_{jk}\)) eine positiv definite quadratische Form mit ganzzahligen \(a_{kj}\). Weiter sei \[ g_6=\sum_{k=1}^6 x_k^2+\left(\sum_{k=1}^6 x_k\right)^22x_1x_2-2x_2x_6 \] und \(X\) eine lineare Form in \(x_1,\ldots,x_6\) mit ganzen Koeffizienten. Es wird dann bewiesen, daß jedes \(f_6\), das ungleich \(g_6\) ist, zerlegt werden kann in die Summe \[ f_6=X^2+h_6. \] Dabei ist \(h_6\) eine nicht negative quadratische Form in sechs Variablen und mit ganzen Koeffizienten. Daraus folgt dann sofort, daß jede Form \(f_6\) zerlegt werden kann entweder in eine Summe von Quadraten linearer Formen oder in eine Summe solcher Quadrate und eine Form \(g_6\). Die wesentlichen Hilfsmittel beim Beweis sind Ergebnisse aus der Reduktionstheorie der definiten quadratischen Formen.