Sur un théorème de M. Mahler. (Q2590690)

In Verallgemeinerung eines Satzes von \textit{K. Mahler} (Jber. Deutsche Math.-Verein. 44 (1934), 250-255; JFM 60.0163.*) wird folgendes bewiesen: \(M\) sei ein konvexer Körper im \(n\)-dimensionalen euklidischen Raum mit Mittelpunkt im 0-Punkt; \(2^nA\) das Volumen von \(M; m >0\) eine ganzrationale Zahl. Weiter sei für alle \(i (1\leqq i\leqq m)\) \(p_i\) Primzahl, \(f_i\) eine ganze Zahl und \(L_i(x) =L_i(x_1,\ldots, x_n)\) eine Funktion, die eine Beziehung herstellt zwischen jedem System ganzer \(p_i\)-adischer Zahlen \((x_1,\ldots, x_n)\) und einer ganzen \(p_i\)-adischen Zahl, und die außerdem die Eigenschaft hat: Ist \[ \begin{aligned} &L_i(x) - L_i(y) \equiv 0 \mod (p_i^{f_i}),\;\;\text{so auch}\\ &L_i(x-y)\equiv 0\quad \mod (p_i^{f_i}). \end{aligned} \] Gilt noch \[ A\geqq p_1^{f_1}\cdots p_m^{f_m}, \] so gibt es \(n\) ganze rationale Zahlen \(x_1,\ldots, x_n\), so daß der Punkt \(x = (x_1,\ldots,x_n)\neq0\) in \(M\) liegt und \[ L_i(x) \equiv 0\,(\!\!\!\!\mod p_i^{f_i})\;\;\text{ist für}\;\;\;1\leqq i\leqq m. \] Der Beweis ist sehr elegant.