Skip to content

Mathematics · Ch 4 — Theory of Equations

Relations Between the Roots and the Coefficients

4.2

Relations Between the Roots and the Coefficients

Write the general monic degree-nn equation as

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

and let α1,α2,…,αn\alpha_1,\alpha_2,\dots,\alpha_n be its roots. Comparing this with the factored form (x−α1)(x−α2)⋯(x−αn)(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_n) and expanding, the coefficient of each power of xx turns out to be (up to a sign) one of the elementary combinations of the roots. Writing sks_k for the sum of all products of the roots taken kk at a time, the pattern is

s1=∑αi=−p1,s2=∑i<jαiαj=p2,s3=∑i<j<kαiαjαk=−p3, …,sn=α1α2⋯αn=(−1)npn.s_1 = \sum \alpha_i = -p_1,\quad s_2 = \sum_{i<j}\alpha_i\alpha_j = p_2,\quad s_3 = \sum_{i<j<k}\alpha_i\alpha_j\alpha_k = -p_3,\ \ldots,\quad s_n = \alpha_1\alpha_2\cdots\alpha_n = (-1)^n p_n.

In words: the signs of s1,s2,s3,…s_1, s_2, s_3, \dots alternate starting from a minus sign, and each sks_k equals ±pk\pm p_k. For a cubic x3+p1x2+p2x+p3=0x^3+p_1x^2+p_2x+p_3=0 with roots α,β,γ\alpha,\beta,\gamma this reads α+β+γ=−p1\alpha+\beta+\gamma=-p_1, αβ+βγ+γα=p2\alpha\beta+\beta\gamma+\gamma\alpha=p_2, αβγ=−p3\alpha\beta\gamma=-p_3 — the same relations you already used for quadratics, just extended one degree further.

These relations are powerful in both directions. Given an equation, you can read off sums and products of the roots without solving it. Given the roots (or some of them), you can reconstruct the equation, because xn+p1xn−1+⋯+pn≡(x−α1)⋯(x−αn)x^n+p_1x^{n-1}+\cdots+p_n \equiv (x-\alpha_1)\cdots(x-\alpha_n) as polynomials, so simply multiplying out the factors gives the coefficients directly.

Worked example. If 2,−1,3,−22, -1, 3, -2 are the roots of x4+ax3+bx2+cx+d=0x^4 + ax^3 + bx^2 + cx + d = 0, find a,b,c,da,b,c,d. …