For quadratic equations we know Vieta’s relations x1+x2=b/ax_1+x_2=-b/a, x1x2=c/ax_1x_2=c/a. The fundamental theorem of algebra, guaranteeing nn roots, allows us to extend them to an arbitrary polynomial: P(x)=anxn+an1xn1++a1x+a0,an0.P(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0, \qquad a_n\ne 0.

Property — Generalised Vieta's relations

Let r1,r2,,rnr_1,r_2,\ldots,r_n be the nn roots in C\mathbb{C} of PP (counted with multiplicity). Then: σ1=iri=an1an,σ2=i<jrirj=+an2an,σ3=i<j<krirjrk=an3an,σn=r1r2rn=(1)na0an.\begin{aligned} \sigma_1 = \sum_{i} r_i &= -\frac{a_{n-1}}{a_n}, \\ \sigma_2 = \sum_{i<j} r_i r_j &= +\frac{a_{n-2}}{a_n}, \\ \sigma_3 = \sum_{i<j<k} r_i r_j r_k &= -\frac{a_{n-3}}{a_n}, \\ &\,\vdots \\ \sigma_n = r_1 r_2\cdots r_n &= (-1)^n \frac{a_0}{a_n}. \end{aligned} In general σk=(1)kank/an\sigma_k = (-1)^k a_{n-k}/a_n.

Idea of the proof. From the factorisation P(x)=an(xr1)(xr2)(xrn)P(x)=a_n(x-r_1)(x-r_2)\cdots(x-r_n), one expands the product and compares the coefficients of xnkx^{n-k}: on the right one obtains exactly (1)kanσk(-1)^k a_n\,\sigma_k, on the left anka_{n-k}. ∎

Example — Cubic polynomial

P(x)=x36x2+11x6=(x1)(x2)(x3)P(x)=x^3-6x^2+11x-6=(x-1)(x-2)(x-3), with roots 1,2,31,2,3. σ1=1+2+3=6=a2/a3=(6)/1  σ2=12+13+23=11=a1/a3  σ3=123=6=a0/a3=(6)/1  \begin{aligned} \sigma_1 &= 1+2+3 = 6 = -a_2/a_3 = -(-6)/1 \;✓ \\ \sigma_2 &= 1\cdot 2 + 1\cdot 3 + 2\cdot 3 = 11 = a_1/a_3 \;✓ \\ \sigma_3 &= 1\cdot 2\cdot 3 = 6 = -a_0/a_3 = -(-6)/1 \;✓ \end{aligned}

Example — Without computing the roots

Given P(x)=2x45x3+x2+7x3P(x)=2x^4-5x^3+x^2+7x-3, compute r1+r2+r3+r4r_1+r_2+r_3+r_4 and r1r2r3r4r_1r_2r_3r_4 without solving: σ1=52=52,σ4=(+1)32=32.\sigma_1 = -\frac{-5}{2} = \frac{5}{2}, \qquad \sigma_4 = (+1)\cdot\frac{-3}{2} = -\frac{3}{2}. It works even when we cannot find the roots explicitly.

Topics: Complex numbers
Concepts: Vieta’s relations · Fundamental theorem of algebra
Methods: Vieta generalizzate
Skills: Prove · Use formulae
People: François Viète (Vieta)