D1 - Roots and coefficients

D1 - Roots and coefficients

You can find the sum of several unknown roots without solving the equation. Learn how a polynomial records sums and products of its roots, how to keep the signs correct, and how to recover sums of powers from that information.

Symmetric sums through quartic degree

The roots of x3−6x2+11x−6=0x^3-6x^2+11x-6=0 are α,β,γ\alpha,\beta,\gamma. Can you find α2+β2+γ2\alpha^2+\beta^2+\gamma^2 without finding any individual root? The coefficients already contain the information we need.

Start with two known roots, 22 and 55. Expanding their factors gives

(x−2)(x−5)=x2−(2+5)x+2×5=x2−7x+10(x-2)(x-5)=x^2-(2+5)x+2\times5=x^2-7x+10

The coefficient of xx is minus the sum of the roots; the constant is their product. For three roots, expanding one more bracket gives

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

Symmetric sums

A symmetric sum is unchanged when the roots are relabelled. Write e1e_1 for the sum of individual roots, e2e_2 for the sum of products of each distinct pair, and e3e_3 for the sum of products of each distinct triple. For four roots, e4e_4 is their product. Each pair or triple is counted once.

For a quartic, e2=αβ+αγ+αδ+βγ+βδ+γδe_2=\alpha\beta+\alpha\gamma+\alpha\delta+\beta\gamma+\beta\delta+\gamma\delta has six terms, and e3=αβγ+αβδ+αγδ+βγδe_3=\alpha\beta\gamma+\alpha\beta\delta+\alpha\gamma\delta+\beta\gamma\delta has four. The pattern comes from choosing a root term from some brackets and xx from the others.

Roots and coefficients

In each row a≠0a\ne0; include every root with its multiplicity, real or complex.

Equatione1e_1e2e_2e3e_3e4e_4
ax2+bx+c=0ax^2+bx+c=0−b/a-b/ac/ac/a——
ax3+bx2+cx+d=0ax^3+bx^2+cx+d=0−b/a-b/ac/ac/a−d/a-d/a—
ax4+bx3+cx2+dx+e=0ax^4+bx^3+cx^2+dx+e=0−b/a-b/ac/ac/a−d/a-d/ae/ae/a

These relationships are not in the formula booklet: learn them or derive them by expanding the factors.

Use the degree to decide what the last entry means: e2e_2 is the whole product only for a quadratic.

Worked example 1: reading a cubic

Question. Find e1,e2,e3e_1,e_2,e_3 for the roots of x3−6x2+11x−6=0x^3-6x^2+11x-6=0.

Plan. Compare the coefficients with x3−e1x2+e2x−e3x^3-e_1x^2+e_2x-e_3.

−e1=−6compare the x2 termse2=11compare the x terms−e3=−6compare constants\begin{aligned} -e_1&=-6 &&\text{compare the }x^2\text{ terms}\\ e_2&=11 &&\text{compare the }x\text{ terms}\\ -e_3&=-6 &&\text{compare constants} \end{aligned}

Answer. e1=6, e2=11, e3=6e_1=6,\ e_2=11,\ e_3=6.

Check. Here (x−1)(x−2)(x−3)(x-1)(x-2)(x-3) expands to the given cubic. The roots give 1+2+3=61+2+3=6, 2+3+6=112+3+6=11 and 1×2×3=61\times2\times3=6.

Now add one root, 44. This changes the degree and introduces a sum of triple products as well as the whole product.

Worked example 2: reading a quartic

Question. Find all four symmetric sums for x4−10x3+35x2−50x+24=0x^4-10x^3+35x^2-50x+24=0.

Plan. Match the coefficients to x4−e1x3+e2x2−e3x+e4x^4-e_1x^3+e_2x^2-e_3x+e_4.

e1=10,e2=35first two coefficientse3=50,e4=24last two coefficients\begin{aligned} e_1&=10,&e_2&=35 &&\text{first two coefficients}\\ e_3&=50,&e_4&=24 &&\text{last two coefficients} \end{aligned}

Answer. The sums are 10,35,50,2410,35,50,24, respectively.

