Vor jeder Rechnung festlegen, ob ganze, natürliche, positive oder nichtnegative Lösungen gesucht werden, und die Lösungsmenge als Gitterpunkte lesen.

Einen Ausdruck in ein Produkt $uv=N$ umformen, alle positiven und negativen Teilerpaare bestimmen und anschließend zurücksubstituieren.

Mit $g=\operatorname{ggT}(a,b)$ prüfen, ob $g\mid c$ gilt, bevor eine konkrete Lösung gesucht wird.

Eine Darstellung $au+bv=g$ des ggT mit $c/g$ skalieren und so einen ersten ganzzahligen Lösungspunkt gewinnen.

Aus einer Lösung $(x_0,y_0)$ die vollständige Familie $x=x_0+(b/g)t$, $y=y_0-(a/g)t$ bilden und Nebenbedingungen in Schranken für $t$ übersetzen.

Bei $uv=N\ne0$ jeden positiven und negativen Teiler als ersten Faktor verwenden, den zweiten eindeutig bestimmen und Symmetrien kontrolliert auswerten.

$x^2-y^2=N$ als $(x-y)(x+y)=N$ schreiben und nur Faktorpaare gleicher Parität zurücktransformieren.

Produkte wie $x(x+1)=N$ als Faktorpaare mit Differenz 1 behandeln und Teilbarkeit mit Größen- und Vorzeichenbedingungen verbinden.

$xy-ax-by=c$ durch Addition von $ab$ in $(x-b)(y-a)=c+ab$ verwandeln und anschließend Faktorpaare auswerten.

Bei Ausdrücken, die unter Vertauschung von $x$ und $y$ gleich bleiben, $s=x+y$ und $p=xy$ bestimmen und $x,y$ als ganzzahlige Nullstellen von $T^2-sT+p$ rekonstruieren.

Eine angenommene ganzzahlige Lösung modulo einem gezielt gewählten $m$ reduzieren und einen unmöglichen Zielrest nachweisen.

Für $r=0,ldots,m-1$ die Werte eines Polynoms modulo $m$ berechnen und daraus alle lokal möglichen Gleichungswerte ableiten.

Nach einer modularen Prüfung ausdrücklich entscheiden, ob sie nur Kandidaten ausschließt, eine notwendige Bedingung liefert oder tatsächlich eine vollständige Konstruktion ermöglicht.

Eine Teilbarkeitsgleichung als Kongruenz lösen, jede zulässige Klasse $x=mt+r$ parametrisieren und die zweite Variable daraus ganzzahlig rekonstruieren.

Restbedingungen zu verschiedenen teilerfremden Modulen getrennt lösen, alle Klassenkombinationen bilden und mit dem chinesischen Restsatz zu globalen Restklassen zusammensetzen.

Aus einer Gleichung wie $ax^2+by^2=N$ explizite Schranken für die Variablen gewinnen und die verbleibenden Fälle vollständig prüfen.

Eine Gleichung als quadratische Gleichung in einer Variablen lesen und verlangen, dass ihre Diskriminante ein nichtnegatives vollständiges Quadrat ist.

Lineare und quadratische Terme durch Multiplikation und Ergänzung in eine Gleichung $X^2-DY^2=N$ verwandeln.

Aus einer Lösung von $x^2-Dy^2=1$ durch Multiplikation mit einer festen Norm-eins-Lösung weitere ganzzahlige Lösungen konstruieren.

Für $a+b\sqrt D$ die Norm $a^2-Db^2$ verwenden und ihre Multiplikativität zur Kontrolle positiver und negativer Pell-Gleichungen einsetzen.

Den ggT von $a,b,c$ ausklammern und primitive Tripel getrennt klassifizieren.

Aus $m>n$, $\gcd(m,n)=1$ und verschiedener Parität das Tripel $(m^2-n^2,2mn,m^2+n^2)$ erzeugen.

Gemeinsame Teiler und Parität nutzen, um genau primitive Tripel zu erkennen.

Eine Gerade rationaler Steigung durch $(-1,0)$ mit dem Einheitskreis schneiden.

Umfang, Fläche oder Differenzen in $m,n$ ausdrücken und durch Teilbarkeit und Schranken lösen.

Den gemeinsamen ggT einer homogenen Lösung ausklammern und anschließend mit einer primitiven Lösung arbeiten.

Unter allen nichttrivialen Lösungen eine mit kleinstem positivem Maß wählen und daraus eine kleinere konstruieren.

Aus einer modularen Gleichung folgern, dass ein Primteiler jede Variable teilt.

Mit $v_p$ die Exponenten beider Gleichungsseiten vergleichen und Paritäts- oder Teilbarkeitswidersprüche finden.

Aus Teilerfremdheit und einem quadratischen oder kubischen Produkt auf entsprechende perfekte Potenzen der einzelnen Faktoren schließen.

Zuerst erzwingen Restklassen wenige algebraische Formen; anschließend reduziert eine Faktorisierung diese Formen auf endlich viele Teilerpaare.

Gemeinsame Faktoren werden zuerst isoliert, damit danach teilerfremde Variablen starke Teilbarkeitsaussagen erlauben.

Summe und Produkt ganzzahliger Variablen werden als Koeffizienten eines quadratischen Polynoms gelesen; die Diskriminante muss ein Quadrat sein.

Ein Ausdruck kann keine perfekte Potenz sein, wenn er strikt zwischen zwei aufeinanderfolgenden Potenzen liegt.

Unterschiedliche Wachstumsraten liefern explizite Schranken; danach bleibt eine endliche, vollständig prüfbare Kandidatenmenge.

Zieltyp, Variablenbereich und algebraische Signale lesen, bevor zwischen ggT, Faktorisierung, Kongruenz, Schranke, Parametrisierung oder Abstieg entschieden wird.

Jeden Schluss auf Voraussetzungen, Äquivalenzrichtung, Definitionsbereich und verlorene Fälle prüfen und eine fast richtige Lösung gezielt vervollständigen.

Existenz, Notwendigkeit, Hinreichendheit und Vollständigkeit in einer klaren Beweiskette verbinden.

Unter Zeitdruck Aufgaben sichten, sichere Punkte abschließen, Sackgassen begrenzen und die Abgabe nach mathematischen Fehlerarten kontrollieren.