Suppose α,β,γ are the three roots of the cubic x3+px2+qx+r=0. Since a monic polynomial with these roots must equal (x−α)(x−β)(x−γ), we can expand this product and compare it, coefficient by coefficient, with x3+px2+qx+r:
(x−α)(x−β)(x−γ)=x3−(α+β+γ)x2+(αβ+βγ+γα)x−αβγ.
Matching coefficients gives the three relations
S1=α+β+γ=−p,S2=αβ+βγ+γα=q,S3=αβγ=−r.
The same expansion carried out one degree higher, for the biquadratic x4+px3+qx2+rx+s=0 with roots α,β,γ,δ, gives
S1=∑α=−p,S2=∑αβ=q,S3=∑αβγ=−r,S4=αβγδ=s,
where each Sk is the sum of all products of the roots taken k at a time. In general, for any monic equation of degree n,
xn+p1xn−1+p2xn−2+⋯+pn=0,
with roots α1,…,αn, the pattern continues: Sk=(−1)kpk for every k from 1 to n. …