Check. Multiplying the previous cubic by x−4x-4 gives this quartic. Its triple products sum to 6+8+12+24=506+8+12+24=50, and its product is 1×2×3×4=241\times2\times3\times4=24.

The relation works even when factorisation is inconvenient.

Watch out

Wrong for a quartic: “αβγδ=−d/a\alpha\beta\gamma\delta=-d/a”. The coefficient dd belongs to xx, so −d/a-d/a is the sum of four triple products. The whole product is e/ae/a.

Read a fresh quartic without solving it.

Signs, zero coefficients and repeated roots

Dividing the polynomial by its leading coefficient makes its first coefficient 11. This is the safest way to read signs, especially when the leading coefficient is negative.

The alternating signs belong to the factor expansion, not to a claim that the sums themselves are positive. A missing term has coefficient zero. It gives a zero symmetric sum; it need not make every root zero.

Multiplicity

A root has multiplicity mm when its factor occurs mm times. For x(x−2)2=0x(x-2)^2=0, the root list is 0,2,20,2,2, so the sum is 44, the pairwise sum is 44, and the product is 00. Repeated occurrences count separately.

An equation can be multiplied by any nonzero constant without changing its roots. Both the numerator coefficient and the leading coefficient change, so each ratio in the table stays the same.

Worked example 3: missing terms and multiplicity

Question. Find the four symmetric sums for 2x4−8x3+8x2=02x^4-8x^3+8x^2=0.

Plan. Insert the missing coefficients, then divide all coefficients by 22.

x4−4x3+4x2+0x+0=0normalise(e1,e2,e3,e4)=(4,4,0,0)compare alternating signs\begin{aligned} x^4-4x^3+4x^2+0x+0&=0 &&\text{normalise}\\ (e_1,e_2,e_3,e_4)&=(4,4,0,0) &&\text{compare alternating signs} \end{aligned}

Answer. e1=4, e2=4, e3=e4=0e_1=4,\ e_2=4,\ e_3=e_4=0.

Check. 2x2(x−2)22x^2(x-2)^2 gives roots 0,0,2,20,0,2,2. Only the pair of nonzero occurrences contributes to e2e_2, giving 2×2=42\times2=4; every triple contains a zero.

Change only the overall multiplier, from 22 to −3-3. The roots and all their symmetric sums must stay unchanged.

Worked example 4: a negative leading coefficient

Question. Find the four symmetric sums for −3x4+12x3−12x2=0-3x^4+12x^3-12x^2=0.

Plan. Divide by −3-3, retaining each sign change.

x4−4x3+4x2+0x+0=0divide every term by −3e1=−12/(−3)=4e2=(−12)/(−3)=4e3=0,e4=0\begin{aligned} x^4-4x^3+4x^2+0x+0&=0 &&\text{divide every term by }-3\\ e_1&=-12/(-3)=4\\ e_2&=(-12)/(-3)=4\\ e_3&=0,&e_4&=0 \end{aligned}

Answer. Again (e1,e2,e3,e4)=(4,4,0,0)(e_1,e_2,e_3,e_4)=(4,4,0,0).

Check. The polynomial is −3x2(x−2)2-3x^2(x-2)^2. Its roots, including multiplicity, are exactly the same as in Worked example 3.

A zero product guarantees at least one zero root, but a zero sum does not. For example, x2−1=0x^2-1=0 has roots 1,−11,-1, whose sum is zero.

Watch out

Wrong: the sum for −3x4+12x3−12x2=0-3x^4+12x^3-12x^2=0 is −12/3=−4-12/3=-4. The leading coefficient is −3-3, including its sign. Use −12/(−3)=4-12/(-3)=4.

Keep the zero terms and the negative leading coefficient visible in this check.

Identities and sums of powers

Squaring the sum of three roots produces their squares plus twice every pairwise product. Therefore the unknown roots can disappear from the calculation.

(α+β+γ)2=α2+β2+γ2+2(αβ+αγ+βγ)(\alpha+\beta+\gamma)^2 =\alpha^2+\beta^2+\gamma^2+2(\alpha\beta+\alpha\gamma+\beta\gamma)

