Engel-Entwicklung

Die Engel-Entwicklung einer positiven reellen Zahl x ist die monoton wachsende, eindeutige Folge natürlicher Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{a_1,a_2,a_3,\dots\}} , sodass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=\frac{1}{a_1}+\frac{1}{a_1a_2}+\frac{1}{a_1a_2a_3}+\cdots.\;}

Rationale Zahlen besitzen eine endliche Engel-Entwicklung, während sie bei irrationalen Zahlen unendlich ist. Wenn x rational ist, führt die Engel-Entwicklung von x zu einem Ägyptischen Bruch, das heißt einer endlichen Summe von Kehrwerten natürlicher Zahlen. Die Engel-Entwicklung wurde nach Friedrich Engel benannt, der sie im Jahre 1913 untersuchte.

Engel-Folgen, Kettenbrüche und Fibonacci

Kraaikamp und Wu haben 2004 beobachtet, dass eine Engel-Entwicklung auch als aufsteigende Variante eines Kettenbruchs geschrieben werden kann:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = \frac{\displaystyle 1+\frac{\displaystyle 1+\frac{\displaystyle 1+\cdots}{\displaystyle a_3}}{\displaystyle a_2}}{\displaystyle a_1}.}

Sie zeigen auf, dass aufsteigende Kettenbrüche wie diese bereits in Fibonaccis Liber Abaci von 1202 untersucht wurden. So lässt sich ein Zusammenhang zwischen einer allgemeinen Kettenbruch-Entwicklung, der aufsteigenden Kettenbruch-Entwicklung und der Engel-Entwicklung herstellen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{a\ b\ c\ d}{e\ f\ g\ h} = \dfrac{d+\dfrac{c+\dfrac{b+\dfrac{a}{e}}{f}}{g}}{h}.}

Wenn in solch einer Darstellung alle Nenner 0 oder 1 sind, wie es häufig im Liber Abaci vorkommt, ist das Resultat eine Engel-Entwicklung. Die Engel-Entwicklung wurde als allgemeine Vorgehensweise von Fibonacci noch nicht beschrieben.

Algorithmus zur Berechnung von Engel-Entwicklungen

Um die Engel-Entwicklung von x zu finden, setze man

$u_{1}=x,$

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_k=\left \lceil \frac{1}{u_k} \right \rceil,}

und schreibe wie folgt fort:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u_{k+1}=u_ka_k-1}

wobei $\left\lceil r\right\rceil$ die Aufrundungsfunktion ist (die kleinste ganze Zahl, die nicht kleiner als r ist).

Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u_i=0} für irgendein i, beende die Ausführung.

Beispiel

Um die Engel-Entwicklung von 1,175 zu finden, führen wir die folgenden Schritte durch:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u_1 = 1{,}175, a_1 = \left \lceil \frac{1}{1{,}175} \right\rceil = 1; \, }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u_2 = u_1a_1-1 = 1{,}175\cdot1-1 = 0{,}175, a_2=\left\lceil\frac{1}{0{,}175}\right\rceil=6 \, }

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u_3 = u_2a_2-1 = 0{,}175\cdot6-1 = 0{,}05, a_3=\left\lceil\frac{1}{0{,}05}\right\rceil=20 \, }

$u_{4}=u_{3}a_{3}-1=0{,}05\cdot 20-1=0\,$

Die Folge endet hier. Somit ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1{,}175 = \frac{1}{1}+\frac{1}{1\cdot6}+\frac{1}{1\cdot6\cdot20}}

und die Engel-Entwicklung von 1,175 ist {1, 6, 20}.

Engel-Entwicklungen von rationalen Zahlen

Jede positive rationale Zahl hat eine eindeutige endliche Engel-Entwicklung. Im Algorithmus ist, falls u_i eine rationale Zahl x/y ist, u_i+1 = (−y mod x)/y. Der Zähler im verbleibenden Bruch u_i verkleinert sich und die Konstruktion der Engel-Entwicklung muss in einer endlichen Anzahl von Schritten terminieren. Jede rationale Zahl besitzt ebenfalls eine eindeutige unendliche Engel-Entwicklung: Mit der Identität

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \frac{1}{n}=\sum_{r=1}^{\infty}\frac{1}{(n+1)^r}.}

