Cari amici, volevo tralasciare la formula ricorrente che risolve le espressioni richieste nell'articolo-quiz sulle somme delle potenze di uguale grado, ma Newton (e anche un certo Girard) mi è apparso in sogno e mi ha letteralmente obbligato a farlo (ha un carattere terribile!... sarà stata la mela sulla testa?). Mi spiace per voi, ma dovete condividere con me questa fatica...

Limitiamoci al nostro caso, in cui compaiono solo tre parametri o variabili (a, b, c).

Definiamo le seguenti espressioni:

S₀ = 1

S₁  = a + b + c

S₂ = ab + ac + bc

S₃ = abc

S₄ = 0

In poche parole, sono proprio quelle espressioni che siamo riusciti (Andy ed io) a determinare con vari passaggi algebrici.  Ovviamente se il pedice è maggiore del numero delle variabili (nel nostro caso 4 > 3), deve essere uguale a zero il prodotto di 4 variabili, dato che la quarta  variabile è uguale a zero (non esiste)

Se  avessimo quattro variabili (a, b, c, d) otterremmo:

So = 1

S1 = a + b + c + d

S2 = ab + ac + ad + bc + bd + cd

S3 = abc + abd + acd + bcd

S4 = abcd

S5 = 0

In poche parole, chi limita il loro valore diverso da zero è il NUMERO DI VARIABILI

Definiamo, adesso, un'altra espressione che è limitata solo dal GRADO  e non dal numero di variabili

Nel nostro caso (k = 3):

p₁ = a + b + c

p₂ = a² + b² + c²

p₃ = a³ + b³ + c³

......

p_n = aⁿ + bⁿ + cⁿ

In altre parole, fissato k (il numero delle variabili) abbiamo comunque un numero n  di valori di p, cioè il loro numero è proprio uguale al grado.

Teoricamente, il nostro problema si risolverebbe determinando i valori di a, b e c che risolvono le prime tre equazioni e poi potremmo determinare tutte le altre somme con grado sempre più alto. Vogliamo, invece, ricavare la stessa cosa SENZA conoscere le radici.

Le formule che ci interessano si chiamano identità di Newton, ma, in realtà, è più giusto chiamarle di Girard-Newton, dato che Girard l'aveva già descritte solo  per i quadrati, i cubi e le quarte potenze. Newton le ha generalizzate per tutte le potenze. Esse servono a esprimere la somma delle potenze ennesime delle radici del polinomio senza conoscerne le radici (in fondo è proprio il nostro caso...).  Newton lascia la dimostrazione al  lettore e così facciamo anche noi... ricordando che il primo a dimostrarle è stato  Maclaurin.

Nel caso generale esse dicono:

kS_k = S_{k -1} p₁ - S_k-2 p₂ + S_k-3 p₃ + ... + (-1)^k-1 S₀p_k

nel nostro caso, con k = 3

3S3 ₌ S2 p₁ - S1 p₂ + S0 p₃

Vogliamo provare a verificarla? Non è certo difficile ...

S0 = 1

S1 = a + b + c

S2 = ab + ac + bc

S3 = abc

S4 = 0

e

p1 = a + b + c

p2 = a² + b² + c²

p3 = a³ + b³ + c³

...

pn = aⁿ + bⁿ + cⁿ

 

3S3 = S2 p₁ - S1 p₂ + S0 p₃

3abc = (ab + ac + ab)(a + b + c) - (a + b + c)(a² + b² + c²) + 1 · (a³ + b³ + c³)

provate pure a eseguire i vari prodotti e alla fine troverete proprio:

3abc = 3abc

dato che tutti gli altri termini si eliminano a vicenda.

Noi, però, conosciamo già dall'inizio quante valgono p₁, p₂ e p₃, proprio 1, 2 e 3 rispettivamente. Per cui possiamo trovare i valori numerici di S1, S2 e S3 dalla formula generale, ponendo k = 1, 2 e 3

kS_k = S_{k -1} p₁ - S_k-2 p₂ + S_k-3 p₃ + ... + (-1)^k-1 S₀p_k

S1 = S0(a + b + c) = 1 · 1 = 1

S1 = 1

2S2 = S1 p₁ - S0 p2 = 1 · 1 - 1 (a² + b² + c²) = 1 - 2 = -1

S2 = -1/2

3S3 = S2 p₁ - S1 p₂ + S0 p₃ = (-1/2)(1) - (1)(2) + (1)(3) = -1/2 - 2 + 3 = 1 - 1/2 = 1/2

S3 = 1/6

A questo punto possiamo andare avanti quanto vogliamo, ricordando che, ovviamente, S_k>3 = 0

4S4 = 0 = S3 p₁ - S2 p₂ + S1 p₃ - S0 p₄ = (1/6)(1) - (- 1/2)(2) + (1)(3) - (1)p₄

L'unica incognita è proprio p₄ ossia (a⁴ + b⁴ + c⁴)

p₄ = 1/6 + 1 + 3

p₄ = 25/6

5S5 = 0 =  S4 p₁ - S3 p₂ + S2 p₃ - S1 p₄ + S0 p₅ = 0 - (1/6)(2)  + (-1/2)(3) - (1)(25/6) + (1) p₅

p₅ = 2/6 + 3/2 + 25/6 = (2 + 9 + 25)/6

p₅ = 6

6S6 = 0 = S5 p₁ - S4 p₂ + S3 p₃ - S2 p₄ + S1 p₅ - S0 p₆  = 0  - 0 + (1/6)(3) - (-1/2)(25/6) + (1)(6) - (1)p₆

0 = 3/6 + 25/12 + 6 - p₆

p₆ = (6 + 25 + 72)/12

p₆ = 103/12

e così via ...

Beh... possiamo fermarci qui. Andare oltre ci porterebbe fuori dallo scopo del nostro circolo che non vuole essere qualcosa dedicato solo agli specialisti.