On the representation of a quadratic form as a sum of squares of linear forms. (Q2601971)

Es wird bewiesen: (1) Jede definite quadratische Form in den Veränderlichen \(x_1\),\dots, \(x_{n}\) mit ganz-rationalen Koeffizienten läßt sich in der Gestalt \[ \textstyle \sum\limits_{i=1}^{n+3}m_i(b_{i1}x_1+\dots +b_{in}x_n)^2 \] mit rationalen \(m_i\) und \(b_{ik}\) darstellen. (2) In den Fällen \(n = 2\), 3, 4, 5 können die \(b_{ik}\) sogar ganz gewählt werden; unter dieser Voraussetzung kann dann die Summandenzahl \(n + 3\) durch keine kleinere ersetzt werden. Beim Beweis von (2) kommt es im wesentlichen auf den Fall \(n= 5\) an; durch Einführung dreier zusätzlicher Veränderlichen wird der Satz auf die Tatsache zurückgeführt, daß es nur \textit{eine} Klasse positivdefiniter, eigentlich primitiver quadratischer Formen in acht Veränderlichen mit ganzrationalen Koeffizienten und der Determinante 1 gibt.