Chapter 3
Theory of Equations
Polynomial equations, Vieta's formulae, nature of roots and Descartes' rule.
1. Polynomials, roots and multiplicity
A polynomial of degree in one variable is , with the leading coefficient . A number with is called a zero of the polynomial, or a root of the equation . If the leading coefficient is , the polynomial is called monic.
Every polynomial equation of degree has at least one root in . Applying this repeatedly, a degree- equation has exactly roots in when the roots are counted with their multiplicities.
So a degree- equation can have at most roots. It cannot have more, even after counting repeats — that upper bound is one of the most-used facts in the whole chapter.
is a root of multiplicity if divides but does not. A root of multiplicity is called a simple root.
2. Quadratic equations and the discriminant
For the discriminant is , and the roots are . When are real, decides the nature of the roots before you solve.
- : two distinct real roots.
- : equal real (repeated) roots.
- : no real roots — a conjugate pair of imaginary roots.
3. Vieta's formulae — roots ↔ coefficients
The roots of a polynomial are locked to its coefficients. You never need to solve the equation to know the sum or product of its roots — Vieta's formulae read them straight off. They come from expanding and matching coefficients.
4. Symmetric functions of the roots
Many problems ask for a symmetric expression in the roots — , , and so on. The trick is to rewrite each one using only , , , which Vieta hands you directly. The single most useful identity is:
5. Forming an equation from its roots
Vieta's formulae run in reverse: given the roots, you can write down the polynomial without multiplying out the factors. For a quadratic with roots :
For a cubic with roots the pattern continues with alternating signs:
6. Transforming the roots of an equation
A powerful idea: build a new equation whose roots are simple functions of the old roots — without ever finding those roots. The whole game is to express the new sum and product using the old and .
- Roots increased by (new roots ): replace by .
- Roots multiplied by (new roots ): replace by .
- Reciprocal roots (): reverse the coefficients — .
7. Imaginary and irrational (surd) roots
When the coefficients are restricted, non-real and irrational roots are forced to come in pairs. These theorems let you write down a second root for free — the key to reducing a high-degree problem.
If a polynomial has real coefficients and () is a root, then its conjugate is also a root.
If a polynomial has rational coefficients and (with irrational) is a root, then is also a root.
8. Using a known root to solve higher-degree equations
Once a conjugate pair is known, their factors multiply to a real (or rational) quadratic factor. Divide it out and the leftover quotient is easy to solve.
- An imaginary pair gives the factor .
- A surd pair gives the factor .
9. Special polynomial equations
Certain patterns in the coefficients hand you a root immediately, or collapse the degree. Spotting them is often the whole trick to a higher-degree question.
- Sum of all coefficients : then , so is a root.
- Sum of odd-power coefficients equals sum of even-power coefficients: then , so is a root.
- Only even powers of appear: substitute to halve the degree, solve, then take square roots.
10. Reciprocal equations
An equation whose coefficients read the same forwards and backwards (Type I: ) or the same in magnitude but opposite in sign (Type II: ). Its roots occur in reciprocal pairs and .
- Odd degree, Type I: is always a root.
- Odd degree, Type II: is always a root.
- Even degree, Type II: and are roots (the middle term is ).
- Even degree: divide through by and set (or ) to halve the degree.
11. Rational Root Theorem
When the coefficients are integers, this theorem turns root-guessing into checking a short finite list.
For a polynomial with integer coefficients, any rational root in lowest terms has dividing the constant term and dividing the leading coefficient .
12. Descartes' Rule of Signs
Before solving, you can bound how many positive and negative real roots are even possible, just by counting sign changes in the coefficients.
If is the number of sign changes in and is the number of positive real roots, then is a non-negative even integer. Apply the same rule to to bound the negative real roots.