Maths WorkshopMaths problems with full solutions
Exercise 2190Algebra › PolynomialsL1Added 3 Nov 2026

Newton's identities for three variables

#Newton identities#symmetric functions#power sums

Statement

Let x1,x2,x3x_1,x_2,x_3 be the roots of X3+αX2+βX+γ=0X^3+\alpha X^2+\beta X+\gamma=0. Let
pk=x1k+x2k+x3k(k≥1),p_k=x_1^k+x_2^k+x_3^k\quad(k\ge1),
and let e1,e2,e3e_1,e_2,e_3 be the elementary symmetric polynomials:
e1=x1+x2+x3,e2=x1x2+x2x3+x3x1,e3=x1x2x3.e_1=x_1+x_2+x_3,\quad e_2=x_1x_2+x_2x_3+x_3x_1,\quad e_3=x_1x_2x_3.
By Vieta, e1=−αe_1=-\alpha, e2=βe_2=\beta, e3=−γe_3=-\gamma.

Show Newton's identity for k=3k=3:
p3=e1p2−e2p1+3e3,p_3=e_1p_2-e_2p_1+3e_3,
equivalently
p3−e1p2+e2p1−3e3=0.p_3-e_1p_2+e_2p_1-3e_3=0.

Hint

Each root satisfies xi3+αxi2+βxi+γ=0x_i^3+\alpha x_i^2+\beta x_i+\gamma=0. Sum over i=1,2,3i=1,2,3 and rewrite α,β,γ\alpha,\beta,\gamma in terms of e1,e2,e3e_1,e_2,e_3.

Show solutionHide solution

Solution

Root equation. For i=1,2,3i=1,2,3,
xi3+αxi2+βxi+γ=0.x_i^3+\alpha x_i^2+\beta x_i+\gamma=0.

Sum over ii. Adding the three equations,
∑ixi3+α∑ixi2+β∑ixi+3γ=0,\sum_i x_i^3+\alpha\sum_i x_i^2+\beta\sum_i x_i+3\gamma=0,
i.e.
p3+αp2+βp1+3γ=0.p_3+\alpha p_2+\beta p_1+3\gamma=0.

Convert to ee-notation. Use α=−e1\alpha=-e_1, β=e2\beta=e_2, γ=−e3\gamma=-e_3:
p3−e1p2+e2p1−3e3=0.p_3-e_1p_2+e_2p_1-3e_3=0.

Solve for p3p_3.
p3=e1p2−e2p1+3e3.p_3=e_1p_2-e_2p_1+3e_3.

Check. With p1=e1p_1=e_1 and p2=e12−2e2p_2=e_1^2-2e_2 (the k=1k=1 and k=2k=2 cases of the same recurrence), the identity reads
p3=e1(e12−2e2)−e2e1+3e3=e13−3e1e2+3e3,p_3=e_1(e_1^2-2e_2)-e_2e_1+3e_3=e_1^3-3e_1e_2+3e_3,
which is the classical expression of p3p_3 in terms of e1,e2,e3e_1,e_2,e_3.

General form of Newton's identities. For k≥1k\ge1 and k≤nk\le n,
pk=e1pk−1−e2pk−2+⋯+(−1)k−1ek−1p1+(−1)k k ek,p_k=e_1p_{k-1}-e_2p_{k-2}+\cdots+(-1)^{k-1}e_{k-1}p_1+(-1)^k\,k\,e_k,
and for k>nk>n the last term disappears. For n=3n=3:
p1=e1,p2=e1p1−2e2,p3=e1p2−e2p1+3e3.p_1=e_1,\qquad p_2=e_1p_1-2e_2,\qquad p_3=e_1p_2-e_2p_1+3e_3.

Conclusion. p3=e1p2−e2p1+3e3p_3=e_1p_2-e_2p_1+3e_3; equivalently p3−e1p2+e2p1−3e3=0p_3-e_1p_2+e_2p_1-3e_3=0.