Trenne Voraussetzung, Behauptung, Definitionsbereich und Quantoren, bevor du nach einer Beweisidee suchst.

Beim Verneinen wechseln All- und Existenzquantor – die innere Eigenschaft wird ebenfalls verneint.

Ein einziges zulässiges Objekt, für das die Eigenschaft scheitert, widerlegt eine Behauptung über alle Objekte.

In $P\Rightarrow Q$ darfst du $P$ annehmen und musst daraus $Q$ herleiten; die Umkehrung ist eine andere Aussage.

Öffne Begriffe wie gerade, teilbar oder Teiler in ihre definierende Gleichungsform und rechne damit weiter.

Starte bei den Voraussetzungen und forme sie in endlich vielen begründeten Schritten zur Zielaussage um.

Für $P\Leftrightarrow Q$ werden $P\Rightarrow Q$ und $Q\Rightarrow P$ als zwei eigenständige Beweise geführt.

Kontrolliere Definitionen, Richtung jedes Schlusses, zulässige Umformungen, Randfälle und den Antwortsatz.

Ersetze $P\Rightarrow Q$ durch die logisch gleichwertige Aussage $\neg Q\Rightarrow\neg P$.

Wähle die Richtung, in der Definitionen und Voraussetzungen wirklich verwertbare Information liefern.

Verneine zusammengesetzte Eigenschaften und verschachtelte Quantoren, bevor du mathematisch argumentierst.

Nimm die Verneinung des Ziels an und leite daraus zusammen mit den Voraussetzungen eine unmögliche Aussage her.

Nimm eine vollständig gekürzte Bruchdarstellung an und erzwinge einen gemeinsamen Teiler von Zähler und Nenner.

Nimm endlich viele oder ein größtes Objekt an und konstruiere daraus ein neues Objekt außerhalb der Liste.

Leite aus der Gegenannahme ab, dass dieselbe ganze Zahl zugleich gerade und ungerade sein müsste.

Prüfe Gegenannahme, erlaubte Folgerungen, den exakten Konflikt und die Rückkehr zur ursprünglichen Behauptung.

Zerlege den Definitionsbereich in disjunkte Fälle, zeige das Ziel in jedem Fall und führe sie wieder zusammen.

Jede ganze Zahl hat genau eine der Formen $2k$ und $2k+1$ – disjunkt und vollständig.

Modulo $m$ liefern die Reste $0,1,\ldots,m-1$ eine endliche vollständige Fallliste.

Behandle einen repräsentativen Fall nur dann, wenn eine Symmetrie jeden ausgelassenen Fall auf ihn abbildet und das Ziel erhält.

Prüfe Disjunktheit, Vollständigkeit, Randfälle, Symmetrieabbildung und den gemeinsamen Antwortsatz.

Verbinde den gegebenen Ausdruck über gerichtete, begründete Ungleichungen mit der verlangten Schranke.

Aus $(u-v)^2\ge0$ entstehen scharfe Ungleichungen, weil der Gleichheitsfall $u=v$ sichtbar bleibt.

Gleichheit im Endergebnis gilt genau dann, wenn jeder Abschätzungsschritt Gleichheit besitzt.

Beweise den Startfall und zeige anschließend für ein beliebiges $n$, dass $P(n)$ die Aussage $P(n+1)$ erzwingt.

Der Startfall muss die kleinste zulässige Instanz treffen; Rekursionen höherer Ordnung brauchen mehrere Basisfälle.

Markiere im Ausdruck für $n+1$ genau den Teil, den $P(n)$ ersetzen oder kontrollieren darf.

Nimm alle Aussagen von der Basis bis $n$ an, wenn der nächste Fall auf einen beliebigen kleineren Fall zurückgreift.

Existierte ein Gegenbeispiel, so gäbe es nach der Wohlordnung ein kleinstes; eine gültige Reduktion widerspricht seiner Minimalität.

Jede nichtleere Menge positiver ganzer Größen besitzt ein kleinstes Element, aber die Kandidatenmenge muss ausdrücklich nichtleer sein.

Aus jeder positiven Lösung entsteht eine echt kleinere positive Lösung; Wohlordnung verbietet eine endlose Abstiegskette.