Write pkp_k for the sum of powers of order kk of all roots, including multiplicities. Multiplying e1e_1 by p2p_2, then subtracting e2p1e_2p_1, cancels the mixed square terms; the triple products have been subtracted three times. This gives the second identity below.

Power sums from symmetric sums

For a cubic or quartic,

p2=e12−2e2p3=e1p2−e2e1+3e3\begin{aligned} p_2&=e_1^2-2e_2\\ p_3&=e_1p_2-e_2e_1+3e_3 \end{aligned}

For a quartic, each root satisfies r4−e1r3+e2r2−e3r+e4=0r^4-e_1r^3+e_2r^2-e_3r+e_4=0. Adding this equation for all four root occurrences gives

p4=e1p3−e2p2+e3e1−4e4p_4=e_1p_3-e_2p_2+e_3e_1-4e_4

The p2p_2 identity also holds for a quadratic; its p3p_3 identity has no 3e33e_3 term. These identities are not in the formula booklet: derive them or learn them.

The coefficient of e4e_4 is 44 because the constant is added once for each of the four root occurrences. No real-root assumption is needed.

Worked example 5: squares and cubes of cubic roots

Question. Without solving x3−6x2+11x−6=0x^3-6x^2+11x-6=0, find p2p_2 and p3p_3.

Plan. Read e1,e2,e3e_1,e_2,e_3, then substitute into the derived identities.

p2=62−2(11)=14remove pairwise termsp3=6(14)−11(6)+3(6)=36remove mixed cubes\begin{aligned} p_2&=6^2-2(11)=14 &&\text{remove pairwise terms}\\ p_3&=6(14)-11(6)+3(6)=36 &&\text{remove mixed cubes} \end{aligned}

Answer. p2=14p_2=14 and p3=36p_3=36.

Check. The roots happen to be 1,2,31,2,3: 1+4+9=141+4+9=14 and 1+8+27=361+8+27=36. They confirm the results but were not needed to obtain them.

Keep the same cubic and append its fourth root 44, as before. The new fourth-power calculation uses all four coefficient relations.

Worked example 6: powers of quartic roots

Question. Find p2,p3,p4p_2,p_3,p_4 for x4−10x3+35x2−50x+24=0x^4-10x^3+35x^2-50x+24=0, without solving it.

Plan. Use e1=10,e2=35,e3=50,e4=24e_1=10,e_2=35,e_3=50,e_4=24 successively.

p2=100−70=30p3=10(30)−35(10)+3(50)=100p4=10(100)−35(30)+50(10)−4(24)=354\begin{aligned} p_2&=100-70=30\\ p_3&=10(30)-35(10)+3(50)=100\\ p_4&=10(100)-35(30)+50(10)-4(24)\\ &=354 \end{aligned}

Answer. p2=30, p3=100, p4=354p_2=30,\ p_3=100,\ p_4=354.

Check. The root list 1,2,3,41,2,3,4 gives 1+16+81+256=3541+16+81+256=354 for the fourth powers; the square and cube totals exceed the previous totals by 1616 and 6464, respectively.

This is the useful surprise: coefficients can answer a question about roots even when the roots cannot be expressed conveniently.

Watch out

Wrong: ∑α2=(∑α)2\sum\alpha^2=(\sum\alpha)^2. The square on the right includes mixed products. Subtract 2e22e_2, so the opening problem gives 62−2(11)=146^2-2(11)=14.

Use the same identities on a polynomial with different coefficients.

Quick Recap

  • Divide by the leading coefficient and compare with the alternating-sign factor expansion.
  • Pairwise and triple sums count each distinct selection of root occurrences once; repeated roots retain their multiplicities.
  • A quartic has four symmetric sums, ending with its product e4e_4.
  • Power-sum identities eliminate individual roots; in particular, p2=e12−2e2p_2=e_1^2-2e_2.

The opening sum is α2+β2+γ2=14\alpha^2+\beta^2+\gamma^2=14, obtained directly from the coefficients without solving the cubic.