Zurückblättern Weiterblättern Übergeordnetes Thema Sachgebiet Hauptinhaltsverzeichnis Stichwortverzeichnis Hilfeseiten        


Indirekter Beweis oder Beweis durch Widerspruch

Um die Behauptung zu beweisen, geht man von der Negation aus und schließt von auf eine falsche Aussage d.h. (s. auch Tautologien). Dann muß aber auch falsch sein, da man bei der Implikation nur von einer falschen Voraussetzung zu einer falschen Behauptung kommt (s. 1. Zeile der Wahrheitstafel für die Implikation). Wenn aber falsch ist, muß wahr sein.

Beispiel

Es ist zu beweisen, daß die Zahl keine rationale Zahl ist. Angenommen, sei rational. Dann gilt mit ganzen Zahlen und Die Zahlen sind dabei teilerfremd , d.h., sie besitzen keinen gemeinsamen Teiler. Man erhält oder , d.h., wäre eine gerade Zahl, was nur dann möglich ist, wenn eine gerade Zahl ist. Es müßte dann wegen auch eine gerade Zahl sein. Das ist offensichtlich ein Widerspruch zur Voraussetzung, daß und teilerfremd sind.