Un polinomio a coefficienti in un campo è un’espressione della forma:
Il grado di è se ; il coefficiente è detto coefficiente direttore. Il polinomio nullo ha grado per convenzione.
Anello dei Polinomi
L’insieme di tutti i polinomi a coefficienti in con le operazioni di somma e prodotto è un anello commutativo unitario (anzi un dominio di integrità). Vedi: Strutture Algebriche.
Proprietà del grado:
Divisione e Algoritmo di Euclide
Per ogni con esistono unici (quoziente) e (resto) tali che:
Vedi: Divisione tra Polinomi.
Il Massimo Comune Divisore si calcola con l’algoritmo di Euclide iterando la divisione. Vale l’identità di Bézout: esistono tali che .
Radici e Teorema del Resto
è una radice (o zero) di se .
Teorema del resto: il resto della divisione di per è .
Corollario (teorema di Ruffini): divide se e solo se è radice di .
La molteplicità di una radice è il massimo intero tale che . Un polinomio di grado ha al più radici contate con molteplicità.
Polinomi Irriducibili e Fattorizzazione
Un polinomio di grado è irriducibile su se non si può scrivere come prodotto di due polinomi di grado inferiore in .
Teorema di fattorizzazione unica: ogni polinomio non costante su si scrive in modo unico (a meno dell’ordine e di costanti moltiplicative) come prodotto di polinomi irriducibili.
Su : i polinomi irriducibili sono di grado 1 o di grado 2 con discriminante negativo.
Teorema Fondamentale dell’Algebra
Ogni polinomio di grado a coefficienti in ha esattamente radici in (contate con molteplicità). è quindi algebricamente chiuso.
Vedi: Teorema Fondamentale dell’Algebra.
Applicazioni ingegneristiche
- Polinomio caratteristico: il calcolo degli autovalori di una matrice riduce a trovare le radici di un polinomio. Vedi: Polinomio Caratteristico.
- Filtri digitali: i filtri IIR e FIR si progettano tramite i poli e gli zeri del loro polinomio di trasferimento nel piano .
- Interpolazione: la costruzione del polinomio interpolante di Lagrange e di Newton usa direttamente l’algebra dei polinomi. Vedi: Interpolazione di Lagrange.