# Polinomio

In matematica un polinomio è un'espressione composta da costanti e variabili combinate usando soltanto addizione, sottrazione e moltiplicazione, gli esponenti delle variabili sono valori interi non negativi. In altre parole, un polinomio tipico, cioè ridotto in forma normale, è la somma algebrica di alcuni monomi non simili tra loro, vale a dire con parti letterali diverse. Ad esempio:
    $x+3y-z^{2}$
è la somma di tre monomi. Ciascun monomio viene chiamato termine del polinomio.
Le costanti sono anche chiamate "coefficienti" e sono tutte elementi di uno stesso insieme numerico o di un anello.
Quando valutati in un opportuno dominio, i polinomi possono essere interpretati come funzioni. Ad esempio, il polinomio
    $p(x)=x^{2}-3x+2$
definisce una funzione reale di variabile reale.
Quando questo ha senso, le radici del polinomio sono definite come l'insieme di quei valori che, sostituiti alle variabili, danno all'espressione polinomiale il valore nullo. Ad esempio, $p(x)$ ha come radici i valori $1$ e $2$, poiché sostituendoli nell'espressione del polinomio si ha
    $1^{2}-3\times 1+2=0$
    $2^{2}-3\times 2+2=0$
I polinomi sono oggetti matematici di fondamentale importanza, alla base soprattutto dell'algebra, ma anche dell'analisi e della geometria analitica.

## Nomenclatura

Un polinomio si dice:
* ridotto in forma normale, quando è stato semplificato, sono stati accorpati i suoi termini simili e sono stati eliminati gli eventuali monomi nulli. Ad esempio:
       $x+3y+28z-2y-28z$
    ridotto in forma normale diventa
       $x+y,$
* nullo, se consta del solo zero.
* monomio, binomio, trinomio, quadrinomio... se è la somma rispettivamente di uno, due, tre, quattro... monomi.
* omogeneo se è la somma di monomi dello stesso grado. Ad esempio: $x^{2}+3y^{2}-xz$ è omogeneo di grado $2$.
* completo rispetto ad una variabile, se osservando tutti i termini del polinomio di quella certa variabile e partendo dal termine di grado più elevato rispetto a quella variabile il polinomio contiene tutti i termini di grado inferiore fino a zero. Esempio di un polinomio completo rispetto a $z$: $xz^{3}+3yz^{2}+z-2.$
Due polinomi sono considerati uguali se, dopo essere stati ridotti in forma normale, hanno gli stessi termini, a meno dell'ordine. Quindi i polinomi seguenti sono uguali:
    $x+3y+28z-2y-28z,\ x+y,\ y+x.$
Il grado di un polinomio non nullo e ridotto in forma normale è il massimo grado dei suoi monomi, mentre il grado parziale rispetto ad una variabile è il grado risultante vedendo tutte le altre variabili come coefficienti. Quindi
    $2+xy+y$
ha grado due, mentre ha gradi parziali uno rispetto sia a $x$ che a $y$.
Si dicono coefficienti di un polinomio i coefficienti dei suoi singoli termini. Quindi i coefficienti di $2+xy+y$ sono rispettivamente $2$, $1$ e $1$: il coefficiente $1$ in un monomio è solitamente sottinteso.
Il termine noto di un polinomio ridotto in forma normale è l'unico monomio (se esiste) di grado zero, cioè non contenente variabili. Se non esiste un tale monomio, il termine noto è considerato generalmente inesistente o uguale a zero, secondo il contesto. Ad esempio, in
    $x^{2}+y^{3}+x+5$
il termine noto è l'ultimo monomio: $5$.

## Operazioni con i polinomi

Due polinomi possono essere sommati, sottratti, e moltiplicati usando le usuali proprietà commutativa, associativa e distributiva delle operazioni di somma e prodotto. Ad esempio, se
    $p(x)=x^{2}-x,$
    $q(x)=x+2,$