Kontrolliere Start, Annahme, beliebiges $n$, strikte Größenabnahme, erhaltene Voraussetzungen und den Rückschluss auf alle Fälle.

Eine konkrete Formel oder ein konkret beschriebenes Objekt zeigt Existenz, sobald alle Bedingungen verifiziert sind.

Erzeuge zuerst den Kandidaten und prüfe danach jede Zieleigenschaft in einer eigenen Beweiskette.

Beginne mit einem gültigen Basisobjekt und erweitere es so, dass alle Eigenschaften erhalten bleiben.

Wähle lokal einen zulässigen nächsten Schritt und zeige Terminierung sowie globale Korrektheit oder erkenne ein Gegenbeispiel.

Schubfach, Extremalität oder Widerspruch können garantieren, dass ein Objekt existiert, ohne es algorithmisch zu bestimmen.

Nimm zwei beliebige Objekte mit der Zieleigenschaft und leite her, dass sie übereinstimmen.

Ein „genau ein“-Satz besteht aus mindestens einem Kandidaten und höchstens einem Kandidaten.

Prüfe Definition für alle Eingaben, Terminierung, jede Zieleigenschaft, Existenz, Eindeutigkeit und behauptete Algorithmik.

Ordne mehr Objekte eindeutig weniger Klassen zu und übersetze die erzwungene Kollision in die Zieleigenschaft.

Teste Summe, Parität, Reste oder Farbgewichte und zeige, dass jeder legale Zug den gewählten Wert erhält.

Berechne den Kandidaten am Start, unter einem beliebigen legalen Zug und am Ziel; erst dann folgt eine Erreichbarkeitsaussage.

Schubfach erzeugt zwei passende Zustände oder Präfixe; eine erhaltene Differenz übersetzt ihre Kollision in das Ziel.

Wähle ein größtes, kleinstes oder längstes Objekt und nutze, dass keine zulässige lokale Verbesserung existiert.

Nimm an, das Extremobjekt verletze die Zielstruktur, und baue daraus ein strikt besseres zulässiges Objekt.

Färbe so, dass erlaubte Bausteine feste Farbbeiträge haben und das Zielmuster einen unvereinbaren Farbwert besitzt.

Ordne die Beweislücke einer Methode zu: Kollision, Erhaltung, Extremalverbot oder Farbgewicht.

Markiere Zieltyp, Struktursignale, verfügbare Definitionen und die erste noch offene Beweislücke.

Leite aus den Voraussetzungen sichere Fakten ab und frage rückwärts, welche letzte Teilaussage das Ziel liefern würde.

Formuliere kleine Zwischenziele mit klaren Voraussetzungen, statt mehrere Methoden in einen Sprung zu pressen.

Jeder Methodenblock liefert genau das Ergebnis, das der folgende Block als Voraussetzung verwendet.

Lies Satz für Satz und frage, aus welcher expliziten Voraussetzung, Definition oder früheren Aussage der Übergang folgt.

Kontrolliere Definitionsbereich, Nichtnullbedingungen, Vorzeichen, Gegenannahmen und die Reichweite von o. B. d. A.

Teste kleinste Parameter, Nullwerte, leere Mengen, Bindungen und alle Stellen, an denen eine Ungleichung Gleichheit haben kann.

Erhalte brauchbare Ideen, ersetze ungültige Schritte und schreibe eine neue geschlossene Beweiskette mit Antwortsatz.

Vom ersten Scan über Ansatz und Ausarbeitung bis zum Schlussaudit folgt jede Aufgabe einem wiederholbaren Arbeitsablauf.

Ordne Unmöglichkeit, Allaussage, Existenz, Eindeutigkeit, Prozess oder Extremstruktur passenden Startmethoden zu.

Eine Lösung macht Ausgangslage, Methode, zentrale Übergänge, Nebenbedingungen und Antwortsatz für Korrektoren sichtbar.

Sichere kurze Aufgaben zuerst, begrenze blockierte Versuche und reserviere einen festen Schlussaudit.

Formuliere auch ohne vollständigen Schluss korrekte Lemmata, Fallreduktionen, Schranken und überprüfte Spezialfälle.

Prüfe Logik, Mathematik, Randfälle, Gleichheit, Methodenübergänge und den exakten Antwortsatz in fester Reihenfolge.