Irrationale Zahl

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 \mathbb{R}\setminus\mathbb{Q}}

$\mathbb {R} \setminus \mathbb {Q}$ steht für die Menge der irrationalen Zahlen

Datei:Square root of 2 triangle.svg

Die Zahl 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}} ist irrational.

Die Zahl 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} (Pi) zählt zu den bekanntesten mathematischen Konstanten.

Eine irrationale Zahl ist eine reelle Zahl, die keine rationale Zahl ist. Kennzeichen einer irrationalen Zahl ist, dass sie nicht als Quotient zweier ganzer Zahlen darstellbar ist. In der Dezimalschreibweise werden irrationale Zahlen mit einer nicht periodischen, unendlichen Anzahl von Dezimalstellen dargestellt (z. B. 0,10110111011110…), d. h., sie sind unendliche nichtperiodische Dezimalbrüche.

Bekannte irrationale Zahlen sind die Eulersche Zahl Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\rm {e}}} und die Kreiszahl 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} , die darüber hinaus transzendent sind. Auch die Quadratwurzel aus Zwei 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}} und das Teilungsverhältnis des Goldenen Schnitts sind irrationale Zahlen.

Definition

Eine reelle Zahl heißt irrational, wenn sie nicht als Bruch zweier ganzer Zahlen dargestellt werden kann; sie kann nicht als 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 \tfrac{p}{q}} mit 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 p\in\mathbb{Z} \; \wedge \; q\in\mathbb{Z} \setminus \{0\}} geschrieben werden.

Im Gegensatz zu rationalen Zahlen, die als endliche oder periodische Dezimalzahlen dargestellt werden können, sind irrationale Zahlen solche, deren Dezimaldarstellung weder abbricht, noch periodisch ist.

Es gibt zwei Arten von Irrationalzahlen:

• Algebraische Zahlen, etwa 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+\sqrt[3]{5}} oder quadratische Wurzeln aus Nicht-Quadratzahlen wie 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}}
• Transzendente Zahlen, etwa die Kreiszahl 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 = 3{,}14159\ldots} oder die Eulersche Zahl 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 \rm e = 2{,}71828\ldots}

Die Menge der irrationalen Zahlen lässt sich als Differenzmenge 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 \R\setminus\Q} schreiben, wobei $\mathbb {R}$ die Menge der reellen Zahlen und 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 \Q} die Menge der rationalen Zahlen bezeichnet.

Entdeckung der Irrationalität

Den ersten Beweis für irrationale Größenverhältnisse gab es in der griechischen Antike im 5. Jahrhundert v. Chr. bei den Pythagoreern. Definitionen für irrationale Zahlen, die den heutigen Ansprüchen an Exaktheit genügen, finden sich bereits in den Elementen von Euklid. Übersetzungen in die heutige Sprache der Mathematik gaben zuerst Karl Weierstraß und Richard Dedekind an.

Hat man ein Quadrat mit der Seitenlänge 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} und berechnet dessen Diagonale $d$, folgt aus dem Satz des Pythagoras 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 d^2 = 1^2 + 1^2,} also 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 d^2 = 2} . Die positive Lösung dieser Gleichung bezeichnet man heute mit 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}} . Für griechische Mathematiker stellte sich die Frage, ob sich die Länge dieser Diagonale exakt durch ein Verhältnis zweier natürlicher Zahlen $p$ und 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 q} , also einen Bruch 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 p/q} , darstellen lässt. Schon Euklid bewies durch Widerspruch, dass dies unmöglich ist, sein Beweis wird heute noch in der Schule gelehrt. Ob die Entdeckung der Irrationalität durch Anwendung des pythagoräischen Lehrsatzes auf ein Quadrat erfolgte oder, wie Kurt von Fritz meinte, durch stetige Teilung am Pentagramm, ist unbekannt.

Die ältere wissenschaftsgeschichtliche Forschung nahm an, dass die Entdeckung der Irrationalität zu einer Grundlagenkrise der damaligen griechischen Mathematik oder der pythagoreischen Zahlenlehre führte. Man sei nämlich vorher von der Grundvoraussetzung ausgegangen, dass alles durch ganzzahlige Zahlverhältnisse ausdrückbar sei, und die Widerlegung dieser Ansicht habe das Weltbild der Pythagoreer erschüttert. Damit wurde eine antike Legende in Zusammenhang gebracht, wonach der Pythagoreer Hippasos von Metapont im 5. Jahrhundert v. Chr. durch die schriftliche Bekanntmachung dieser Entdeckung einen Geheimnisverrat begangen habe und später im Meer ertrunken sei, was als göttliche Strafe gedeutet wurde. Ein Teil der Quellen überliefert, Hippasos selbst habe die Irrationalität entdeckt. Wissenschaftshistoriker gehen heute davon aus, dass es eine solche Krise nicht gegeben hat und die Irrationalität nicht als Geheimnis betrachtet wurde. Eine mögliche Erklärung der Verratslegende ist, dass sie durch ein Missverständnis entstand, weil das griechische Eigenschaftswort, das für „irrational“ (im mathematischen Sinn) verwendet wurde, zugleich die Bedeutungen „unsagbar“ und „geheim“ hatte. Tatsache ist aber auch, dass sich die griechische Mathematik in der Zeit nach Hippasos grundlegend veränderte.

