Beweis, direkter

Wir betrachten den Prozess der Beweisfindung an einem Beispiel und wählen dazu den folgenden Sachverhalt aus:

• Die Summe von Primzahlzwillingen ist stets durch 12 teilbar.

(1) Aufbau eines Suchfeldes
Analyse des Sachverhalts
Die "Wenn, dann"-Form des Satzes lautet: Wenn z die Summe von Primzahlzwillingen ist, so gilt . Damit lassen sich die Voraussetzung ( ) und die Behauptung ( )
ablesen.
Der Satz stellt eine Allaussage dar, von der noch nicht feststeht, ob sie wahr oder falsch ist. Eine Allaussage widerlegt man durch Angabe eines Gegenbeispiels; ihre Wahrheit zeigt man durch einen Beweis.
Betrachten von Beispielen

In jedem dieser Beispiele ist die Summe in der Tat durch 12 teilbar.
Umstrukturierung des Wissensspeichers
Was ist eine Primzahl? Eine Primzahl ist eine natürliche Zahl (größer als 1), die nur durch 1 und sich selbst teilbar ist. 0 und 1 sind weder Primzahlen noch zusammengesetzte Zahlen. Die kleinste (und einzige gerade) Primzahl ist die 2. Primzahlzwillinge sind Primzahlen, die sich um 2 unterscheiden.
Wann ist eine Zahl durch 12 teilbar? Wenn eine Zahl durch 3 und durch 4 teilbar ist, so ist diese Zahl auch durch 12 teilbar.

(2) Bearbeitung des Suchfeldes (Finden einer Beweisidee)
Beim Suchen von Beweisideen können zwei Strategien helfen: das sogenannte Vorwärtsarbeiten und das sogenannte Rückwärtsarbeiten.
Beim Vorwärtsarbeiten geht man von den gegebenen Voraussetzungen aus und stellt sich eine Reihe typischer Fragen wie etwa die folgenden:

Beim Rückwärtsarbeiten geht man von der zu beweisenden Behauptung aus. Typische Fragen bei diesem Vorgehen sind:

Für unser anstehendes Beweisproblem scheint das Vorwärtsarbeiten günstig zu sein: In Auswertung der Voraussetzungen ist zu zeigen, dass 3 Teiler der Summe ist und dass 4 Teiler der Summe ist. Daraus würde die Behauptung folgen.

(3) Durchführung des Beweises

• Voraussetzung:
  
• Behauptung:
  
• Beweis:

Feststellung	Begründung
	Umformen der Voraussetzung
ist eine gerade Zahl.	Der Nachfolger einer ungeraden Zahl ist gerade.
	4 teilt stets das Doppelte einer geraden Zahl.
	Von drei aufeinander folgenden Zahlen ist stets eine durch 3 teilbar.
	Da 4 und 3 Teiler von z sind. (w.z.b.w.)

Ausgehend von dem betrachteten Beispiel lässt sich die Struktur des direkten Beweises abheben:
Aus der Voraussetzung des Satzes sowie bereits bekannten Tatsachen (Definitionen, Lehrsätze) wird mithilfe einer endlichen Anzahl gültiger Schlussregeln direkt die Wahrheit der Behauptung gezeigt.

Im Folgenden soll auch das Rückwärtsarbeiten beim Beweisen demonstriert werden. Dazu betrachten wir den folgenden Satz:

• Wenn ABCD ein Sehnenviereck ist, so ist die Summe der Gegenwinkel .

•	Voraussetzung: ABCD ist Sehnenviereck.
•	Behauptung:

Das Rückwärtsarbeiten fragt nach Sätzen mit gleicher oder ähnlicher Behauptung (hier: Winkelsumme von ).
Welche Sätze sind also bekannt, die etwas über Winkel und Winkelsummen, die betragen, aussagen? In Beantwortung der Frage entsteht etwa folgender umstrukturierter Wissensspeicher:

-	Innenwinkelsatz für Dreiecke ( )
-	Nebenwinkelsatz ( )
-	Innenwinkelsatz für Vierecke ( )
-	Entgegengesetzt liegende Winkel an geschnittenen Parallelen ergänzen sich zu .
-	Bestimmte Nachbarwinkelpaare im Parallelogramm ergänzen sich zu .
-	Bestimmte Nachbarwinkelpaare im Trapez ergänzen sich zu .

elche dieser Sätze lassen sich anwenden? Der zweite, vierte, fünfte und sechste Satz entfallen sofort, da deren Voraussetzungen mit denen unseres zu beweisenden Satzes nicht vereinbar sind. Bleiben also der erste und der dritte Satz, wobei der Innenwinkelsatz für Dreiecke den größten Bezug aufweist.



In der Figur sind zwar keine Dreiecke vorhanden, doch durch Einzeichnen von Hilfslinien lassen sich welche erzeugen. Als Möglichkeiten bieten sich an (s. obiges Bild):
(1) Einzeichnen der Diagonalen
(2) Einzeichnen der Radien vom Mittelpunkt M zu den Eckpunkten des Sehnenvierecks
Im ersten Fall sind beliebige Dreiecke, im zweiten gleichschenklige Dreiecke (mit jeweils gleich großen Basiswinkeln) entstanden. Im zweiten Fall lässt sich die Idee, den Innenwinkelsatz für Dreiecke anzuwenden, nutzbringend realisieren.

• Beweis

Ziel ist zu zeigen, dass gilt. Aufschreiben der Innenwinkelbeziehungen (anhand der Bezeichnungen in Bild 1) für die vier Teildreiecke bei gleichzeitigem Ersetzen der Teilwinkel von durch die entsprechenden Teilwinkel von ergibt:

Addition dieser Gleichungen ergibt

und weiter
.
Analog folgt
.
Anmerkung: Ein Vorteil des Rückwärtsarbeitens besteht insbesondere in der Erschließung notwendiger Hilfslinien.