allora la somma ed il prodotto di $p$ e $q$ sono rispettivamente
    $p(x)+q(x)=(x^{2}-x)+(x+2)=x^{2}+2;$
    $p(x)q(x)=(x^{2}-x)(x+2)=x^{3}+2x^{2}-x^{2}-2x=x^{3}+x^{2}-2x.$
Somme e prodotti di polinomi danno come risultato un nuovo polinomio.

### Somma di due polinomi

Il grado (degree) della somma (o differenza) di due polinomi è minore o uguale al polinomio di grado maggiore. È sempre uguale al massimo tra i due, quando i due polinomi hanno grado differente:
    $\deg(P+Q)\leq \max(\deg(P),\deg(Q));$
    $\deg(P-Q)\leq \max(\deg(P),\deg(Q)).$
Esempi:
* Il grado di $(x^{3}+x)+(x^{2}+1)=x^{3}+x^{2}+x+1$ è 3. Si noti che 3 ≤ max(3, 2)
* Il grado di $(x^{3}+x)-(x^{3}+x^{2})=-x^{2}+x$ è 2. Si noti che 2 ≤ max(3, 3)

### Prodotto di un polinomio per uno scalare

Il grado del prodotto di un polinomio per un numero scalare (diverso da zero) è uguale al grado del polinomio:
    $\deg(cP)=\deg(P).$
Esempio:
* Il grado di $2(x^{2}+3x-2)=2x^{2}+6x-4$ è 2, che è appunto uguale al grado di $x^{2}+3x-2$.
Si noti che questo non è sempre vero per i polinomi definiti su un anello che contiene un divisore di zero. Ad esempio, in $\mathbf {Z} /4\mathbf {Z}$, $\deg(1+2x)=1$, ma $\deg(2(1+2x))=\deg(2+4x)=\deg(2)=0$. L'insieme dei polinomi aventi coefficienti da un dato campo F e grado minore o uguale a n, forma uno spazio vettoriale (questo insieme non è un anello, e non è chiuso, come mostrato in precedenza).

### Moltiplicazione di due polinomi

Il grado del prodotto di due polinomi definiti su un campo -(oggetto in cui sono definite le operazioni di somma e prodotto, con certe proprietà)- oppure su un dominio d'integrità, è uguale alla somma dei gradi dei due polinomi:
    $\deg(PQ)=\deg(P)+\deg(Q).$
Esempio:
* Il grado di $(x^{3}+x)(x^{2}+1)=x^{5}+2x^{3}+x$ è $3+2=5$.
Si noti che ciò non è sempre vero per i polinomi definiti su un anello arbitrario. Ad esempio, in $\mathbf {Z} /4\mathbf {Z}$, $\deg(2x)+\deg(1+2x)=1+1=2$, ma $\deg(2x(1+2x))=\deg(2x)=1$.

### Composizione di due polinomi

Il grado della composizione di due polinomi $P$ e $Q$ a coefficienti non costanti è uguale al prodotto dei rispettivi gradi:
    $\deg(P\circ Q)=\deg(P)\deg(Q).$
Esempio:
* Se $P=(x^{3}+x)$, $Q=(x^{2}+1)$, allora $P\circ Q=P\circ (x^{2}+1)=(x^{2}+1)^{3}+(x^{2}+1)=x^{6}+3x^{4}+4x^{2}+2$, che ha grado d 6.
Si noti che ciò non è sempre vero per i polinomi definiti su un anello arbitrario. Ad esempio, in $\mathbf {Z} /4\mathbf {Z}$, $\deg(2x)\deg(1+2x)=1\cdot 1=1$, ma $\deg(2x\circ (1+2x))=\deg(2+4x)=\deg(2)=0$.

### Grado del polinomio zero

