Az algebrában a racionális gyökök tétele (egyben a racionális gyök tesztje is ) keretet definiál az alábbi alakú polinom racionális gyökére :
egész együtthatókkal és . _
A tétel kimondja, hogy minden racionális gyök , ahol és a koprímszámok , teljesíti azt a feltételt, hogy
A racionális gyökök tétele a Gauss-lemma speciális esete .
A tétel egy polinom összes racionális gyökének megtalálására szolgál, ha van ilyen. Segítségével véges számú lehetséges helyettesítéssel tesztelhető megoldás kerül meghatározásra. Ha találunk egy racionális gyöket , akkor az eredeti polinom maradék nélkül felosztható, így kapunk egy kisebb fokú polinomot, amelynek gyökei egyben az eredeti polinom gyökei is.
Köbös egyenlet általános formában:
egész együtthatókkal három megoldása van komplex számokban . Ha a racionális gyökök tesztje nem tár fel semmit, akkor a megoldások kifejezésének egyetlen módja a kockagyökök használata . Ha azonban találunk legalább egy r racionális megoldást , akkor az ( x - r) zárójelbe helyezése egy másodfokú egyenlethez vezet, amely a diszkrimináns segítségével megoldható .
Legyen:
.
Tegyük fel, hogy néhány másodprím egész és :
.
Az egyenlet mindkét oldalát megszorozva a zárójelekből, és az ellentétes előjelű szabad tagot átvisszük az egyenlet jobb oldalára, így kapjuk:
.
Látható, hogy ez egy osztó . De a és koprímszámok, ami azt jelenti, hogy osztónak is kell lennie .
Ha éppen ellenkezőleg, a vezető tagot átvisszük az egyenlet jobb oldalára, és zárójelbe tesszük, a következőt kapjuk:
.
Vegyünk egy következtetést az [1] -gyel való oszthatóságról .
Egy polinom minden racionális gyöke
a számlálóban egy osztó, a nevezőben pedig egy kettő osztója kell, hogy legyen. Így a lehetséges racionális gyökök és . Azonban egyik sem fordítja a kifejezést nullára, ezért a polinomnak nincs racionális gyöke.
Egy polinom minden racionális gyöke
Hatos osztójának kell lennie a számlálóban és egy osztójának a nevezőben, amelyből a lehetséges gyökök . Ezek közül , és fordítsa a kifejezést nullára, így a polinom gyökerei.