Euklids Beweis der Irrationalität der Wurzel aus 2
aus Wikipedia, der freien Enzyklopädie
Euklid überlieferte einen Beweis dafür, dass die Quadratwurzel von 2 irrational ist. Der unten angeführte Beweis stammt von Euklid aus Buch X der Elemente. Irrationale Größenverhältnisse waren aber schon dem Pythagoreer Archytas bekannt, der Euklids Satz nachweislich schon in allgemeinerer Form bewies. Das Weltbild der Pythagoreer, die die (natürliche) Zahl als das Maß aller Dinge betrachteten, war durch die Entdeckung der Irrationalität in Frage gestellt.
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 etwa 100 Jahre vorher von Hippasos entdeckt worden.
Der zahlentheoretische Beweis Euklids wird indirekt durch Widerspruch geführt.
[Bearbeiten] Beweisführung
[Bearbeiten] Behauptung
Die Quadratwurzel von 2 ist eine irrationale Zahl.
[Bearbeiten] Beweis
Die Beweisführung ist indirekt, d. h. es wird gezeigt, dass die Annahme des Gegenteils zu einem Widerspruch führt (lateinisch: reductio ad absurdum).
Wir nehmen also an, dass die Quadratwurzel von 2 rational ist. Es existieren also zwei teilerfremde ganze Zahlen p und q, so dass
![\sqrt[2\,]{2} = R = \frac{p}{q},](../../../math/5/6/8/568ed8707bc23045ce41ad9ca1b3ffaf.png)
und der Bruch nich gekürzt werden kann.
Folglich existiert auch ein Bruch 
, dessen Quadrat 2 ist.
oder umgeformt
- p2 = 2q2
Da die rechte Seite der Gleichung gerade ist, ist auch die linke Seite p2 gerade. Daraus folgt, dass bereits die Zahl p gerade ist.
Wir bezeichnen die ganze Zahl 
als r und erhalten
- 2q2 = p2 = (2r)2 = 4r2
und hieraus nach der Division durch 2
- q2 = 2r2.
Mit der gleichen Argumentation wie zuvor folgt, dass q2 und damit auch q gerade Zahlen sind.
Der Bruch kann durch 2 gekürzt werden bzw. 2 ist ein gemeinsamer Teiler von p und q. Dies ist ein Widerspruch zu unserer Voraussetzung, dass p und q teilerfremd sind.
Die Annahme, die Behauptung wäre falsch, führt also zu einem Widerspruch. Damit ist die Behauptung richtig und der Beweis ist abgeschlossen.