Possiamo affermare correttamente sia che il grado del polinomio zero è indefinito, sia che il grado del polinomio zero può essere definito con un numero negativo (per convenzione −1 o −∞).
Come qualsiasi valore costante, il valore zero può essere considerato come un polinomio (costante), detto polinomio nullo. Questo polinomio non ha termini che non siano nulli, e perciò, propriamente non ha un grado, vale a dire che il suo grado è indefinito.
Le proposizioni precedenti sul grado della somma, prodotto e composizione di polinomi non si applicano se anche uno dei due è un polinomio nullo.
Le formule valgono se si introducono alcune opportune estensioni. È pertanto utile definire il grado di un polinomio-zero, pari a "meno infinito", $-\infty$, e introdurre quindi queste regole aritmetiche
    $\max(a,-\infty )=a,$
e
    $a+-\infty =-\infty .$
I seguenti esempi illustrano come questa estensione soddisfi quelle di somma, prodotto e composizione di due polinomi:
* Il grado della somma $(x^{3}+x)+(0)=x^{3}+x$ è 3. Ciò soddisfa il risultato atteso, cioè che $3\leq \max(3,-\infty )$.
* Il grado della differenza $(x)-(x)=0$ è $-\infty$. E, infatti, vale che: $-\infty \leq \max(1,1)$.
* Il grado del prodotto $(0)(x^{2}+1)=0$ è $-\infty$. E, infatti, vale che: $-\infty =-\infty +2$.

## Riduzione delle variabili

In un polinomio, è spesso utile considerare alcune variabili come costanti. Ad esempio, il polinomio
    $p=x^{2}+y+2$
può essere considerato anche come polinomio in $x$ soltanto, dando a $y$ il ruolo di un valore costante. Alternativamente, può essere visto come polinomio in $y$ soltanto. Le proprietà dei polinomi che ne risultano possono essere molto diverse tra loro: qui ad esempio $p$ ha grado $2$ rispetto a $x$, e solo $1$ rispetto a $y$. Ad esempio, il polinomio
    $x^{2}y^{3}+z^{4}$
è di grado $5$, ma se visto soltanto nelle singole variabili $x$ o $y$ o $z$ ha grado rispettivamente $2$, $3$ e $4$.

## Polinomi di una sola variabile

Un polinomio generico con una sola variabile si può rappresentare con la seguente scrittura:
    $a_{0}+a_{1}x+a_{2}x^{2}+\dots +a_{n}x^{n},$
con $a_{n}$ diverso da zero. Con questa scrittura, $a_{0}$ è il termine noto e $n$ è il grado. $a_{n}$ si dice coefficiente direttivo.
Un tale polinomio è detto:
* monico, se $a_{n}=1$;
* completo, se tutti gli $a_{i}$ sono diversi da zero, per $0\leq i\leq n$.

### Radici di un polinomio

Una radice di un polinomio $p(x)$ in una sola variabile è un numero $b$ tale che
    $p(b)=0,$
cioè tale che, sostituito a $x$, rende nulla l'espressione. Quindi se
    $p(x)=a_{0}+a_{1}x+a_{2}x^{2}+\dots +a_{n}x^{n},$
il numero $b$ è radice se
    $p(b)=a_{0}+a_{1}b+a_{2}b^{2}+\ldots +a_{n}b^{n}=0.$
Nel caso di polinomi a coefficienti reali l'insieme delle radici reali di un polinomio $p$ si può visualizzare sul piano cartesiano come l'intersezione del grafico della funzione polinomiale $y=p(x)$ con l'asse delle ascisse.
In un dominio, un polinomio di grado $n$ può avere al più $n$ radici distinte. Esistono polinomi senza radici reali, come ad esempio
    $x^{2}+1,$
