Vieta's Formulas
Learning goals
- Expand and match coefficients
- Write for every
- Trace the sign to the minus signs a term drags
- Recover the quadratic sum and product as the 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 with a nonzero leading coefficient,
The Fundamental Theorem of Algebra says has roots over the complex numbers once they are counted with multiplicity. The factor theorem then turns each of those roots into a factor, so splits completely:
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:
Divide by so that both sides are monic, and set them side by side:
Reading off the coefficient of gives , and reading off the constant term gives . 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 , distributing across all three terms:
Now collect like powers. The two terms merge into . The two terms merge into , because :
Stop and look at what the coefficients turned out to be, because the whole pattern is already visible. The coefficient of collects the roots one at a time. The coefficient of 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 by and compare:
Equal polynomials have equal coefficients, so
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 , 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
Match the polynomial to : here , , , and . Nothing has to be factored, and no root has to be found.
The sum of the roots is :
The sum of the products of pairs is :
The product of all three roots is :
Every formula divides by the leading coefficient , 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 , what is the product of its three roots?
The constant term of is , so for a monic cubic the product of the roots is the constant term with its sign flipped.
Here and :
The minus sign is not optional: three roots means three minus signs, and .
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 offers exactly two things: the , or the . Expanding the product means choosing one of those two from every factor, multiplying the choices together, and adding up the result over all ways to choose. A product of binomials contains nothing else.
Suppose one particular choice takes the root from of the factors and the from the other . The factors that gave an contribute . 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 roots drag exactly minus signs along with them, and those multiply to
A term that uses roots therefore carries the sign and the power : negative when is odd, positive when 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.
The whole family at once
Give these sums a name so the general result fits on one line. For roots , define
In words: adds up every product of of the roots, where each product uses different entries of the list . “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 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 #
Let with , and let 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 . Dividing by makes both sides monic:
Expand the right side by the distributive law. Multiplying out binomials means taking one entry from each factor, either the or the . Then multiply those chosen entries together, and sum the resulting products over every one of the ways to choose. Fix one such choice and suppose it takes the roots from exactly of the factors. The other factors contribute an apiece, giving , and each of the chosen roots arrives with a minus sign in front of it. So the minus signs carried by those chosen roots multiply together to . That choice therefore contributes times a product of of the roots, times .
Group the choices by the value of . Every way of taking of the roots occurs exactly once, and each one produces the same power and the same sign . So the full coefficient of is times the sum of all products of roots, which is by definition. Letting run from (take no roots at all, which leaves the leading ) up to (take every root, which leaves no at all),
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 . A nonzero polynomial of degree has at most 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 must be the zero polynomial, and every one of its coefficients is . Equal polynomials therefore have identical coefficients, one power of at a time, and comparing them is honest.
So compare the coefficient of on the two sides of the monic identity. On the left it is ; on the right it is . Hence , and multiplying both sides by , which is legal because , gives
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 steps down from the leading one, divide by , and attach the sign :
| collects | its sign | its value | |
|---|---|---|---|
| every root, added up | |||
| every product of two roots | |||
| every product of three roots | |||
| every product of roots |
For monic polynomials the pattern is bare enough to memorize by looking at it:
The signs march minus, plus, minus, plus across every row, and the sign on the constant term depends on the degree. That term is for the cubic but for the quartic, because while . That single flip is the most common place to go wrong. So read the parity of every time rather than trusting a memory of “the product of the roots is negative”.
Check your understanding
A monic quartic has roots . What is the product ?
The product of all the roots is with , so use with , :
Four factors each supply one minus sign, and four minus signs cancel in pairs. The cubic's minus sign does not carry over: for a cubic is odd, for a quartic is even.
The quadratic case, explained
Now set in the general formula and write the coefficients the way the quadratics chapter did, with , , and :
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 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: 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 , which factors as . Its roots are , , and : the double root is two entries in the list, not one. Vieta says the roots sum to , and indeed . Had you listed only the distinct values and , you would have got 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: , using both copies of the root , and .
The second cubic, , 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 , whose roots are , ,
Dividing the cubic by leaves the quadratic factor , whose discriminant is , so its two roots are the complex conjugates and . The complete list of roots is therefore , , , and Vieta’s formulas describe that list, not just its real member.
The sum of the roots should be . The two imaginary parts cancel:
The sum of the products of pairs should be . Use on the last product:
The product of all three should be :
All three agree. Now try the same three checks with only the real root on the list: the sum is , not , and the product is , not . 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 ( here) and a real product ( here).
Check your understanding
The cubic factors as . What is the sum of its roots?
The factorization gives the root with multiplicity and the root with multiplicity , so the complete list is .
Vieta agrees: . Adding only the distinct values and would give , which is the trap: a double root counts twice.
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 , , and
A monic cubic is , so all three symmetric sums are needed. Compute them directly from the roots.
The sum of the roots:
The sum of the products of pairs, using :
The product of all three roots:
Substituting into the monic template, with the signs alternating minus, plus, minus:
Check it the long way if you like: , 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 and keep , 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 , 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 and see what appears:
The cross terms are exactly , so subtracting them off isolates what you want:
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 for without finding a single root
First check that the roots really are out of reach. The rational root theorem allows only 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 , , :
Now apply the identity:
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 . 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:
That is legal exactly when no root is , and a root of happens exactly when the constant term is , since . For the cubic above, , so the reciprocals of its three unknown roots add up to .
Worked example 5 Find the symmetric sums of the quartic
Write out every coefficient first, including the one that is missing. The quartic has no term, which does not mean there is no coefficient there; it means the coefficient is zero:
Now apply four times, watching the sign flip with the parity of :
Two things are worth pausing on. The missing 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 . And the product of the four roots is , taken with a plus sign in the formula, because is even. A cubic in the same position would have carried a minus sign. Read the parity, not your memory.