Eine Methode, die durch Zählen der Vorzeichenwechsel in der geordneten Folge der nichtverschwindenden Koeffizienten eines Polynoms mit reellen Koeffizienten eine obere Schranke und eine Paritätsbedingung für die Anzahl positiver reeller Nullstellen liefert.

Prinzip

Die Anzahl positiver reeller Nullstellen (mit Vielfachheit gezählt) ist höchstens so groß wie die Zahl der Vorzeichenwechsel zwischen aufeinanderfolgenden nichtverschwindenden Koeffizienten und unterscheidet sich von dieser Zahl um eine gerade nichtnegative Zahl.

Demonstration

Für f(x)=x^4−3x^3+2x^2−5x+1 sind die Koeffizientenzeichen +,−,+,−,+, also vier Vorzeichenwechsel; damit hat f höchstens vier positive reelle Nullstellen; zulässige Anzahlen sind 4, 2 oder 0. Negative Nullstellen zählt man durch Anwendung auf f(−x).

Fehlanwendung

Die Regel direkt auf Polynome mit expliziten Nullkoeffizienten anwenden, ohne Nullen zwischen möglichen Wechseln zu ignorieren, die Schranke als exakte Anzahl bei Mehrfachwurzeln zu behandeln oder die Regel auf komplexe (nichtreelle) Nullstellen zu übertragen.

Konsequenz

Ermöglicht eine schnelle obere Schranke und Paritätsinformation, nützlich zur Eingrenzung vor numerischen Verfahren; sie schränkt die möglichen Anzahlen ein, bevor auf genauere Zählmethoden wie Sturmsequenzen zurückgegriffen wird.

Umkehrung

Informationen über negative Nullstellen erhält man, indem man f(−x) betrachtet und dort die Vorzeichenwechsel zählt; die vollständige Anzahl reeller Nullstellen erfordert die Kombination von positiven und negativen Zählungen und die separate Prüfung von x=0.

Abgrenzung

Gilt nur für Polynome mit reellen Koeffizienten in Standardform; sie bestimmt Vielfachheiten nicht exakt, zählt keine nichtreellen komplexen Nullstellen und liefert nur eine obere Schranke und Paritätsinformation, keine Existenzgarantie für eine bestimmte Anzahl positiver Nullstellen.

Semantische Spannung

Steht in Spannung zu exakten Zählmethoden wie Sturm: Descartes' Regel ist schnell und kombinatorisch, aber ungenau, während Sturm exakte Ergebnisse zu höherem Aufwand liefert.

Synthese

Descartes' Vorzeichenregel ist ein kombinatorisches Diagnosewerkzeug: Durch Zählen der Vorzeichenwechsel der nichtverschwindenden Koeffizienten liefert sie sofort eine obere Schranke und eine Paritätsbedingung für positive reelle Nullstellen und dient als leichter erster Schritt vor präziseren Verfahren.