Methodenwahl und Zeitplan

Ordne jeweils eine sinnvolle Startmethode zu: A eine Allaussage über $n$, B die Nichtexistenz ganzzahliger Lösungen, C ein unvermeidliches gleiches Restpaar, D ein größtes Objekt mit lokaler Struktur.

Du hast vier Aufgaben zu 5, 8, 9 und 10 Punkten. Die 5-Punkte-Aufgabe ist klar, bei der 8-Punkte-Aufgabe kennst du ein Lemma, die anderen sind offen. Plane die ersten 35 Minuten.

Für die Aussage „Wenn $n^2$ durch $3$ teilbar ist, dann ist $n$ durch $3$ teilbar“ vergleiche direkten Beweis, Widerspruch und Kontraposition.

Eine Lösung lautet: „Offensichtlich ist das Maximum mindestens der Durchschnitt. Fertig.“ Überarbeite sie zu einem bewertbaren allgemeinen Beweis.