~2026-13768-73: weitere Bezeichnung hinzugefügt

2026-03-09T17:44:59Z

weitere Bezeichnung hinzugefügt

Neue Seite

Der '''Satz über rationale Nullstellen''' (auch '''rationaler Nullstellentest''', '''rationaler Wurzelsatz''' oder '''Lemma von Gauß''') ist eine Aussage über die [[Rationale Zahl|rationalen]] [[Nullstelle]]n ganzzahliger [[Polynom]]e. Sie beinhaltet ein [[Notwendige und hinreichende Bedingung|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 <math>f(x)=a_{n}x^n+a_{n-1}x^{n-1}+\dotsb+a_{1}x+a_0</math> mit <math>a_i \in \Z</math> ein Polynom vom Grad <math>n</math> und <math>x_0=\tfrac{p}{q}</math> (wobei <math>p,q \in \Z</math> [[Teilerfremdheit|teilerfremd]] sind) eine rationale Nullstelle von <math>f</math>, dann ist <math>a_0</math> durch <math>p</math> teilbar und <math>a_n</math> durch <math>q</math> teilbar.

== Verallgemeinerung und Beweis ==
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 [[Faktorieller Ring|faktoriellen Ringes]] (siehe [[Lemma von Gauß]]).<ref>{{Literatur |Autor=Marco Hien |Titel=Algebra |Verlag=Springer-Verlag |Ort=Berlin |Datum=2021 |ISBN=978-3-662-63777-7 |DOI=10.1007/978-3-662-63778-4}}</ref> Dieses Korollar lässt sich folgendermaßen formulieren:
Sei <math>R</math> ein faktorieller Ring und <math>K:=\operatorname{Quot}(R)</math> der [[Quotientenkörper]] von <math>R</math>. Sei <math> f(X)=a_n X^n+...+a_0 \in R[X] </math> ein Polynom vom Grad <math>n</math> und einer Nullstelle <math> \alpha = \frac{a}{b}</math> mit maximal gekürzten <math>a,b \in R</math>. Dann teilt <math>b</math> den ersten und <math>a</math> den letzten Koeffizienten, also gilt:
:<math>b \vert a_n</math> und <math>a \vert a_0</math>.

=== Beweis ===
Es gilt:
:<math>0 = f(\alpha) = f\left(\frac{a}{b}\right) = a_n \frac{a^n}{b^n} + a_{n-1} \frac{a^{n-1}}{b^{n-1}} ... + a_0</math>
[[Multiplikation]] mit <math> b^n </math> ergibt:
:<math>0 = f(\alpha)\cdot b^n =a_n a^n + a_{n-1} a^{n-1} b + ... + a_1a\,b^{n-1} + a_0b^n</math>
<math>\implies -a_n a^n = b \cdot (a_{n-1}a^{n-1} + ... + a_1ab^{n-2} + a_0 b^{n-1})</math>

Nun teilt <math> b </math> <math>a_n </math>, da <math>a</math> und <math>b</math> teilerfremd und somit auch <math>a^n</math> und <math>b</math>. Damit existiert ein <math>r \in R</math> mit <math>a_n = b \cdot r</math>.
Somit:
:<math>-b r a^n = b \cdot (a_{n-1}a^{n-1} + ... + a_1ab^{n-2} + a_0 b^{n-1})</math>
:<math>\implies-ra^n = a_{n-1}a^{n-1} + ... + a_1ab^{n-2} + a_0b^{n-1}</math>
:<math>\implies a_0b^{n-1} = a \cdot (-ra^{n-1} - a_{n-1}a^{n-2} - ... - a_1b^{n-2})</math>
Da <math>a</math> und <math>b</math> teilerfremd sind, folgt nun also auch <math>a \vert a_0</math>.

=== Alternativer Beweis mit dem Satz von Gauß ===

Nach Division mit dem [[Größter gemeinsamer Teiler|größten gemeinsamen Teiler]] der Koeffizienten des Polynoms erhalten wir ein [[Inhalt (Polynom)#primitiv|primitives Polynom]] <math> \tilde{f}(X) </math>, welches die gleichen Nullstellen wie <math> f </math> besitzt. Da <math>\tilde f\left(\frac{a}{b}\right) = 0</math>, teilt also <math>\left(X - \frac a b\right) </math> <math>\tilde{f}(X)</math> in <math>K[X]</math>, somit aber auch <math>g(X) :=(bX - a)</math>.
Da aber nun <math>g(X)</math> primitiv, teilt <math>g</math> auch <math>\tilde{f}</math> in <math>R[X]</math> nach dem Lemma von Gauß, also existiert ein Polynom <math>h(X) = c_m X^m + ... + c_1 X + c_0 \in R[X]</math>, sodass:
:<math>\tilde{f}(X) = h(x) \cdot g(X) = (c_m X^m + ... + c_1 X + c_0) \cdot (bX - a) = b c_m X^{m+1} + ... + a c_0 </math>
Damit folgt die Aussage, da <math>c_m, c_0 \in R</math>.

== Anmerkungen ==
Wenn der Leitkoeffizient <math>a_n</math> des Polynoms den Betrag 1 besitzt, dann ist jede rationale Nullstelle eine [[ganze Zahl]], die das Absolutglied <math>a_0</math> teilt.<ref group=Note>Ist aber <math>\mid a_n\!\!\mid \; \ne 1,</math> dann hat das Polynom nach der [[Polynom#Definition|Normierung]] (Division durch den Leitkoeffizienten) rationale Koeffizienten. Die nicht verschwindenden unter ihnen lassen sich in eindeutiger Weise in ein Produkt   <math display="inline">a_i =: \prod_{p\in\mathbb P} p^{k_{i,p} }</math>   von Primfaktoren mit ganzzahligen (auch negativen) Exponenten   <math>k_{i,p}\in\Z</math>   [[Primfaktorzerlegung#rational|zerlegen]].
Nun lässt sich ein   <math>q\in \Q^\times</math> so finden, dass nach einer linearen Transformation   <math display="inline">x = q \cdot y</math>   im transformierten und normierten Polynom
: <math>f^{\star}(y) = f(q\,y)\;q^{-n} = y^n +a^{\star}_{n-1}y^{n-1} + \dotsb + a^{\star}_1 y + a^{\star}_0</math>
alle Koeffizienten   <math display="inline">a^{\star}_i := a_i \cdot q^{i-n}</math>   ganzzahlig sind. Man nehme nur   <math display="inline">q := \prod_{p\in P} p^{r_p}</math>   mit <math>P \subset \mathbb P</math> als der endlichen Menge der in den nicht-verschwindenden Koeffizienten <math display="inline">a_i = \prod_{p\in P} p^{k_{i,p} }</math> vorkommenden Primfaktoren und
:<math>r_p := \Big\lfloor\min_{\,i<n \,\wedge\, a_i \ne \;\! 0} \tfrac{k_{i,p}}{n-i}\Big\rfloor</math>         ([[Abrundungsfunktion und Aufrundungsfunktion|Gaußklammer]] <math> \lfloor \, \rfloor</math>).

Im genannten Beispiel   <math>f(x)=\tfrac{1}{5}x^3-\tfrac{7}{30}x^2+\tfrac{1}{30},</math>   normiert:   <math>x^3-\tfrac{7}{6}x^2+\tfrac{1}{6},</math>   erhält man auf diese Weise   <math display="inline">q = 2^{-1}3^{-1}7^{\,0} = \frac16</math>   und das ganzzahlige Polynom   <math>f^{\star}(y)=y^3-7y^2+36</math>   (welches <math>-\tfrac13/q=-2,\;1/q=6,\;\tfrac12/q=3</math> als Nullstellen hat).</ref>

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.

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

== Literatur ==
* Kurt Meyberg, Peter Vachenauer: ''Höhere Mathematik 1''. Springer, 6. Auflage 2006, ISBN 3-540-41850-4, S. 64 ({{Google Buch|BuchID=J31iW72k2O4C|Seite=65|Linktext=Auszug|Land=}})
* Rolf Walter: ''Einführung in die Analysis 1''. Walter de Gruyter 2007, ISBN 978-3-11-019539-2, S. 110–111, 362 ({{Google Buch|BuchID=b1j0wYiIIiMC|Seite=110|Linktext=Auszug|Land=}})
* 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
* Phillip S. Jones, Jack D. Bedient: ''The historical roots of elementary mathematics''. Dover Courier Publications, 1998, ISBN 0-486-25563-8, S. 116–117 ({{Google Buch|BuchID=7xArILpcndYC|Seite=116|Linktext=Auszug|Land=}})

== Weblinks ==
* Winfried Kaballo: ''Analysis I''. Vorlesungsskript, Wintersemester 2006/2007, S. 44, Kapitel ''Polynome und Nullstellen'', Satz 9.11; {{Webarchiv | url=http://www.mathematik.uni-dortmund.de/lsi/kaballo/abs9.pdf | wayback=20070719071020 | text=Kapitel 9}} (PDF)
* [https://www.purplemath.com/modules/rtnlroot.htm ''The Rational Roots Test''] auf purplemath.com
* {{MathWorld |id=RationalZeroTheorem |title=Rational Zero Theorem}}

== Fußnote(n) ==
<references group=Note/>

[[Kategorie:Theorie der Polynome]]
[[Kategorie:Satz (Mathematik)|Rationale Nullstellen]]

Satz über rationale Nullstellen - Versionsgeschichte

~2026-13768-73: weitere Bezeichnung hinzugefügt