Beweismethoden
In einem Satz: Ein Beweis zeigt mit Schritten aus bekannten Aussagen, dass etwas immer stimmt, und es gibt drei Grundwege dorthin.
Voraussetzung, Behauptung, Beweis
Definition
Eine mathematische Aussage hat meist die Form einer Implikation . Dabei ist die Voraussetzung, also das, was man annehmen darf, und die Behauptung, also das, was zu zeigen ist. Ein Beweis ist eine Kette von logisch zwingenden Schritten von nach . Jeder Schritt folgt aus Definitionen, bekannten Sätzen oder den vorigen Schritten.
In einfachen Worten
Voraussetzung ist das, was du geschenkt bekommst. Behauptung ist das, wo du ankommen willst. Der Beweis ist der Weg dazwischen, und jeder Schritt muss begründet sein. Frag dich bei jeder Zeile: Warum darf ich das schreiben?
Der direkte Beweis
Definition
Beim direkten Beweis startet man bei der Voraussetzung und folgert Schritt für Schritt die Behauptung. Dabei nimmt man ein beliebiges Objekt mit der verlangten Eigenschaft und benutzt nur, was die Voraussetzung hergibt.
Beispiel. Behauptung: Die Summe zweier gerader Zahlen ist gerade.
Beweis. Seien und gerade. Nach der Definition gibt es ganze Zahlen und mit und . Dann ist
Da eine ganze Zahl ist, ist gerade.
Das Gegenbeispiel
Definition
Eine Aussage der Form “für alle gilt ” ist widerlegt, sobald man ein findet, für das falsch ist. Dieses heißt Gegenbeispiel.
In einfachen Worten
Um etwas für alle zu beweisen, brauchst du eine Begründung, die für jeden Fall passt. Um es zu widerlegen, genügt ein einziger Fall, bei dem es schiefgeht.
Beispiel. Behauptung: Für jede natürliche Zahl ist eine Primzahl.
Das stimmt für , die Behauptung ist aber trotzdem falsch. Für gilt
Das ist keine Primzahl. Damit ist die Behauptung durch ein Gegenbeispiel widerlegt.
Stolperstelle
Ein Beispiel ist kein Beweis, auch nicht viele Beispiele. Die Formel oben liefert 40-mal in Folge eine Primzahl und versagt dann doch. Beispiele helfen beim Verstehen und beim Vermuten, bewiesen ist damit nichts. Ein Gegenbeispiel dagegen ist ein vollständiger Beweis dafür, dass eine Aussage falsch ist.
Der Widerspruchsbeweis
Definition
Beim Widerspruchsbeweis nimmt man das Gegenteil der Behauptung an und leitet daraus eine falsche Aussage her, einen Widerspruch. Dann kann die Annahme nicht stimmen, und die Behauptung muss gelten.
In einfachen Worten
Du tust so, als wäre die Behauptung falsch, und folgst den Konsequenzen. Kommt am Ende etwas Unmögliches heraus, war die Annahme falsch. Dann bleibt nur die Behauptung übrig.
Beispiel. Behauptung: Es gibt keine größte natürliche Zahl.
Beweis. Angenommen, es gibt eine größte natürliche Zahl . Dann ist auch eine natürliche Zahl, und es gilt . Das widerspricht der Annahme, dass die größte ist. Also gibt es keine größte natürliche Zahl.
Stolperstelle
Verwechsle den Widerspruchsbeweis nicht mit dem Gegenbeispiel. Das Gegenbeispiel zeigt, dass eine Aussage falsch ist, indem es einen Fall findet, in dem sie versagt. Der Widerspruchsbeweis zeigt, dass eine Aussage wahr ist, indem er ihr Gegenteil unmöglich macht.
Wie man das Gegenteil einer Aussage richtig bildet, steht im Artikel Logik und Notation unter Verneinung. Für Aussagen über alle natürlichen Zahlen gibt es eine eigene Methode, die vollständige Induktion.