# Beweis der Irrationalität der Wurzel aus 2 bei Euklid

In der Abhandlung Elemente des griechischen Mathematikers Euklid ist ein Beweis dafür überliefert, dass die Quadratwurzel von 2 irrational ist. Dieser zahlentheoretische Beweis wird durch Widerspruch (Reductio ad absurdum) geführt und gilt als einer der ersten Widerspruchsbeweise in der Geschichte der Mathematik. Aristoteles erwähnt ihn in seinem Werk Analytica priora als Beispiel für dieses Beweisprinzip. Der unten angeführte Beweis stammt aus Buch X, Proposition 117 der Elemente. Es wird jedoch allgemein angenommen, dass es sich dabei um eine Interpolation handelt, also dass die Textstelle nicht von Euklid selbst stammt. Aus diesem Grund ist der Beweis in modernen Ausgaben der Elemente nicht mehr enthalten.
Irrationale Größenverhältnisse waren schon dem Pythagoreer Archytas von Tarent bekannt, der Euklids Satz nachweislich schon in allgemeinerer Form bewies. Früher glaubte man, das Weltbild der Pythagoreer sei durch die Entdeckung der Inkommensurabilität in Frage gestellt worden, da sie gemeint hätten, die gesamte Wirklichkeit müsse durch ganzzahlige Zahlenverhältnisse ausdrückbar sein. Nach heutigem Forschungsstand trifft das aber nicht zu. Ein geometrischer Beweis dafür, dass Diagonale und Seite im Quadrat oder im regelmäßigen Fünfeck keine gemeinsame Maß-Teilstrecke haben können, war bereits im späten 6. oder frühen 5. Jahrhundert v. Chr. von dem Pythagoreer Hippasos von Metapont entdeckt worden.

## Beweisführung

Behauptung
Die Quadratwurzel aus 2 ist eine irrationale Zahl.
Beweis
Die Beweisführung erfolgt nach der Methode des Widerspruchsbeweises, das heißt, es wird gezeigt, dass die Annahme, die Wurzel aus 2 sei eine rationale Zahl, zu einem Widerspruch führt (lateinisch: reductio ad absurdum).
Es wird also angenommen, dass die Quadratwurzel aus 2 rational ist und sich somit als Bruch ${\tfrac {p}{q}}$ darstellen lässt. Es wird ferner angenommen, dass $p$ und $q$ teilerfremde ganze Zahlen sind, der Bruch ${\tfrac {p}{q}}$ also in gekürzter Form vorliegt:
    ${\sqrt {2}}={\frac {p}{q}}$
Das bedeutet, dass das Quadrat des Bruchs ${\tfrac {p}{q}}$ gleich 2 ist:
    $\left({\frac {p}{q}}\right)^{2}=2$,
oder umgeformt:
    $p^{2}=2q^{2}$.
Da $2q^{2}$ eine gerade Zahl ist, ist auch $p^{2}$ gerade. Daraus folgt, dass auch die Zahl $p$ gerade ist.
Die Zahl $p$ lässt sich also darstellen durch:
    $p=2r$, wobei $r$ eine ganze Zahl ist.
Damit erhält man mit obiger Gleichung:
    $2q^{2}=p^{2}=(2r)^{2}=4r^{2}$
und hieraus nach Division durch 2
    $q^{2}=2r^{2}$.
Mit der gleichen Argumentation wie zuvor folgt, dass $q^{2}$ und damit auch $q$ eine gerade Zahl ist.
Da $p$ und $q$ durch 2 teilbar sind, erhalten wir einen Widerspruch zur Teilerfremdheit.
Dieser Widerspruch zeigt, dass die Annahme, die Wurzel aus 2 sei eine rationale Zahl, falsch ist und daher das Gegenteil gelten muss. Damit ist die Behauptung, dass ${\sqrt {2}}$ irrational ist, bewiesen.

## Verallgemeinerung

Diese Beweisidee lässt sich auf den allgemeinen Fall der $k$-ten Wurzel aus einer beliebigen natürlichen Zahl $n$, die keine $k$-te Potenz ist, erweitern:
Wenn $n$ keine $k$-te Potenz ist (nicht darstellbar als $n=z^{k}$ für eine natürliche Zahl $z$), dann ist ${\sqrt[{k}]{n}}$ irrational.
Beweis: Anstelle der einfachen gerade-ungerade-Argumentation verwendet man hier allgemein die Existenz einer eindeutigen Primfaktorzerlegung für natürliche Zahlen. Der Beweis erfolgt wieder durch Widerspruch: Angenommen, es gelte ${\sqrt[{k}]{n}}={\tfrac {a}{b}}$ mit natürlichen Zahlen $a,b$. Es ist zu zeigen, dass dann $n$ eine $k$-te Potenz ist, d. h., dass ${\tfrac {a}{b}}$ sogar eine natürliche Zahl ist. Zunächst folgt durch einfache Umformung, dass $n\cdot b^{k}=a^{k}$ gilt. Sei $p$ eine beliebige Primzahl. In der Primfaktorzerlegung von $n$ bzw. $a$ bzw. $b$ trete $p$ genau mit der Vielfachheit $e_{n}$ bzw. $e_{a}$ bzw. $e_{b}$ auf. Dann folgt sofort $e_{n}+k\cdot e_{b}=k\cdot e_{a}$, wegen $e_{n}\geq 0$ auf jeden Fall also $e_{b}\leq e_{a}$. Da dies für jede Primzahl $p$ gilt, muss $b$ in der Tat ein Teiler von $a$ sein, also ist ${\tfrac {a}{b}}$ eine natürliche Zahl und $n$ ist deren $k$-te Potenz.
Einfache Folgerung aus dem Irrationalitätssatz:
    ${\sqrt[{n}]{n}}$
ist irrational für alle natürlichen Zahlen größer als 1 (weil $n$ nicht $n$-te Potenz einer natürlichen Zahl größer als 1 sein kann).