WDC Learn

Polynomials

Vieta's formulas and power sums, the remainder and factor theorems, rational roots, interpolation, transformed roots, and complex or unity roots.

≈3–4 problems per paper10 lessons6 worked examples30 practice problems4 videos

Polynomial problems are the bridge between algebra and number theory on the AMC 12. Early in the paper they look like routine substitution: plug in a value, expand a product, read off a coefficient. Later they become problems about structure, where the question asks for a symmetric quantity of the roots, a value at a point you never compute, or a property that holds for every polynomial with a given shape. The skill that separates the two is the habit of working with the roots and coefficients together, using Vieta's formulas, instead of trying to solve for the roots directly.

Problems escalate roughly as follows. Around #5 to #10 you use the remainder theorem and Vieta for a single quadratic. Around #11 to #15 you combine several relations: power sums, interpolation through given values, and divisibility of P(a)−P(b)P(a)-P(b). Around #16 to #20 the problems hide a polynomial inside a functional condition, a transformed root set, or a counting question about integer roots. The hardest items, #21 to #25, usually force a construction: you build a polynomial with prescribed values or prescribed roots, then extract the one quantity asked for, often through finite differences, a change of variable, or a clever use of roots of unity.

To study this topic, first make the identities automatic: remainder and factor theorems, the sign pattern of Vieta, and the recursion for power sums. Then practise recognising when a problem is really about one of three objects, the roots, the values, or the coefficients, and move between them deliberately. Finish by working through interpolation and roots of unity, which reward careful bookkeeping more than cleverness.

Helpful first: Algebraic Manipulation

1.Division, the remainder theorem and the factor theorem

Every polynomial P(x)P(x) with real coefficients can be divided by a linear polynomial x−ax-a. The division algorithm says P(x)=(x−a)Q(x)+RP(x)=(x-a)Q(x)+R, where QQ is a polynomial of degree one less than PP and RR is a constant, because the remainder must have degree less than 11. This single identity is the source of the two most useful facts about polynomials in contest problems.

Substitute x=ax=a into the identity. The term (x−a)Q(x)(x-a)Q(x) vanishes, so P(a)=RP(a)=R. This is the remainder theorem: the remainder on division by x−ax-a equals the value P(a)P(a). It means you can read a remainder without performing any long division at all. The factor theorem is the special case R=0R=0: the linear factor x−ax-a divides P(x)P(x) exactly if and only if P(a)=0P(a)=0, that is, if and only if aa is a root.

The same reasoning works for any divisor. If D(x)D(x) has degree dd, then P(x)=D(x)Q(x)+R(x)P(x)=D(x)Q(x)+R(x) with deg⁡R<d\deg R<d. For D(x)=(x−a)(x−b)D(x)=(x-a)(x-b) with a≠ba\ne b, the remainder is a line R(x)=px+qR(x)=px+q, and substituting x=ax=a and x=bx=b gives the two equations P(a)=pa+qP(a)=pa+q and P(b)=pb+qP(b)=pb+q. Solving them is usually quicker than dividing. This is the first appearance of an idea we will return to in the interpolation concept: a low-degree polynomial is determined by enough values.

Two practical consequences matter on the test. First, if PP has integer coefficients and aa is an integer, then P(a)P(a) is the remainder, so a divisibility condition such as (x−a)∣P(x)(x-a)\mid P(x) becomes the single equation P(a)=0P(a)=0. Second, a nonzero polynomial of degree nn has at most nn roots, which is proved by repeatedly applying the factor theorem: each root peels off one linear factor, and the degree drops by one each time. This counting argument is the reason that two polynomials of degree at most nn agreeing at n+1n+1 points must be equal, a fact used heavily in interpolation.

KEY FACTS
  • P(x)=(x−a)Q(x)+P(a)P(x)=(x-a)Q(x)+P(a) for every polynomial PP
  • (x−a)∣P(x)(x-a)\mid P(x) if and only if P(a)=0P(a)=0
  • Remainder on division by (x−a)(x−b)(x-a)(x-b) is px+qpx+q with pa+q=P(a)pa+q=P(a), pb+q=P(b)pb+q=P(b)
  • A nonzero polynomial of degree nn has at most nn roots

Spot it: The problem gives a value of a polynomial at a point, asks for a remainder, or says a linear or quadratic factor divides a polynomial.

COMMON MISTAKES
  • Taking the remainder of a quadratic divisor to be a constant; it is a linear polynomial px+qpx+q and needs two conditions.
  • Substituting the root into PP and forgetting that the answer is the remainder, not the quotient.
TRY IT

Find the remainder when x2024+x+1x^{2024}+x+1 is divided by x2−1x^2-1.

Practise this lesson (5 problems) →

2.Vieta's formulas for every degree

Vieta's formulas translate between the roots of a polynomial and its coefficients. Suppose P(x)=xn+cn−1xn−1+⋯+c1x+c0P(x)=x^n+c_{n-1}x^{n-1}+\cdots+c_1x+c_0 is monic, and let its roots be r1,…,rnr_1,\dots,r_n, counted with multiplicity. Then P(x)=(x−r1)(x−r2)⋯(x−rn)P(x)=(x-r_1)(x-r_2)\cdots(x-r_n). Expanding the product, the coefficient of xn−kx^{n-k} is (−1)kek(-1)^k e_k, where eke_k is the kk-th elementary symmetric polynomial of the roots, that is, the sum of all products of kk distinct roots. So e1=r1+⋯+rne_1=r_1+\cdots+r_n, e2=∑i<jrirje_2=\sum_{i<j}r_ir_j, and in general en=r1r2⋯rne_n=r_1r_2\cdots r_n.

