Le formule di Waring sono formule algebriche utilizzate nella soluzione di un sistema simmetrico, e derivano dalle teorie di Edward Waring, matematico britannico del XVIII secolo.
Le formule più utilizzate sono quelle per potenze del binomio di ordine
oppure
, che sono quelle del quadrato e cubo del binomio. Questo calcolo serve a trasformare le potenze del binomio di variabili
e
in somme e prodotti di queste variabili. Tali somme e prodotti di queste variabili sono riconducibili alla forma canonica di un sistema simmetrico. Da notare che:
e
.







Per il postulato di Peano, la formula di Waring è deducibile per ogni potenza
Infatti la proprietà
è stata dedotta per
nei quali sono stati messi in evidenza i successivi passaggi algebrici, ed è perciò generalizzabile a
qualsiasi.
Come già per la quarta potenza nella quale viene sostituita la formula della seconda potenza del binomio, la ricorsione delle prime 4 in quelle di ordine
-esimo, permette di esprimere il tutto in potenze della somma e prodotto delle variabili
e
È opportuno vedere le formule di Waring in relazione ai sistemi simmetrici in quanto sono nate ed essenzialmente si usano in questo contesto, nel quale è necessario trasformare le variabili in somme e prodotti.
La risoluzione con questo metodo per ogni potenza
è evidente se si considera il triangolo di Tartaglia: data una potenza
per ogni termine del tipo
, ne esiste uno del tipo
. Con un raccoglimento a fattor comune dei due termini, si otterranno: un termine del tipo
, per
, ossia
.
Le formule di Waring sono deducibili (per una data potenza
) dalla formula di Tartaglia, scomponendo la sommatoria in tre tipi di termini:
,
per
pari,
dove:
![{\displaystyle m=[1;n],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b51e3f17749a9cd3ee2040dbd96d2dc7b0078620)
con
numero intero.
Dunque, nelle sommatorie troviamo: la potenza
-esima del binomio, il prodotto dei termini elevato a metà potenza, dei termini "misti" di potenze del prodotto dei termini e di loro somme secondo multipli interi di 2 (fino a
; o
, se
è dispari).
Abbiamo riportato le formule di Waring per potenze superiori alla quarta per generalizzare agevolmente la formula, a
qualsiasi.
![{\displaystyle a^{n}+b^{n}=(a+b)^{n}-\sum _{i=1}^{f_{1}}T_{i}a^{i}b^{i}[a^{n-2i}+b^{n-2i}]-f_{2},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9a01c6242ebd66d418b5036f774aef741029a73)
dove:
- per
dispari,
e
;
- per
pari,
e
, con
coefficiente
-esimo del triangolo di Tartaglia per la potenza
, iniziando a contare da quello più a sinistra.