The least multiple of an integer expressible as a definite quadratic form. (Q1444883)

Um alle Lösungen der Kongruenz \[ r^2 + a \equiv 0 \pmod{n}, \quad a > 0, \, \, n > 1, \, \, (a, n) = 1 \] zu finden, bestimme man alle Darstellungen von \(k \cdot n\) durch die quadratische Form \(x^2 + ay^2\), wobei \(k \le 2\sqrt{\dfrac a3}\) ist. Dann sind die gesuchten Werte \(r\) die Lösungen der Kongruenz \[ r y \equiv \pm \, x \pmod{n}, \quad x \ge 0, \, \, y \ge 0. \] Verf. gibt für diesen Satz einen Beweis, der einfacher ist als die von \textit{H. J. S. Smith} [Collected Mathematical Papers Vol. I. Oxford: At the Clarendon Press (1894; JFM 25.0029.02), p. 148] und \textit{L. Aubry} [Assoc. Franç. Dijon 40, 55--60 (1912; JFM 43.0241.01)] veröffentlichten Beweise, und bemerkt, daß die Formulierung von Smith nicht ganz korrekt ist.