The proof is just expansion. Choosing one of the nn factors to contribute xx and the others to contribute −ri-r_i produces the term (−1)kekxn−k(-1)^k e_k x^{n-k}, because each product of kk roots appears exactly once. You do not need to memorise the sign pattern: it alternates, and the constant term is (−1)n(-1)^n times the product of all roots.

For a quadratic ax2+bx+cax^2+bx+c with roots r,sr,s, dividing by aa gives r+s=−b/ar+s=-b/a and rs=c/ars=c/a. For a cubic x3+px2+qx+tx^3+px^2+qx+t with roots u,v,wu,v,w, we get u+v+w=−pu+v+w=-p, uv+vw+wu=quv+vw+wu=q, and uvw=−tuvw=-t. Notice the signs: the sum flips sign, the pairwise sum does not, and the product flips again. Students often write uvw=tuvw=t, which is the most common sign error on this topic.

Vieta is valuable because most questions about roots are questions about symmetric functions of roots. Any expression symmetric in the roots can be written in terms of the eke_k. For example ∑ri2=e12−2e2\sum r_i^2=e_1^2-2e_2, since (∑ri)2(\sum r_i)^2 counts each square once and each cross term 2rirj2r_ir_j once. Once you see that a quantity is symmetric, you can compute it from coefficients alone, which is the whole point of the formulas. When the leading coefficient is not 11, divide the whole polynomial by it first.

KEY FACTS
  • For monic PP of degree nn: ∑ri=−cn−1\sum r_i=-c_{n-1}, ∑i<jrirj=cn−2\sum_{i<j} r_ir_j=c_{n-2}, ∏ri=(−1)nc0\prod r_i=(-1)^n c_0
  • For axn+⋯ax^n+\cdots divide by aa first: e1=−bae_1=-\frac{b}{a}, e2=cae_2=\frac{c}{a} in a quadratic ax2+bx+cax^2+bx+c
  • Expanding ∑ri2=e12−2e2\sum r_i^2=e_1^2-2e_2 shows how symmetric sums reduce to coefficients

Spot it: The problem asks for a symmetric expression in the roots (sum, pairwise sum, product, sum of squares, reciprocals) and gives the polynomial rather than its roots.

COMMON MISTAKES
  • Forgetting the sign: for a cubic, uvw=−tuvw=-t and u+v+w=−pu+v+w=-p when the polynomial is x3+px2+qx+tx^3+px^2+qx+t.
  • Applying Vieta to a non-monic polynomial without dividing by the leading coefficient first.
TRY IT

The roots r,s,tr,s,t of x3−6x2+11x−6=0x^3-6x^2+11x-6=0 satisfy r+s+t=6r+s+t=6 and rs+st+tr=11rs+st+tr=11. What is r2+s2+t2r^2+s^2+t^2?

Practise this lesson (5 problems) →

3.Power sums and Newton's identities

A power sum is pk=r1k+r2k+⋯+rnkp_k=r_1^k+r_2^k+\cdots+r_n^k. Vieta gives p1=e1p_1=e_1 directly, but higher power sums are not elementary symmetric functions, so they need a recursion. Newton's identities provide it. For 1≤k≤n1\le k\le n they read pk−e1pk−1+e2pk−2−⋯+(−1)k−1ek−1p1+(−1)kkek=0p_k-e_1p_{k-1}+e_2p_{k-2}-\cdots+(-1)^{k-1}e_{k-1}p_1+(-1)^k k e_k=0, and for k>nk>n they simplify to pk=e1pk−1−e2pk−2+⋯+(−1)n−1enpk−np_k=e_1p_{k-1}-e_2p_{k-2}+\cdots+(-1)^{n-1}e_np_{k-n}.

The derivation is short. Each root rir_i satisfies P(ri)=0P(r_i)=0, so rin=−(cn−1rin−1+⋯+c0)r_i^n=-(c_{n-1}r_i^{n-1}+\cdots+c_0). Multiply by rik−nr_i^{k-n} for k≥nk\ge n and sum over ii. The left side gives pkp_k, and the right side gives a linear combination of earlier power sums with the coefficients of PP. Since the coefficients are ±ej\pm e_j by Vieta, the recursion has exactly the form above. For small kk the boundary terms with kekke_k come from the fact that pkp_k is not yet determined by the recursion alone.

A quadratic is the cleanest example. With roots r,sr,s, e1=r+se_1=r+s and e2=rse_2=rs, so p1=e1p_1=e_1, p2=e12−2e2p_2=e_1^2-2e_2, and for k≥3k\ge 3 the recursion is pk=e1pk−1−e2pk−2p_k=e_1p_{k-1}-e_2p_{k-2}. For x2−5x+3x^2-5x+3 we have p1=5p_1=5, p2=25−6=19p_2=25-6=19, and p3=5⋅19−3⋅5=80p_3=5\cdot 19-3\cdot 5=80. You can confirm the last value by expanding (r+s)3−3rs(r+s)=125−45=80(r+s)^3-3rs(r+s)=125-45=80.

