Teorema delle radici razionali

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In algebra, il teorema delle radici razionali afferma che ogni soluzione razionale di un'equazione polinomiale a coefficienti interi:

${\displaystyle a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{0}=0,\quad a_{n},\ldots ,a_{0}\in \mathbb {Z} ,\,a_{n}\neq 0,}$

è della forma ${\displaystyle p/q}$, dove ${\displaystyle p}$ e ${\displaystyle q}$ sono coprimi, e:

• ${\displaystyle p}$ è un divisore del termine noto ${\displaystyle a_{0}}$;
• ${\displaystyle q}$ è un divisore del coefficiente direttore ${\displaystyle a_{n}}$.

Il teorema non dà alcuna informazione su eventuali radici irrazionali o complesse.

Ad esempio, se consideriamo un'equazione del tipo:

${\displaystyle 3x^{3}-10x^{2}+x-4=0,}$

allora le eventuali radici razionali sono contenute nell'insieme seguente:

${\displaystyle \left\{\pm {4 \over 3},\pm {2 \over 3},\pm {1 \over 3},\pm 4,\pm 2,\pm 1\right\}.}$

Se il polinomio è monico, cioè è ${\displaystyle a_{n}=1}$, evidentemente la formula si semplifica restringendo le opzioni ai soli divisori del termine noto. La verifica di ogni singola possibile radice si può ad esempio effettuare con il teorema del resto (o con la regola di Ruffini se si vuole ottenere direttamente anche il quoziente). Se nessun valore soddisfa le condizioni, allora tutte le radici del polinomio (che esistono per il teorema fondamentale dell'algebra) sono irrazionali o complesse. Al contrario, se sono state trovate ${\displaystyle n}$ radici razionali, allora il polinomio è completamente fattorizzabile come prodotto di polinomi di primo grado con coefficienti razionali.

Dimostrazione[modifica | modifica wikitesto]

Il teorema delle radici razionali è una diretta conseguenza del lemma di Gauss, che afferma che se un polinomio (a coefficienti interi) è fattorizzabile sui razionali, allora lo è anche sugli interi.

Quindi se esiste una radice razionale ${\displaystyle p/q}$, ciò significa che possiamo scrivere il nostro polinomio iniziale come ${\displaystyle (qx-p)\cdot (b_{n-1}x^{n-1}+\ldots +b_{0})}$ con tutti i ${\displaystyle b_{i}}$ interi. Moltiplicando (i coefficienti intermedi non sono rilevanti) e sfruttando il fatto che due polinomi sono uguali se e solo se coincidono tutti i coefficienti, otteniamo ${\displaystyle a_{n}=b_{n-1}\cdot q}$ e ${\displaystyle a_{0}=b_{0}\cdot p}$, da cui il teorema.

In altro modo, supponiamo che la frazione ${\displaystyle p/q}$ sia una radice del polinomio. Possiamo supporre che la frazione sia ridotta ai minimi termini, ovvero che gli interi ${\displaystyle p}$ e ${\displaystyle q}$ siano primi fra loro. Sostituendo si ottiene

${\displaystyle a_{n}(p/q)^{n}+a_{n-1}(p/q)^{n-1}+\ldots +a_{1}(p/q)+a_{0}=0,}$

da cui, moltiplicando per ${\displaystyle q^{n}}$,

${\displaystyle a_{n}p^{n}+a_{n-1}p^{n-1}q+\ldots +a_{1}pq^{n-1}+a_{0}q^{n}=0.}$

Ora ${\displaystyle p}$ divide i primi ${\displaystyle n}$ termini, dunque deve dividere anche l'ultimo termine ${\displaystyle a_{0}q^{n}}$. Dato che ${\displaystyle p}$ e ${\displaystyle q}$ sono primi fra loro, ${\displaystyle p}$ deve dividere ${\displaystyle a_{0}}$. Con un ragionamento analogo si deduce che ${\displaystyle q}$ divide ${\displaystyle a_{n}}$.

Voci correlate[modifica | modifica wikitesto]

• Regola di Ruffini
• Divisione dei polinomi
• Radice (matematica)
• Teorema fondamentale dell'algebra

Collegamenti esterni[modifica | modifica wikitesto]

• (EN) William L. Hosch, rational root theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Teorema delle radici razionali, su MathWorld, Wolfram Research.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica