On a special case of Pell's equation (Q1547572)

Theon Smyrnaeus ist, wie aus seinem mathematischen Commentar zu Platon's Werken erhellt, mit folgenden Relationen vertraut: \[ 2.1^2-1\;=\;1^2,\;2.5^2-1\;=\;7^2, \] \[ 2.29^2-1\;=\;41^2,\;2.169^2-1\;=\;239^2,\ldots ; \] man muss also annehmen, dass er die Pell'sche Gleichung \[ 2x^2-1\;=\;y^2 \] zu lösen verstanden habe. Es erhebt sich die Frage, wie er dazu gekommen sei, und als ein Weg, der ihn möglicherweise zu seinem Resultaten führen konnte, sich auch vollständig innerhalb der der unbestimmten Analytik des Altertums gezogenen Grenzen hält, mag der folgende gelten. Aus \[ x+1\;=\;\frac pq(y+x),\;x-1\;=\;\frac qp(y-x) \] folgt, wenn \(p^2+2pq-q^2\;=\;z^2\) gesetzt wird, \[ x\;=\;\frac{4q^2+z\mp 2q\root\of{2q^2z}}{z},\quad y\;=\;\frac{-4q^2-z\pm 4q\root\of{2q^2+z}}{z}. \] Sobald nun für \(z\;=\;1\) irgend eine Zahl \(q\) bekannt ist, für welche \(2q^2+z\) ein vollkommenes Quadrat wird, liefert diese Lösung eine unendliche Anzahl ganzzahliger Werte für \(x\) und \(y\). Ebenso wird die Auflösung der allgemeineren Gleichung \[ (a^2+b^2)x^2-1\;=\;y^2 \] durchgeführt. Diese elementare Methode ähnelt derjenigen, deren sich nach Paul Tannery's Ansicht Archimedes bei der Behandlung der Gleichungen \[ 3x^2\mp 1\;=\;y^2 \] bedient haben soll.