Newton's identities are useful whenever a problem asks for ∑rik\sum r_i^k with kk larger than 22. Computing the roots is usually impossible on an exam, but the recursion lets you build pkp_k one step at a time from the coefficients. A common pattern is a problem with a polynomial of degree 33 or 44 and a request for p10p_{10} or a combination such as ∑ri5−∑ri4\sum r_i^{5}-\sum r_i^{4}. Write the recursion once, tabulate p1,…,pkp_1,\dots,p_k, and be careful with the signs, which alternate.

KEY FACTS
  • p1=e1p_1=e_1, p2=e12−2e2p_2=e_1^2-2e_2, p3=e13−3e1e2+3e3p_3=e_1^3-3e_1e_2+3e_3
  • For k>nk>n: pk=e1pk−1−e2pk−2+⋯+(−1)n−1enpk−np_k=e_1p_{k-1}-e_2p_{k-2}+\cdots+(-1)^{n-1}e_np_{k-n}
  • For a quadratic with roots r,sr,s: rk+sk=e1(rk−1+sk−1)−e2(rk−2+sk−2)r^k+s^k=e_1(r^{k-1}+s^{k-1})-e_2(r^{k-2}+s^{k-2})

Spot it: The problem asks for a sum of powers of roots, ∑rik\sum r_i^k, with a polynomial whose roots you are not asked to find.

COMMON MISTAKES
  • Using pk=e1pk−1−e2pk−2p_k=e_1p_{k-1}-e_2p_{k-2} for k=2k=2, which needs the separate formula p2=e12−2e2p_2=e_1^2-2e_2.
  • Mixing up the sign of e2e_2 in the recursion: the minus sign is between terms, not on e2e_2 itself.
TRY IT

Let rr and ss be the roots of x2−5x+3=0x^2-5x+3=0. Find r3+s3r^3+s^3.

Practise this lesson (6 problems) →

4.The rational root theorem

Suppose a polynomial anxn+⋯+a1x+a0a_nx^n+\cdots+a_1x+a_0 has integer coefficients, and suppose x=p/qx=p/q is a root written in lowest terms. Substitute and multiply through by qnq^n. Every term except a0qna_0q^n contains a factor of pp, so p∣a0qnp\mid a_0q^n. Since gcd⁡(p,q)=1\gcd(p,q)=1, we get p∣a0p\mid a_0. Symmetrically, multiplying the other way shows q∣anq\mid a_n. This is the rational root theorem: every rational root has numerator dividing the constant term and denominator dividing the leading coefficient.

The theorem does not find roots; it produces a finite list of candidates ±p/q\pm p/q with p∣a0p\mid a_0 and q∣anq\mid a_n. You then test each candidate. For a monic polynomial the denominator must be 11, so the rational roots are integers dividing a0a_0. That is why monic integer polynomials are so pleasant: the candidate list is just the divisors of the constant term, and a rational root is automatically an integer.

The theorem is most useful when combined with Vieta. Suppose you know one rational root rr from testing candidates. Then the factor theorem gives P(x)=(x−r)Q(x)P(x)=(x-r)Q(x), and Vieta applied to QQ reveals the remaining roots' sum and product. In the example below, testing candidates finds three rational roots, and their sum is read off from the coefficient of x2x^2 divided by the leading coefficient, without solving anything further.

Do not forget the converse direction, which is false. A polynomial may have irrational or complex roots, and the theorem says nothing about them. Also, a root being rational does not force it to be an integer unless the polynomial is monic. Students often test candidates ±p/q\pm p/q without restricting to divisors of a0a_0 and ana_n, which gives a much longer and error-prone list. Write the candidates explicitly before testing, and cross them off using the factor theorem.

KEY FACTS
  • If p/qp/q (lowest terms) is a root of anxn+⋯+a0a_nx^n+\cdots+a_0, then p∣a0p\mid a_0 and q∣anq\mid a_n
  • A rational root of a monic integer polynomial is an integer dividing the constant term
  • After finding a rational root rr, divide out (x−r)(x-r) and apply Vieta to the quotient

Spot it: The polynomial has integer coefficients and the problem asks for its rational roots, or a symmetric property of them after you test candidates.

COMMON MISTAKES
  • Listing candidates ±p/q\pm p/q without requiring p∣a0p\mid a_0 and q∣anq\mid a_n first, which makes the list far too long.
  • Assuming all roots are rational because one is, and forgetting the remaining quotient may have irrational roots.
TRY IT

The polynomial 2x3−3x2−11x+62x^3-3x^2-11x+6 has three rational roots. What is their sum?

Practise this lesson (3 problems) →

5.Integer-coefficient tricks: a−ba-b divides P(a)−P(b)P(a)-P(b)

Let PP have integer coefficients. For any integers aa and bb, the difference P(a)−P(b)P(a)-P(b) is divisible by a−ba-b. The reason is that each power satisfies ak−bk=(a−b)(ak−1+ak−2b+⋯+bk−1)a^k-b^k=(a-b)(a^{k-1}+a^{k-2}b+\cdots+b^{k-1}), and the second factor is an integer because aa and bb are integers. Multiplying by the integer coefficients and summing gives P(a)−P(b)=(a−b)⋅NP(a)-P(b)=(a-b)\cdot N for some integer NN. This is the basic divisibility principle for integer polynomials.