poiché $b^{2}+1>0$ per ogni $b$ reale. D'altra parte, per il teorema fondamentale dell'algebra ogni polinomio complesso ha esattamente $n$ radici complesse, contate con molteplicità. Inoltre, per il teorema delle radici complesse coniugate, se $z_{0}$ è una radice di un polinomio a coefficienti reali, allora anche il suo complesso coniugato ${\overline {z_{0}}}$ è una radice.
Nella scuola vengono insegnate formule per trovare le radici dei polinomi di primo e secondo grado. Esistono formule analoghe per esprimere la radici di un polinomio di terzo e quarto grado in termini dei coefficienti, utilizzando solamente le quattro operazioni ed estrazioni di radice (la cosiddetta risoluzione per radicali). È stato invece dimostrato nella teoria di Galois che non esiste una formula generale di questo tipo per polinomi dal quinto grado in su.

## Funzioni polinomiali

Sia $A$ un anello. A un polinomio
    $f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\ldots +a_{n}x^{n},$
a coefficienti in $A$ si può associare una funzione polinomiale, che è la funzione da $A$ in sé definita da
    $b\mapsto f(b)=a_{0}+a_{1}b+a_{2}b^{2}+\ldots +a_{n}b^{n},$
per $b\in A$. Se $A$ è finito, allora polinomi diversi possono dare luogo alla stessa funzione. Per esempio se $A=\mathbb {Z} _{p}=\mathbb {Z} /p\mathbb {Z}$ è il campo con un numero primo $p$ di elementi, allora al polinomio nullo e al polinomio $x^{p}-x$ è comunque associata, per il piccolo teorema di Fermat, la funzione che manda ogni elemento di $A$ in zero. Lo stesso può valere se $A$ è infinito, ma non è un dominio, per esempio se $A$ è un'algebra esterna infinita, in cui vale $x^{2}=0$ per ogni $x\in A$.
Se invece $A$ è un dominio infinito, allora vale il seguente principio d'identità dei polinomi, che afferma che a polinomi diversi sono associate funzioni polinomiali diverse (cioè la funzione sopra descritta che associa a un polinomio una funzione polinomiale è iniettiva):
    due polinomi $p$ e $q$ a coefficienti in un dominio $A$ infinito tali che $p(x)=q(x)$ per ogni $x\in A$ sono uguali.
Questo dipende dal fatto che in un dominio un polinomio non nullo ha solo un numero finito di radici.
Negli esempi che seguono, fissiamo $A$ eguale al campo dei numeri reali. A seconda del grado,
    un polinomio di grado $0$ è una funzione costante,
    un polinomio di grado $1$ è una funzione lineare,
    un polinomio di grado $2$ è una funzione quadratica o conica,
    un polinomio di grado $3$ è una funzione cubica.

### Esempi

| Polinomio di grado 2: f(x) = x$^2$ - x - 2 = (x+1)(x-2) | Polinomio di grado 3: f(x) = x$^3$/5 + 4x$^2$/5 - 7x/5 - 2 = 1/5 (x+5)(x+1)(x-2) |
| Polinomio di grado 4: f(x) = 1/14 (x+4)(x+1)(x-1)(x-3) + 0.5 | Polinomio di grado 5: f(x) = 1/20 (x+4)(x+2)(x+1)(x-1)(x-3) + 2 |

### Derivata

Una funzione polinomiale a coefficienti reali
    $p(x)=a_{0}+a_{1}x+a_{2}x^{2}+\ldots +a_{n}x^{n},$
è derivabile e la sua derivata è ancora un polinomio,
    $p'(x)=a_{1}+2a_{2}x+\ldots +na_{n}x^{n-1}.$
Ragionando quindi induttivamente, si può quindi affermare che le funzioni polinomiali sono infinitamente derivabili (o lisce) e che la derivata (n+1)-esima di un polinomio di grado $n$ è la funzione nulla. In realtà esse sono anche funzioni analitiche.

## Anello di polinomi

Dato un anello $A$, il simbolo
    $A[x_{1},\ldots ,x_{n}]$
