Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

4.4: Polynomial Inequalities

( \newcommand{\kernel}{\mathrm{null}\,}\)

Solving Polynomial Inequalities

One application of our ability to find intercepts and sketch a graph of polynomials is the ability to solve polynomial inequalities. It is a very common question to ask when a function will be positive and negative. We can solve polynomial inequalities by either utilizing the graph, or by using test values.

Example 4.4.5

Solve (๐‘ฅ +3)โข(๐‘ฅ+1)2โข(๐‘ฅ โˆ’4) >0

Solution

As with all inequalities, we start by solving the equality (๐‘ฅ +3)โข(๐‘ฅ+1)2โข(๐‘ฅ โˆ’4) =0, which has solutions at x = -3, -1, and 4. We know the function can only change from positive to negative at these values, so these divide the inputs into 4 intervals.

We could choose a test value in each interval and evaluate the function ๐‘“โก(๐‘ฅ) =(๐‘ฅ +3)โข(๐‘ฅ+1)2โข(๐‘ฅ โˆ’4) at each test value to determine if the function is positive or negative in that interval

Interval Test ๐‘ฅ in interval ๐‘“ (test value) > 0 or < 0?
๐‘ฅ <โˆ’3 -4 72 > 0
โˆ’3 <๐‘ฅ <โˆ’1 -2 -6 < 0
โˆ’1 <๐‘ฅ <4 0 -12 < 0
๐‘ฅ >4 5 288 > 0

On a number line this would look like:

A numberline broken into 4 segments.  The segment to the left of -3 is labeled positive. The segment from -3 to -1 is labeled negative. The segment from -1 to 4 is labeled negative. The segment to the right of 4 is labeled positive.

From our test values, we can determine this function is positive when ๐‘ฅ <โˆ’3 or ๐‘ฅ >4, or in interval notation, (โˆ’โˆž,โˆ’3)โขโ‹ƒ(4,โˆž)

We could have also determined on which intervals the function was positive by sketching a graph of the function. We illustrate that technique in the next example

Example 4.4.6

Find the domain of the function ๐‘ฃโก(๐‘ก) =โˆš6โˆ’5โข๐‘กโˆ’๐‘ก2.

Solution

A square root is only defined when the quantity we are taking the square root of, the quantity inside the square root, is zero or greater. Thus, the domain of this function will be when 6 โˆ’5โข๐‘ก โˆ’๐‘ก2 โ‰ฅ0.

We start by solving the equality 6 โˆ’5โข๐‘ก โˆ’๐‘ก2 =0. While we could use the quadratic formula, this equation factors nicely to (6 +๐‘ก)โข(1 โˆ’๐‘ก) =0, giving horizontal intercepts ๐‘ก =1 and ๐‘ก =โˆ’6.

Sketching a graph of this quadratic will allow us to determine when it is positive.A downwards opening U-shaped parabola with horizontal intercepts at negative 6 comma 0 and 1 comma 0

From the graph we can see this function is positive for inputs between the intercepts. So 6 โˆ’5โข๐‘ก โˆ’๐‘ก2 โ‰ฅ0 for โˆ’6 โ‰ค๐‘ก โ‰ค1, and this will be the domain of the ๐‘ฃโก(๐‘ก) function.

 

The Factor and Remainder Theorems

 

When we divide a polynomial, ๐‘โก(๐‘ฅ) by some divisor polynomial ๐‘‘โก(๐‘ฅ), we will get a quotient polynomial ๐‘žโก(๐‘ฅ) and possibly a remainder ๐‘Ÿโก(๐‘ฅ). In other words,

๐‘โก(๐‘ฅ)=๐‘‘โก(๐‘ฅ)โข๐‘žโก(๐‘ฅ)+๐‘Ÿโก(๐‘ฅ)(4.4.1)

Because of the division, the remainder will either be zero, or a polynomial of lower degree than d(x). Because of this, if we divide a polynomial by a term of the form ๐‘ฅ โˆ’๐‘, then the remainder will be zero or a constant.