The consequence is a strong restriction on values. If P(3)=7P(3)=7, then P(8)−P(3)P(8)-P(3) must be divisible by 8−3=58-3=5, so P(8)≡7≡2(mod5)P(8)\equiv 7\equiv 2 \pmod 5. Likewise P(n)≡P(m)(modn−m)P(n)\equiv P(m)\pmod{n-m} for every pair of integers. This gives a quick way to rule out a candidate value without knowing the polynomial, and it also gives a way to construct polynomials: the linear polynomial P(x)=7+m(x−3)P(x)=7+m(x-3) with integer slope mm gives P(8)=7+5mP(8)=7+5m, so every value in the right residue class mod 55 is achieved by some integer-coefficient polynomial.

The same idea gives a divisibility test for roots. If P(a)=0P(a)=0 and P(b)=0P(b)=0 then a−b∣0a-b\mid 0 is automatic, so the principle is only useful when at least one value is nonzero. Its most common use is a contradiction: if P(a)P(a) and P(b)P(b) are given and a−ba-b does not divide their difference, then no integer-coefficient polynomial can take those values. Problems of this type ask whether a set of values is possible, and the answer is usually a single divisibility check.

For a polynomial with integer coefficients, also remember the parity trick: P(x)≡P(x+2)(mod2)P(x)\equiv P(x+2)\pmod 2 and more generally P(a)≡P(a mod m)(modm)P(a)\equiv P(a\bmod m)\pmod m for any modulus mm. When xx ranges over residues, P(x)P(x) takes only the values allowed by its residue mod mm. Combining the difference rule and the residue rule usually settles the question, so check both before doing heavy algebra.

KEY FACTS
  • For integer-coefficient PP and integers a,ba,b: (a−b)∣P(a)−P(b)(a-b)\mid P(a)-P(b)
  • Equivalently P(a)≡P(b)(moda−b)P(a)\equiv P(b)\pmod{a-b}, so the residue of P(a)P(a) mod a−ba-b is fixed
  • For integer PP and modulus mm, P(a) mod mP(a)\bmod m depends only on a mod ma\bmod m

Spot it: The problem gives values of an integer-coefficient polynomial at two integers and asks whether a value is possible, or for the least such value.

COMMON MISTAKES
  • Claiming P(a)−P(b)P(a)-P(b) is divisible by a+ba+b or by a2−b2a^2-b^2 instead of a−ba-b.
  • Using the principle with rational coefficients, where (a−b)∣P(a)−P(b)(a-b)\mid P(a)-P(b) can fail.
TRY IT

A polynomial P(x)P(x) has integer coefficients and P(3)=7P(3)=7. What is the smallest positive integer that P(8)P(8) can equal?

Practise this lesson (2 problems) →

6.Finite differences and the degree of a polynomial

Given values of a polynomial at equally spaced points x=0,1,2,…x=0,1,2,\dots, the finite differences organise the information. Let ΔP(x)=P(x+1)−P(x)\Delta P(x)=P(x+1)-P(x), and write Δk\Delta^k for kk iterations. The key fact is that if PP has degree dd, then ΔP\Delta P has degree d−1d-1, because the leading term cxdcx^d contributes c d xd−1c\,d\,x^{d-1} to the difference and lower terms contribute less. Iterating, ΔdP\Delta^d P is a constant, and Δd+1P=0\Delta^{d+1}P=0. So a polynomial of degree dd is detected by the first difference column that becomes constant.

The leading coefficient is also read off. Since Δd(xd)=d!\Delta^d(x^d)=d!, a polynomial of degree dd with leading coefficient cc has constant dd-th difference c⋅d!c\cdot d!. The lower difference columns give the polynomial itself, through Newton's forward-difference formula P(x)=∑k=0d(xk)ΔkP(0)P(x)=\sum_{k=0}^{d}\binom{x}{k}\Delta^kP(0). This formula is the discrete analogue of a Taylor expansion, and it lets you extrapolate: to find P(n)P(n) you simply compute the next entries of each difference column.

Here is a practical method for a contest. Write the values in a row, subtract adjacent entries to get the first difference row, and repeat. When a row becomes constant, you know the degree and the constant. To extend the sequence, add the constant back up through the rows. This works without ever writing down the polynomial, which is valuable when the coefficients are messy but the values are clean.

A caution: finite differences characterise polynomials only on a lattice of equally spaced integers. If the points are not equally spaced, use Lagrange interpolation instead. Also, a sequence whose dd-th difference is constant is a polynomial of degree dd in nn on the integers, but its values may not be polynomial at non-integers, so keep track of the domain in the problem.

KEY FACTS
  • Δk\Delta^k of a degree-dd polynomial is a polynomial of degree d−kd-k, so ΔdP\Delta^dP is constant
  • Δd(xd)=d!\Delta^d(x^d)=d!, so a leading coefficient cc gives constant dd-th difference c⋅d!c\cdot d!
  • Newton's forward formula: P(x)=∑k=0d(xk)ΔkP(0)P(x)=\sum_{k=0}^{d}\binom{x}{k}\Delta^kP(0)

Spot it: Values of a polynomial are given at consecutive integers and you need a later value, the degree, or the leading coefficient.

COMMON MISTAKES
  • Stopping at a nonconstant difference row, or concluding the degree from one row only.
  • Forgetting the factor d!d! when reading the leading coefficient from the constant dd-th difference.
TRY IT

A cubic polynomial PP satisfies P(0)=1P(0)=1, P(1)=2P(1)=2, P(2)=7P(2)=7 and P(3)=20P(3)=20. Find P(4)P(4).

Practise this lesson (2 problems) →

