Skip to content

Mathematics · Ch 9 — Theory of Equations

Relations between Roots and Coefficients

9.1.2

Relations between Roots and Coefficients

Suppose α,β,γ\alpha,\beta,\gamma are the three roots of the cubic x3+px2+qx+r=0x^3+px^2+qx+r=0. Since a monic polynomial with these roots must equal (x−α)(x−β)(x−γ)(x-\alpha)(x-\beta)(x-\gamma), we can expand this product and compare it, coefficient by coefficient, with x3+px2+qx+rx^3+px^2+qx+r:

(x−α)(x−β)(x−γ)=x3−(α+β+γ)x2+(αβ+βγ+γα)x−αβγ.(x-\alpha)(x-\beta)(x-\gamma)=x^3-(\alpha+\beta+\gamma)x^2+(\alpha\beta+\beta\gamma+\gamma\alpha)x-\alpha\beta\gamma.

Matching coefficients gives the three relations

S1=α+β+γ=−p,S2=αβ+βγ+γα=q,S3=αβγ=−r.S_1=\alpha+\beta+\gamma=-p,\qquad S_2=\alpha\beta+\beta\gamma+\gamma\alpha=q,\qquad S_3=\alpha\beta\gamma=-r.

The same expansion carried out one degree higher, for the biquadratic x4+px3+qx2+rx+s=0x^4+px^3+qx^2+rx+s=0 with roots α,β,γ,δ\alpha,\beta,\gamma,\delta, gives

S1=∑α=−p,S2=∑αβ=q,S3=∑αβγ=−r,S4=αβγδ=s,S_1=\sum\alpha=-p,\quad S_2=\sum\alpha\beta=q,\quad S_3=\sum\alpha\beta\gamma=-r,\quad S_4=\alpha\beta\gamma\delta=s,

where each SkS_k is the sum of all products of the roots taken kk at a time. In general, for any monic equation of degree nn,

xn+p1xn−1+p2xn−2+⋯+pn=0,x^n+p_1x^{n-1}+p_2x^{n-2}+\cdots+p_n=0,

with roots α1,…,αn\alpha_1,\ldots,\alpha_n, the pattern continues: Sk=(−1)kpkS_k=(-1)^kp_k for every kk from 11 to nn. …