denota l'insieme di tutti i polinomi nelle variabili $x_{1},\ldots ,x_{n}$ con coefficienti in $A$. Ad esempio, $A$ può essere un campo come quello dei numeri reali o complessi.
L'insieme $A[x_{1},\ldots ,x_{n}]$ risulta essere anch'esso un anello, l'anello dei polinomi in $n$ variabili con coefficienti in $A$. Lo studio delle proprietà di questo anello è una parte importante dell'algebra e della geometria algebrica.
Se $A$ è un campo, l'anello dei polinomi è un'algebra su $A$, e quando $n=1$ è anche un anello euclideo, nel senso che i polinomi possono essere divisi con quoziente e resto come i numeri interi (se $n>1$ questo non è vero poiché l'anello di polinomi non è un dominio ad ideali principali).

### Esempi

* $\mathbb {Z} [x]$ non è un dominio ad ideali principali, e quindi neanche un anello euclideo. Infatti l'ideale $(2,x)$ generato dai polinomi $2$ e $x$ non è principale.
* $\mathbb {R} [x,y]$ non è un dominio ad ideali principali, e quindi neanche un anello euclideo. Infatti l'ideale $(x,y)$ generato dai polinomi $x$ e $y$ non è principale.
* $K[x]$, se $K$ è un campo, è un dominio euclideo.
* Il principio di identità dei polinomi vale solo su domini infiniti. Ad esempio, se $K$ è il campo finito con due elementi, cioè $K\cong \mathbb {Z} /2\mathbb {Z} ,$ allora il polinomio $f(x)=x+x^{2}$ è tale che $f(x)=0$ per ogni $x\in K$ in (cioè $0$ e $1$), benché non sia il polinomio nullo.

### Derivata formale

Il calcolo della derivata di un polinomio si estende come definizione di derivata (chiamata derivata formale) nel caso in cui il polinomio abbia coefficienti in un anello $A$, anche in assenza del calcolo infinitesimale. Molte delle proprietà della derivata si estendono anche alla derivata formale.

## Somme di potenze di radici

Siano $\lambda _{1},\ldots ,\lambda _{n}$ le n radici di un polinomio di grado $n$, e sia $s_{k}=\lambda _{1}^{k}+\ldots +\lambda _{n}^{k}$. Allora
* se $1\leq k\leq n$ si ha che $s_{k}+a_{k-1}s_{k-1}+\ldots +a_{n-k+1}s_{1}+a_{n-k}\cdot n=0;$
* se $k>n$ si ha che $s_{k}+a_{n-1}s_{k-1}+\ldots +a_{1}s_{k-n+1}+a_{0}s_{k-n}=0.$

### Casi particolari
#### Caso particolare $n=2$

Per le relazioni tra radici e coefficienti, un polinomio di secondo grado si può scrivere nella forma
    $x^{2}-Sx+P,$
dove
* $S=\lambda _{1}+\lambda _{2},$
* $P=\lambda _{1}\lambda _{2}.$
Allora
* $s_{1}=\lambda _{1}+\lambda _{2}=S,$
* $s_{2}=\lambda _{1}^{2}+\lambda _{2}^{2}=S^{2}-2P.$

#### Caso particolare $n=3$

Per le relazioni tra radici e coefficienti un polinomio di terzo grado si può scrivere nella forma
    $x^{3}-Sx^{2}+Qx-P,$
dove
* $S=\lambda _{1}+\lambda _{2}+\lambda _{3},$
* $Q=\lambda _{1}\lambda _{2}+\lambda _{2}\lambda _{3}+\lambda _{3}\lambda _{1},$
* $P=\lambda _{1}\lambda _{2}\lambda _{3}.$
Allora
* $s_{1}=\lambda _{1}+\lambda _{2}+\lambda _{3}=S,$
* $s_{2}=\lambda _{1}^{2}+\lambda _{2}^{2}+\lambda _{3}^{2}=S^{2}-2Q,$
* $s_{3}=\lambda _{1}^{3}+\lambda _{2}^{3}+\lambda _{3}^{3}=S^{3}-3SQ+3P.$