Verallgemeinerung eines Minkowskischen Satzes. I, II. (Q1460092)

\textit{H. Minkowski} [Math. Ann. 54, 91--124 (1901; JFM 31.0213.02)] hat folgenden Satz aufgestellt: Es seien \(n\) lineare Formen \[ y_k = \sum_{l=1}^n a_{kl}x_l \quad (k=1,\ldots,n) \] mit reellen Koeffizienten \(a_{kl}\) und der Determinante \(|a_{kl}|=D>0\) sowie irgend \(n\) reelle Zahlen \(\eta_1,\ldots, \eta_n\) gegeben. Dann ist die Ungleichung \[ \prod_{k=1}^n |y_k-\eta_k|\leq 2^{-n}D \tag{1} \] stets in ganzen Zahlen \(x_1,\ldots, x_n\) lösbar. Bisher war der Beweis nur für \(n = 1\) und \(n = 2\) geführt worden. Der Verf. erledigt den Fall \(n = 3\). Es wird gezeigt, daß es zum Beweis der Lösbarkeit von (1) genügt, die Ungleichung \[ \sum_{k=1}^3 c_k(y_k-\eta_k)^2\leqq \frac{27}{64}c_1c_2c_3D^2 \] für geeignete positive \(c_1\), \(c_2\), \(c_3\) und ganzzahlige \(x_1\), \(x_2\), \(x_3\) zu beweisen; damit ist die Aufgabe zurückgeführt auf die Abschätzung der Minima von inhomogenen ternären quadratischen Formen mit ganzzahligen Variabeln. Der recht umfangreiche Beweis benutzt die Theorie der Reduktion der definiten ternären quadratischen Formen und gestattet eine anschauliche geo\-metrische Deutung.