Beweis (Mathematik)

In der Mathematik gibt es 3 Beweismethoden:

• den direkten Beweis
• den indirekten Beweis bzw. Beweis durch Widerspruch
• sowie die (vollständige) Induktion bzw. "Schluss von n auf n+1"

Der direkte Beweis

Beim direkten Beweis wird die Behauptung durch Folgerungen, Ausrechnen ... bewiesen.

Einige einfache Beispiele:

Satz 1
Behauptung: S(n) = 1 + 2 + 3 + ... + n = n*(n+1)/2

Beweis: Wir schreiben die Summe zweimal untereinander und addieren spaltenweise:

                  S(n) =   1   +   2   + ... + (n-1) +   n
                  S(n) =   n   + (n-1) + ...   + 2   +   1
           -------------------------------------------------
           S(n) + S(n) = (n+1) + (n+1) + ... + (n+1) + (n+1)

           Daraus folgt:  2 * S(n) = n * (n+1)
           Dividiert man beide Seiten durch 2 erhält man die Behauptung.

Zu diesem Beweis gibt es eine Anekdote: Eines Tages hatte der Mathematiklehrer von Carl Friedrich Gauss keine Lust Unterricht zu halten. Daher gab er den Schülern die Aufgabe, die Zahlen von 1 bis 100 zusammenzuzählen. Kaum hatte es sich der Lehrer gemütlich gemacht und die Zeitung aufgeschlagen, da meldete sich der 7-jährige Gauss und legte das Ergebnis vor. Gauss hatte das Ergebnis nach der obigen Methode errechnet.

Satz 2
Behauptung: Das Quadrat einer geraden natürlichen Zahl n ist gerade.

Beweis: Sei n eine gerade natürliche Zahl. Dann läßt sich n eindeutig darstellen als n = 2k, wobei k eine natürliche Zahl ist. Daraus folgt: $n^{2}=(2k)^{2}=4k^{2}$. $n^{2}$ ist daher durch 4 teilbar, also gerade.

Satz 3
Behauptung: Das Quadrat einer ungeraden natürlichen Zahl n ist ungerade.

Beweis: Sei n eine ungerade natürliche Zahl. Dann läßt sich n eindeutig darstellen als n = 2k + 1, wobei k eine natürliche Zahl ist. Daraus folgt mit Hilfe der 1.binomischen Formel: $n^{2}=(2k+1)^{2}=4k^{2}+2k+1$. Die beiden ersten Summanden sind gerade. Also ist $n^{2}$ ungerade.

Der indirekte Beweis

Beim indirekten Beweis nimmt man an, dass das Gegenteil der Behauptung wahr ist. Danach führt man diese Aussage mit den gleichen Methoden wie beim direkten Beweis zum Widerspruch.

Ein klassisches Beispiel hierfür ist der Nachweis, dass es unendlich viele Primzahlen gibt.

Wir zeigen einige weitere Beispiele.

Satz 4
Behauptung: Die Wurzel aus einer geraden natürlichen Quadratzahl n ist gerade.

Beweis: Wir nehmen an ${\sqrt {n}}=k$ sei ungerade. Dann ist wegen Satz 3 $k^{2}=n$ auch ungerade - ein Widerspruch.

Satz 5
Behauptung: Die Wurzel aus einer ungeraden natürlichen Quadratzahl n ist ungerade.

Beweis: Wir nehmen an ${\sqrt {n}}=k$ sei gerade. Dann ist wegen Satz 2 $k^{2}=n$ auch gerade - ein Widerspruch.

Satz 6
Behauptung: Die Zahl ${\sqrt {2}}$ ist irrational.

Beweis: Wir nehmen an ${\sqrt {2}}$ sei rational. Dann kann man ${\sqrt {2}}$ darstellen als Bruch

    ${\sqrt {2}}$ = n / k

wobei n und k natürliche Zahlen und teilerfremd sind. Daraus folgt: $n^{2}$ = 2 $k^{2}$. $n^{2}$ ist folglich eine gerade Zahl. Da die Wurzel aus einer geraden Quadratzahl auch gerade ist (Satz 4), muss n selbst gerade sein. Also ist n/2 eine natürliche Zahl. Nun formen wir die letzte Gleichung um:

   $k^{2}$ = $n^{2}$ /2 = 2 $(k/2)^{2}$. 

Das zeigt, dass $k^{2}$ und somit auch k gerade natürliche Zahlen sind. n und k sind also gerade, haben also beide den Teiler "2". Damit sind n und k nicht teilerfremd - im Widerspruch zu der Annahme. Also ist die Annahme, ${\sqrt {2}}$ sei rational, falsch.