Minkowski's theorem on the product of two linear forms. (Q1440556)

Für den \textit{Minkowski}schen Satz über das Produkt zweier linearer Polynome \[ L_1=a_{11}x_1+a_{12}x_2-c_1,\;L_2=a_{21}x_1+a_{22}x_2-c_2 \] mit beliebigen reellen Koeffizienten, welcher bekanntlich besagt, daß\ sich ganzzahlige Werte \(x_1,x_2\) so angeben lassen, daß \[ | L_1L_2| \leqq \frac 14 \] ist, wenn nur die Bedingung \(a_{11}a_{22}-a_{12}a_{21}=1\) erfüllt ist, hat \textit{R. Remak} (M. Z. 17 (1923), 1-34; 18 (1923), 173-200; F. d. M. 49, 101 (JFM 49.0101.*)-102) eine Verallgemeinerung auf den Fall \(n=3\) gegeben. Verf. ist der Meinung, daß\ der Remaksche Beweis einer Verallgemeinerung auf beliebigen nicht fähig sei. Er gibt einen neuen Beweis für den Fall \(n = 2\), den er einer Verallgemeinerung auf beliebige \(n\) eher für fähig hält; allerdings hat er eine solche Verallgemeinerung bisher vergeblich versucht. Der Beweis des Verf. operiert mit zwei Hilfssätzen. Der erste, ein Spezialfall eines allgemeinen Minkowskischen Satzes, besagt, daß\ sich im Falle \(a_{11}a_{22}a_{12}a_{21}=1\) stets ganze Zahlen \(x_1,x_2\) so bestimmen lassen, daß\ die Ungleichung \[ | a_{11}x_1+a_{12}x_2| \cdot| a_{21}x_1+a_{22}x_2| \leqq \frac 14 \] besteht. Der zweite Hilfssatz sagt aus, daß\ sich zu zwei den Bedingungen \[ 0<A \leqq 1,\;0 \leqq | B| \leqq \frac 12 \] genügenden Zahlen \(A\) und \(B\) stets eine Zahl \(N\) so angeben läßt, daß\ die Ungleichung \[ | AX^2+BX|\leqq \frac14 \] für alle \(X\) aus dem abgeschlossenen Intervall \(<N, N+1>\) erfüllt ist, und daß\ sich ferner zu jeder vorgeschriebenen Zahl \(c\) eine derselben Ungleichung genügende Zahl \(X\) angeben läßt, die sich von \(c\) um eine ganze Zahl unterscheidet.