Der folgende Beweis war bereits in der Antike bekannt. Er wurde von Euklid (genauer: Euklides von Alexandria) überliefert. Er wird ''indirekt'' geführt, d.h. wir nehmen zunächst versuchsweise an, sein Gegenteil sei wahr. Angenommen also, �2 ist eine rationale Zahl. Dann läßt sie sich als Bruchzahl der Form schreiben, wobei m und n natürliche Zahlen sind. Wir nehmen an, daß dieser Bruch bereits vollständig gekürzt worden ist, sodaß m und n teilerfremd sind (d.h. keinen gemeinsamen Teiler haben). Insbesondere können dann m und n nicht beide gerade Zahlen sein. Show Da das Quadrat von �2 gleich 2 ist, folgt aus (1) d.h. m2 ist doppelt so groß wie n2. Das können wir auch als schreiben. Daraus folgt, daß m2 von 2 geteilt wird, also eine gerade Zahl ist. Folglich ist auch m eine gerade Zahl (denn das Quadrat einer geraden Zahl ist gerade, das Quadrat einer ungeraden Zahl ist ungerade). Der springende Punkt ist nun, daß m2 nicht nur gerade ist, sondern sogar 4 als Teiler besitzt: Da m gerade ist, läßt es sich als schreiben, wobei k eine natürliche Zahl ist. Folglich ist In (3) eingesetzt, ergibt sich woraus wir schließen, daß n2 doppelt so groß ist wie k2 (in Formeln: n2 = 2 k2). Das zeigt, daß n2 eine gerade Zahl ist, und daher auch n. Insgesamt haben wir gefolgert, daß sowohl n als auch m gerade Zahlen sind, und das widerspricht der oben gemachten Beobachtung, daß das nicht der Fall ist. Wir haben also aus der Annahme, �2 sei rational, einen (logischen) Widerspruch konstruiert, womit bewiesen ist: �2 läßt sich nicht als Bruchzahl der Form (1) schreiben, ist daher eine irrationale Zahl.
�2 ist gerade die Länge der Diagonale des Einheitsquadrats (nach dem Satz von Pythagoras: 12 + 12 = Diagonale2 ). Die Irrationalität von �2 zeigt, daß das Verhältnis Diagonale/Seitenlänge im Quadrat nicht rational ist, d.h. daß bereits die einfachsten geometrischen Figuren nicht durch "Aneinanderlegen" von Kopien einer "kleinsten Elementarlänge" zu konstruieren sind. Diese Erkenntnis hat vermutlich im fünften vorchristlichen Jahrhundert eine der ersten Grundlagenkrisen der Mathematik ausgelöst.
Wieso ist Wurzel 2 nicht rational?√2 läßt sich nicht als Bruchzahl der Form (1) schreiben, ist daher eine irrationale Zahl. Bemerkung: √2 ist gerade die Länge der Diagonale des Einheitsquadrats (nach dem Satz von Pythagoras: 12 + 12 = Diagonale2 ).
Warum kann Wurzel 2 keine natürliche Zahl sein?Die Quadratwurzel aus 2 ist eine irrationale Zahl. 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).
Ist Wurzel 2 in Q?Dann können p und q aber nicht beide durch 2 teilbar sein, sonst hätten wir ja noch mit 2 kürzen können. Also kann "p durch q" nicht als vollständig gekürzter Bruch vorgelegen haben. Und damit kann Wurzel 2 keine rationale Zahl sein – denn alle rationalen Zahlen lassen sich als vollständig gekürzte Brüche angeben.
Ist Wurzel 2 hoch Wurzel 2 irrational?Fall: ist irrational.
|