On a continued fraction of Euler and a theorem of Wallis. (Q1560910): Difference between revisions

Diese Abhandlung ist von hohem Interesse, indem hier die schon mehrfach angedeutete Darstellung der Näherungswerthe von Kettenbrüchen durch Determinanten zum ersten Male consequent und methodisch zur Lösung complicirter Probleme angewandt wird. Nach einer kurzen historischen Einleitung giebt der Verfasser zunächst dem Kettenbruch \[ S={\frac{n}{\alpha_1}_{\textstyle +\frac{n+\alpha_1}{\alpha_2}_{\textstyle +\frac{n+\alpha_2}{\alpha_3}_{\textstyle +\cdots}}}} \] folgende Form \[ \frac{\left| \begin{matrix} \alpha_2& 1,& 0& \cdots& 0\\ -(n+\alpha_2),& \alpha_3,& 1& \cdots& 0\\ 0,& -(n+\alpha_3),& \alpha_4& \cdots& 0\\ \cdot & \cdot & \cdot & \cdots & \cdot\\ 0,& 0,& 0& -(n+\alpha_{r-1}),& \alpha_r \end{matrix}\right|} {\left|\begin{matrix} \alpha_1& 1,& 0& \cdots& 0\\ -(n+\alpha_1),& \alpha_2& 1& \cdots& 0\\ 0,& -(n+\alpha_2),& \alpha_3& \cdots& 0\\ \cdot& \cdot& \cdot& \cdots& 0\\ 0,& 0& \cdot& -(n+\alpha_{r-1}),& \alpha_r \end{matrix}\right|}\;=\frac{P_r}{Q_r}. \] Durch eine Reihe von Determinanten-Transformationen erhält man das Resultat \[ \frac{n(P_r+Q_r)}{P_r+nQ_r}={\frac{n+\alpha_1}{\alpha_1} _{\textstyle+_{\textstyle\ddots_{\textstyle +\frac{n+\alpha_{r-1}}{\alpha_r-1}_{\textstyle +\frac{n+\alpha_r}{\alpha_{r+1}} }}}}}. \] Ist dann \[ S'=_{\textstyle \frac{n+\alpha_1}{\alpha_1}_{\textstyle +\frac{n+\alpha_2}{\alpha_2}_{\textstyle +\cdots,}}} \] so folgt für \(r=\infty\) \[ S'=\frac{n(S+1)}{S+n}. \] Diese Relation ward von Euler auf inductorischem Wege gewonnen. Geht man alsdann von dem allgemeineren Kettenbruche \[ \frac{b_1c_0}{a_1}_{\textstyle +\frac{b_2c_1}{a_2}_{\textstyle +_{\textstyle \ddots}}} \] aus und wendet ganz analog einige einfache Determinantensätze an, so gelangt man zu dem Resultate. Es ist \[ \begin{multlined} \Biggl(\frac{d}{2}-b_1+\frac{b_1^2}{d+b_1-b_2}_{\textstyle +\frac{b_2^2}{d+b_2-b_2}_{\textstyle +\cdots}}\Biggr)\\ \cdot \Biggl(\frac{d}{2}+b_1+\frac{b_1^2}{d+b_2-b_1}_{\textstyle +\frac{b_2^2}{d+b_2-b_3}_{\textstyle +\cdots\Biggr)}}\\ =\frac{d}{2}\cdot \frac{S+d-b_1}{S+d+b_1}\cdot\frac{d}{2}\cdot \frac{S+d+b_1}{S+d-b_1}=\frac {d^2}{4}.\end{multlined} \] Ist allgemein \(b_r=2r+1\), \(d\) eine grade ganze Zahl, so erhält man mit höchst einfachen Mitteln jenes Wallis'sche Theorem \[ \Biggl(\frac{d}{2}-1+\frac{1^2}{d-2}_{\textstyle +\frac{3^2}{d-2}_{\textstyle +\cdots}\Biggr)\cdot\Biggl(\frac{d}{2}+1+\frac{1^2}{d+2}_{\textstyle +\frac{3^2}{d+2}_{\textstyle +\cdots\Biggr) =\Biggl(\frac{d}{2}\Biggr)^2,}}} \] welches jener Mathematiker bekanntlich nur auf sehr mühsame Art indirect beweisen konnte. Für \(d=2\) geht der erste Kettenbruch in den bekannten Brouncker'schen über: \[ 1+\frac{1}{2}_{\textstyle +\frac{9}{2}_{\textstyle +\frac{25}{2}+\cdots=\frac{4}{\pi}.}} \] Herr Bauer verallgemeinert das erlangte Resultat und stellt zum Schluss folgenden neuen Satz auf: Das Product der beiden Kettenbrüche \[ \frac{g+b+c}{2}_{\textstyle +\frac{bc}{g+h}_{\textstyle +\frac{(b+h)(c+h)}{g+h}+\cdots}} \] und \[ \frac{g-(b+c)}{2}_{\textstyle +\frac{bc}{g-h}_{\textstyle +\frac{(b+h)(c+h)}{g-h}_{\textstyle +\cdots}}} \] hat stets den Werth \[ \frac{1}{4}(g-b+c)(g+b-c). \] Der Beweis dieses Lehrsatzes, sei es durch die Hülfsmittel der älteren Analysis, sei es mit Benutzung des Multiplicationssatzes der Determinanten, dürfte bedeutende Schwierigkeiten darbieten.