7.Lagrange interpolation and uniqueness

Suppose you know the values of a polynomial at n+1n+1 distinct points x0,…,xnx_0,\dots,x_n. Then there is exactly one polynomial of degree at most nn taking those values. Existence follows from Lagrange's formula, and uniqueness follows from the factor theorem: if two such polynomials agreed at n+1n+1 points, their difference would have degree at most nn and at least n+1n+1 roots, so it would be zero. This is the sharpest use of the root-counting idea from the first concept.

The Lagrange basis polynomials make the existence explicit. Define ℓi(x)=∏j≠ix−xjxi−xj\ell_i(x)=\prod_{j\ne i}\frac{x-x_j}{x_i-x_j}. Each ℓi\ell_i has degree nn, equals 11 at xix_i, and equals 00 at every other node, because the product contains the factor x−xjx-x_j for each j≠ij\ne i. The interpolating polynomial is then P(x)=∑iyi ℓi(x)P(x)=\sum_i y_i\,\ell_i(x), where yi=P(xi)y_i=P(x_i). Evaluating at a node picks out exactly one term, which is why the formula reproduces the given data.

For contest work you rarely need the full expansion. Usually you need one value, P(c)P(c), at a new point. Plugging cc into the formula gives P(c)=∑iyi∏j≠ic−xjxi−xjP(c)=\sum_i y_i\prod_{j\ne i}\frac{c-x_j}{x_i-x_j}, a finite sum of fractions. Choose nodes that make most basis polynomials vanish, for example x=0,1,2x=0,1,2 or a set containing your target point's neighbours, to keep the arithmetic small.

A powerful method uses uniqueness directly. If PP has degree at most nn and you know n+1n+1 values, compare PP with a simpler polynomial RR that matches the same values, for instance a polynomial of the form x2x^2 or a product of linear factors. Their difference vanishes at all nodes, so it is a multiple of ∏(x−xj)\prod(x-x_j). Once you see that structure, the unknown part of PP has a single free multiplier, which a leading-coefficient condition pins down. The example below uses exactly this, and it avoids expanding any Lagrange sum.

Lagrange interpolation also explains why values determine polynomials so tightly. A polynomial of degree at most 55 is fixed by six values, so a problem that supplies six values and asks for a seventh is really asking for the next value of a unique object, which the formula computes directly.

KEY FACTS
  • A polynomial of degree at most nn is determined by its values at n+1n+1 distinct points
  • Lagrange basis: ℓi(x)=∏j≠ix−xjxi−xj\ell_i(x)=\prod_{j\ne i}\frac{x-x_j}{x_i-x_j}, with ℓi(xk)=δik\ell_i(x_k)=\delta_{ik}
  • If PP and RR agree at n+1n+1 points and both have degree ≤n\le n, then P=RP=R

Spot it: The problem gives several values of a polynomial and a condition on its leading coefficient or degree, then asks for a value at another point.

COMMON MISTAKES
  • Forgetting that the interpolant must have degree at most nn, so the extra freedom is only the multiple ∏(x−xj)\prod(x-x_j).
  • Mixing up node values and coefficients: the formula uses the values yi=P(xi)y_i=P(x_i), not the coefficients of PP.
TRY IT

A monic cubic polynomial P(x)P(x) satisfies P(1)=1P(1)=1, P(2)=4P(2)=4 and P(3)=9P(3)=9. Find P(4)P(4).

Practise this lesson (3 problems) →

8.Transforming roots by substitution

Often a problem gives a polynomial whose roots are r1,…,rnr_1,\dots,r_n and asks about a transformed set, such as ri2r_i^2, 1/ri1/r_i, or ri+cr_i+c. You can answer the question with Vieta alone, but it is cleaner to build a new polynomial whose roots are the transformed values, then read off the answer. The general principle is this: if P(r)=0P(r)=0 and y=f(r)y=f(r), then the polynomial Q(y)Q(y) with roots f(ri)f(r_i) is the one obtained by eliminating rr from the system y=f(r)y=f(r) and P(r)=0P(r)=0.

Three transformations are routine. For a shift y=r+cy=r+c, substitute r=y−cr=y-c into PP, so Q(y)=P(y−c)Q(y)=P(y-c). For reciprocals y=1/ry=1/r, the polynomial with roots 1/ri1/r_i is the reversal of the coefficients, ynP(1/y)y^nP(1/y), up to scaling by the constant term. For squares, use the identity P(x)P(−x)P(x)P(-x), which is an even polynomial in xx. Its roots are ±ri\pm r_i, so writing it as Q(x2)Q(x^2) gives a polynomial whose roots are ri2r_i^2. The sign is fixed by matching the leading coefficient.

The squares method is the one students find surprising, so here is the reason. The roots of P(x)P(−x)P(x)P(-x) are the rir_i together with the −ri-r_i. Every such root has x2=ri2x^2=r_i^2, so P(x)P(−x)=±Q(x2)P(x)P(-x)=\pm Q(x^2), where QQ has roots ri2r_i^2. The even polynomial P(x)P(−x)P(x)P(-x) is the device that removes the sign ambiguity: its odd part cancels.

