Beweisdiagnose und Reparatur

Strategiewahl und Beweiswerkstatt · Abschnitt 58 von 64

Gelöstes Beispiel

Teilbarkeit ist noch kein Widerspruch

Aus $x^2=2y^2$ folgt zunächst nur, dass $x$ gerade ist. Erst Einsetzen erzwingt auch die Geradheit von $y$ ; Primitivität oder Minimalität verwandelt diese Information in einen Widerspruch.

Checkliste

Ansatzprüfung

Wurde durch eine möglicherweise null werdende Größe dividiert?
Wurde eine notwendige Bedingung unbemerkt umgekehrt?
Sind negative, vertauschte oder Randlösungen verloren gegangen?
Ist eine endliche Liste wirklich vollständig?
Wurde jede Parameterfamilie rückgeprüft?