kann die letzte Ziffer n in einer endlichen Engel-Entwicklung durch eine unendliche Folge von (n + 1) ersetzt werden, ohne den Wert der Entwicklung zu ändern. Zum Beispiel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1{,}175=\{1,6,20\}=\{1,6,21,21,21,\dots\}.\;\;}

Diese Tatsache ist analog zu der Tatsache, dass jede rationale Zahl mit einer endlichen Dezimaldarstellung ebenfalls eine unendliche Dezimaldarstellung besitzt (z. B. 0,999…).

Erdős, Rényi, und Szüsz fragten nach nichttrivialen Grenzen für die Länge einer endlichen Engel-Entwicklung einer rationalen Zahl x/y; diese Frage wurde von Erdős und Shallit beantwortet, indem sie bewiesen, dass die Anzahl der Terme in der Entwicklung O(y^{1/3 + ε}) für jedes ε > 0 ist.

Wachstumsgeschwindigkeit der Terme

Die Koeffizienten a_i wachsen typischerweise exponentiell; genauer gesagt, für fast alle Zahlen im Intervall (0,1] existiert der Grenzwert $\lim _{n\rightarrow \infty }a_{n}^{1/n}$ und ist äquivalent zu e. Die Teilmenge des Intervalls, für das dies nicht der Fall ist, ist immer noch groß genug, dass seine Hausdorff-Dimension 1 ist.

Dieselbe typische Wachstumsrate gilt auch für die Terme beim Greedy-Algorithmus für Ägyptische Brüche. Der Anteil der reellen Zahlen im Intervall (0,1], deren Engel-Entwicklung mit ihrer Greedy-Entwicklung übereinstimmt, geht gegen 0, und die Menge hat die Hausdorff-Dimension 1/2.

Weitere Beispiele

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi=\{1, 1, 1, 8, 8, 17, 19, 300, 1991, 2492, \dots\}\;} OEIS: A006784

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e=\{1, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, \dots\}\;} OEIS: A000027

Im Allgemeinen gilt,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e^{1/r}-1=\{1r, 2r, 3r, 4r, 5r, 6r, \dots\}\;}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sqrt{2}=\{1,3,5,5,16,18,78,102,120,144, \dots\}\;} OEIS: A028254

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1=\{2,2,2,2,2, \dots\}.\;}

Im Allgemeinen ist eine Engel-Entwicklung mit konstanten Termen eine geometrische Reihe. Weitere Engel-Entwicklungen für Konstanten können auf der Seite der On-Line Encyclopedia of Integer Sequences abgerufen werden.

Literatur

• F. Engel: Entwicklung der Zahlen nach Stammbruechen. In: Verhandlungen der 52. Versammlung deutscher Philologen und Schulmaenner in Marburg 1913, S. 190–191.
• T. A. Pierce: On an algorithm and its use in approximating roots of algebraic equations. In: Am. Math. Monthly. 36, Nr. 10, 1929, S. 523–525.
• Paul Erdős, Alfréd Rényi, Peter Szüsz: On Engel's and Sylvester's series. In: Ann. Univ. Sci. Budapest. Eötvös Sect. Math.. 1, 1958, S. 7–32..
• Paul Erdős, Jeffrey Shallit: New bounds on the length of finite Pierce and Engel series. In: Journal de théorie des nombres de Bordeaux. 3, Nr. 1, 1991, S. 43–53. doi:10.5802/jtnb.41.
• J. Paradis, P. Viader, L. Bibiloni: Approximation to quadratic irrationals and their Pierce expansions. In: Fib. Quart.. 36, Nr. 2, 1998, S. 146–153.
• Cor Kraaikamp, Jun Wu: On a new continued fraction expansion with non-decreasing partial quotients. In: Monatshefte für Mathematik. 143, Nr. 4, 2004, S. 285–298. doi:10.1007/s00605-004-0246-3.
• Jun Wu: A problem of Galambos on Engel expansions. In: Acta Arithmetica. 92, Nr. 4, 2000, S. 383–386.
• Jun Wu: How many points have the same Engel and Sylvester expansions?. In: Journal of Number Theory. 103, Nr. 1, 2003, S. 16–26. doi:10.1016/S0022-314X(03)00017-9.

Weblinks

• Weisstein, Eric W: Engel Expansion. MathWorld–A Wolfram Web Resource. Abgerufen am 20. September 2013.

• On-Line Encyclopedia of Integer Sequences