- Verberg vooruitgang Hide progress Toon vooruitgang Show progress
- Verwijder je antwoorden (op deze pagina) Remove your answers (on this page)
In Section Polydivision, we found that we can use synthetic division to determine if a given real number is a zero of a polynomial function. This section presents results which will help us determine good candidates to test using synthetic division. There are two approaches to the topic of finding the real zeros of a polynomial. The first approach is to use a little bit of Mathematics followed by a good use of technology like graphing utilities. The second approach makes good use of mathematical machinery (theorems) only. For completeness, we include the two approaches but in separate subsections. Both approaches benefit from the following two theorems, the first of which is due to the famous mathematician Augustin Cauchy. It gives us an interval on which all of the real zeros of a polynomial can be found.
There’s a lot going on in the statement of Cauchy’s Bound, so we’ll get right to an example and show how it is used. For those wanting a proof of Cauchy’s Bound, see Exercise CauchyBoundProofExercise in Section Summation.
Solution. To find the \(M\) stated in Cauchy’s Bound, we take the absolute value of the leading coefficient, in this case \(|2| = 2\) and divide it into the largest (in absolute value) of the remaining coefficients, in this case \(|-6| = 6\). This yields \(M=3\) so it is guaranteed that all of the real zeros of \(f\) lie in the interval \([-4,4]\). □
Whereas the previous result tells us where we can find the real zeros of a polynomial, the next theorem gives us a list of possible real zeros.
The Rational Zeros Theorem gives us a list of numbers to try in our synthetic division and that is a lot nicer than simply guessing. If none of the numbers in the list are zeros, then either the polynomial has no real zeros at all, or all of the real zeros are irrational numbers. To see why the Rational Zeros Theorem works, suppose \(c\) is a zero of \(f\) and \(c = \frac {p}{q}\) in lowest terms. This means \(p\) and \(q\) have no common factors. Since \(f(c) = 0\), we have
Multiplying both sides of this equation by \(q^n\), we clear the denominators to get
Rearranging this equation, we get
Now, the left hand side is an integer multiple of \(p\), and the right hand side is an integer multiple of \(q\). (Can you see why?) This means \(a_{n}p^{n}\) is both a multiple of \(p\) and a multiple of \(q\). Since \(p\) and \(q\) have no common factors, \(a_{n}\) must be a multiple of \(q\). If we rearrange the equation
as
we can play the same game and conclude \(a_0\) is a multiple of \(p\), and we have the result.
Solution. To generate a complete list of rational zeros, we need to take each of the factors of constant term, \(a_0 = -3\), and divide them by each of the factors of the leading coefficient \(a_4 = 2\). The factors of \(-3\) are \(\pm \, 1\) and \(\pm \, 3\). Since the Rational Zeros Theorem tacks on a \(\pm \) anyway, for the moment, we consider only the positive factors \(1\) and \(3\). The factors of \(2\) are \(1\) and \(2\), so the Rational Zeros Theorem gives the list \(\left \{\pm \, \frac {1}{1}, \pm \, \frac {1}{2}, \pm \, \frac {3}{1}, \pm \, \frac {3}{2}\right \}\) or \(\left \{\pm \, \frac {1}{2}, \pm \, 1, \pm \, \frac {3}{2}, \pm \, 3\right \}\). □
Our discussion now diverges between those who wish to use technology and those who do not.
At this stage, we know not only the interval in which all of the zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) are located, but we also know some potential candidates. We can now use our calculator to help us determine all of the real zeros of \(f\), as illustrated in the next example.
Solution.
In Example 1, we determined all of the real zeros of \(f\) lie in the interval \([-4, 4]\), so we use Desmos to graph \(f\) restricted to that portion of the \(x\)-axis.
In Example 2, we learned that any rational zero of \(f\) must be in the list \(\left \{\pm \, \frac {1}{2}, \pm \, 1, \pm \, \frac {3}{2}, \pm \, 3\right \}\). From the graph, it looks as if we can rule out any of the positive rational zeros, since the graph seems to cross the \(x\)-axis at \(x \approx 1.225\). On the negative side, \(x=-1\) looks good, while the other negative real root displayed, \(x \approx - 1.225\) is, like its positive counterpart, likely an approximation of an irrational zero. The shape of the graph near \((-1,0)\) suggests that if \(x=-1\) is a zero, it is of multiplicity at least two. We set about synthetically dividing:
\( \begin{array}{r} -1 \quad |\quad 2 \quad \quad 4 \quad \quad -1 \quad \quad -6 \quad \quad -3\\ \underline {\downarrow \quad -2 \quad \quad -2 \phantom {11}\quad \quad 3 \phantom {11.}\quad \quad 3}\\ \quad \quad 2 \quad \quad 2 \quad \quad -3 \quad \quad -3 \quad \quad \fbox {0} \end{array} \)
Since \(f\) is a fourth degree polynomial, we know that our quotient is a third degree polynomial. If we can do one more successful division, we will have reduced the quotient to a quadratic, and we can use the quadratic formula, if needed, to find the two remaining zeros. Continuing with \(x=-1\):
\( \begin{array}{r} -1 \quad |\quad 2 \quad \quad 4 \quad \quad -1 \quad \quad -6 \quad \quad -3\\ \underline {\downarrow \quad -2 \quad \quad -2 \phantom {11}\quad \quad 3 \phantom {11.}\quad \quad 3}\\ -1 \quad |\quad 2 \quad \quad 2 \quad \quad -3 \quad \quad -3 \quad \quad \fbox {0}\\ \underline {\downarrow \phantom {.}\quad -2 \quad \quad \quad 0 \quad \quad \phantom {1.} 3 \phantom {\quad \quad \fbox {0}}}\\ 2 \phantom {1.}\quad \quad 0 \phantom {1.}\quad -3 \phantom {1.}\quad \fbox {0} \phantom {\quad \quad \fbox {0}} \end{array} \)
Our quotient polynomial is now \(2x^2 - 3\). Setting this to zero gives \(2x^2 - 3 = 0\), or \(x^2 = \frac {3}{2}\), which gives us \(x = \pm \, \frac {\sqrt {6}}{2}\). Based on our division work, we know that \(-1\) has a multiplicity of at least \(2\). The Factor Theorem tells us our remaining zeros, \(\pm \, \frac {\sqrt {6}}{2}\), each have multiplicity at least \(1\). However, Theorem ?? tells us \(f\) can have at most \(4\) real zeros, counting multiplicity, and so we conclude that \(-1\) is of multiplicity exactly \(2\) and \(\pm \, \frac {\sqrt {6}}{2} \approx \pm 1.225\) each has multiplicity \(1\). If we zoom in near \((-1,0)\) on our Desmos graph, we find the graph of \(y = f(x)\) touches and rebounds from the \(x\)-axis at \((-1,0)\), typical behavior near a zero of multiplicity 2. Doing the same near the other two \(x\)-intercepts shows the graph of \(f\) crosses through the \(x\)-axis in a linear fashion.
□
Our next example shows how even a mild-mannered polynomial can cause problems.
Solution.
Graphing \(y=f(x)\) on the interval \([-13,13]\) using Desmos shows \(x\)-intercepts at (roughly) \((\pm 1.732, 0)\), which means none of our rational zeros will work. (Why not?)
A couple of remarks are in order. First, the graph of \(f(x) = x^4 + x^2 - 12\) appears to be symmetric about the \(y\)-axis. Sure enough, we find \(f(-x) = (-x)^4+(-x)^2 - 12 = x^4+x^2=12 = f(x)\) proving \(f\) is, indeed, an even function, thus proving the symmetry suggested by the graph. Second, the technique used to factor \(f(x)\) in Example 4 is called \(u\)-substitution. We shall this technique now and then in the sections to come, so it is worth taking the time to let this idea sink in. In general, substitution can help us identify a ‘quadratic in disguise’ - in essence, it helps us ‘see the forest for the trees.’ Last, but not least, it is entirely possible that a polynomial has no real roots at all, or worse, it has real roots but none of the techniques discussed in this section can help us find them exactly. In the latter case, we are forced to approximate using technology.
Suppose we wish to find the zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) without using the calculator. In this subsection, we present some more advanced mathematical tools (theorems) to help us. Our first result is due to René Descartes.
A few remarks are in order. First, to use Descartes’ Rule of Signs, we need to understand what is meant by a ‘variation in sign’ of a polynomial function. Consider \(f(x) = 2x^4+4x^3-x^2-6x-3\). If we focus on only the signs of the coefficients, we start with a \((+)\), followed by another \((+)\), then switch to \((-)\), and stay \((-)\) for the remaining two coefficients. Since the signs of the coefficients switched once as we read from left to right, we say that \(f(x)\) has one variation in sign. When we speak of the variations in sign of a polynomial function \(f\) we assume the formula for \(f(x)\) is written with descending powers of \(x\), as in Definition ??, and concern ourselves only with the nonzero coefficients. Second, unlike the Rational Zeros Theorem, Descartes’ Rule of Signs gives us an estimate to the number of positive and negative real zeros, not the actual value of the zeros. Lastly, Descartes’ Rule of Signs counts multiplicities. This means that, for example, if one of the zeros has multiplicity \(2\), Descsartes’ Rule of Signs would count this as two zeros. Lastly, note that the number of positive or negative real zeros always starts with the number of sign changes and decreases by an even number. For example, if \(f(x)\) has \(7\) sign changes, then, counting multplicities, \(f\) has either \(7\), \(5\), \(3\) or \(1\) positive real zero. This implies that the graph of \(y=f(x)\) crosses the positive \(x\)-axis at least once. If \(f(-x)\) results in \(4\) sign changes, then, counting multiplicities, \(f\) has \(4\), \(2\) or \(0\) negative real zeros; hence, the graph of \(y=f(x)\) may not cross the negative \(x\)-axis at all. The proof of Descartes’ Rule of Signs is a bit technical, and can be found here.
Solution. As noted above, the variations of sign of \(f(x)\) is \(1\). This means, counting multiplicities, \(f\) has exactly \(1\) positive real zero. Since \(f(-x)=2(-x)^4+4(-x)^3-(-x)^2-6(-x)-3=2x^4-4x^3-x^2+6x-3\) has \(3\) variations in sign, \(f\) has either \(3\) negative real zeros or \(1\) negative real zero, counting multiplicities. □
Cauchy’s Bound gives us a general bound on the zeros of a polynomial function. Our next result helps us determine bounds on the real zeros of a polynomial as we synthetically divide which are often sharper bounds than Cauchy’s Bound.
If \(c < 0\) is synthetically divided into \(f\) and the numbers in the final line of the division tableau alternate signs, then \(c\) is a lower bound for the real zeros of \(f\). That is, there are no real zeros less than \(c\).
NOTE: If the number \(0\) occurs in the final line of the division tableau in either of the above cases, it can be treated as \((+)\) or \((-)\) as needed.
The Upper and Lower Bounds Theorem works because of Theorem ??. For the upper bound part of the theorem, suppose \(c>0\) is divided into \(f\) and the resulting line in the division tableau contains, for example, all nonnegative numbers. This means \(f(x) = (x-c) q(x) + r\), where the coefficients of the quotient polynomial and the remainder are nonnegative. (Note that the leading coefficient of \(q\) is the same as \(f\) so \(q(x)\) is not the zero polynomial.) If \(b > c\), then \(f(b) = (b-c) q(b) + r\), where \((b-c)\) and \(q(b)\) are both positive and \(r \geq 0\). Hence \(f(b) > 0\) which shows \(b\) cannot be a zero of \(f\). Thus no real number \(b > c\) can be a zero of \(f\), as required. A similar argument proves \(f(b) < 0\) if all of the numbers in the final line of the synthetic division tableau are non-positive. To prove the lower bound part of the theorem, we note that a lower bound for the negative real zeros of \(f(x)\) is an upper bound for the positive real zeros of \(f(-x)\), since all we are doing is reflecting the numbers across the \(x=0\). Applying the upper bound portion to \(f(-x)\) gives the result. (Do you see where the alternating signs come in?) With the additional mathematical machinery of Descartes’ Rule of Signs and the Upper and Lower Bounds Theorem, we can find the real zeros of \(f(x) = 2x^4+4x^3-x^2-6x-3\) without the use of a graphing utility.
Solution.
We know from Cauchy’s Bound that all of the real zeros lie in the interval \([-4,4]\) and that our possible rational zeros are \(\pm \, \frac {1}{2}\), \(\pm \, 1\), \(\pm \, \frac {3}{2}\) and \(\pm \, 3\). Descartes’ Rule of Signs guarantees us at least one negative real zero and exactly one positive real zero, counting multiplicity. We try our positive rational zeros, starting with the smallest, \(\frac {1}{2}\). Since the remainder isn’t zero, we know \(\frac {1}{2}\) isn’t a zero. Sadly, the final line in the division tableau has both positive and negative numbers, so \(\frac {1}{2}\) is not an upper bound. The only information we get from this division is courtesy of the Remainder Theorem which tells us \(f\left (\frac {1}{2}\right ) = -\frac {45}{8}\) so the point \(\left (\frac {1}{2}, -\frac {45}{8}\right )\) is on the graph of \(f\). We continue to our next possible zero, \(1\). As before, the only information we can glean from this is that \((1,-4)\) is on the graph of \(f\). When we try our next possible zero, \(\frac {3}{2}\), we get that it is not a zero, and we also see that it is an upper bound on the zeros of \(f\), since all of the numbers in the final line of the division tableau are positive. This means there is no point trying our last possible rational zero, \(3\). Descartes’ Rule of Signs guaranteed us a positive real zero, and at this point we have shown this zero is irrational.
| \( \begin{array}{r} \frac {1}{2} \quad |\quad 2 \quad 4 \quad -1 \quad -6 \phantom {1}\quad -3 \phantom {1}\\ \underline {\downarrow \quad 1 \quad \phantom {1.} \frac {5}{2} \phantom {11}\quad \frac {3}{4} \quad -\frac {21}{8}} \phantom {.}\\ \quad \quad 2 \quad \phantom {1} 5 \quad \phantom {1} \frac {3}{2} \phantom {1} -\frac {21}{4} \phantom {1} \fbox {$-\frac {45}{8}$} \end{array} \) | \( \begin{array}{r} 1 \quad |\quad 2 \quad 4 \phantom {1} -1 \phantom {1} -6 \phantom {1} -3 \phantom {1}\\ \underline {\downarrow \phantom {.}\quad 2 \quad \phantom {1} 6 \phantom {1}\quad 5 \quad -1} \phantom {.}\\ \quad \quad 2 \quad \phantom {1} 6 \quad \phantom {1} 5 \phantom {1} -1 \phantom {1} \fbox {$-4$} \end{array} \) | \( \begin{array}{r} \frac {3}{2} \quad |\quad 2 \quad 4 \quad -1 \quad -6 \phantom {1}\quad -3 \phantom {1}\\ \underline {\downarrow \quad 3 \quad \phantom {1} \frac {21}{2} \phantom {1}\quad \frac {57}{4} \quad \phantom {1.} \frac {99}{8}} \phantom {.}\\ \quad \quad 2 \quad \phantom {1} 7 \quad \phantom {1} \frac {19}{2} \quad \phantom {1.} \frac {33}{4} \quad \fbox {$\frac {75}{8}$} \end{array} \) |
We now turn our attention to negative real zeros. We try the largest possible zero, \(-\frac {1}{2}\). Synthetic division shows us it is not a zero, nor is it a lower bound (since the numbers in the final line of the division tableau do not alternate), so we proceed to \(-1\). This division shows \(-1\) is a zero. Descartes’ Rule of Signs told us that we may have up to three negative real zeros, counting multiplicity, so we try \(-1\) again, and it works once more. At this point, we have taken \(f\), a fourth degree polynomial, and performed two successful divisions. Our quotient polynomial is quadratic, so we look at it to find the remaining zeros.
| \( \begin{array}{r} -\frac {1}{2} \quad |\quad 2 \quad 4 \quad -1 \quad -6 \phantom {11} -3 \phantom {1}\\ \underline {\downarrow \phantom {.} -1 \phantom {1} -\frac {3}{2} \phantom {1.}\quad \frac {5}{4} \quad \phantom {1.} \frac {19}{8}} \phantom {.}\\ \quad \quad 2 \quad \phantom {1} 3 \quad -\frac {5}{2} -\frac {19}{4} \phantom {1} \fbox {$-\frac {5}{8}$} \end{array} \) | \( \begin{array}{r} -1 \quad |\quad 2 \quad \quad 4 \quad \quad -1 \quad \quad -6 \quad \quad -3\\ \underline {\downarrow \phantom {.}\quad -2 \quad \quad -2\quad \quad \quad 3 \quad \quad \quad 3}\\ -1 \quad |\quad 2 \quad \quad 2 \quad \phantom {11} -3 \quad \quad -3 \quad \quad \fbox {0}\\ \underline {\downarrow \phantom {1.} -2 \quad \phantom {1111} 0\quad \phantom {1111} 3 \phantom {\quad \quad \fbox {0}}}\\ 2 \phantom {1.}\quad \quad 0 \phantom {1.}\quad -3 \phantom {1.}\quad \fbox {0} \phantom {\quad \quad \fbox {0}} \end{array} \) |
Setting the quotient polynomial equal to zero yields \(2x^2 - 3 = 0\), so that \(x^2 = \frac {3}{2}\), or \(x = \pm \, \frac {\sqrt {6}}{2}\). Descartes’ Rule of Signs tells us that the positive real zero we found, \(\frac {\sqrt {6}}{2}\), has multiplicity \(1\). Descartes also tells us the total multiplicity of negative real zeros is \(3\), which forces \(-1\) to be a zero of multiplicity \(2\) and \(- \frac {\sqrt {6}}{2}\) to have multiplicity \(1\).
We know the end behavior of \(y=f(x)\) resembles that of its leading term \(y=2x^4\). This means that the graph enters the scene in Quadrant II and exits in Quadrant I. Since \(\pm \, \frac {\sqrt {6}}{2}\) are zeros of multiplicity \(1\), we have that the graph crosses through the \(x\)-axis at the points \(\left ( -\frac {\sqrt {6}}{2}, 0 \right )\) and \(\left ( \frac {\sqrt {6}}{2}, 0 \right )\) in a fairly linear fashion. Since \(-1\) is a zero of multiplicity \(2\), the graph of \(y=f(x)\) touches and rebounds off the \(x\)-axis at \((-1,0)\) in a parabolic manner. Last, but not least, since \(f(0) = -3\), we get the \(y\)-intercept is \((0,-3)\). Putting all of this together results in the graph below.
□
As we mentioned in Section ??, polynomial functions are continuous. An important property of continuous functions is that they cannot change sign between two values unless there is a zero in between. We used this property of quadratic functions when constructing sign diagrams to help us solve inequalities (see Section ??.) This property is a version of the celebrated Intermediate Value Theorem.
The Intermediate Value Theorem is discussed in greater detail in Calculus, and its proof is usually delayed until a formal analysis course. It is an example of an ‘existence’ theorem - it tells us that, under suitable conditions, a zero exists - but offers us no algorithm to find it. Its use to us in this section is that it provides the justification needed to create sign diagrams for general polynomial functions in the same manner in which we constructed them for quadratic functions.
Suppose \(f\) is a polynomial function.
The Intermediate Value Theorem justifies the use of just one ‘test’ value in the algorithm above, since a continuous function cannot change signs on an interval without there being a zero on that interval. Since we have found the zeros in Step 1 of the algorithm and used these to create the intervals for Step 2, there cannot be any sign changes on any of the intervals in Step 2.
Not surprisingly, we use sign diagrams to solve inequalities involving higher order polynomial functions in the same way we used them to solve inequalities involving quadratic functions. We reproduce our algorithm from section ?? for reference.
To solve an inequality using a sign diagram:
Solution.
Finding the real solutions to \(2x^5+6x^3+3 = 3x^4+8x^2\) is the same as finding the real solutions to \(2x^5-3x^4+6x^3-8x^2+3=0\). In other words, we are looking for the real zeros of \(p(x)= 2x^5-3x^4+6x^3-8x^2+3\). Using the techniques developed in this section, we get
\( \begin{array}{r} 1 \quad |\quad 2 \phantom {11} -3 \quad \quad 6 \phantom {.}\quad -8 \quad \quad 0 \quad \quad 3\\ \underline {\downarrow \phantom {1}\quad 2 \quad -1\quad \quad 5 \quad -3 \quad -3}\\ 1 \quad |\quad 2 \quad \phantom {1} -1 \quad \phantom {1} 5 \quad -3 \quad -3 \quad \fbox {0}\\ \underline {\downarrow \phantom {11}\quad 2 \quad \quad 1\quad \quad \phantom {.} 6 \quad \quad \phantom {.} 3 \phantom {\quad \fbox {0}}}\\ -\frac {1}{2} \quad |\quad 2 \quad \quad 1 \quad \phantom {11} 6 \quad \quad 3 \quad \quad \fbox {0} \phantom {\quad \fbox {0}}\\ \underline {\downarrow \phantom {1.} -1 \quad \phantom {1} 0 \quad \phantom {1} -3 \phantom {\quad \fbox {0} \quad \fbox {0}}}\\ 2 \phantom {1.}\quad 0 \phantom {1.}\quad 6 \phantom {11}\quad \fbox {0} \phantom {\quad \quad \fbox {000}} \end{array} \)
The quotient polynomial is \(2x^2 + 6\) which has no real zeros so we get \(x=-\frac {1}{2}\) and \(x=1\).
Our first step is to rewrite this inequality so as to compare a function \(f(x)\) to \(0\). We have two options, but choose \(2x^5-3x^4+6x^3-8x^2+3 \leq 0\), since we found the zeros of \(p(x) = 2x^5-3x^4+6x^3-8x^2+3\) to be \(x=-\frac {1}{2}\) and \(x=1\). We construct our sign diagram below using the test values \(-1\), \(0\), and \(2\).
The solution to \(p(x) < 0\) is \(\left (-\infty , -\frac {1}{2}\right )\), and we know \(p(x) = 0\) at \(x=-\frac {1}{2}\) and \(x=1\). Hence, the solution to \(p(x) \leq 0\) is \(\left (-\infty , -\frac {1}{2}\right ] \cup \left \{1\right \}\).
To interpret this solution graphically, we set \(f(x) = 2x^5+6x^3+3\) and \(g(x) = 3x^4+8x^2\). Recall from Section ?? the solution to \(f(x) \leq g(x)\) is the set of \(x\) values for which the graph of \(f\) is below the graph of \(g\) (where \(f(x) < g(x)\)) along with the \(x\) values where the two graphs intersect (\(f(x) = g(x)\)). Graphing \(f\) and \(g\) using Desmos, we see that the graph of \(f\) is below the graph of \(g\) on \(\left (-\infty , -\frac {1}{2}\right )\). However, it is difficult to see what is happening near \(x=1\). Zooming in near \((1,11)\), we see that the graphs of \(f\) and \(g\) do intersect at \(x=1\), but the graph of \(g\) remains below the graph of \(f\) on either side of \(x = 1\).
□
Note that we could have used end behavior and the concept of multiplicity to create the sign diagram used in Example 7 as follows. We know the end behavior of \(p(x) = 2x^5-3x^4+6x^3-8x^2+3\) matches that of \(y = 2x^5\) which means \(\ds {\lim _{x \rightarrow -\infty } p(x) = -\infty }\). This means for the interval \(\left (-\infty , -\frac {1}{2}\right )\), \(p(x) < 0\) or \((-)\). From our work finding the zeros of \(p\), we can deduce the multiplicity of the zero \(x = -\frac {1}{2}\) is \(1\) which means the graph of \(y = p(x)\) crosses through the \(x\)-axis at \(\left ( -\frac {1}{2}, 0 \right )\), hence, changing sign from \((-)\) to \((+)\). Finally, we can deduce the multiplicity of the zero \(x = 1\) is \(2\) which means the graph of \(y = p(x)\) rebounds here, meaning the sign of \(p(x)\) for \(x > 1\) is \((+)\). This matches the end behavior, since \(\ds {\lim _{x \rightarrow \infty } p(x) = \infty }\). The reader is encouraged to tackle any given problem using whatever tools are comfortable and convenient, but it also never hurts to think outside the box and revisit a problem from a variety of perspectives.
Next up is an application problem torn from Exercises ?? - ?? of Section ??.
Solution. To ‘make a profit’ means to solve \(P(x) = -5x^3+35x^2-45x-25 > 0\), which we do analytically using a sign diagram. To simplify things, we first factor out the \(-5\) common to all the coefficients to get \(-5\left (x^3 - 7x^2+9x-5\right ) > 0\), so we can just focus on finding the zeros of \(f(x) = x^3-7x^2+9x+5\). The possible rational zeros of \(f\) are \(\pm 1\) and \(\pm 5\), and going through the usual computations, we find \(x=5\) is the only rational zero. Using this, we factor \(f(x) = x^3-7x^2+9x+5 = (x-5) \left (x^2-2x-1\right )\), and we find the remaining zeros by applying the Quadratic Formula to \(x^2-2x-1 = 0\). We find three real zeros, \(x=1-\sqrt {2} = -0.414 \ldots \), \(x = 1+\sqrt {2} = 2.414 \ldots \), and \(x = 5\), of which only the last two fall in the applied domain of \([0, 10.07]\). We choose \(x=0\), \(x=3\) and \(x=10.07\) as our test values and plug them into the function \(P(x)=-5x^3+35x^2-45x-25\) (not \(f(x) =x^3 - 7x^2+9x-5\)) to get the sign diagram below.
We see immediately that \(P(x)>0\) on \((1+\sqrt {2},5)\). Since \(x\) measures the number of TVs in hundreds, \(x = 1 + \sqrt {2}\) corresponds to \(241.4\ldots \) TVs. Since we can’t produce a fractional part of a TV, we need to choose between producing 241 and 242 TVs. From the sign diagram, we see that \(P(2.41) < 0\) but \(P(2.42)>0\) so, in this case we take the next larger integer value and set the minimum production to 242 TVs. At the other end of the interval, we have \(x=5\) which corresponds to \(500\) TVs. Here, we take the next smaller integer value, \(499\) TVs to ensure that we make a profit. Hence, in order to make a profit, at least 242, but no more than 499 TVs need to be produced. We graph \(y = P(x)\) using Desmos and see \(P(x) > 0\) (above the \(x\)-axis) between \(x \approx 2.414\) and \(x = 5\), as predicted.
□
It would be a sin of omission if the authors left the reader with the impression that the theory in this section is compete in that given any polynomial function, provided here are the tools to find all of its real zeros exactly. The reality is this couldn’t be further from the truth. In general, no matter how many theorems you throw at a polynomial, it may well be impossible to express its zeros exactly. The polynomial \(f(x) = x^5-x-1\) is one such beast. According to Descartes’ Rule of Signs, \(f\) has exactly one positive real zero, and it could have two negative real zeros, or none at all. The Rational Zeros Test gives us \(\pm 1\) as rational zeros to try but neither of these work since \(f(1) = f(-1) = -1\). If we try the substitution technique we used in Example 4, we find \(f(x)\) has three terms, but the exponent on the \(x^5\) isn’t exactly twice the exponent on \(x\). How could we go about approximating the positive zero? We use the Bisection Method.
The first step in the Bisection Method is to find an interval on which \(f\) changes sign. We know \(f(1) = -1\) and we find \(f(2) = 29\). By the Intermediate Value Theorem, we know that the zero of \(f\) lies in the interval \([1,2]\). Next, we ‘bisect’ this interval by finding the midpoint, \(1.5\). We compute \(f(1.5)\approx 5.09\). Once again, the Intermediate Value Theorem guarantees our zero is between \(1\) and \(1.5\), since \(f\) changes sign on this interval. Now, we ‘bisect’ the interval \([1,1.5]\) and find \(f(1.25) \approx 0.80\), so now we have the zero between \(1\) and \(1.25\). Bisecting \([1,1.25]\), we find \(f(1.125) \approx -0.32\), which means the zero of \(f\) is between \(1.125\) and \(1.25\). We continue in this fashion until we have ‘sandwiched’ the zero between two numbers whose digits agree to a desired amount. You can think of the Bisection Method as reversing the sign diagram process: instead of finding the zeros and checking the sign of \(f\) using test values, we are using test values to determine where the signs switch to find the zeros. It is a slow and tedious, yet fool-proof, method for approximating a real zero when the other analytical methods fail us.