In this explainer, we will learn how to understand the relationships between the degree of a polynomial, its coefficients, and its roots and how to apply this knowledge to solve problems.
We begin by considering two important theorems regarding polynomials.
The Fundamental Theorem of Algebra
A polynomial of degree with complex coefficients has, when counted with multiplicity, exactly roots.
The statement “when counted with multiplicity” means that we should count repeated roots by their multiplicity, that is, the number of times they are repeated. For example, in the equation , we have a polynomial of degree four. However, we only count two distinct real roots. This is because the root at is a multiple root with multiplicity three; therefore, the total number of roots, when counted with multiplicity, is four as the theorem states. Notice that this theorem applies to polynomials with real coefficients because real numbers are simply complex numbers with an imaginary part of zero.
The proof of this theorem is beyond the scope of this explainer and requires more advanced mathematical concepts such as completeness, whereas understanding this theorem and its implications is of great importance and will be the focus of this explainer.
Example 1: Number of Roots of a Polynomial
How many roots does the polynomial have?
Using the fundamental theorem of algebra, the number of roots is equal to the degree of the polynomial. In this case, we have been given a polynomial in factored form. To find the degree, we could expand the parentheses to find the highest-degree term. Alternatively, we could save ourselves some work by just looking for the highest-degree terms in each pair of parentheses; then, the degree of the polynomial will be the degree of their product. In the first set of parentheses, the highest-degree term is which has a degree of two. In the second set of parentheses, the highest-degree term is which has a degree of three. Therefore, the product of these two terms will have a degree of 5 which will be the degree of the polynomial. Hence, the polynomial has 5 roots.
We now consider the next important theorem regarding the nature of the roots of polynomials.
Conjugate Root Theorem
Let be a polynomial with real coefficients. If the complex number (where ) is a root of , then its conjugate is also a root.
By using the properties of the complex conjugate, we can prove this theorem as we will demonstrate. Let be a polynomial: where are real numbers. Furthermore, let be a root of ; that is, . We consider the value of :
Using the property of complex conjugates that , we can rewrite this as
Since for are real numbers, we know that ; hence,
Using the multiplicative property of complex conjugates, , we can rewrite this as
Using the additive properties of complex conjugates , we have
Since is a root of , we know that ; hence, which demonstrates that is also a root of .
Example 2: The Nature of the Roots of Polynomials
Is it possible for a polynomial with real coefficients to have exactly 3 nonreal roots?
The conjugate root theorem tells us that for every nonreal root of a polynomial with real coefficients, its conjugate is also a root. Therefore, if a polynomial had exactly 3 nonreal roots, , , and , then for alpha we know that is also a nonreal root. Therefore, is equal to either or . Without loss of generality, we let . Now, we also know that since is a nonreal root, will also be a nonreal root. Hence, it will be equal to one of or . If , then, taking complex conjugates, we have
which implies . Similar reasoning shows that if , . Hence, we have a contradiction to the idea that we have three distinct nonreal roots which implies that it is impossible to have exactly 3 nonreal roots.
We will now consider the implications of these theorems for quadratics, cubics, and quartics with real coefficients. Beginning with quadratics, from the fundamental theorem of algebra, we know that any quadratic will have two roots. From the conjugate root theorem, we know that if the polynomial has real coefficients, then if it has any nonreal root, its roots will be a complex conjugate pair. If it has real roots, it could either have two distinct real roots or a single repeated root. To distinguish between these three different cases, we have the concept of the discriminant of the equation.
The discriminant of a quadratic equation is defined as . Often is used to denote the discriminant.
Using the discriminant, we identify the three different cases of quadratic equations as follows:
- Positive discriminant: , two real roots;
- Zero discriminant: , one repeated real root;
- Negative discriminant: , complex conjugate roots.
The graphs below depict each case.
Using the discriminant, we can determine the nature of the roots of a quadratic equation.
Example 3: Nature of the Roots of Quadratics
Determine the type of the roots of the equation .
We start by rearranging the equation into the standard form of a quadratic. Given we multiply through by , which gives
Expanding the parentheses, we have
Subtracting from both sides gives
By simple inspection, we can factor this equation to , from which we can see there is one repeated real root. It is not always possible to simply factor the equation, so a more general method is for us to calculate the discriminant . For this equation we have , , and . Hence,
Since the discriminant is zero, we know the equation has one repeated real root.
Turning our attention to cubic equations, the fundamental theorem of algebra tells us that each cubic will have three roots. If it also has real coefficients, we know that for any nonreal roots their complex conjugate is also a root. Therefore, we essentially have two possible cases:
- one real root and a complex conjugate pair of nonreal roots,
- three real roots.
In the case of three real roots, it is possible to have repeated roots. We could have one repeated real root with a multiplicity of three; for example, . Alternatively, we could have two real roots, one of which is repeated with a multiplicity of two; for example, .
One of the interesting results of the fundamental theorem of algebra and the conjugate root theorem is that a cubic with real coefficients always has at least one real root. In fact, these theorems show that any polynomial of odd degree has at least one real root.
The idea of the discriminant can be extended to general polynomials. However, it quickly becomes computationally complex and is usually best evaluated using a computer algebra system.
The next example will demonstrate how the conjugate root theorem can help us solve cubic equations.
Example 4: Roots of Cubics
Given that is one of the roots of the equation , find the other two roots.
Since is a root of , we know that is a divisor of . We could use this to factor out and then solve the resulting quadratic equation with complex coefficients. However, it will be far simpler to first apply the conjugate root theorem which tells us that will also be a root. Hence, is a factor of . Therefore, we can write
Expanding the parentheses, we have
Equating coefficients, we see that . Therefore, is also a root of the equation. Hence, the roots of the equation are , and .
Finally we turn our attention to quartic equations. Recall that a quartic equation is an equation of the form
Once again, by applying the fundamental theorem of algebra, we know that a quartic equation will have four roots. Similarly, the conjugate root theorem implies that, for a quartic with real coefficients, we essentially have three possible cases:
- all four of the roots are real,
- two of the roots are real and the other two form a nonreal complex conjugate pair,
- all of the roots are nonreal and formed of two complex conjugate pairs.
In the case of quartics, it is also possible to have repeated roots; we can have repeated real roots or even repeated complex roots.
Using the conjugate root theorem, we can solve quartic equations with real coefficients if we are given a single nonreal root as the final example will demonstrate.
Example 5: Roots of Quartics
Given that is a root of , find all the roots.
We begin by applying the conjugate root theorem to find the second root of the equation. Since is a polynomial with real coefficients and is a nonreal root, by the conjugate root theorem, will be a root of the equation. Therefore, is a factor of . Hence,
Expanding the parentheses of the right-hand side, we have
Gathering like terms, we get
We can solve for and by equating coefficients. From the constant term, we have , which gives . From the coefficient of , we have which gives . Using these values of and , we can check the equality of our other coefficients. This will ensure we have done our calculations correctly. Substituting and back into our equation, we have
By inspection, we see that . Hence, is a repeated root. Therefore, the roots of the equation are , , and .
- The fundamental theorem of algebra tells us that a polynomial of degree will have, when counted with multiplicity, roots.
- The conjugate root theorem tells us that nonreal roots of polynomials with real coefficients occur in complex conjugate pairs.
- As a result of these two theorems, we can categorize the nature of the roots of polynomials.
- We can use the conjugate root to help us solve cubic and quartic equations with real coefficients.
- All polynomials of odd degree with real coefficients have at least one real root.