Widerspruchsbeweis — Methode & klassisches Beispiel

Ein Widerspruchsbeweis beweist eine Aussage, indem man das Gegenteil annimmt und zeigt, dass diese Annahme zu einer Unmöglichkeit führt. Wenn die Logik korrekt ist und der Widerspruch echt ist, muss die ursprüngliche Aussage wahr sein.

Diese Methode ist nützlich, wenn die Negation dir etwas Konkretes zum Arbeiten gibt. Ein klassischer Fall ist der Beweis, dass $\sqrt{2}$ irrational ist: Sobald du annimmst, dass die Zahl rational ist, kannst du sie als Bruch schreiben und die Folgen dieser Annahme verfolgen.

So funktioniert ein Widerspruchsbeweis

Angenommen, die Aussage, die du beweisen willst, ist $P$.

Bei einem Widerspruchsbeweis beginnst du damit, anzunehmen, dass $P$ falsch ist. Dann folgerst du aus dieser Annahme so lange weiter, bis du auf einen Widerspruch stößt, zum Beispiel:

$$1 = 0$$

oder auf einen Konflikt mit einer bekannten Definition oder auf eine Aussage, die nicht gleichzeitig mit einem früheren Schritt gelten kann.

An diesem Punkt kann die Negation von $P$ nicht korrekt sein, also muss $P$ wahr sein.

Die entscheidende Bedingung ist, dass der Widerspruch aus gültigen Schlussfolgerungen und anerkannten Tatsachen entstehen muss. Ein Ergebnis, das nur seltsam aussieht, reicht nicht aus. Es muss unter den verwendeten Definitionen oder Sätzen unmöglich sein.

Wann man einen Widerspruchsbeweis verwendet

Ein Widerspruchsbeweis funktioniert am besten, wenn das Gegenteil einer Aussage eine starre Struktur hat. Das ist oft in der Zahlentheorie, bei Unmöglichkeitsbeweisen und bei manchen Existenzfragen der Fall.

Wenn du zum Beispiel beweisen willst, dass eine Zahl irrational ist, liefert die Annahme, sie sei rational, eine Bruchdarstellung, mit der du arbeiten kannst. Diese zusätzliche Struktur macht den Widerspruch oft leichter auffindbar als ein direkter Beweis.

Weniger nützlich ist die Methode, wenn bereits ein kurzer direkter Beweis existiert. Der Widerspruchsbeweis ist zwar gültig, sollte das Argument aber klarer machen und nicht unnötig verlängern.

Durchgerechnetes Beispiel: Warum $\sqrt{2}$ irrational ist

Ein klassischer Widerspruchsbeweis zeigt, dass $\sqrt{2}$ irrational ist.

Beginne mit der gegenteiligen Annahme:

$$\sqrt{2} \text{ ist rational.}$$

Wenn das wahr wäre, dann könnte man $\sqrt{2}$ schreiben als

$$\sqrt{2} = \frac{a}{b}$$

wobei $a$ und $b$ ganze Zahlen sind, $b \neq 0$ gilt und der Bruch vollständig gekürzt ist.

Quadriere nun beide Seiten:

$$2 = \frac{a^2}{b^2}$$

also

$$a^2 = 2b^2.$$

Das sagt uns, dass $a^2$ gerade ist. Daraus folgt, dass auch $a$ gerade sein muss, denn das Quadrat einer ungeraden ganzen Zahl ist ungerade. Schreibe also

$$a = 2k$$

für eine ganze Zahl $k$.

Setze das in $a^2 = 2b^2$ ein:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Nun ist $b^2$ gerade, also ist auch $b$ gerade.

Aber jetzt sind sowohl $a$ als auch $b$ gerade. Das bedeutet, dass beide durch $2$ teilbar sind, was der Annahme widerspricht, dass $\frac{a}{b}$ bereits vollständig gekürzt war.

Also war die ursprüngliche Annahme falsch. Daher ist $\sqrt{2}$ irrational.

Warum der Widerspruch entscheidend ist

Der Widerspruch ist nicht einfach nur ein Gefühl von „irgendetwas stimmt nicht“. Er ist konkret:

1. Die Annahme besagt, dass $\sqrt{2} = \frac{a}{b}$ in vollständig gekürzter Form gilt.
2. Die Algebra zeigt, dass sowohl $a$ als auch $b$ gerade sein müssen.
3. Ein Bruch kann nicht gleichzeitig vollständig gekürzt sein und einen Zähler und Nenner haben, die beide durch $2$ teilbar sind.

Dieser direkte Konflikt ist der Widerspruch.

Häufige Fehler beim Widerspruchsbeweis

Ein häufiger Fehler ist, das Gegenteil zu ungenau anzunehmen. Du brauchst die tatsächliche Negation der Aussage, nicht nur eine ähnliche Aussage, die ähnlich klingt.

Ein weiterer Fehler ist, einen Widerspruch durch einen ungültigen algebraischen Schritt zu erzeugen. In diesem Fall beweist der Widerspruch nur, dass die Algebra falsch war, nicht dass die ursprüngliche Aussage wahr ist.

Ein dritter Fehler ist, die Tatsache nicht zu benennen, der widersprochen wird. Gute Beweise machen den Konflikt ausdrücklich sichtbar: eine Paritätsregel, eine Definition, eine Minimalitätsbedingung oder ein zuvor bewiesener Satz.

Außerdem ist es leicht, schwaches Argumentieren hinter dem Satz „das ist ein Widerspruch“ zu verstecken. Wenn du nicht genau auf die Tatsache zeigen kannst, die verletzt wurde, ist der Beweis wahrscheinlich unvollständig.

Eine einfache Vorlage für den Widerspruchsbeweis

Für viele Beweise am Anfang sieht die Struktur so aus:

1. Nimm an, dass die Aussage falsch ist.
2. Übersetze diese Annahme in eine konkrete Form.
3. Verfolge die Konsequenzen Schritt für Schritt.
4. Erreiche einen Widerspruch mit einer bekannten Tatsache.
5. Folgere, dass die ursprüngliche Aussage wahr ist.

Wenn Schritt 2 schwach ist, bleibt der Beweis meist unscharf. Die stärksten Widerspruchsbeweise entstehen oft dadurch, dass man die Negation in etwas sehr Konkretes übersetzt.

Probiere einen ähnlichen Widerspruchsbeweis aus

Versuche die Aussage „Es gibt keine kleinste positive rationale Zahl“. Nimm an, es gäbe eine, nenne sie $r$, und frage dich, was mit $\frac{r}{2}$ passiert. Wenn du deine Argumentation bei einem ähnlichen Beweis Schritt für Schritt prüfen willst, versuche deine eigene Version in GPAI Solver und vergleiche jede Aussage mit dem Widerspruch, auf den du hinauswillst.