A proof of the theorem that each class of integral primitive binary quadratic forms in the principal genus arises by duplication. (Q1496864): Difference between revisions

Es sei \[ (a,\frac b{\sigma},c)=ax^2+\frac {2b}{\sigma}xy+cy^2\quad(\sigma =1,2;\,\,D=\text{Determinante}). \] Dann darf man von einer gegebenen Form des Hauptgeschlechtes: \[ f=(m,\frac b{\sigma},c) \] annehmen, \(m\) sei zu \(2D\) teilerfremd, quadratfrei und enthalte weniger als \(\varrho\) Primfaktoren. \(\varrho\) ist die Anzahl der Charaktere von \(D\), \(\pi\) die der Primfaktoren. Nennt man dann \(\pi+\varrho\) die Stufe der Determinante \(D\), so kann man den Satz für die erste und zweite Stufe beweisen. Der Verf. schließt hierauf durch vollständige Induktion auf den Fall der \(s\)-ten Stufe. Auf \(f\) bildet er eine Form der Determinante \(m\): \[ \psi =(D,\frac v{\sigma_1},C), \] die im Hauptgeschlecht liegt, und deren Stufe \(<s\) ist. Sie entsteht also durch Duplikation, und man hat: \[ De^2=\varXi^2-m.H^2, \] woraus umgekehrt auch \[ mH^2=\varXi^2-De^2, \] d. h. auch die Klasse \(f\) ist durch Duplikation entstanden. Damit ist ein Beweis gewonnen, der entgegen dem \textit{Gauß}schen Beweise nur auf der Theorie der quadratische Formen beruht.