Für ein Polynom mit ganzzahligen Koeffizienten a_n x^n + ... + a_0 mit a_n und a_0 ≠ 0 gilt: jede rationale Nullstelle in gekürzter Form p/q (q>0, ggT(p,q)=1) muss p|a_0 und q|a_n erfüllen.

Prinzip

Beschränkungen für Zähler und Nenner reduzieren die unendliche Suche nach rationalen Nullstellen auf eine endliche Menge, bestimmt durch Teiler von Leit‑ und Absolutglied; dies beruht auf Integrität und Kürzungseigenschaften.

Demonstration

Beispiel: für 2x^2 + 3x − 5 sind Kandidaten p/q durch p | −5 und q | 2 gegeben, also ±1, ±5, ±1/2, ±5/2. Die Berechnung p(1)=0 zeigt, dass x=1 tatsächlich Nullstelle ist und damit (x−1) Faktor.

Fehlanwendung

Den Satz auf Polynome mit nicht ganzzahligen Koeffizienten anwenden, oder die gelisteten Kandidaten als garantierte Nullstellen auffassen statt als notwendige Kandidaten; das Nichtkürzen von p/q verletzt die Teilbarkeitsbedingungen.

Konsequenz

Macht die Nullstellensuche zu einem konkreten endlichen Test, oft erster Schritt bei der Faktorisierung ganzzahliger Polynome; schränkt die Möglichkeiten für rationale Nullstellen ein und führt in Kombination mit synthetischer Division häufig zur Faktorisierung.

Umkehrung

Die Umkehrung ist falsch: p|a_0 und q|a_n zu haben garantiert nicht, dass p/q Nullstelle ist. Der Gegensatz betont, dass der Satz notwendige, aber nicht hinreichende Bedingungen liefert.

Abgrenzung

Erfordert ganzzahlige Koeffizienten und eine rationale Nullstelle in gekürzter Form; Verallgemeinerungen auf andere Koeffizientenringe benötigen analoge Integritätsannahmen. Er erfasst keine irrationalen oder komplexen Nullstellen.

Semantische Spannung

Spannung zwischen notwendiger Kandidatenliste und tatsächlichen Nullstellen: der Satz kann für hohe Grade viele falsche Kandidaten erzeugen; er konkurriert mit anderen Tests (modulare Prüfungen, Schranken) um effiziente Eliminierung.

Synthese

Der Satz der rationalen Nullstellen liefert ein endliches arithmetisches Sieb für mögliche rationale Nullstellen ganzzahliger Polynome: jede rationale Nullstelle muss aus Teiler des Absolutglieds über Teiler des Leitkoeffizienten stammen und verwandelt so eine a priori unendliche Suche in eine handhabbare endliche Liste.