Beweis des Minkowskischen Satzes über lineare inhomogene Formen. (Q2586274)

\textit{Minkowski} hat folgende zwei Vermutungen ausgesprochen und für \(n=2\) bewiesen: I. Zu jedem ganzen \(n > 1\) gibt es eine Zahl \(K_n >0\) mit folgender Eigenschaft: Es seien \(a_{ik}\), \(c_i\) (\(i, k = 1\), \dots, \(n\)) reelle Zahlen, die Determinante der \(a_{ik}\) sei gleich Eins. Man setze \(L_i(x)=a_{i1}x_1+ \cdots +a_{in}x_n\). Dann gibt es einen Gitterpunkt \(x=(x_1,\ldots,x_n)\) mit \[ |(L_1(x)+c_1)\cdots (L_n(x)+c_n)|\leqq K_n. \] II. Und zwar kann \(K_n=2^{-n}\) gesetzt werden. Auch für \(n=3\) sind I, II richtig (vgl. \textit{R. Remak}, Math. Z. 17 (1923), 1--34; 18 (1923), 137--200; (JFM 49.0101.03) und \textit{H. Davenport}, J. London math. Soc. 14 (1939), 47--51; (JFM 65.0174.01, Zbl 0020.20502). Für beliebiges \(n\) hat als erster \textit{Tschebotaröw} die Vermutung I bewiesen, und zwar mit \(K_n = 2^{-\tfrac n2}\) (Uchen. Zapiski Kazan. Univ. 94 (1934), 3--16; (JFM 61.0984.01; Zbl 0018.11002). Die vorliegende Note ist der deutschen Wiedergabe dieses Beweises gewidmet. Der verblüffend einfache Beweis, der auf der Anwendung des Minkowskischen Linearformensatzes auf das Formensystem \(L_i(x)\) beruht, ist mehrere Jahre lang fast unbekannt geblieben. Einen anderen Beweis von I hat 1937 \textit{Siegel} gefunden; einen durch die Siegelsche Methode angeregten Beweis von I (aber mit viel größerem \(K_n\) als bei Tschebotaröw) findet man bei \textit{H. Davenport}, Acta arith., Warszawa, 2 (1937), 262--265 (JFM 63.0922.01).