This site is a work in progress. New lessons are added regularly.
Contact us
Sum and Product of Roots
Learning goals
Read r1+r2=−ab and r1r2=ac
Derive them by expanding the factored form and matching
Build a quadratic from roots, up to a nonzero scalar
Reduce a symmetric function of the roots to sum and product
Link (r1−r2)2 to Δ as the real-root test
State the converse with the condition s2−4p≥0
Running the chapter’s map backwards
You have three forms for the same quadratic, and each answers a question at sight. Standard form
ax2+bx+c hands you the y-intercept c and, through the sign of a, the end behavior. Vertex
form a(x−h)2+k hands you the vertex, the axis, and the range. Factored form a(x−r1)(x−r2)
hands you the zeros r1 and r2. Every earlier lesson moved from standard form toward factored form.
Now go backward. Multiply the factored form out and see what the coefficients have to be.
Suppose the quadratic ax2+bx+c with a=0 has real roots r1 and r2. Because the roots
are real, the quadratic factors over the real numbers, and it is a times the product of the two
factors those roots produce:
ax2+bx+c=a(x−r1)(x−r2).
The leading a is there so the squared terms match, since (x−r1)(x−r2) on its own starts with a
bare x2. Expand the right side:
Two polynomials are equal for every x only when their coefficients agree one at a time. The x2
terms already match. Line up the coefficient of x and the constant term:
b=−a(r1+r2)andc=ar1r2.
Divide each equation by a, which is legal because a=0:
r1+r2=−abandr1r2=ac.
Notice the hypothesis the argument used: the factorization a(x−r1)(x−r2) exists because the
roots are real, that is, because the discriminant satisfies Δ=b2−4ac≥0. When a=1
these collapse to r1+r2=−b and r1r2=c. The minus sign lives on the sum alone, and it
comes from the two −r1 and −r2 inside the factors.
∎
The point worth repeating is what did not happen. Nowhere did you solve for r1 or r2. You
matched coefficients, and the sum and product fell out of the letters. This is the reverse of every
other lesson in the chapter, and it is why this lesson closes it.
Expanding the factored form and stacking it above standard form. Matching the middle coefficients gives the sum of the roots, and matching the constants gives the product, with no solving.
A second derivation, straight from the formula
The matching argument is complete on its own, but there is a second route that is a pleasure to see. The
quadratic formula names the two roots outright:
r1=2a−b+Δ,r2=2a−b−Δ,Δ=b2−4ac.
Add them and multiply them directly, and the same two totals appear.
Confirming the sum and product from the quadratic formula#
Take Δ≥0, so Δ is a real number and both roots are real. Adding the two roots,
the +Δ and −Δ cancel exactly:
r1+r2=2a(−b+Δ)+(−b−Δ)=2a−2b=−ab.
Multiplying them, the numerator is a difference of squares, (−b)2−(Δ)2:
r1r2=4a2(−b+Δ)(−b−Δ)=4a2b2−Δ.
Now b2−Δ=b2−(b2−4ac)=4ac, so the product simplifies to
r1r2=4a24ac=ac.
Both totals agree with the matching argument. The cancellation of Δ in the sum, and the
difference of squares in the product, are why these totals stay clean. Both cancellations survive even
when the roots themselves are ugly irrational numbers.
∎
Worked example 1Read the sum and product of the roots of 2x2−11x+5 without solving
Read the coefficients: a=2, b=−11, c=5. First confirm the roots are real, so that the
totals mean something, by checking the discriminant:
Δ=b2−4ac=(−11)2−4(2)(5)=121−40=81≥0.
Since Δ≥0, apply the formulas directly:
r1+r2=−ab=−2−11=211,r1r2=ac=25.
No solving was needed. As a check, this quadratic happens to factor as (2x−1)(x−5), with roots
21 and 5, and indeed 21+5=211 while 21⋅5=25.
Check your understanding
Without solving, find the sum and product of the roots of 5x2+12x−9.
Read the coefficients: a=5, b=12, c=−9. The sum is −ab and the product is ac.
r1+r2=−512,r1r2=5−9=−59
So the sum is −512 and the product is −59. Only the sum carries the extra minus sign from −ab; the product keeps the sign of c.
Constructing a quadratic from its roots
The formulas run just as well in reverse. Given the two roots, you can write a quadratic without
expanding anything, because a monic quadratic (one whose leading coefficient is 1) with roots r1
and r2 is exactly
x2−(r1+r2)x+r1r2.
The coefficient of x is the negative of the sum, and the constant is the product with its own sign.
There is a caveat that matters. Scaling by any nonzero number leaves the roots untouched, since
a(x−r1)(x−r2) is zero at exactly r1 and r2 for every a=0. So the roots do not
determine the quadratic, only its shape. The whole family a(x−r1)(x−r2) shares those roots, and
you get a single answer only by fixing the leading coefficient. Choosing a=1 gives the monic one
above; that is the standard choice, but it is a choice.
Worked example 2Build a quadratic with roots 23 and −4 and integer coefficients
Start with the sum and product of the two roots:
r1+r2=23+(−4)=−25,r1r2=23⋅(−4)=−6.
Drop these into the monic template x2−(r1+r2)x+r1r2, watching that the middle coefficient
is the negative of the sum:
x2−(−25)x+(−6)=x2+25x−6.
That is a correct answer. To clear the fraction, multiply every term by 2, which scales the quadratic
without moving its roots:
2(x2+25x−6)=2x2+5x−12.
Both x2+25x−6 and 2x2+5x−12 have roots 23 and −4; they are the
same quadratic up to the scalar 2. Factoring the integer version back to (2x−3)(x+4) confirms
the roots.
Finding the other root
When one root is handed to you, the sum or the product recovers the other one in a single step, with no
factoring. Both totals work, and using both is a free check.
Worked example 3One root of 3x2−14x+8=0 is 4. Find the other root.
The roots add to −ab=314 and multiply to ac=38. Call the
known root r1=4 and use the sum to peel off the other:
r2=(r1+r2)−r1=314−4=314−12=32.
The product confirms it, since the roots multiply to 38 and 38÷4=32. The other root is 32.
Check your understanding
Which monic quadratic has roots 6 and −1?
Find the sum and product of the roots.
r1+r2=6+(−1)=5,r1r2=(6)(−1)=−6
The monic template is x2−(r1+r2)x+r1r2, so the quadratic is x2−5x−6. The middle coefficient is the negative of the sum 5, which is why it comes out as −5, and the constant keeps the product's sign.
Symmetric functions of the roots
Here is where the method earns its keep. Many quantities built from both roots can be rewritten using
only the sum and the product, so you can evaluate them without ever finding a single root. The key
identity comes from expanding a square:
The sum of the squares is the square of the sum minus twice the product. Two more follow the same way.
The sum of the reciprocals needs c=0 so that neither root is zero:
r11+r21=r1r2r2+r1=r1r2r1+r2.
And the squared difference of the roots, which will pay off in a moment:
(r1−r2)2=(r1+r2)2−4r1r2.
Worked example 4For the roots of x2−6x+4, evaluate r12+r22, r11+r21, and (r1−r2)2
This quadratic is monic, so r1+r2=−(−6)=6 and r1r2=4. Its discriminant is
Δ=36−16=20≥0, so the roots are real (they are the irrational numbers 3±5,
though you will never need to write that). Feed the two totals into each identity:
Every answer is a clean rational number even though the roots are irrational. That is the power of
working with symmetric combinations: the messy parts of the roots cancel.
Look again at that last line. For a monic quadratic, (r1−r2)2=(r1+r2)2−4r1r2=20,
which is exactly the discriminant Δ=20. That is no accident. In general,
This ties the discriminant from the previous lesson back to the roots themselves, and it explains whyΔ≥0 is precisely the condition for real roots. For real r1 and r2, the quantity
(r1−r2)2 is a real square, so it cannot be negative, which forces Δ=a2(r1−r2)2≥0.
The two roots are real exactly when the number the discriminant measures, their squared gap, is not
negative. Geometrically, the two roots sit symmetrically about the axis of symmetry x=−2ab,
and Δ measures how far apart they spread.
The two roots sit symmetrically about the axis of symmetry at x equals negative b over 2a. Their sum fixes the midpoint, and the discriminant fixes how far apart they spread.
Check your understanding
The roots of x2−8x+2 are real. Find r12+r22 without solving.
The quadratic is monic, so r1+r2=8 and r1r2=2. Use the identity for the sum of squares.
r12+r22=(r1+r2)2−2r1r2=82−2(2)=64−4=60
The common error is to answer 64, forgetting to subtract twice the product.
The converse, stated honestly
The forward story says: real roots give a sum −ab and a product ac. The natural
question is the converse. If someone hands you a target sum s and product p, are there real numbers
with that sum and product? Not always, and the exact condition is worth stating with its hypothesis
attached, because the careless version is false.
Real numbers with sum s and product p exist if and only if s2−4p≥0#
Let s and p be real numbers. We prove both directions.
First suppose real numbers r1 and r2 have sum s and product p. Then, by the squared-difference
identity,
(r1−r2)2=(r1+r2)2−4r1r2=s2−4p.
The left side is the square of a real number, so it cannot be negative, which gives s2−4p≥0.
Now the other direction. Suppose s2−4p≥0, and consider the monic quadratic x2−sx+p. Its
discriminant is (−s)2−4(1)(p)=s2−4p≥0, so it has real roots
r1,r2=2s±s2−4p.
By the sum and product formulas applied to this monic quadratic, r1+r2=s and r1r2=p. So
two real numbers with the required sum and product exist, and they are the roots of x2−sx+p.
∎
The hypothesis s2−4p≥0 is the whole point, and it is exactly what the following slogan drops.
That slogan is tempting but wrong: “any two numbers with sum s and product p are the roots of
x2−sx+p.” Real numbers with sum 5 and product 4 exist, since 52−4(4)=9≥0; they
are 1 and 4. But no real numbers have sum 5 and product 7, because 52−4(7)=−3<0.
Writing down x2−5x+7 does not conjure them into existence.
Worked example 5Do two real numbers have sum 6 and product 10? Sum 6 and product 8?
Test each pair with the condition s2−4p≥0. For sum 6 and product 10:
s2−4p=62−4(10)=36−40=−4<0.
The condition fails, so no real numbers add to 6 and multiply to 10. For sum 6 and product 8:
s2−4p=62−4(8)=36−32=4≥0.
The condition holds, so such numbers exist. They are the roots of x2−6x+8=(x−2)(x−4),
namely 2 and 4, which indeed sum to 6 and multiply to 8.
Checking a solution without solving again
The same two totals verify an answer you found by another method, which is a fast and independent check.
Suppose you solved 2x2−7x+3=0 and claim the roots are 3 and 21. The roots must sum
to −ab=27 and multiply to ac=23. Your pair gives
3+21=27 and 3⋅21=23, matching both totals, so the
solution is confirmed. A pair that matches only the sum, or only the product, is wrong; a correct pair
passes both tests at once.
Closing the chapter
Stand back and look at the whole chapter through its three forms. Standard form ax2+bx+c shows the
y-intercept and end behavior. Vertex form a(x−h)2+k shows the vertex, axis, and range. Factored
form a(x−r1)(x−r2) shows the zeros. Choosing a form is choosing which question you can answer
without work. This lesson took the last step, expanding factored form back into standard form, and here
is what that step found. Standard form was quietly carrying the sum and product of its roots the whole
time, folded into −ab and ac, even though the roots are invisible in it.
One honest boundary remains. Every derivation here assumed the roots were real, so that the factorization
a(x−r1)(x−r2) used real numbers. These identities actually survive into the next chapter, where
even a negative discriminant has roots and the same sum −ab and product ac still
hold. That is the story of complex numbers, and it begins the chapter after this one.
Common mistakes
Practice
Multiple Choice Questions (MCQ)
Progressively harder sets of questions. Each opens on its own page.
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.
A computer can get a quadratic wrong, and the formula is what betrays it.
Algebra is exact. Arithmetic on a machine is not, because every number is held to a fixed count of
digits. Take an equation in which b2 is enormously larger than 4ac. The square root of the
discriminant is then almost exactly the size of b. So one of the two roots is computed by
subtracting two numbers that agree in nearly every digit. Almost everything cancels, and what
survives is mostly rounding error. The answer can come back wrong in the first decimal place.
In 1966 the American computer scientist George Forsythe published a short report. It asked how a
machine ought to solve a quadratic equation. His answer was not the formula on its own. Take the root
whose two terms carry the same sign, so that nothing cancels. Then obtain the second root from the
product, dividing ac by the root you already hold.
That is this lesson’s identity doing a job no exercise asks of it. You proved that the roots multiply
to ac. You used that above to check an answer you had found some other way. It is also a
way to find one, and careful numerical software has leaned on it ever since.