Once the new polynomial QQ is known, its coefficients give symmetric sums of the new roots through Vieta. For example, if P(x)=x3−2x+5P(x)=x^3-2x+5, then P(x)P(−x)=25−(x3−2x)2P(x)P(-x)=25-(x^3-2x)^2, which equals −(x6−4x4+4x2−25)-(x^6-4x^4+4x^2-25). So the squared roots satisfy y3−4y2+4y−25=0y^3-4y^2+4y-25=0, and their sum is 44. This is a faster route than computing ∑ri2=e12−2e2\sum r_i^2=e_1^2-2e_2 by hand, although both must agree, and checking them against each other is a useful habit.

KEY FACTS
  • Shift: if y=r+cy=r+c, the polynomial with roots yiy_i is P(y−c)P(y-c)
  • Reciprocal: the polynomial with roots 1/ri1/r_i is ynP(1/y)y^nP(1/y) up to a constant multiple
  • Squares: if P(x)P(−x)=±Q(x2)P(x)P(-x)=\pm Q(x^2), then QQ has roots ri2r_i^2

Spot it: A problem asks for a symmetric function of f(ri)f(r_i), such as ∑ri2\sum r_i^2 or ∑1/ri\sum 1/r_i, and it is easier to build a polynomial whose roots are the transformed values.

COMMON MISTAKES
  • Taking the reciprocal polynomial without reversing the coefficients, which gives the wrong roots.
  • Dropping the sign when squaring roots, so the constant term of QQ is wrong.
TRY IT

The roots of x3−2x+5=0x^3-2x+5=0 are r1,r2,r3r_1,r_2,r_3. What is r12+r22+r32r_1^2+r_2^2+r_3^2?

Practise this lesson (1 problem) →

9.Complex and conjugate roots

A polynomial with real coefficients may have complex roots, but they arrive in pairs. If PP has real coefficients and P(a+bi)=0P(a+bi)=0, then taking complex conjugates gives P(a−bi)=0P(a-bi)=0, because conjugation commutes with addition and multiplication and fixes real numbers. So non-real roots come in conjugate pairs a±bia\pm bi. Each such pair contributes a real quadratic factor (x−a)2+b2=x2−2ax+(a2+b2)(x-a)^2+b^2=x^2-2ax+(a^2+b^2) with real coefficients.

The consequence for counting is decisive. A real polynomial of odd degree has at least one real root, because non-real roots pair up and cannot account for an odd number of roots. A real cubic therefore has either three real roots or one real root together with a conjugate pair. A real quartic can have 00, 22 or 44 real roots, but never exactly one or three. These parity facts often rule out a configuration before any computation.

For a quadratic with roots a±bia\pm bi, the sum and product are real: the sum is 2a2a and the product is a2+b2a^2+b^2. This is why Vieta can be applied to a real polynomial whose roots include a complex pair without any imaginary arithmetic. If you know one complex root zz of a real polynomial, then zˉ\bar z is also a root, and the quadratic (x−z)(x−zˉ)(x-z)(x-\bar z) is a factor with real coefficients, which you can divide out.

The example below uses this structure in a cubic. Given one complex root, the conjugate root and the real root follow, and Vieta then determines the coefficients. Keep track of signs and remember that the product of the three roots of a monic cubic equals minus the constant term.

KEY FACTS
  • For real PP: P(z)=0P(z)=0 implies P(zˉ)=0P(\bar z)=0, so non-real roots come in pairs a±bia\pm bi
  • (x−(a+bi))(x−(a−bi))=x2−2ax+(a2+b2)(x-(a+bi))(x-(a-bi))=x^2-2ax+(a^2+b^2) is a real quadratic factor
  • A real polynomial of odd degree has at least one real root

Spot it: The coefficients are real and the problem gives a complex root, asks how many real roots there are, or asks for a coefficient given one non-real root.

COMMON MISTAKES
  • Assuming a real cubic with one complex root has its other roots arbitrary; the conjugate is forced.
  • Taking the conjugate of a root but not the sign of the imaginary part in the quadratic factor.
TRY IT

The polynomial x3+ax+bx^3+ax+b has real coefficients and 1+i1+i as a root. Find a+ba+b.

Practise this lesson (1 problem) →

10.Roots of unity (introductory)

A root of unity is a complex number ω\omega with ωn=1\omega^n=1. There are exactly nn of them, namely ωk=e2πik/n\omega_k=e^{2\pi ik/n} for k=0,1,…,n−1k=0,1,\dots,n-1, and they are the vertices of a regular nn-gon inscribed in the unit circle. Because xn−1x^n-1 has degree nn and these nn roots are distinct, the factor theorem gives xn−1=∏k=0n−1(x−ωk)x^n-1=\prod_{k=0}^{n-1}(x-\omega_k). This factorisation is the basic identity behind the whole subject.

From the factorisation you get several facts at once. Setting x=0x=0 gives ∏(−ωk)=−1\prod(-\omega_k)=-1 for odd nn, and comparing coefficients gives Vieta for the roots of unity. Taking the coefficient of xn−1x^{n-1} shows that the sum of all nn-th roots of unity is 00 whenever n≥2n\ge 2. Also 1+ω+ω2+⋯+ωn−1=01+\omega+\omega^2+\cdots+\omega^{n-1}=0 for ω≠1\omega\ne 1, which follows from the geometric series formula ωn−1ω−1=0\frac{\omega^n-1}{\omega-1}=0.

A standard technique is to differentiate the factorisation. Taking the logarithmic derivative gives ∑k1x−ωk=nxn−1xn−1\sum_k \frac{1}{x-\omega_k}=\frac{nx^{n-1}}{x^n-1}. Evaluating at a convenient xx turns a sum over roots of unity into a closed form. This is the key idea for problems asking for ∑1/(2−ωk)\sum 1/(2-\omega_k) or similar sums.

