On the product of two complex linear polynomials in two variables. (Q2589587)

Verf. bringt einen neuen Beweis für folgenden Satz von \textit{E. Hlawka} [Monatsh. Math. Phys. 46, 327--334 (1938; JFM 64.0146.02)]: Es seien \(\alpha\), \(\beta\), \(\gamma\), \(\delta\), \(\xi\), \(\eta\) beliebige komplexe Zahlen mit \(\alpha \delta \beta \gamma =1\). Dann gibt es immer ganze Zahlen \(x\), \(y\) des Gaußschen Körpers \(k (i)\), so daß \[ | (\alpha x + \beta y + \xi)(\gamma x + \delta y + \eta)| \leqq \lambda, \tag{1} \] wenn \(\lambda = \tfrac 12\). Das Gleichheitszeichen kann nur stehen, wenn \(\alpha\), \(\beta\), \(\gamma\), \(\delta\), \(\xi - \tfrac {1+i}2\) und \(\eta - \tfrac {1+i}2\) ganze Zahlen aus \(k(i)\) sind. Ein entsprechender Satz wird vom Verf. bewiesen in den Körpern \(k(i\sqrt{2})\) und \(k(i\sqrt{3})\), in denen ein Euklidischer Algorithmus existiert; die entsprechenden Werte von \(\lambda\) sind \(\frac 34\) und \(\frac 13\); auch die Fälle, in welchen in (1) das Gleichheitszeichen steht, werden angegeben. Der Beweis beruht auf der Picardschen geometrischen Darstellung im positiven Halbraum der definiten Hermiteschen Form \(f (x, y) = ax\bar{x} + b\bar{x}y + \bar{b}x\bar{y} + cy\bar{y}\) mit \(ac - b\bar{b} = 1\), \(a\), \(c\) reell, \(a > 0\), durch den Punkt \(X = \mathfrak R \left( \tfrac ba\right)\), \(Y = \mathfrak J \left( \tfrac ba\right)\), \(Z= \tfrac 1a\). Dieser Halbraum wird in Bereiche eingeteilt, in welchen nur nicht äquivalente Formen liegen. Liegt der Bildpunkt der Form z. B. im Bereich \(X^2 + Y^2 + Z^2 \geqq 1\), \(| X | \leqq \frac 12\), \(| y | \leqq \frac 12\), so nennt man die Form in \(k (i)\) reduziert, für die anderen Körper werden die entsprechenden Bereiche angegeben. Durch geometrische Überlegungen wird gezeigt, daß es für eine reduzierte Form \(f (x, y)\) zu jedem Paar von gegebenen komplexen Zahlen \(x_0\), \(y_0\) mindestens ein Paar \(x_1\), \(y_1\) gibt, so daß \(x_1 - x_0\) und \(y_1 - y_0\) ganze Zahlen des betrachteten Körpers sind und daß \(f (x, y) < 2\lambda\) ist. Das Wesentliche beruht in der Ermittlung des größten Wertes des Minimums der Entfernung von einem Punkt des Gitters der ganzen Zahlen des Körpers zu einer Ecke eines dem Fundamentalrechteck bzw. Dreieck des Gitters ähnlichen Bereiches in einer beliebigen Lage. Dieser Hilfssatz wird dann auf die Hermitesche Form \(t |\alpha x + \beta y |^2 + \tfrac 1t | \gamma x + \delta y|^2\) angewandt, die immer größer als das geometrische Mittel \(| \alpha x + \beta y)( \gamma x + \delta y)|\) ist, und damit der Satz bewiesen.