A solution of the equation \(ax^2+bxy+cy^2=m\) of positive determinant in integers (Q1521743)

Giebt es überhaupt ganzzahlige Lösungen der Gleichung \(x^2-Ay^2=N\) (mit ganzen positiven \(A\) und \(N\)), so giebt es auch eine Lösung in nicht-negativen ganzen Zahlen \(x\), \(y\), deren zweite die Ungleichung \(y<\beta\sqrt N\) erfüllt. Unter den gleichen Voraussetzungen giebt es eine Lösung von \(x^2-Ay^2=-N\) mit \(y<\alpha \sqrt{\frac{N}{A}}\). Hierbei ist unter \((\alpha,\beta)\) die kleinstpositive Lösung von \(x^2-Ay^2=1\) verstanden. Der Beweis fliesst aus dem bekannten Algorithmus, welcher vermöge der ``Einheit'' \(\alpha+\beta \sqrt A\) aus einer Lösung von \(x^2-Ay^2=\pm N\) alle übrigen herleiten. Für diesen Algorithmus werden noch einige Formeln ausgerechnet. Die Gleichung \(ax^2+bxy+cy^2=m\) wird durch Multiplication mit \(4a\) und durch die Substitution \(X=2ax+by\), \(D=b^2-4ac\) auf \(X^2-Dy^2=4am\), d. i. auf die obige Gleichung, zurückgeführt.