Kettenbrüche
(Bundschuh, 2013; Gardner, 1966)
Als letzter Teil des Exkurses soll hier nun noch ein Thema ausgeführt werden, das verdeutlicht, welche Rolle die rationalen Zahlen als Teil der reellen Zahlen spielen. Als solches ist es nur für höhere Klassenstufen geeignet.
Zu Beginn des fachwissenschaftlichen Modulabschnitts wurde im Kontext des Natural Number Bias bereits die Dichte der rationalen Zahlen angesprochen: Zwischen je zwei rationalen Zahlen liegt immer eine weitere. Sind den Lernenden reelle Zahlen bekannt, kann diese Aussage erweitert werden.
Satz: Zwischen zwei beliebigen verschiedenen rationalen Zahlen liegt eine irrationale. Und zwischen zwei beliebigen verschiedenen irrationalen Zahlen liegt eine rationale.
Beweisskizze: Seien und . Dann ist irrational und liegt echt zwischen ihnen; denn ist irrational und liegt echt zwischen und . Seien nun und . Ihre Dezimalbruchentwicklungen können nicht vollständig übereinstimmen. Sei die von von der Form
und
mit passenden Ziffern . Die Dezimalbruchentwicklungen stimmen also bis zur -ten Stelle überein. Insbesondere ist Dann ist die Zahl, die genauso anfängt, aber als -te Nachkommastelle hat, sprich , rational und liegt echt zwischen und .
Dieser Satz zeigt, dass von den rationalen Zahlen auf reelle Zahlen geschlossen werden kann. Möglichkeiten gibt es dafür unzählige. Sie beruhen aber alle auf die eine Art oder andere Art auf der Tatsache, dass die rationalen Zahlen dicht in den reellen liegen und verwenden eine Art Grenzwertprozess. Das bekannteste Beispiel dafür dürften wohl Dezimalbrüche sein: Die unendliche Dezimalbruchentwicklung von einer reellen Zahl wie etwa ist eigentlich eine Kurzschreibweise für die konvergente Folge
Für eine gegebene reelle Zahl gibt es dabei unendlich viele rationale Folgen, die gegen sie konvergieren. Eine Frage, die bei der Betrachtung dieser Folgen aufkommen kann, ist, welche Folge die “beste” ist. Hierbei ist zu klären, wann eine Folge denn die “beste” sein soll. Eine Möglichkeit ist die folgende: Eine Folge rationaler Zahlen mit Grenzwert sei eine beste für diesen Grenzwert, wenn unter allen Brüchen mit Nenner das Folgenglied derjenige Bruch ist, der am nächsten an liegt. In Formeln:
Da es zwischen und nur endlich viele Brüche mit nach oben beschränktem Nenner gibt, folgt daraus direkt, dass so eine Folge existieren muss. Wie aber findet man deren Folgenglieder?
Eine Möglichkeit stellen Kettenbrüche dar: Gegeben sei eine endliche Folge positiver ganzer Zahlen und eine ganze Zahl . Dann ist der zugehörige (endliche) Kettenbruch definiert als
Für eine unendliche Folge in und sei der zugehörige (unendliche) Kettenbruch definiert als die Folge
sprich als Folge endlicher Kettenbrüche
Ein Beispiel eines endlichen Kettenbruchs ist
Endliche Kettenbrüche sind tatsächlich einfach nur Brüche und deswegen nimmt jeder einen konkreten Wert in an. Unendliche Kettenbrüche haben als Folge keinen Wert, können aber konvergieren. Das tun sie in der Tat immer – aber im Allgemeinen nicht gegen eine rationale Zahl, sondern gegen eine reelle.
Satz:
Jeder unendliche Kettenbruch konvergiert gegen eine reelle Zahl und wir schreiben kurz anstatt . Umgekehrt gibt es zu jeder reellen Zahl genau einen Kettenbruch mit . Dieser wird Kettenbruchentwicklung von genannt. Eine reelle Zahl ist genau dann rational, wenn ihre Kettenbruchentwicklung endlich ist.
Ein Beweis dieser Aussage findet sich in Bundschuh (2013).
Werden nun die endlichen Kettenbrüche in der Kettenbruchentwicklung einer reellen Zahl betrachtet und deren rationale Werte konkret berechnet, entsteht eine Folge rationaler Zahlen. Diese ist nach obiger Definition eine beste für . Das heißt, ist einer der Brüche, die aus der Kettenbruchentwicklung von kommen, und betrachtet man alle Brüche mit Nenner kleiner als , so ist derjenige unter ihnen, der am nächsten an liegt. Diese Aussage kann folgendermaßen interpretiert werden: Kann man nur bis zu einer Genauigkeit von messen, liefert das Glied der Kettenbruchentwicklung die bestmögliche Approximation.
In der nachfolgenden interaktiven Visualisierung werden zu den auswählbaren irrationalen Zahlen die ersten paar Iterationen der Kettenbruchentwicklung gezeigt. Alle Brüche werden mit einem kleineren Nenner markiert und der endliche Kettenbruch selbst noch einmal durch einen Pfeil. Unter anderem steht auch schon die Zahl zur Auswahl. Sie ist durch eine Kettenbruchentwicklung gegeben, die nur aus Einsen besteht und wird weiter unten und in Aufgabe 11 noch einmal angesprochen.
Anleitung: Wählen Sie über die vier Knöpfe eine nicht-rationale Zahl, die angenähert werden soll. Stellen Sie am Schieberegler unten den Nenner ein, zu dem der zugehörige Kettenbruch gezeigt werden soll. Vergrößern oder verkleinern am Regler unten rechts den Zahlenstrahl. Fahren Sie mit der Maus über einen eingezeichneten Bruch, um seinen Wert angezeigt zu bekommen.
Diese Annäherungen können außergewöhnlich gut sein. So wurde z.B. jahrtausendelang die Abschätzung verwendet, um Umfang und Fläche von Kreisen zu berechnen. Es ist
Der Unterschied beträgt also circa , was eine Abweichung von nur vom korrekten Wert darstellt. Möchte man also z.B. ein hölzernes Wagenrad mit Eisen beschlagen und hat das Rad einen Durchmesser von , so ist die Länge des Eisenrings nur um zu lang, wenn die Annäherung statt dem korrekten Wert von zur Berechnung verwendet wird. Für fast alle Anwendungen im Handwerk ist das also mehr als präzise genug.
Um zu einer reellen Zahl die Kettenbruchentwicklung explizit zu finden, kann folgender Algorithmus verwendet werden:
- Es ist .
- Setze . Es gilt damit insbesondere .
- Das wird iteriert: Wurde bereits gefunden, setze und . Es gilt also und damit rekursiv auch
- Ist an irgendeiner Stelle ganzzahlig, so ist das letzte Folgeglied des nun endlichen Kettenbruchs und der Algorithmus muss beendet werden, da sonst wäre. Wird kein Rest ganzzahlig, entsteht ein unendlicher Kettenbruch.
Bei genauem Hinsehen kann man hier erkennen, dass dieser Algorithmus dieselben Rechenschritte durchführt wie der Euklidische Algorithmus zur Bestimmung des größten gemeinsamen Teilers.
So ergeben sich z. B. für die folgenden ersten Elemente der Kettenbruchentwicklung:
- und
- und
- und
- …
Somit sind die ersten vier Folgenglieder der Kettenbruchentwicklung gleich
Es gibt noch unzählige weitere elementare Eigenschaften von Kettenbrüchen. So z.B. dass wenn ein Näherungsbruch für in der Kettenbruchentwicklung kleiner als ist, der nächste größer als ist und umgekehrt. Diese und weitere Aussagen finden sich ebenso in Bundschuh (2013). Hier soll noch eine dieser Aussagen erwähnt werden: In einer Kettenbruchentwicklung ist der Abstand des Näherungsbruchs zu umso größer, je kleiner ist. Da alle Einträge, vom nullten abgesehen, positive ganze Zahlen sind, haben sie immer besonders großen Abstand, wenn viele Einträge gleich sind. So stellen Kettenbrüche zwar allgemein eine sehr gute Methode dar, reelle Zahlen durch rationale zu approximieren, aber es gibt reelle Zahlen, die sich besonders schlecht annähern lassen. Diese werden nobel genannt und ihr prototypischer Vertreter ist ; was oft auch kurz geschrieben wird. Welche Zahl dies genau ist, wird in Aufgabe 11 näher untersucht.