In matematica, le identità di Newton, dette anche formule di Newton–Girard, descrivono le relazioni che legano i polinomi simmetrici elementari con altri polinomi simmetrici ottenuti mediante somme di potenze. Possono essere anche interpretate come relazioni che legano i coefficienti di un polinomio monico con le sue radici, più precisamente, con la somma delle radici, la somma dei quadrati delle radici etc.[1] Furono scoperte da Isaac Newton nel 1666 circa; egli probabilmente non era a conoscenza di un precedente lavoro di Albert Girard del 1629. Queste identità hanno applicazioni immediate in molti campi della matematica, fra cui la teoria di Galois, la teoria degli invarianti, la teoria dei gruppi, il calcolo combinatorio, e anche al di fuori di essa, come per esempio nella relatività generale.
Se
sono variabili, si definisca, per
, il polinomio
come la somma delle
-esime potenze di
, cioè:
![{\displaystyle p_{k}(x_{1},\ldots ,x_{n})=\sum \nolimits _{i=1}^{n}x_{i}^{k}=x_{1}^{k}+\cdots +x_{n}^{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58bd1d2d1b18085efd9ebe9173cd70495a256ba1)
Per k ≥ 0 siano ek(x1,…,xn) i polinomi simmetrici elementari, cioè, la somma di tutti i possibili prodotti di k variabili distinte:
![{\displaystyle {\begin{aligned}e_{0}(x_{1},\ldots ,x_{n})&=1,\\e_{1}(x_{1},\ldots ,x_{n})&=x_{1}+x_{2}+\cdots +x_{n},\\e_{2}(x_{1},\ldots ,x_{n})&=\textstyle \sum _{1\leq i<j\leq n}x_{i}x_{j},\\\dots \\e_{n}(x_{1},\ldots ,x_{n})&=x_{1}x_{2}\cdots x_{n},\\e_{k}(x_{1},\ldots ,x_{n})&=0,\quad {\text{per}}\ k>n.\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dfc1d6bd009f9c31ad721fc6c46ad69d61b24c6)
Le identità di Newton possono essere allora enunciate come:
![{\displaystyle ke_{k}(x_{1},\ldots ,x_{n})=\sum _{i=1}^{k}(-1)^{i-1}e_{k-i}(x_{1},\ldots ,x_{n})p_{i}(x_{1},\ldots ,x_{n}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e98232ae3ff856cbd0e1f176a9661f99501a3ea)
per tutti i k ≥ 1. In particolare, per i primi valori di k:
![{\displaystyle {\begin{aligned}e_{1}(x_{1},\ldots ,x_{n})&=p_{1}(x_{1},\ldots ,x_{n}),\\2e_{2}(x_{1},\ldots ,x_{n})&=e_{1}(x_{1},\ldots ,x_{n})p_{1}(x_{1},\ldots ,x_{n})-p_{2}(x_{1},\ldots ,x_{n}),\\3e_{3}(x_{1},\ldots ,x_{n})&=e_{2}(x_{1},\ldots ,x_{n})p_{1}(x_{1},\ldots ,x_{n})-e_{1}(x_{1},\ldots ,x_{n})p_{2}(x_{1},\ldots ,x_{n})+p_{3}(x_{1},\ldots ,x_{n}).\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46fe59969aeb4d4ddbf39cb1a987294c48e47339)
Si consideri un polinomio di grado n con esattamente n radici nell'anello in cui si sta lavorando:
![{\displaystyle p(\lambda )=\prod _{\alpha =1}^{n}\left(\lambda -x_{\alpha }\right)=\lambda ^{n}+\sum _{k=1}^{n}a_{k}\lambda ^{n-k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17e7e8c298d6a429afd8d71b3deffd71e25c3920)
dove
sono le radici e
sono i coefficienti. Si ha
![{\displaystyle a_{k}=(-1)^{k}e_{k}(x_{1},\dots ,x_{n}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e4bce0c329cf9a88be03e341a99de5f470ff4b2)
Definiamo la somma di potenze
![{\displaystyle t_{j}=\sum _{\alpha =1}^{n}x_{\alpha }^{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3478554289dd540a957e13bf533e045b087fabee)
Allora le identità di Newton forniscono:
![{\displaystyle t_{1}=-a_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5400382f92a51af1d57fec482f91b988eff525b8)
![{\displaystyle t_{2}=-a_{1}t_{1}-2a_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67d6f30c2d74eb1567a54ec15126f8d353e4886f)
![{\displaystyle t_{3}=-a_{1}t_{2}-a_{2}t_{1}-3a_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dffb484270a426386c6605efdeab2def9830bf8)
![{\displaystyle t_{4}=-a_{1}t_{3}-a_{2}t_{2}-a_{3}t_{1}-4a_{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8daf9e0086e07f28f64371e59769cee4a070263d)
![{\displaystyle t_{5}=-a_{1}t_{4}-a_{2}t_{3}-a_{3}t_{2}-a_{4}t_{1}-5a_{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ba5c05aab10570724012326cac5e722797a3544)
Da queste relazioni possiamo facilmente ottenere utili formule che esprimono la somma delle potenze in termini dei coefficienti:
![{\displaystyle t_{1}=-a_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5400382f92a51af1d57fec482f91b988eff525b8)
![{\displaystyle t_{2}=a_{1}^{2}-2a_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0c944a63ee56f18057c5e72562e0ea40c2702be)
![{\displaystyle t_{3}=-a_{1}^{3}+3a_{1}a_{2}-3a_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6355c3b18a7b9f18a492be2dc414752fe295f35)
![{\displaystyle t_{4}=a_{1}^{4}-4a_{1}^{2}a_{2}+4a_{1}a_{3}+2a_{2}^{2}-4a_{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d8461d473cc9e165e2faab8f8d605b1094d5b62)
![{\displaystyle t_{5}=-a_{1}^{5}+5a_{1}^{3}a_{2}-5a_{1}^{2}a_{3}-5a_{1}a_{2}^{2}+5a_{1}a_{4}+5a_{2}a_{3}+5a_{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e926aa917662e89d8f3d9aae0fe0a5c5cc6d542)
Infine possiamo risolvere le espressioni per fornire i coefficienti come somma di potenze:
![{\displaystyle a_{1}=-t_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efdb5ce2d4a5566edbf3ea11a9e13c9b7dc4e70a)
![{\displaystyle a_{2}={\frac {1}{2}}\left(t_{1}^{2}-t_{2}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62e23193e78e55a3b7e1c44c8af1f9258d3b9450)
![{\displaystyle a_{3}=-{\frac {1}{6}}\left(t_{1}^{3}-3t_{1}t_{2}+2t_{3}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04f4a6bfaba0175154be14e1e607e063b0765d1d)
![{\displaystyle a_{4}={\frac {1}{24}}\left(t_{1}^{4}-6t_{1}^{2}t_{2}+3t_{2}^{2}+8t_{1}t_{3}-6t_{4}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9cbc91b3cab7fb448ee280a9f599949e95dc2179)
![{\displaystyle a_{5}=-{\frac {1}{120}}\left(t_{1}^{5}-10t_{1}^{3}t_{2}+20t_{1}t_{2}^{2}+15t_{1}^{2}t_{3}-30t_{1}t_{4}-20t_{2}t_{3}+24t_{5}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0edfb536fe89a4ecd024a3f76a603329f19f47ef)
e così via.
Se il polinomio in considerazione è il polinomio caratteristico di un operatore lineare (o di una matrice), allora le sue radici sono gli autovalori dell'operatore (o della matrice).
Si verifica che in questo caso ciascun
è la traccia della potenza j-esima della matrice:
![{\displaystyle t_{j}={\rm {tr}}\,\left(A^{j}\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a865a9d686e770dc92cfd21c2dbfd29d5c50a9f4)
Le identità di Newton forniscono così un metodo per calcolare il polinomio caratteristico di una matrice senza fare uso del determinante, poiché gli
possono essere ricavati in funzione dei
Si noti che, per applicare questo metodo, non è necessario calcolare effettivamente gli autovalori, ma solo la loro somma, la somma dei loro quadrati etc. In particolare, gli autovalori potrebbero non esistere nemmeno nel campo in cui si considerano i coefficienti della matrice (per esempio, la matrice potrebbe essere a coefficienti reali ma con autovalori complessi), ma i calcoli che vengono effettuati sono tutti svolti nel campo dei coefficienti della matrice.
- ^ I.N. Herstein, Topics in Algebra, Esercizio 5.6.10; Dummit and Foote, Abstract Algebra, Esercizio 14.6.21