On the positive quadratic forms and on the continued fractions like algorithms (Q1531877)

Die Grundlage für die Entwickelungen der vorliegenden Abhandlung bilden die folgenden geometrischen Betrachtungen. Eine definite quadratische Form \(f\) der \(n\) Veränderlichen \(x_1,\dots,x_n\) mit nicht verschwindender Determinante \(\varDelta\) werde als Summe der Quadrate von \(n\) reellen Linearformen dargestellt: \[ f=\xi_1^2+\xi_2^2+\cdots+\xi_n^2, \] \[ \xi_a=\pi_{a1}x_1+\pi_{a2}x_2+\cdots+\pi_{an}x_n \quad (a=1,2,\dots,n), \] und dann werden die Werte dieser Linearformen \(\xi_1,\dots,\xi_n\) als rechtwinklige Coordinaten der Punkte eines \(n\)-dimensionalen Raumes gedeutet, so dass auch jedem Wertsysteme der Veränderlichen \(x_1,\dots,x_n\) ein Punkt dieses Raumes entspricht. Zunächst mache man diejenigen Punkte kenntlich, für welche jedes Mal eine der \(n\) Veränderlichen \(x_1,x_2,\dots,x_n\) den Wert 1 und die anderen \(n-1\) den Wert 0 haben. Diese \(n\) Punkte bestimmen zusammen mit dem Nullpunkte eine \(n\)-kantige Ecke, welche sich leicht zu einem \(n\)-dimensionalen Parallelepipedon vervollständigen lässt. An jede der \(2n\) Begrenzungsflächen dieses Elementarparallelepipedons lege man gleich gerichtet ein vollkommen gleiches Parallelepipedon, an die noch freien Begrenzungsflächen dieser Parallelepipeda wieder ein gleiches, und dieses Verfahren denke man sich unbegrenzt fortgesetzt, so dass auf diese Weise der ganze \(n\)-dimensionale Raum in parallelepipedische Kammern eingeteilt ist. Die Ecken dieser Parallelepipeda bilden ``ein regelmässiges Punktsystem''; sie werden durch diejenigen Werte \(\xi_1,\dots,\xi_n\) dargestellt, welche man durch Benutzung ganzzahliger Systeme \(x_1,\dots,x_n\) findet. Die quadratische Form \(f\) stellt offenbar das Quadrat der Entfernung des Punktes \(\xi_1,\dots,\xi_n\) von dem Nullpunkte dar, und die Wurzel aus ihrer Determinante \(\varDelta\) liefert den Rauminhalt des Elementarparallelepipedons. Benutzt man die erste Thatsache und bedenkt ferner, dass der Abstand zweier Parallelebenen eine gegebene Grösse nicht überschreiten kann, so folgt die Grundeigenschaft der definiten quadratischen Form, derzufolge es nur eine endliche Anzahl von ganzzahligen Wertsystemen ihrer Veränderlichen \(x_1,\dots,x_n\) giebt, für welche ihr Wert unterhalb einer gewissen Grenze liegt. Nachdem noch gezeigt ist, dass die Willkür in der Darstellung der Form \(f\) als Summe von \(n\) Quadraten linearer Formen geometrisch nur die Neigung der Elementarparallelepipeda gegen die rechtwinkligen Coordinantenaxen betrifft, während die Figur derselben von jener Willkür unabhängig ist, kommt der Verfasser zu seiner Hauptaufgabe: der anschaulichen Auslegung des Aequivalenzbegriffes. Das reguläre Punktsystem ist nämlich noch verschiedener anderer parallelepipedischer Anordnungen seiner Punkte fähig, und zwar entspricht dem Inbegriff aller dieser möglichen Anordnungen eine Klasse von äquivalenten Formen. Nun werde mit \(\sqrt M\) die Entfernung des Nullpunktes von diejenigen Punkten des regulären Punktsystems bezeichnet, welche dem Nullpunkte nächst gelegen sind: es ist dann \(M\) die kleinste von \(0\) versciedene Grösse, welche durch die Form \(f\) mittels ganzer Zahlen darstellbar ist. Ferner werde um jeden Punkt des Systems als Mittelpunkt eine \(n\)-dimensionale Kugel mit dem Radius \(\frac 1 2 \sqrt M\) construirt. Bedenken wir, dass diese Kugeln sich sämtlich ausschliessen müssen, so kommt, in Anbetracht der übrig bleibenden Raumlücken, in einem überall hin gleichmässig ausgedehnten unendlich wachsenden Raume auf je einen dem Kugelinhalte gleichen Raumteil im Durchschnitt weniger als ein Punkt des Systems. Der Kugelinhalt muss also kleiner sein als der Inhalt \(\sqrt \varDelta\) des Elementarparallelepipedons. Diese Thatsache liefert die Ungleichung \[ M<\frac {2n} {\pi e}\;\root{n} \of{n\pi e^{\frac 1 {3n}}}\;\root{n} \of \varDelta <n \root{n} \of \varDelta, \] welche für das Minimum \(M\) einer quadratischen Form eine viel engere obere Grenze liefert als die bekannte Hermite'sche Formel. Die wichtigste Anwendung dieser Ungleichung betrifft die Theorie der Zahlenkörper \(n^{\text{ten}}\) Grades. Ist \(D\) der absolute Wert der Grundzahl eines solchen Körpers \(K\) und \(\omega_1,\dots,\omega_n\) eine Basis seiner ganzen Zahlen, so betrachtet der Verfasser die definite quadratische Form \[ f=\sum_h |\omega_1^{(h)}x_1+\omega_2^{(h)}x_2+\cdots+\omega_n^{(h)}x_n|^2, \qquad (h=1,2,\dots,n) \] wo die oberen Indices zur Unterscheidung der \(n\) zu \(K\) conjugirten Körper dienen. Sind dann \(\mathfrak a\) und \(\mathfrak m\) Ideale des Körpers, deren Product ein Hauptideal \(\mu\) ergiebt, so folgt leicht aus der obigen Ungleichung \(\sum_h |\mu^{(h)}|^2<n \root{n} \of {DN({\mathfrak a})^2}\). Wird nun benutzt, dass eine Summe von \(n\) positiven Grössen niemals kleiner ist als das \(n\)-fache der \(n^{\text{ten}}\) Wurzel aus ihrem Producte, so ergiebt sich wegen \(N(\mu)=\pm N({\mathfrak a})N({\mathfrak m})\) die Ungleichung \(N({\mathfrak m}) < \sqrt D\), d. h. zu jedem Ideal giebt es behufs Herstellung eines Hauptideals mindestens einen Multiplicator, dessen Norm \(<\sqrt D\) ist. Wegen \(| N({\mathfrak m})\mathfrak \geqq 1\) folgt \(\sqrt D >1\), d. h. jede Discriminante enthält Primzahlen als Factoren, worin eine das Wesen der algebraischen Zahlen tief berührende Eigenschaft ausgedrückt ist.