In matematica, più specificamente in algebra, le formule di Viète, denominate così da François Viète (1540-1603), sono formule che mettono in relazione le radici di un polinomio con i suoi coefficienti.
Queste formule sono conosciute anche con il nome di formule di Viète-Girard poiché un importante contributo viene anche dal lavoro del matematico Albert Girard (1590-1633).
Se
![{\displaystyle P(X)=a_{n}X^{n}+a_{n-1}X^{n-1}+\cdots +a_{1}X+a_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fccd7ebef5d523b47d060183df5f5fd9bf15d8c0)
è un polinomio di grado
con coefficienti complessi (cioè i numeri
sono complessi con
), per il teorema fondamentale dell'algebra
ha
radici complesse (non necessariamente distinte)
Le formule di Viète affermano che
![{\displaystyle x_{1}+x_{2}+\cdots +x_{n}=-{\frac {a_{n-1}}{a_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/846ac9426484c5ed35f22764986d9bb9cd29b325)
![{\displaystyle (x_{1}x_{2}+x_{1}x_{3}+\cdots +x_{1}x_{n})+(x_{2}x_{3}+x_{2}x_{4}+\cdots +x_{2}x_{n})+\cdots +x_{n-1}x_{n}={\frac {a_{n-2}}{a_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/900069eb78630baa5f2c6044416a2bc787bd3bd8)
![{\displaystyle \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1d67495288eac0fa90d5bbcad7d9a343c15ad56)
![{\displaystyle x_{1}x_{2}\cdots x_{n}=(-1)^{n}{\frac {a_{0}}{a_{n}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae33688154396870190ab2283a94d6fb9817fbf1)
Queste formule possono essere messe sotto un'unica forma
![{\displaystyle \sum _{1\leq i_{1}<i_{2}<\cdots <i_{k}\leq n}x_{i_{1}}x_{i_{2}}\cdots x_{i_{k}}=(-1)^{k}{\frac {a_{n-k}}{a_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9f9f93dec62bac30399fdd3dbb5eac0ef0cd901)
per ogni
. In altre parole, la somma di tutti i possibili prodotti di
radici di
(con gli indici, di ogni prodotto, in ordine crescente così da evitare ripetizioni di monomi) equivale a
Questa formula di Viète vale, in forma più generale, per i polinomi con coefficienti in un qualsiasi anello commutativo, poiché in un tale anello un polinomio di grado
ha
radici.
Per un polinomio di secondo grado
, la formula di Viète afferma che le soluzioni
e
dell'equazione
soddisfano
![{\displaystyle x_{1}+x_{2}=-{\frac {b}{a}},\quad x_{1}x_{2}={\frac {c}{a}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc6152277a664f022e8c7fe6bd316cb271c235ce)
La prima di queste equazioni può essere usata per trovare il minimo (o il massimo) di P. Fai riferimento a polinomio di secondo ordine.
La formula di Viète può essere dimostrata rielaborando l'uguaglianza
;
questa è vera poiché
sono tutte e sole le radici del polinomio in esame. Si tratta poi di sviluppare il prodotto al secondo membro dell'equazione e di identificare i coefficienti di ogni potenza della variabile
Queste formule possono essere usate per dimostrare il teorema binomiale. Il polinomio
avrà infatti
radici coincidenti (in particolare
). Poiché evidentemente il coefficiente di grado
è
, dalle formule di Viète si avrà che:
![{\displaystyle (-y)+(-y)+\cdots +(-y)=-a_{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbf334a59f8b772e971bdf9a6dbcc7714e301542)
![{\displaystyle (y^{2}+y^{2}+\cdots +y^{2})+(y^{2}+y^{2}+\cdots +y^{2})+\cdots +y^{2}=a_{n-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd46fa4c16927f8e909d510d5f771a8790ba772c)
![{\displaystyle \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1d67495288eac0fa90d5bbcad7d9a343c15ad56)
![{\displaystyle y^{n}=a_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d78495f2b935fc30c8e9e0595b28b48ba17c20ac)
Il numero dei termini con
da sommare in un membro è uguale a tutti i gruppi di
termini su
che si possono formare. Tale numero corrisponde a:
![{\displaystyle {n \choose a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b3c7d7c967d625b2bf362f10bfaa84cbf96f30c)
così le formule precedenti si possono riformulare nel seguente modo:
![{\displaystyle {\begin{aligned}-{n \choose 1}y^{1}&=-a_{n-1}\\{n \choose 2}y^{2}&=a_{n-2}\\-{n \choose 3}y^{3}&=-a_{n-3}\\\dots \\{n \choose n}y^{n}&=a_{0}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/809d88d7705c169f025a665f8fdd728e9feb5126)
Quindi, moltiplicando eventualmente per
entrambi i termini abbiamo che:
![{\displaystyle {n \choose k}y^{k}=a_{n-k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb5db756e99e21fe5a88bf85d261e20cbfc97610)
Ossia:
Tramite queste formule si arriva a un risultato molto importante usato anche da Eulero nella sua soluzione del problema di Basilea, riguardante il coefficiente di primo grado. Infatti esso, per le formule di Viète, sarà uguale alla somma di tutti i termini formati dal prodotto di
radici cambiate di segno, moltiplicata per il coefficiente di
-esimo grado; ossia:
![{\displaystyle (-1)^{n-1}{\frac {a_{1}}{a_{n}}}=x_{2}x_{3}\dots x_{n}+x_{1}x_{3}\dots x_{n}+x_{1}x_{2}x_{4}\dots x_{n}+\dots +x_{1}x_{2}x_{3}\dots x_{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe2b3feb6e0b3ec6be09c35e9cbdf7430074f3b5)
Se il termine costante è diverso da 0, si può dividere tutta l'espressione cambiata di segno per esso, che vale (sempre per le formule di Viète):
![{\displaystyle (-1)^{n}{\frac {a_{0}}{a_{n}}}=x_{1}x_{2}x_{3}\dots x_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50cc190713c73bb5d336137a9bdc2e327d641cbb)
E si ottiene:
![{\displaystyle {\frac {-a_{1}}{a_{0}}}={\frac {-(x_{2}x_{3}\dots x_{n}+x_{1}x_{3}\dots x_{n}+x_{1}x_{2}x_{4}\dots x_{n}+\dots +x_{1}x_{2}x_{3}\dots x_{n-1})(-1)^{n}a_{n}}{(x_{1}x_{2}x_{3}\dots x_{n})(-1)^{n-1}a_{n}}}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fc15662ddc29b48a03485006a593934fe43aeec)
L'opposto del rapporto tra coefficiente di primo grado e termine noto è uguale alla somma dei reciproci delle radici. Da ciò deriva che, se un polinomio ha il termine costante uguale a 1, la somma dei reciproci delle sue radici è uguale al coefficiente del termine lineare cambiato di segno.