This site is a work in progress. New lessons are added regularly. Contact us

Vieta's Formulas

Learning goals

  • Expand an(xr1)(xrn)a_n(x - r_1)\cdots(x - r_n) and match coefficients
  • Write ek=(1)kankane_k = (-1)^k \tfrac{a_{n-k}}{a_n} for every kk
  • Trace the sign to the kk minus signs a term drags
  • Recover the quadratic sum and product as the n=2n = 2 case
  • Include every root, repeats and nonreal ones alike
  • Compute a symmetric function without finding the roots

Two ways to write the same polynomial

Take any polynomial of degree nn with a nonzero leading coefficient,

p(x)=anxn+an1xn1++a1x+a0,an0.p(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0, \qquad a_n \ne 0.

The Fundamental Theorem of Algebra says pp has nn roots over the complex numbers once they are counted with multiplicity. The factor theorem then turns each of those roots into a factor, so pp splits completely:

p(x)=an(xr1)(xr2)(xrn).p(x) = a_n(x - r_1)(x - r_2)\cdots(x - r_n).

Those two lines describe the same object in two different languages. The first one displays the coefficients and hides the roots. The second one displays the roots and hides the coefficients. They are equal, so multiplying out the second and comparing it against the first cannot fail to tell you how the roots and the coefficients are tied to each other. That comparison is the whole content of this lesson.

Start with the degree you have already seen. Expanding two factors is one application of the distributive law:

(xr1)(xr2)=x2r2xr1x+r1r2=x2(r1+r2)x+r1r2.(x - r_1)(x - r_2) = x^2 - r_2x - r_1x + r_1r_2 = x^2 - (r_1 + r_2)x + r_1r_2.

Divide ax2+bx+cax^2 + bx + c by aa so that both sides are monic, and set them side by side:

x2+bax+ca=x2(r1+r2)x+r1r2.x^2 + \frac{b}{a}x + \frac{c}{a} = x^2 - (r_1 + r_2)x + r_1r_2.

Reading off the coefficient of xx gives r1+r2=bar_1 + r_2 = -\frac{b}{a}, and reading off the constant term gives r1r2=car_1r_2 = \frac{c}{a}. There is the quadratics chapter, recovered in three lines. Now run exactly the same argument one degree higher and watch a formula appear that has no quadratic counterpart at all.

The cubic, expanded slowly

Multiply the three factors in two stages. Stage one is the product you just did, and stage two multiplies it by (xr3)(x - r_3), distributing across all three terms:

[x2(r1+r2)x+r1r2](xr3)=x3(r1+r2)x2+r1r2xr3x2+(r1+r2)r3xr1r2r3.\begin{aligned} \bigl[x^2 - (r_1 + r_2)x + r_1r_2\bigr](x - r_3) &= x^3 - (r_1 + r_2)x^2 + r_1r_2\,x \\[2pt] &\quad - r_3x^2 + (r_1 + r_2)r_3\,x - r_1r_2r_3. \end{aligned}

Now collect like powers. The two x2x^2 terms merge into (r1+r2+r3)x2-(r_1 + r_2 + r_3)x^2. The two xx terms merge into (r1r2+r1r3+r2r3)x(r_1r_2 + r_1r_3 + r_2r_3)x, because (r1+r2)r3=r1r3+r2r3(r_1 + r_2)r_3 = r_1r_3 + r_2r_3:

(xr1)(xr2)(xr3)=x3(r1+r2+r3)x2+(r1r2+r1r3+r2r3)xr1r2r3.\begin{aligned} (x - r_1)(x - r_2)(x - r_3) &= x^3 - (r_1 + r_2 + r_3)x^2 \\ &\quad + (r_1r_2 + r_1r_3 + r_2r_3)x - r_1r_2r_3. \end{aligned}

Stop and look at what the coefficients turned out to be, because the whole pattern is already visible. The coefficient of x2x^2 collects the roots one at a time. The coefficient of xx collects them two at a time, every possible pair exactly once. The constant term collects all three at once. And the signs alternate: minus, plus, minus.

Matching against a general cubic is now mechanical. Divide ax3+bx2+cx+dax^3 + bx^2 + cx + d by aa and compare:

x3+bax2+cax+da=x3(r1+r2+r3)x2+(r1r2+r1r3+r2r3)xr1r2r3.x^3 + \frac{b}{a}x^2 + \frac{c}{a}x + \frac{d}{a} = x^3 - (r_1 + r_2 + r_3)x^2 + (r_1r_2 + r_1r_3 + r_2r_3)x - r_1r_2r_3.

Equal polynomials have equal coefficients, so

r1+r2+r3=ba,r1r2+r1r3+r2r3=ca,r1r2r3=da.r_1 + r_2 + r_3 = -\frac{b}{a}, \qquad r_1r_2 + r_1r_3 + r_2r_3 = \frac{c}{a}, \qquad r_1r_2r_3 = -\frac{d}{a}.

The first of those is the old sum formula wearing a third root. The last of those is the old product formula, though it has picked up a minus sign the quadratic version did not have. The middle one is where the pattern’s real shape first shows. A quadratic has a “sum of the products of two roots” as well, namely r1r2r_1r_2, but a quadratic offers only one pair. So that sum has a single term, and it can pass for nothing more than “the product of the roots”. A cubic offers three pairs, so the same quantity finally has several terms to add up and can no longer be mistaken for anything else. The list of formulas grew by one as well, and it will grow by one more at every degree from here on.

Worked example 1 Read the three symmetric sums off 2x3+5x24x+62x^3 + 5x^2 - 4x + 6

Match the polynomial to ax3+bx2+cx+dax^3 + bx^2 + cx + d: here a=2a = 2, b=5b = 5, c=4c = -4, and d=6d = 6. Nothing has to be factored, and no root has to be found.

The sum of the roots is ba-\frac{b}{a}:

r1+r2+r3=52.r_1 + r_2 + r_3 = -\frac{5}{2}.

The sum of the products of pairs is ca\frac{c}{a}:

r1r2+r1r3+r2r3=42=2.r_1r_2 + r_1r_3 + r_2r_3 = \frac{-4}{2} = -2.

The product of all three roots is da-\frac{d}{a}:

r1r2r3=62=3.r_1r_2r_3 = -\frac{6}{2} = -3.

Every formula divides by the leading coefficient a=2a = 2, which is the step most often dropped. If the cubic had been monic, the three answers would have been the coefficients themselves with their signs flipped or kept. But this cubic is not monic, so each of the three answers is halved.

Check your understanding

For the cubic x3+2x27x+4x^3 + 2x^2 - 7x + 4, what is the product r1r2r3r_1r_2r_3 of its three roots?

Answer choices

Where the minus signs come from

The alternating sign is the part most students copy down without believing, so watch it being born.

Each factor of the product (xr1)(xr2)(xrn)(x - r_1)(x - r_2)\cdots(x - r_n) offers exactly two things: the xx, or the ri-r_i. Expanding the product means choosing one of those two from every factor, multiplying the nn choices together, and adding up the result over all 2n2^n ways to choose. A product of binomials contains nothing else.

Suppose one particular choice takes the root from kk of the factors and the xx from the other nkn - k. The factors that gave an xx contribute xnkx^{n-k}. The factors that gave a root do not contribute bare roots: each one arrives with the minus sign that sits in front of it inside its own factor. So kk roots drag exactly kk minus signs along with them, and those multiply to

(1)(1)(1)k of them=(1)k.\underbrace{(-1)(-1)\cdots(-1)}_{k \text{ of them}} = (-1)^k.

A term that uses kk roots therefore carries the sign (1)k(-1)^k and the power xnkx^{n-k}: negative when kk is odd, positive when kk is even. The sign has nothing to do with whether you happen to call the result a “sum” or a “product”. It counts how many roots the term used, and that is all it does.

How the sign of a term in the expansion is decidedEach of the three factors offers an x or a negative root. Choosing the root from two factors picks up two minus signs, which multiply to plus one, and the single remaining x gives the power of x.Pick one entry from each factor, then multiply them.(x − r1)(x − r2)(x − r3)xxx−r1−r2−r3x · (−r2) · (−r3) = + r2r3 xtwo roots chosen, so two minus signs, and (−1)2 = +1
Every term of the expansion takes one entry from each factor. Take the root from two of the three factors and you take two minus signs with it, so the term comes out positive, while the one leftover x fixes the power.

The whole family at once

Give these sums a name so the general result fits on one line. For roots r1,r2,,rnr_1, r_2, \ldots, r_n, define

e1=r1+r2++rn,e2=r1r2+r1r3++rn1rn,e3=r1r2r3+r1r2r4++rn2rn1rn,      en=r1r2rn.\begin{aligned} e_1 &= r_1 + r_2 + \cdots + r_n, \\[2pt] e_2 &= r_1r_2 + r_1r_3 + \cdots + r_{n-1}r_n, \\[2pt] e_3 &= r_1r_2r_3 + r_1r_2r_4 + \cdots + r_{n-2}r_{n-1}r_n, \\[2pt] &\;\;\;\vdots \\[2pt] e_n &= r_1r_2\cdots r_n. \end{aligned}

In words: eke_k adds up every product of kk of the roots, where each product uses kk different entries of the list r1,,rnr_1, \ldots, r_n. “Different entries” is not the same as “different values”: if a root appears twice in the list, both copies are available. Those two copies are treated as two separate roots that happen to be equal. These sums are the elementary symmetric functions of the roots. Symmetric, because swapping any two roots leaves every eke_k unchanged: you get back the same collection of products, merely written in a different order.

With that name in hand, the expansion argument of the last section says exactly this.

Vieta's formulas for a polynomial of degree nn#

Let p(x)=anxn+an1xn1++a1x+a0p(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0 with an0a_n \ne 0, and let r1,,rnr_1, \ldots, r_n be its roots over the complex numbers, each listed as many times as its multiplicity. The Fundamental Theorem of Algebra, applied repeatedly with the factor theorem, gives the complete factorization p(x)=an(xr1)(xr2)(xrn)p(x) = a_n(x - r_1)(x - r_2)\cdots(x - r_n). Dividing by ana_n makes both sides monic:

xn+an1anxn1++a1anx+a0an=(xr1)(xr2)(xrn).x^n + \frac{a_{n-1}}{a_n}x^{n-1} + \cdots + \frac{a_1}{a_n}x + \frac{a_0}{a_n} = (x - r_1)(x - r_2)\cdots(x - r_n).

Expand the right side by the distributive law. Multiplying out nn binomials means taking one entry from each factor, either the xx or the ri-r_i. Then multiply those nn chosen entries together, and sum the resulting products over every one of the 2n2^n ways to choose. Fix one such choice and suppose it takes the roots from exactly kk of the factors. The other nkn - k factors contribute an xx apiece, giving xnkx^{n-k}, and each of the kk chosen roots arrives with a minus sign in front of it. So the kk minus signs carried by those chosen roots multiply together to (1)k(-1)^k. That choice therefore contributes (1)k(-1)^k times a product of kk of the roots, times xnkx^{n-k}.

Group the choices by the value of kk. Every way of taking kk of the roots occurs exactly once, and each one produces the same power xnkx^{n-k} and the same sign (1)k(-1)^k. So the full coefficient of xnkx^{n-k} is (1)k(-1)^k times the sum of all products of kk roots, which is (1)kek(-1)^ke_k by definition. Letting kk run from 00 (take no roots at all, which leaves the leading xnx^n) up to nn (take every root, which leaves no xx at all),

(xr1)(xr2)(xrn)=xne1xn1+e2xn2+(1)nen.(x - r_1)(x - r_2)\cdots(x - r_n) = x^n - e_1x^{n-1} + e_2x^{n-2} - \cdots + (-1)^ne_n.

One step is left, and it is worth saying why it is legitimate rather than waving it through. If two polynomials are equal, their difference vanishes at every value of xx. A nonzero polynomial of degree dd has at most dd roots, since each root peels off a linear factor and the degree cannot go below zero. So a polynomial that vanishes at infinitely many values of xx must be the zero polynomial, and every one of its coefficients is 00. Equal polynomials therefore have identical coefficients, one power of xx at a time, and comparing them is honest.

So compare the coefficient of xnkx^{n-k} on the two sides of the monic identity. On the left it is ankan\frac{a_{n-k}}{a_n}; on the right it is (1)kek(-1)^ke_k. Hence (1)kek=ankan(-1)^ke_k = \frac{a_{n-k}}{a_n}, and multiplying both sides by (1)k(-1)^k, which is legal because (1)k(1)k=1(-1)^k(-1)^k = 1, gives

ek=(1)kankan,k=1,2,,n.e_k = (-1)^k\,\frac{a_{n-k}}{a_n}, \qquad k = 1, 2, \ldots, n.

That one line is the entire family, and every member of it was already sitting inside the factorization waiting to be multiplied out.

The formula is easiest to use as a table. Read the coefficient that sits kk steps down from the leading one, divide by ana_n, and attach the sign (1)k(-1)^k:

kkeke_k collectsits signits value
11every root, added up-an1an-\frac{a_{n-1}}{a_n}
22every product of two roots+++an2an+\frac{a_{n-2}}{a_n}
33every product of three roots-an3an-\frac{a_{n-3}}{a_n}
kkevery product of kk roots(1)k(-1)^k(1)kankan(-1)^k\frac{a_{n-k}}{a_n}

For monic polynomials the pattern is bare enough to memorize by looking at it:

(xr1)(xr2)=x2e1x+e2,(xr1)(xr2)(xr3)=x3e1x2+e2xe3,(xr1)(xr2)(xr3)(xr4)=x4e1x3+e2x2e3x+e4.\begin{aligned} (x - r_1)(x - r_2) &= x^2 - e_1x + e_2, \\[2pt] (x - r_1)(x - r_2)(x - r_3) &= x^3 - e_1x^2 + e_2x - e_3, \\[2pt] (x - r_1)(x - r_2)(x - r_3)(x - r_4) &= x^4 - e_1x^3 + e_2x^2 - e_3x + e_4. \end{aligned}

The signs march minus, plus, minus, plus across every row, and the sign on the constant term depends on the degree. That term is e3-e_3 for the cubic but +e4+e_4 for the quartic, because (1)3=1(-1)^3 = -1 while (1)4=+1(-1)^4 = +1. That single flip is the most common place to go wrong. So read the parity of kk every time rather than trusting a memory of “the product of the roots is negative”.

Check your understanding

A monic quartic x4+a3x3+a2x2+a1x+a0x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 has roots r1,r2,r3,r4r_1, r_2, r_3, r_4. What is the product r1r2r3r4r_1r_2r_3r_4?

Answer choices

The quadratic case, explained

Now set n=2n = 2 in the general formula and write the coefficients the way the quadratics chapter did, with a2=aa_2 = a, a1=ba_1 = b, and a0=ca_0 = c:

e1=r1+r2=(1)1a1a2=ba,e2=r1r2=(1)2a0a2=ca.e_1 = r_1 + r_2 = (-1)^1\frac{a_1}{a_2} = -\frac{b}{a}, \qquad e_2 = r_1r_2 = (-1)^2\frac{a_0}{a_2} = \frac{c}{a}.

Those are precisely the two formulas you were handed earlier, and now they are not two separate facts to memorize but two instances of one rule. The puzzle in the opening callout is answered too. The sum uses one root per term, so it drags along one minus sign and comes out negative. The product uses two roots, so it drags along two, and the two cancel. The asymmetry was never about sums versus products. It was about whether kk is odd or even, and a quadratic is simply too short for the pattern to show itself.

Every root belongs on the list

Vieta’s formulas are statements about the complete list of roots that the Fundamental Theorem of Algebra provides: nn of them, counted with multiplicity, taken over the complex numbers. Leave any one out and the formulas are not approximately true, they are false. Two cubics that differ only in their constant term make the point.

The first is x35x2+8x4x^3 - 5x^2 + 8x - 4, which factors as (x1)(x2)2(x - 1)(x - 2)^2. Its roots are 11, 22, and 22: the double root is two entries in the list, not one. Vieta says the roots sum to 51=5-\frac{-5}{1} = 5, and indeed 1+2+2=51 + 2 + 2 = 5. Had you listed only the distinct values 11 and 22, you would have got 33 and concluded the formula was broken. Multiplicity is not bookkeeping pedantry; the formula is simply false without it. The other two check out as well: 12+12+22=8=ca1 \cdot 2 + 1 \cdot 2 + 2 \cdot 2 = 8 = \frac{c}{a}, using both copies of the root 22, and 122=4=da1 \cdot 2 \cdot 2 = 4 = -\frac{d}{a}.

The second cubic, x35x2+8x6x^3 - 5x^2 + 8x - 6, differs only in its constant term, and it has a single real root. That does not mean it has a single root.

Worked example 2 Verify Vieta's formulas for x35x2+8x6x^3 - 5x^2 + 8x - 6, whose roots are 33, 1+i1 + i, 1i1 - i

Dividing the cubic by x3x - 3 leaves the quadratic factor x22x+2x^2 - 2x + 2, whose discriminant is 48=44 - 8 = -4, so its two roots are the complex conjugates 1+i1 + i and 1i1 - i. The complete list of roots is therefore 33, 1+i1 + i, 1i1 - i, and Vieta’s formulas describe that list, not just its real member.

The sum of the roots should be ba=5-\frac{b}{a} = 5. The two imaginary parts cancel:

3+(1+i)+(1i)=3+2=5.3 + (1 + i) + (1 - i) = 3 + 2 = 5.

The sum of the products of pairs should be ca=8\frac{c}{a} = 8. Use i2=1i^2 = -1 on the last product:

3(1+i)+3(1i)+(1+i)(1i)=(3+3i)+(33i)+(1i2)=6+2=8.\begin{aligned} 3(1 + i) + 3(1 - i) + (1 + i)(1 - i) &= (3 + 3i) + (3 - 3i) + (1 - i^2) \\ &= 6 + 2 = 8. \end{aligned}

The product of all three should be da=6-\frac{d}{a} = 6:

3(1+i)(1i)=32=6.3(1 + i)(1 - i) = 3 \cdot 2 = 6.

All three agree. Now try the same three checks with only the real root 33 on the list: the sum is 33, not 55, and the product is 33, not 66. Every formula fails at once. This is the single most common way Vieta’s formulas are misapplied, and note why the answers came out real despite the complex roots. For a polynomial with real coefficients the non-real roots arrive in conjugate pairs, and a conjugate pair has a real sum (22 here) and a real product (22 here).

Check your understanding

The cubic x3x2x+1x^3 - x^2 - x + 1 factors as (x1)2(x+1)(x - 1)^2(x + 1). What is the sum of its roots?

Answer choices

Reading the formulas backwards

The formulas run in both directions. Given the coefficients they hand you the symmetric sums, and given the roots they hand you the coefficients. The second direction is how a polynomial gets built from a prescribed set of roots.

Worked example 3 Build the monic cubic whose roots are 22, 1+i1 + i, and 1i1 - i

A monic cubic is x3e1x2+e2xe3x^3 - e_1x^2 + e_2x - e_3, so all three symmetric sums are needed. Compute them directly from the roots.

The sum of the roots:

e1=2+(1+i)+(1i)=4.e_1 = 2 + (1 + i) + (1 - i) = 4.

The sum of the products of pairs, using (1+i)(1i)=1i2=2(1 + i)(1 - i) = 1 - i^2 = 2:

e2=2(1+i)+2(1i)+(1+i)(1i)=(2+2i)+(22i)+2=6.e_2 = 2(1 + i) + 2(1 - i) + (1 + i)(1 - i) = (2 + 2i) + (2 - 2i) + 2 = 6.

The product of all three roots:

e3=2(1+i)(1i)=22=4.e_3 = 2(1 + i)(1 - i) = 2 \cdot 2 = 4.

Substituting into the monic template, with the signs alternating minus, plus, minus:

p(x)=x34x2+6x4.p(x) = x^3 - 4x^2 + 6x - 4.

Check it the long way if you like: (x2)(x22x+2)=x34x2+6x4(x - 2)(x^2 - 2x + 2) = x^3 - 4x^2 + 6x - 4, the same polynomial. Every coefficient came out real even though two of the roots were not. The reason is that the conjugate pair was kept together on the list, and its imaginary parts cancelled in each symmetric sum. Drop 1i1 - i and keep 1+i1 + i, and no polynomial with real coefficients can have that root set at all.

Symmetric facts without the roots

Here is what the formulas are actually for. A quantity built from the roots that survives any relabelling of them can be rewritten in terms of e1,e2,,ene_1, e_2, \ldots, e_n, and Vieta hands you those for free, straight off the coefficients. So you can compute such a quantity for a polynomial whose roots you have no hope of finding.

The classic example is the sum of the squares of the roots. Square e1e_1 and see what appears:

(r1+r2+r3)2=r12+r22+r32+2(r1r2+r1r3+r2r3).(r_1 + r_2 + r_3)^2 = r_1^2 + r_2^2 + r_3^2 + 2(r_1r_2 + r_1r_3 + r_2r_3).

The cross terms are exactly 2e22e_2, so subtracting them off isolates what you want:

r12+r22+r32=e122e2.r_1^2 + r_2^2 + r_3^2 = e_1^2 - 2e_2.

Nothing in that derivation cared that there were three roots. Squaring a sum always produces the squares plus twice every distinct pair, so the identity holds at any degree, which is why it is worth learning once.

Worked example 4 Find r12+r22+r32r_1^2 + r_2^2 + r_3^2 for 2x36x2+x52x^3 - 6x^2 + x - 5 without finding a single root

First check that the roots really are out of reach. The rational root theorem allows only ±1,±5,±12,±52\pm 1, \pm 5, \pm\frac{1}{2}, \pm\frac{5}{2} as rational candidates, and substituting each one gives a nonzero value, so this cubic has no rational root at all. Finding its roots by hand is not on the table.

The symmetric sums, on the other hand, are two lines of arithmetic. With a=2a = 2, b=6b = -6, c=1c = 1:

e1=ba=62=3,e2=ca=12.e_1 = -\frac{b}{a} = -\frac{-6}{2} = 3, \qquad e_2 = \frac{c}{a} = \frac{1}{2}.

Now apply the identity:

r12+r22+r32=e122e2=32212=91=8.r_1^2 + r_2^2 + r_3^2 = e_1^2 - 2e_2 = 3^2 - 2 \cdot \frac{1}{2} = 9 - 1 = 8.

The three roots are unknown, quite possibly ugly, and two of them may not even be real, and yet the sum of their squares is exactly 88. That is the whole point of the method: symmetric information about the roots is available without the roots.

The same trick answers plenty of other questions. The sum of the reciprocals of the roots of a cubic, for instance, needs only a common denominator:

1r1+1r2+1r3=r2r3+r1r3+r1r2r1r2r3=e2e3.\frac{1}{r_1} + \frac{1}{r_2} + \frac{1}{r_3} = \frac{r_2r_3 + r_1r_3 + r_1r_2}{r_1r_2r_3} = \frac{e_2}{e_3}.

That is legal exactly when no root is 00, and a root of 00 happens exactly when the constant term is 00, since p(0)=a0p(0) = a_0. For the cubic 2x36x2+x52x^3 - 6x^2 + x - 5 above, e3=52=52e_3 = -\frac{-5}{2} = \frac{5}{2}, so the reciprocals of its three unknown roots add up to 1/25/2=15\frac{1/2}{5/2} = \frac{1}{5}.

Worked example 5 Find the symmetric sums of the quartic 3x46x3+2x93x^4 - 6x^3 + 2x - 9

Write out every coefficient first, including the one that is missing. The quartic has no x2x^2 term, which does not mean there is no coefficient there; it means the coefficient is zero:

a4=3,a3=6,a2=0,a1=2,a0=9.a_4 = 3, \qquad a_3 = -6, \qquad a_2 = 0, \qquad a_1 = 2, \qquad a_0 = -9.

Now apply ek=(1)ka4ka4e_k = (-1)^k \frac{a_{4-k}}{a_4} four times, watching the sign flip with the parity of kk:

e1=a3a4=63=2,e2=+a2a4=03=0,e3=a1a4=23,e4=+a0a4=93=3.\begin{aligned} e_1 &= -\frac{a_3}{a_4} = -\frac{-6}{3} = 2, \\[2pt] e_2 &= +\frac{a_2}{a_4} = \frac{0}{3} = 0, \\[2pt] e_3 &= -\frac{a_1}{a_4} = -\frac{2}{3}, \\[2pt] e_4 &= +\frac{a_0}{a_4} = \frac{-9}{3} = -3. \end{aligned}

Two things are worth pausing on. The missing x2x^2 term is a real constraint, not a gap: it says the four roots pair up so that all six of their pairwise products cancel to exactly 00. And the product of the four roots is 3-3, taken with a plus sign in the formula, because k=4k = 4 is even. A cubic in the same position would have carried a minus sign. Read the parity, not your memory.

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Free Response Questions (FRQ)

Longer questions in parts, to be worked out on paper. Progressive hints, the answer on its own so you can check yourself and try again, then the full worked solution, plus a rubric to mark your own work against.

Free response Work it out on paper 5 questions Start →
More practice (optional)

Extra sets, as hard as the Challenge set. Each one opens on its own page.

More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (Optional)

These formulas carry the name of a man who would have thrown out half of your answers.

François Viète was a French lawyer who did mathematics in the hours the courts left him. He did write relations between the roots of an equation and its coefficients. He also refused most of the roots. A negative solution he declined to count at all, and an imaginary one was worse. So his relations held for some equations and quietly failed for others, with nothing in them to say which.

The repair came from Albert Girard, a Frenchman living in the Netherlands, in a short book of 1629. His move was stubborn rather than clever. Count every root, he said, including the ones everybody dismissed as impossible. Girard then stated the relations for every degree, not merely for quadratics, and at last they held with no exceptions. The same book claims that an equation of degree nn has exactly nn solutions once they are counted that way. That claim later became the Fundamental Theorem of Algebra, the result this whole lesson stands on.

So the rule you met here is not a piece of bookkeeping fussiness. Leave a single root off the list and the formulas are not approximately true, they are false. A repeated root is two separate entries, and a nonreal root is an entry like any other. Girard’s stubbornness was not bolted onto Vieta’s formulas afterwards. It is the thing that made them true.