A second standard fact is that the powers of ω\omega cycle. If ωn=1\omega^n=1, then ωk\omega^k depends only on k mod nk\bmod n, so a sum ∑k=0N−1ωk\sum_{k=0}^{N-1}\omega^{k} is a sum over complete cycles plus a partial cycle, and complete cycles contribute 00. For a cube root ω=e2πi/3\omega=e^{2\pi i/3} the identity 1+ω+ω2=01+\omega+\omega^2=0 is the most common building block.

Roots of unity appear in problems about integer polynomials with symmetry, and about counting with filters. At this level the goal is to recognise the factorisation xn−1=∏(x−ωk)x^n-1=\prod(x-\omega_k) and the vanishing of sums of roots of unity. Harder uses, such as cyclotomic polynomials, belong to a later stage.

KEY FACTS
  • xn−1=∏k=0n−1(x−ωk)x^n-1=\prod_{k=0}^{n-1}(x-\omega_k) with ωk=e2πik/n\omega_k=e^{2\pi ik/n}
  • For n≥2n\ge 2: ∑k=0n−1ωk=0\sum_{k=0}^{n-1}\omega_k=0, and 1+ω+ω2=01+\omega+\omega^2=0 for ω=e2πi/3\omega=e^{2\pi i/3}
  • ∑k=0n−11x−ωk=nxn−1xn−1\sum_{k=0}^{n-1}\frac{1}{x-\omega_k}=\frac{nx^{n-1}}{x^n-1}

Spot it: A problem involves xn−1x^n-1, a sum over nn-th roots, a symmetric sum with nn terms, or a periodic power pattern.

COMMON MISTAKES
  • Forgetting that the nn roots of unity are distinct, which breaks the factorisation xn−1=∏(x−ωk)x^n-1=\prod(x-\omega_k) if you list them twice.
  • Writing ωk\omega^k for k≥nk\ge n without reducing modulo nn.
TRY IT

Let ω0,ω1,ω2\omega_0,\omega_1,\omega_2 be the three cube roots of unity. Find ∑k=0212−ωk\sum_{k=0}^{2}\frac{1}{2-\omega_k}.

Practise this lesson (3 problems) →

Use the polynomial as information about its roots.

A polynomial identity holds for every input; a root equation holds only at a root. Keeping those roles separate prevents many invalid substitutions. To find a remainder modulo a quadratic, reduce powers using that quadratic instead of performing a long division with thousands of terms.

For expressions involving all roots, Vieta is the first tool. If denominators contain shifted roots, the logarithmic-derivative identity converts a sum of reciprocals into two polynomial evaluations. It follows by differentiating the product form, so it does not depend on finding the individual roots.

Before you commit to a method

  • A remainder modulo a degree-two polynomial must have degree at most one.
  • Use the derivative identity only at an input where the polynomial is nonzero.
  • Count repeated roots with their multiplicities.

Two problems to work through

Try the question on paper before opening its solution. For each step, explain why it follows from the previous one.

Reduce an enormous power

Find the remainder of x2026+2x1013+3x^{2026}+2x^{1013}+3 on division by x2+x+1x^2+x+1.

Show the full reasoning
  1. Work modulo x2+x+1x^2+x+1. The relation x2≡−x−1x^2\equiv-x-1 gives x3≡1x^3\equiv1.
  2. Because 2026≡1(mod3)2026\equiv1\pmod3 and 1013≡2(mod3)1013\equiv2\pmod3, reduce the powers to xx and x2x^2.
  3. The expression is congruent to x+2x2+3x+2x^2+3.
  4. Substitute x2≡−x−1x^2\equiv-x-1 to obtain 1−x1-x, already of degree less than two.

Answer: 1−x1-x

Check or vary it: Test the method on x2025−1x^{2025}-1: its remainder is zero. The cycle is a consequence of this divisor, not a rule for all quadratics.

A sum over roots without solving

If r1,r2,r3r_1,r_2,r_3 are the roots of P(x)=x3−6x2+11x−6P(x)=x^3-6x^2+11x-6, find ∑i=131ri+1\sum_{i=1}^3\frac1{r_i+1}.

Show the full reasoning
  1. For a product P(x)=∏(x−ri)P(x)=\prod(x-r_i), the product rule gives P′(x)/P(x)=∑1/(x−ri)P^{\prime}(x)/P(x)=\sum1/(x-r_i).
  2. At x=−1x=-1, each denominator is −1−ri-1-r_i, which is the negative of the denominator we need.
  3. Compute P(−1)=−24P(-1)=-24 and P′(−1)=26P^{\prime}(-1)=26.
  4. The desired sum is −26/(−24)=13/12-26/(-24)=13/12.

Answer: 13/1213/12

Check or vary it: As a check, this polynomial has roots 1,2,31,2,3, so the sum is 1/2+1/3+1/41/2+1/3+1/4. For a harder polynomial the same identity still avoids solving it.

Make the method stick

Close the solutions and rewrite both arguments from memory. In the topic practice below, begin with an untimed warm-up, then work through the medium problems. If you miss one, write down the first step you could not justify before checking the solution. Retry it on another day without your notes.

Translate between roots and coefficients first

