General theory of continued-fraction-like algorithms in which each number is formed from three previous ones. (From the posthumous papers communicated by E. Heine.) (Q1564047): Difference between revisions

Seien \(a, a_1,a_2\) unbestimmte Zahlen; \(l,m,l_1,m_1,\ldots\), gegebene Grössen; ferner \[ a_{3} =a +la_{1} +ma_{2}, \] \[ a_{4} =a_{1} +l_{1}a_{2} +m_{1}a_{3}, \] \[ a_{5} =a_{2} +l_{2}a_{3} +m_{2}a_{4}, \] \[ .\;\;.\;\;.\;\;.\;\;.\;\;.\;\;.\;\;. \] so kann man umgekehrt finden \[ a\; =p_{i}a_{i} +q_{i}a_{i+1} +r_{i}a_{i+2};\;\;a_{i}\;\; =P_{i}a\;\; +P'_{i}a_{1}\;\; +P''_{i}\;a_{2}, \] \[ a_{1}\; =p'_{i}a_{i} +q'_{i}a_{i+1} +r'_{i}a_{i+2};\;\;a_{i+1}=P_{i+1}a +P'_{i+1}a_{1} +P''_{i+1}a_{2}, \] \[ a_{2}\; =p''_{i}a_{i} +q''_{i}a_{i+1} +r''_{i}a_{i+2};\;\;a_{i+2} =P_{i+2}a +P'_{i+2}a_{1} +P''_{i+2}a_{2}. \] Die Determinante dieser Systeme ist \(=\;+1.\) Jedes \(P_{i},\;P'_{i},\;P''_{i}\) kann linear berechnet werden aus den drei vorhergehenden oder folgenden bez. \(P,\;P',\;P'';\) die \(p_{i},\;q_{i},\;r_{i}\) aus den zunächst vorhergehenden oder folgenden \(p,\;q,\;r.\) Den obigen Formeln entsprechend lassen sich andere aufstellen, welche die \(a_{i},\;a_{i+1},\;a_{i+2}\) nicht auf \(a,\;a_{1},\;a_{2},\) sondern auf drei beliebige frühere \(a_{k},\;a_{k+1},\;a_{k+2}\) zurückführen. Sind nun \(u_{0},\;v_{0},\;w_{0}\) drei positiven Grössen, deren grösste \(w_{0}\) ist, \(l_{0}\) und \(m_{0}\) die den Brüchen \(\frac{v_{0}}{u_{0}},\;\frac{w_{0}}{u_{0}}\) nächst kleineren ganzen Zahlen, und setzt man \[ v_{0} -l_{0}u_{0} =u_{1},\;\;w_{0} -m_{0}u_{0} =v_{1},\;\;u_{0} =w_{1} \] und bestimmt ähnlich \(l_{1}\) und \(m_{1}\) u. s. w., dann nehmen \(u_{i}\) und \(w_{i}\) mit wachsendem \(i\) beständig ab, und die nach den obigen Formeln gebildeten Brüche \[ \frac{P'_{i+2}}{P_{i+2}},\;\;\frac{P''_{i+2}}{P_{i+2}} \] werden zwei \textit{mit demselben Nenner} behaftete Näherungswerthe für die Grössen \(\frac{v_{0}}{u_{0}}\) und \(\frac{w_{0}}{v_{0}}.\) Es wird darauf \(u_{0}\) als ganze Zahl, \(v_{0}\) und \(w_{0}\) als Ausdrücke von der Form \[ \alpha +\beta x +\gamma x^{2} \] angesehen, wobei \(x\) eine reelle Wurzel einer irreductiblen Gleichung dritten Grades ist; ebenso \[ k_{i}u_{i+1} =f_{i}(v_{i} -l_{i}u_{i}),\;\;k_{i}v_{i+1} =f_{i}(w_{i} -m_{i}u_{i}), \] \[ k_{i}w_{i+1} =f_{i}u_{i}, \] wobei \(f_{i}\) der einfachste Factor ist, der \(v_{i} -l_{i}u_{i}\) zu einer ganze Zahl macht, \(k_{i}\) die grösste ganze Zahl, welche alle diese Producte theilt. Die vorigen Formeln müssen also so verändert werden, dass man \(\frac{u_{i}}{F_{i}},\;\frac{v_{i}}{F_{i}},\;\frac{w_{i}}{F_{i}}\) für \(u_{i},\;v_{i},\;w_{i}\) setzt, wenn \[ F_{i} =\frac{f_{0}}{k_{0}}\frac{f_{r}}{k_{1}}\cdots \frac{f_{i-1}}{k_{i-1}} \] ist. Wenn \(u_{i} =u_{0},\;v_{i} =v_{0},\;w_{i} =w_{0},\) so wird die Norm von \(F_{i}\) gleich Eins. Als Resultat der weiteren Entwickelungen folgt: Es sei \[ v_{i} =\beta'_{i}(v_{0} +a_{i}) +\beta''_{i}(w_{0} +b_{i}), \] \[ w_{i} =\gamma'_{i}(v_{0} +a_{i}) +\gamma''_{i}(w_{0} +b_{i}), \] so sind die Zahlen \[ \frac{u_{i}}{\beta'_{i}\gamma''_{i} -\beta''_{i}\gamma'_{i}} \] so beschafften, dass in Bezug auf dieselben als Moduln die cubischen Gleichungen, deren Wurzeln \(v_{0}\) und \(w_{0}\) sind, gelöst werden können, und es werden resp. \(-a_{i}\) und \(-b_{i}\) die Werthe der Wurzeln dieser Congruenzen. Ist insbesondere \[ v_0 =\sqrt[3]{n},\quad w_0 = \sqrt[3]{n^2}, \] so sind die Zahlen \(\frac{u_{i}}{\beta'_{i}\gamma''_{i} -\beta''_{i}\gamma'_{i}}\) solche, von denen \(n\) cubischer Rest ist, und es werden \[ a_{i}^{3} +n,\;\;b_{i}^{3} +n^{2} \] durch \(-\frac{u_{i}}{\beta'_{i}\gamma''_{i} -\beta''_{i}\gamma'_{i}}\) theilbar. Auf diesen Satz wird die Entwickelung der reellen Wurzel einer cubischen Gleichung durch kettenbruchähnliche periodische Algorithmen gegründet.