Satz über rationale Nullstellen

Der Satz über rationale Nullstellen (auch rationaler Nullstellentest oder Lemma von Gauß) ist eine Aussage über die rationalen Nullstellen ganzzahliger Polynome. Sie beinhaltet ein notwendiges Kriterium für die Existenz einer rationalen Nullstelle und liefert dabei eine endliche Menge rationaler Zahlen, in der alle rationalen Nullstellen enthalten sein müssen.

Aussage

Für jede rationale Nullstelle eines ganzzahligen Polynoms gilt, dass der Zähler ihrer gekürzten Darstellung das Absolutglied und der Nenner den Leitkoeffizienten des Polynoms teilt.

Seien also ${\displaystyle f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\dotsb +a_{1}x+a_{0}}$ mit ${\displaystyle a_{i}\in \mathbb {Z} }$ ein Polynom vom Grad ${\displaystyle n}$ und ${\displaystyle x_{0}={\tfrac {p}{q}}}$ (wobei ${\displaystyle p,q\in \mathbb {Z} }$ teilerfremd sind) eine rationale Nullstelle von ${\displaystyle f}$, dann ist ${\displaystyle a_{0}}$ durch ${\displaystyle p}$ teilbar und ${\displaystyle a_{n}}$ durch ${\displaystyle q}$ teilbar.

Anmerkungen

Wenn der Leitkoeffizient ${\displaystyle a_{n}}$ des Polynoms den Betrag 1 besitzt, dann ist jede rationale Nullstelle eine ganze Zahl, die das Absolutglied ${\displaystyle a_{0}}$ teilt.^{[Note 1]}

Der Satz lässt sich auch verwenden, um die rationalen Nullstellen rationaler Polynome zu berechnen. Denn wenn man ein rationales Polynom mit einem gemeinsamen Vielfachen der Nenner seiner Koeffizienten multipliziert, so erhält man ein ganzzahliges Polynom mit den gleichen Nullstellen, zu deren Bestimmung man nun den rationalen Nullstellentest anwenden kann.

Der Satz über rationale Nullstellen ergibt sich auch als Korollar zu einer auf Gauß zurückgehenden allgemeineren Aussage über Polynome über dem Quotientenkörper eines faktoriellen Ringes (siehe Lemma von Gauß). Dieses Korollar besagt, dass sich jede Nullstelle im faktoriellen Ring ${\displaystyle R}$ eines Polynoms mit Koeffizienten in ${\displaystyle R}$ als Bruch in ${\displaystyle R}$ darstellen lässt, sodass der Zähler ein Teiler des Absolutgliedes und der Nenner ein Teiler des Leitkoeffizienten ist.

Beispiele

1. Aus dem rationalen Polynom ${\displaystyle \textstyle f(x)={\frac {1}{5}}x^{3}-{\frac {7}{30}}x^{2}+{\frac {1}{30}}}$ erhält man durch Multiplikation mit 30 das ganzzahlige Polynom ${\displaystyle f^{\star }(x)=6x^{3}-7x^{2}+1}$. Dessen rationale Nullstellen müssen dann in der Menge ${\displaystyle \left\{\pm 1,\pm {\tfrac {1}{2}},\pm {\tfrac {1}{3}},\pm {\tfrac {1}{6}}\right\}}$ enthalten sein. Überprüft man nun alle diese Kandidaten durch Einsetzen in ${\displaystyle f}$ oder ${\displaystyle f^{\star }}$, so erhält man als Nullstellen ${\displaystyle -{\tfrac {1}{3}}}$, 1 und ${\displaystyle {\tfrac {1}{2}}}$. Da ${\displaystyle f}$ als Polynom vom Grad 3 maximal drei paarweise verschiedene Nullstellen besitzen kann, existieren in diesem Fall auch keine weiteren irrationalen Nullstellen.
2. Das Polynom ${\displaystyle f(x)=x^{6}+x^{5}+x^{4}+x^{3}+x^{2}+x+1}$ besitzt keine rationale Nullstelle, da 1 und −1 die einzigen Teiler des Absolutglieds und des Leitkoeffizienten sind und ${\displaystyle f(-1)=1\neq 0}$ und ${\displaystyle f(1)=7\neq 0}$ ist.
3. Das Polynom ${\displaystyle f(x)=x^{3}-2x+4}$ besitzt ganzzahlige Koeffizienten.
   Die Überprüfung für die Teiler ${\displaystyle \pm 1,\pm 2,\pm 4}$ des konstanten Gliedes ergibt sich die Nullstelle ${\displaystyle -2}$.
   Weil jede ganze Zahl ${\displaystyle a=a+0\cdot \mathrm {i} }$ auch eine gaußsche Zahl ${\displaystyle a+b\cdot \mathrm {i} }$ ist, lassen sich die Koeffizienten als gaußsche Zahlen interpretieren.
   Wegen ${\displaystyle 2=(1+\mathrm {i} )(1-\mathrm {i} )}$ erhalten wir für die Teiler ${\displaystyle \pm (1+\mathrm {i} ),\pm (1-\mathrm {i} )}$ des konstanten Gliedes die komplexen Nullstellen ${\displaystyle (1+\mathrm {i} )}$ und ${\displaystyle (1-\mathrm {i} )~.}$