Zahlen, deren Irrationalität bewiesen ist

• Schon der Pythagoreer Archytas von Tarent bewies die Irrationalität von Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\sqrt {\tfrac {m+1}{m}}}} für natürliche 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 m} . Der Beweis für den Fall 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 m = 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 \sqrt{2}} ) ist in Euklids Elementen überliefert (Euklids Beweis der Irrationalität der Wurzel aus 2). Den Satz des Archytas verallgemeinerte Euklid selbst in seiner Musiktheorie, in der er die Irrationalität beliebiger Wurzeln 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[n]{\tfrac{m+1}{m}}} bewies.
• Eine weitere wichtige quadratische Irrationalität ist der Goldene Schnitt $\textstyle \Phi ={\frac {1+{\sqrt {5}}}{2}}$.
• Die Eulersche Zahl 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 \textstyle \rm e = \lim_{n\to\infty}\left(1+\frac1{n}\right)^n} ist irrational. Dies hat Leonhard Euler 1737 bewiesen. Ihre Transzendenz wurde 1873 von Charles Hermite bewiesen.
• 1761 bewies Johann Heinrich Lambert die Irrationalität der Kreiszahl 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} , ihre Transzendenz wurde 1882 von Ferdinand von Lindemann bewiesen.
• Die nichtganzzahligen Nullstellen eines normierten Polynomes 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^n+a_{n-1}x^{n-1}+\dotsb+a_0} mit ganzzahligen Koeffizienten sind irrational. Insbesondere sind die Quadratwurzeln aus Nichtquadratzahlen ${\sqrt {2}},{\sqrt {3}},{\sqrt {5}},{\sqrt {6}},\dotsc$ irrational.
• Im Jahr 1979 bewies Roger Apéry die Irrationalität der Apéry-Konstante 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 \textstyle \zeta(3)=\sum_{n=1}^\infty \frac{1}{n^3}} .
• 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 \rm e^{\pi}} ist transzendent (siehe Satz von Gelfond-Schneider).
• 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 2^{\sqrt2}} ist transzendent, dies hat Carl Ludwig Siegel bewiesen.
• Die Transzendenz von 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 {\sqrt2}^{\sqrt2}} (wie auch von 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 2^{\sqrt2}} ) folgt aus dem Satz von Gelfond-Schneider.
• Die lemniskatische Konstante $\varpi =2{,}622057\ldots$ ist transzendent (Theodor Schneider, 1937).
• Im Jahr 1963 bewies Solomon W. Golomb die Irrationalität der Summe der Reziproken aller Fermat-Zahlen. Es 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 \sum_{n=0}^{\infty} \frac{1}{F_n} = \sum_{n=0}^{\infty} \frac{1}{2^{2^n}+1} \approx 0{,}59606317211782167942379392586279} (Folge A051158 in OEIS)

Zahlen, deren Irrationalität vermutet wird

Die Irrationalität der 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 \pi+\rm e, \pi-\rm e, \pi\cdot \rm e, \pi/\rm e} wird vermutet, ist aber noch nicht bewiesen. Man kann aber leicht sehen, dass mindestens eine von einer beliebigen Paarbildung irrational sein muss. Dies gilt allgemein für zwei beliebige transzendente 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} und 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 b.}

Für kein einziges Paar ganzer, von $0$ verschiedener 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 m} und 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 n} ist bekannt, ob 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 m\cdot \pi+n\cdot \rm e} irrational ist. Bekannt ist jedoch, dass im Falle der Existenz rationaler Linearkombinationen der Wert 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 m/n} einen konstanten Wert annimmt.

Weiterhin ist unbekannt, ob 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 2^{\rm e}} , 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^{\rm e}} , $\pi ^{\sqrt {2}}$, 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^\pi} , 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 \rm e^{\rm e}} , die Catalansche Konstante $G=0,91596\ldots$ oder die Eulersche Konstante 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 \gamma = 0{,}5772\ldots} irrational sind. Es erscheint jedoch sinnvoll, dies zu vermuten.

Die Überabzählbarkeit der irrationalen Zahlen

Wie das erste Diagonalargument von Cantor zeigt, ist die Menge der rationalen Zahlen abzählbar. Es gibt also eine Folge rationaler Zahlen, die jede rationale Zahl enthält. Cantors zweites Diagonalargument beweist, dass es überabzählbar viele reelle Zahlen gibt. Das bedeutet gleichzeitig, dass es überabzählbar viele irrationale Zahlen geben muss; denn andernfalls wären die reellen Zahlen als Vereinigung zweier abzählbarer Mengen selbst abzählbar.

Cantor hat weiter gezeigt, dass auch die Menge der algebraischen Zahlen, wozu alle Wurzelausdrücke gehören, noch abzählbar ist. Darüber hinaus gilt, dass die algebraische Hülle jeder abzählbaren Teilmenge der reellen oder komplexen Zahlen (solche Mengen können insbesondere aus transzendenten Zahlen bestehen) ebenfalls abzählbar ist, also sicher nicht alle reellen Zahlen enthält.

Literatur

• Tom Müller: Irrationalitätsbeweise. Heldermann Verlag, Lemgo 2014, ISBN 978-3-88538-125-9.

Weblinks

Commons: Irrationale Zahlen – Sammlung von Bildern, Videos und Audiodateien