Neuer Beweis eines Satzes von Minkowski (Q2646013)

Besonders einfacher, rein arithmetischer Beweis des folgenden Satzes: Sind \(\alpha\), \(\beta\), \(\gamma\), \(\delta\), \(\mu\), \(\nu\) reelle Zahlen mit \(\alpha\delta-\beta\gamma=\pm 1\), so gibt es ganze rationale Zahlen \(x,y\) mit \[ -\tfrac 14\leq \{\alpha(x-\mu)+\beta(y-\nu)\}\{\gamma(x-\mu)+\delta(y-\nu)\leq \tfrac 14 \tag{1} \] (s. S. 108 in [\textit{H. Minkowski}, Math. Ann. 54, 91--124 (1901; JFM 31.0213.02)]). Zunächst wird leicht gezeigt, daß es teilerfremde ganze \(p\) und \(r\) mit \[ | (\alpha p+\beta r)(\gamma p+\delta r|\leq 1 \] gibt; seien \(q\) und \(s\) ganze Zahlen mit \(ps - qr = 1\). Alsdann wird (1) durch die Substitution \[ x=pX+qV,\quad y=rX+sY;\quad \mu=pM+qN,\quad\nu=rM+sN \] auf die Gestalt \[ -\tfrac 14\leq A(X-M)^2+B(X-M)(Y-N)+C(Y-N)^2\leq \tfrac 14. \tag{2} \] gebracht, wo \(| A| =|(\alpha p + \beta r) (\gamma p +\delta r)|\) und \(B^2 - 4AC=1\). Indem Verf. nun (2) folgendermaßen schreibt \((A\neq 0)\) \[ -\tfrac 14\leq A(X-KY-L)^2-\tfrac 1{4A}(Y-N)^2\leq \tfrac 14, \] kann er leicht ganze \(X\) und \(Y\) mit (2) angeben; für \(A = 0\) ist das trivial. [Also reviewed in JFM 64.0993.01.]