Literatur

• Kurt Meyberg, Peter Vachenauer: Höhere Mathematik 1. Springer, 6. Auflage 2006, ISBN 3-540-41850-4, S. 64 (Auszug in der Google-Buchsuche)
• Phillip S. Jones, Jack D. Bedient: The historical roots of elementary mathematics. Dover Courier Publications, 1998, ISBN 0-486-25563-8, S. 116–117 (Auszug in der Google-Buchsuche)
• Charles D. Miller, Margaret L. Lial, David I. Schneider: Fundamentals of College Algebra. Scott & Foresman/Little & Brown Higher Education, 3. überarbeitete Auflage 1990, ISBN 0-673-38638-4, S. 216–221
• Rolf Walter: Einführung in die Analysis 1. Walter de Gruyter 2007, ISBN 978-3-11-019539-2, S. 110–111, 362 (Auszug in der Google-Buchsuche)

Weblinks

• The Rational Roots Test auf purplemath.com
• Winfried Kaballo: Analysis I. Vorlesungsskript, Wintersemester 2006/2007, S. 44, Kapitel Polynome und Nullstellen, Satz 9.11; Kapitel 9 (Memento vom 19. Juli 2007 im Internet Archive) (PDF)
• Eric W. Weisstein: Rational Zero Theorem. In: MathWorld (englisch).

Fußnote(n)

1. ↑ Ist aber ${\displaystyle \mid a_{n}\!\!\mid \;\neq 1,}$ dann hat das Polynom nach der Normierung (Division durch den Leitkoeffizienten) rationale Koeffizienten. Die nicht verschwindenden unter ihnen lassen sich in eindeutiger Weise in ein Produkt   ${\textstyle a_{i}=:\prod _{p\in \mathbb {P} }p^{k_{i,p}}}$   von Primfaktoren mit ganzzahligen (auch negativen) Exponenten   ${\displaystyle k_{i,p}\in \mathbb {Z} }$   zerlegen. Nun lässt sich ein   ${\displaystyle q\in \mathbb {Q} ^{\times }}$ so finden, dass nach einer linearen Transformation   ${\textstyle x=q\cdot y}$   im transformierten und normierten Polynom

   ${\displaystyle f^{\star }(y)=f(q\,y)\;q^{-n}=y^{n}+a_{n-1}^{\star }y^{n-1}+\dotsb +a_{1}^{\star }y+a_{0}^{\star }}$

   alle Koeffizienten   ${\textstyle a_{i}^{\star }:=a_{i}\cdot q^{i-n}}$   ganzzahlig sind. Man nehme nur   ${\textstyle q:=\prod _{p\in P}p^{r_{p}}}$   mit ${\displaystyle P\subset \mathbb {P} }$ als der endlichen Menge der in den nicht-verschwindenden Koeffizienten ${\textstyle a_{i}=\prod _{p\in P}p^{k_{i,p}}}$ vorkommenden Primfaktoren und

   ${\displaystyle r_{p}:={\Big \lfloor }\min _{\,i<n\,\wedge \,a_{i}\neq \;\!0}{\tfrac {k_{i,p}}{n-i}}{\Big \rfloor }}$         (Gaußklammer ${\displaystyle \lfloor \,\rfloor }$).

   Im genannten Beispiel   ${\displaystyle f(x)={\tfrac {1}{5}}x^{3}-{\tfrac {7}{30}}x^{2}+{\tfrac {1}{30}},}$   normiert:   ${\displaystyle x^{3}-{\tfrac {7}{6}}x^{2}+{\tfrac {1}{6}},}$   erhält man auf diese Weise   ${\textstyle q=2^{-1}3^{-1}7^{\,0}={\frac {1}{6}}}$   und das ganzzahlige Polynom   ${\displaystyle f^{\star }(y)=y^{3}-7y^{2}+36}$   (welches ${\displaystyle -{\tfrac {1}{3}}/q=-2,\;1/q=6,\;{\tfrac {1}{2}}/q=3}$ als Nullstellen hat).