On the equivalence of the reduced binary quadratic forms of a positive determinant (Q1527209)

Es sei zu einer ersten reducirten indefiniten binären quadratischen Form \(f_0\) mit positivem ersten Coefficienten \[ f_{i-1} = ((-1)^{i-1}a_{i-1},\,b_{i-1},\,(-1)^ia_i) \] die \((i-1)^{\text{te}}\) nach rechts benachbarte Form, \[ h_i = \frac{b_i+b_{i+1}}{a_{i+1}}, \] weiter \(A_i\), \(B_i\) Zähler und Nenner des \(i^{\text{ten}}\) Näherungsbruches des Kettenbruchs \((h_0,h_1,h_2,\dots)\), so wird gezeigt, dass die Substitutionen \[ x = (-1)^mB_{m-1}x' + B_my',\quad y = (-1)^mA_{m-1}x' + A_my' \] und deren Producte mit \(\begin{pmatrix} -1,&0\\0,&-1\end{pmatrix}\) die einzigen sind, durch welche \(f_0\) in reducirte Formen übergeht; darin liegt ein Beweis für den Satz, dass nur reducirte Formen aus derselben Periode äquivalent sind.