If ๐‘โก(๐‘ฅ) =(๐‘ฅ โˆ’๐‘)โข๐‘žโก(๐‘ฅ) +๐‘Ÿ, then ๐‘โก(๐‘) =(๐‘ โˆ’๐‘)โข๐‘žโก(๐‘) +๐‘Ÿ =0 +๐‘Ÿ =๐‘Ÿ, which establishes the Remainder Theorem.

The Remainder Theorem

If ๐‘โก(๐‘ฅ) is a polynomial of degree 1 or greater and c is a real number, then when p(x) is divided by ๐‘ฅ โˆ’๐‘, the remainder is ๐‘โก(๐‘).

If ๐‘ฅ โˆ’๐‘ is a factor of the polynomial ๐‘, then ๐‘โก(๐‘ฅ) =(๐‘ฅ โˆ’๐‘)โข๐‘žโก(๐‘ฅ) for some polynomial ๐‘ž. Then ๐‘โก(๐‘) =(๐‘ โˆ’๐‘)โข๐‘žโก(๐‘) =0, showing ๐‘ is a zero of the polynomial. This shouldnโ€™t surprise us - we already knew that if the polynomial factors it reveals the roots.

If ๐‘โก(๐‘) =0, then the remainder theorem tells us that if p is divided by ๐‘ฅ โˆ’๐‘, then the remainder will be zero, which means ๐‘ฅ โˆ’๐‘ is a factor of ๐‘.

the factor theorem

If ๐‘โก(๐‘ฅ) is a nonzero polynomial, then the real number ๐‘ is a zero of ๐‘โก(๐‘ฅ) if and only if ๐‘ฅ โˆ’๐‘ is a factor of ๐‘โก(๐‘ฅ).

Synthetic Division

Since dividing by ๐‘ฅ โˆ’๐‘ is a way to check if a number is a zero of the polynomial, it would be nice to have a faster way to divide by ๐‘ฅ โˆ’๐‘ than having to use long division every time. Happily, quicker ways have been discovered.

Letโ€™s look back at the long division we did in Example 1 and try to streamline it. First, letโ€™s change all the subtractions into additions by distributing through the negatives.

ๅฑๅน•ๅฟซ็…ง 2019-06-23 ไธŠๅˆ5.51.23.png

Next, observe that the terms โˆ’๐‘ฅ3, โˆ’6โข๐‘ฅ2, and โˆ’7โข๐‘ฅ are the exact opposite of the terms above them. The algorithm we use ensures this is always the case, so we can omit them without losing any information. Also note that the terms we โ€˜bring downโ€™ (namely the โˆ’5x and โˆ’14) arenโ€™t really necessary to recopy, so we omit them, too.

ๅฑๅน•ๅฟซ็…ง 2019-06-23 ไธŠๅˆ5.51.55.png

Now, letโ€™s move things up a bit and, for reasons which will become clear in a moment, copy the ๐‘ฅ3 into the last row.

ๅฑๅน•ๅฟซ็…ง 2019-06-23 ไธŠๅˆ5.52.19.png

Note that by arranging things in this manner, each term in the last row is obtained by adding the two terms above it. Notice also that the quotient polynomial can be obtained by dividing each of the first three terms in the last row by ๐‘ฅ and adding the results. If you take the time to work back through the original division problem, you will find that this is exactly the way we determined the quotient polynomial.

This means that we no longer need to write the quotient polynomial down, nor the ๐‘ฅ in the divisor, to determine our answer.

ๅฑๅน•ๅฟซ็…ง 2019-06-23 ไธŠๅˆ5.52.46.png

 

 

 

 

Important Topics of this Section

  • Cauchyโ€™s Bound for all real zeros of a polynomial
  • Rational Roots Theorem
  • Finding real zeros of a polynomial

4.4: Polynomial Inequalities is shared under a CC BY-SA license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?