When a problem gives a polynomial and asks about its roots, write Vieta's relations before anything else. Symmetric expressions in the roots reduce to coefficients immediately, and only the non-symmetric parts need further work.

Divide out a known root

After finding one root by the rational root theorem or by inspection, divide the polynomial by the corresponding linear factor. The quotient has smaller degree, so Vieta and the remaining structure become easier to read.

Use two points to pin down a remainder

For a divisor (x−a)(x−b)(x-a)(x-b), the remainder is linear, so two values P(a)P(a) and P(b)P(b) determine it. Do not perform long division when the values are cheap to compute.

Check divisibility before solving

For integer-coefficient polynomials, test a−b∣P(a)−P(b)a-b\mid P(a)-P(b) and residues modulo small numbers. These checks often rule out an answer choice instantly.

Build the difference table

When values at consecutive integers are given, compute successive differences until a row is constant. The row that is constant gives the degree and the leading coefficient, and the table extends to the next value without finding the polynomial.

Count roots to force the polynomial

A degree-nn polynomial with n+1n+1 known roots or values is determined, and a difference of two candidate polynomials with too many roots must be zero. Use this uniqueness to replace guesswork with a single identity.

Try each one first. “How do I start?” gives the way in; then reveal the solution one step at a time.

Example 1: Squares of roots of a quadratic

Warm-up · #1–5

The roots rr and ss of x2−7x+k=0x^2-7x+k=0 satisfy r2+s2=25r^2+s^2=25. What is kk?

  1. (A)6
  2. (B)10
  3. (C)12
  4. (D)14
  5. (E)24
How do I start?

Turn r2+s2r^2+s^2 into a combination of r+sr+s and rsrs with Vieta.

Example 2: Reciprocals of roots

Easy · #6–10

The roots of x3−6x2+11x−6=0x^3-6x^2+11x-6=0 are r,s,tr,s,t. What is 1r+1s+1t\frac{1}{r}+\frac{1}{s}+\frac{1}{t}?

  1. (A)1
  2. (B)\frac{11}{6}
  3. (C)2
  4. (D)\frac{7}{3}
  5. (E)3
How do I start?

Sum of reciprocals is a ratio of two elementary symmetric functions.

Example 3: Remainder by a product of three linear factors

Medium · #11–15

A polynomial P(x)P(x) leaves remainder 22 when divided by x−1x-1, remainder 33 when divided by x−2x-2, and remainder 66 when divided by x−3x-3. What is the remainder when P(x)P(x) is divided by (x−1)(x−2)(x−3)(x-1)(x-2)(x-3), evaluated at x=4x=4?

  1. (A)9
  2. (B)10
  3. (C)11
  4. (D)12
  5. (E)13
How do I start?

The remainder on division by a cubic has degree at most 22, and three values determine it.

Example 4: Shifted roots and a sum of reciprocals

Hard · #16–20

Let r,s,tr,s,t be the roots of x3+2x−5=0x^3+2x-5=0. What is 1r+1+1s+1+1t+1\frac{1}{r+1}+\frac{1}{s+1}+\frac{1}{t+1}?

  1. (A)\frac{1}{8}
  2. (B)\frac{3}{8}
  3. (C)\frac{5}{8}
  4. (D)\frac{7}{8}
  5. (E)\frac{9}{8}
How do I start?

Shift the variable so the new roots are r+1r+1, then read the sum of reciprocals from the new polynomial.

Example 5: A monic quartic from four values

Hard · #16–20

P(x)P(x) is a monic quartic polynomial with P(1)=3P(1)=3, P(2)=5P(2)=5, P(3)=7P(3)=7 and P(4)=9P(4)=9. What is P(5)P(5)?

  1. (A)29
  2. (B)31
  3. (C)33
  4. (D)35
  5. (E)37
How do I start?

The values lie on the line 2x+12x+1, so the difference P(x)−(2x+1)P(x)-(2x+1) has known roots.

Example 6: Sum over nontrivial seventh roots of unity

Final five · #21–25

Let ω=e2πi/7\omega=e^{2\pi i/7}. What is ∑k=1611−ωk\sum_{k=1}^{6}\frac{1}{1-\omega^k}?

  1. (A)2
  2. (B)\frac{5}{2}
  3. (C)3
  4. (D)\frac{7}{2}
  5. (E)4
How do I start?

The sum over roots of unity of a rational function of xx comes from the logarithmic derivative of x7−1x^7-1.

General Vieta's Formulas for Polynomials
Existsforall Academy
Derives Vieta's relations for polynomials of any degree; watch it after the first concept to see the sign pattern in general.
Newton’s Sums - Finding the Sum of the Nth powers of the Roots of a Polynomial
Polynomial Maths
Walks through computing power sums of roots from the coefficients alone, the method behind the Newton's identities concept.
Lagrange Polynomial Interpolation (Step-by-Step Example)
Zach's Math Zone
A concrete step-by-step Lagrange interpolation example, useful for checking the basis-polynomial arithmetic before tackling contest problems.
Roots of Unity 01 Introduction
Anatomy of Algebra
A first introduction to roots of unity and why complex numbers are needed to describe them, a good start before the last concept.

30 problems, easy to hard

6 × Warm-up · #1–56 × Easy · #6–108 × Medium · #11–156 × Hard · #16–204 × Final five · #21–25
30 problems
All 30 problemsWarm-up (#1–10)Medium (#11–15)Hard (#16–25)

Next topic: Inequalities & Optimisation →