On the simultaneous approximations of algebraic numbers by rational fractions. (Q2579940)

Es sei \(\alpha\) eine ganze algebraische Zahl \(n\)-ten Grades. Folgender Zusammenhang zwischenrden angenäherten Lösungen der Gleichung \(x_0 + x_1 \alpha + \cdots + x_{n-1} \alpha^{n-1} = 0\) einerseits und der Gleichungen \(y_0\alpha^k - y_k = 0\) \((k = 1, \dots, n - 1)\) andererseits (in ganzen rationalen \(x_i, y_i\)) wird bewiesen: Es sei eine Folge (1) \(\xi_1, \xi_2, \dots\) gegeben, wo I. \(\xi_s = \sum\limits_{k=0}^{n-1} A_{k, s} \alpha^k, A_{k, s}\) ganz rational, \(A_s = \underset{0\leqq k \leqq n-1}{\text{ Max }} | A_{k,s} {|} \infty\) für \(s\to\infty\), \((A_{o, s}, \dots, A_{n-1, s}) = 1\). Weiter sei II. \(A_s^{n-1} |\xi_s| < \lambda_0\) \((s = 1, 2, \dots)\), wo \(\lambda_0\) von \(s\) nicht abhängt. Man ordne der Folge (1) die Folge \(\bar \xi_s = \sum\limits_{k=0}^{n-1} C_{k, s} \alpha^k\) (\(s = 1, 2, \dots; C_{k, s}\) ganz rational, \((C_{0, s}, \dots, C_{n-1, s}) =1\)) durch die Bedingung zu, daß \(\xi_s \bar\xi_s \neq 0\) eine ganze rationale Zahl ist (dadurch ist \(\bar \xi_s\) bis auf den Faktor \(\pm 1\) bestimmt). Dann gilt: III. Es ist \(| C_{n-1, s} | \to\infty\) für \(s \to\infty\), und es gibt ganz rationale \(q_{1, s}, \dots, q_{n-1, s}\) mit \((C_{n-1,s}, q_{1,s}, \dots, q_{n-1,s}) = 1\), \(|C_{n-1,s}|^{\tfrac{1}{n-1}} \,|C_{n-1,s} \alpha^k - q_{k,s}| < \lambda_1\) \((k = 1, \dots, n-1)\), wo \(\lambda_1\) nicht von \(s\) abhängt. Umgekehrt: sind die \(C_{n-1,s}, q_{k,s}\) mit III gegeben, so gibt es eine Folge \(\xi_1, \xi_2, \dots\), mit. I, II, so daß die der Zahl \(\xi_s\) zugeordnete Zahl \(\bar\xi_s\) eben den vorgegebenen letzten Koeffizienten \(C_{n-1,s}\) besitzt. Übrigens ist \(|C_{n-1,s}|\) für \(s \to\infty\) genau von derselben Größenordnung wie \(A_s^{n-1}\). Wichtigere Druckfehler auf S. 103: Auf Z. 4 zitiere man (7) statt (23); in (33) fehlt vor der letzten Summe das Zeichen +; in (34) und eine Zeile später lies \(C_{p-1, s}\) statt \(C_s\); am Anfang der Formel (35) lies \(\left|\sum\limits_{k=0}^{p-1} D_{k, s} \alpha^k\right|\) statt \(|D_{k, s} \alpha^k|\).