Den Methodenwechsel begründen
Reicht Parität? · Abschnitt 11 von 60
Gelöstes Beispiel
1. Von modulo 2 zu modulo 4
Ziel. Zeige, dass nie die Form hat.
Parität allein. Sagt höchstens: müsste gerade sein.
Verfeinerung. Schreibe . Dann – Rest 0 modulo 4, nie Rest 2. Das ist der echte Widerspruch.
Gelöstes Beispiel
2. Von „passt“ zur Konstruktion
Ziel. Ganze Zahlen mit und .
Parität. ungerade → beide ungerade; Summe zweier ungerader Zahlen kann gerade sein. Parität passt.
Danach. und . Fertig: oder .
Gelöstes Beispiel
3. Das Modul am Ziel ausrichten
Ziel. Ist durch 3 teilbar?
Parität? Hier falsch gewählt – das Ziel spricht von 3, nicht von 2.
Besser. Reste modulo 3 prüfen: , und . In allen drei Fällen ist durch 3 teilbar.
Typischer Fehler
Mehr Technik ist nicht automatisch besser
Wechsle nicht vorsorglich zu modulo 8 oder komplizierten Invarianten. Die beste Verfeinerung ist die kleinste, die genau die noch fehlende Unterscheidung liefert.