2. Wie kommt man auf „optimale Brüche“?
Bitte betrachten Sie die folgende Abbildung:
Wenn die Figur nur aus Quadraten besteht und die drei großen Quadrate die Seitenlänge 1 haben, wie breit ist dann die ganze Figur?
Die Antwort ist nicht schwer: Da die fünf kleinen Quadrate zusammen so breit sind wie ein großes, haben sie die Kantenlänge 1/5 und die ganze Figur also die Breite
\green{3} + \frac{1}{\gray{5}} = \frac{16}5
Und wie breit ist die folgende Figur im Vergleich zu ihrer Höhe?
Die Figur besteht aus einem großen Quadrat und dem rechten Teil, der dem um 90° gedrehten ersten Beispiel entspricht, also das Seitenverhältnis 3 + 1/5 hat. Damit hat die ganze Figur das Seitenverhältnis
\blue 1 + \frac{1}{\displaystyle \green 3 + \frac{1}{\gray 5}}
\: = 1 + \frac{1}{\frac{16}5} = 1 + \frac{5}{16} = \frac{21}{16}
Dieses Spiel lässt sich beliebig fortsetzen.
Hier ergibt sich mit den gleichen Überlegungen das Seitenverhältnis
\pink 2 +
\frac{1}
{\displaystyle \blue 1
+ \frac{1}{\displaystyle \green 3 + \frac{1}{\gray 5}}}
\: = 2 + \frac{1}{\frac{21}{16}} = 2 + \frac{16}{21} = \frac{58}{21}
Solche Brüche nennt man (reguläre) Kettenbrüche.
Der umgekehrte Weg
Wir kehren jetzt das Spiel um und können damit beliebige rationale Zahlen als Kettenbrüche darstellen: Dazu zerlegen wir eine gegebene positive rationale Zahl x (z.B. 58/21) in ihren ganzzahligen Anteil und den Rest, der kleiner als 1 ist:
x = \green{\lfloor x \rfloor} + \yellow{(x - \lfloor x \rfloor)}
= \lfloor x \rfloor + \frac{1}{\pink{\frac{1}{x - \lfloor x \rfloor}}}
Der Kehrwert des Rests ist damit größer als 1. Wir können dieses Verfahren nun auf den Rest anwenden und das so oft wiederholen, bis kein Rest mehr übrig bleibt.
Was geschieht aber, wenn wir das Spiel mit einem irrationalen x durchführen? Da ja jeder endliche Kettenbruch eine rationale Zahl darstellt, kann die Kettenbruchentwicklung bei irrationalen Zahlen nicht abbrechen. Hört man trotzdem irgendwann auf und ignoriert den Rest, bekommt man offenbar einen Näherungswert.
Wir testen das mit unserer gerundeten Monatszahl 4,218656:
\begin{aligned}
4,218656 & = \green 4 + \yellow{0,218656}
\approx 4 + \frac{1}{4.5733998} \cr
& = \green 4 + \frac{1}{{\green 4 + \yellow{0.5733998}}}
\approx 4 + \frac{1}{{4 + \frac{1}{1.7439838658}}} \cr
& = \green 4 + {\frac{1}{\green 4 + {\frac{1}{\green 1 + \yellow{0.7439838658}}}}}
\approx 4 + {\frac{1}{4 + {\frac{1}{1 + \frac{1}{1.3441151}}}}} \cr
& = \ldots
\end{aligned}
Lassen wir in jedem Schritt den Rest weg, bekommen wir folgende Näherungen:
\begin{aligned}
& \green{[4]} & \longrightarrow & & & 4 \cr
& \green{[4,4]} & \longrightarrow & 4 + \frac{1}{4} = \frac{17}{4} & = & 4,25 \cr
& \green{[4,4,1]} & \longrightarrow & 4 + \frac{1}{4 + \frac{1}{1}} = \frac{21}5 & = & 4,2
\end{aligned}
Die Listen vor den Pfeilen sind eine übliche Kurzdarstellung von Kettenbrüchen. Daraus lässt sich die rationale Zahl am einfachsten rekursiv ausrechnen, indem man zur ersten Zahl der Liste den Kehrwert des Kettenbruchs aus dem Listenrest addiert:
Jetzt fehlt nur noch die Ermittlung der Liste (bis zu einer bestimmten Schrittzahl) aus einer gegebenen Zahl:
Nun wenden wir diese Funktionen an, um uns die ersten Näherungsbrüche für unsere Monatszahl zu erzeugen:
Im sechsten Schritt haben wir unser Getriebe wieder bekommen. Wenn Sie dies z.B. mit dem fünften Schritt vergleichen, sehen Sie, dass sich die Genauigkeit von 9 auf 122 Jahre verbessert hat. Trotzdem wird das Getriebe nicht komplizierter, im Gegenteil: Für 97/23 bräuchten wir Zahnräder mit 97 und 23 Zähnen, weil beide Zahlen Primzahlen sind. Dagegen lässt sich 135/32 in zwei einfachere Übersetzungen zerlegen:
\frac{135}{32} = \frac{3^3\cdot 5}{2^5} = \pink{\displaystyle{\frac 9 4}} \cdot \frac{15}8
Zahnräder mit vier Zähnen sind mechanisch unmöglich, so dass wir wieder zur unserer Getriebe-Lösung kommen:
\pink{\displaystyle{\frac 9 4}} \cdot \frac{15}8 = \green{\displaystyle{\frac{18}8}} \cdot \frac{15}8
Wenn Sie schon den Streifzug zu den Kaninchen und Bienen gemacht haben, können Sie hier über die einfachsten vorstellbaren Kettenbrüche grübeln:
Statt der oben entwickelten Funktionen listToRat und listFromNumber wird hier die mathGUIde-Klasse ContFrac eingesetzt (Siehe Hilfe).
Weiter zu: Eine kurze Geschichte der Multiplikation
