Login
📚 Precalculus
Chapters ▾

4.1 Introduction to Rational Functions

If we add, subtract or multiply polynomial functions according to the function arithmetic rules defined in Section, we will produce another polynomial function. If, on the other hand, we divide two polynomial functions, the result may not be a polynomial. In this chapter we study rational functions - functions which are ratios of polynomials.

As we recall from Section, we have domain issues anytime the denominator of a fraction is zero. In the example below, we review this concept as well as some of the arithmetic of rational expressions.

A few remarks about Example Example 1 are in order. Note that the expressions for f ( x ) , g ( x ) and h ( x ) work out to be the same. However, only two of these functions are actually equal. Recall that functions are ultimately sets of ordered pairs,2 so for two functions to be equal, they need, among other things, to have the same domain. Since f ( x ) = g ( x ) and f and g have the same domain, they are equal functions. Even though the formula h ( x ) is the same as f ( x ) , the domain of h is different than the domain of f , and thus they are different functions.

We now turn our attention to the graphs of rational functions. Consider the function f ( x ) = 2 x 1 x + 1 from Example Example 1. Using a graphing calculator, we obtain

Image: Rationals01
Figure 4.1

Two behaviors of the graph are worthy of further discussion. First, note that the graph appears to `break' at x = 1 . We know from our last example that x = 1 is not in the domain of f which means f ( 1 ) is undefined. When we make a table of values to study the behavior of f near x = 1 we see that we can get `near' x = 1 from two directions. We can choose values a little less than 1 , for example x = 1.1 , x = 1.01 , x = 1.001 , and so on. These values are said to `approach 1 from the left.' Similarly, the values x = 0.9 , x = 0.99 , x = 0.999 , etc., are said to `approach 1 from the right.' If we make two tables, we find that the numerical results confirm what we see graphically.

As the x values approach 1 from the left, the function values become larger and larger positive numbers.3 We express this symbolically by stating as x 1 , f ( x ) . Similarly, using analogous notation, we conclude from the table that as x 1 + , f ( x ) . For this type of unbounded behavior, we say the graph of y = f ( x ) has a vertical asymptote of x = 1 . Roughly speaking, this means that near x = 1 , the graph looks very much like the vertical line x = 1 .

The other feature worthy of note about the graph of y = f ( x ) is that it seems to `level off' on the left and right hand sides of the screen. This is a statement about the end behavior of the function. As we discussed in Section, the end behavior of a function is its behavior as x attains larger4 and larger negative values without bound, x , and as x becomes large without bound, x . Making tables of values, we find

From the tables, we see that as x , f ( x ) 2 + and as x , f ( x ) 2 . Here the ` + ' means `from above' and the ` ' means `from below'. In this case, we say the graph of y = f ( x ) has a horizontal asymptote of y = 2 . This means that the end behavior of f resembles the horizontal line y = 2 , which explains the `leveling off' behavior we see in the calculator's graph. We formalize the concepts of vertical and horizontal asymptotes in the following definitions.

Note that in Definition, we write f ( x ) c (not f ( x ) c + or f ( x ) c ) because we are unconcerned from which direction the values f ( x ) approach the value c , just as long as they do so.5

In our discussion following Example Example 1, we determined that, despite the fact that the formula for h ( x ) reduced to the same formula as f ( x ) , the functions f and h are different, since x = 1 is in the domain of f , but x = 1 is not in the domain of h . If we graph h ( x ) = 2 x 2 1 x 2 1 3 x 2 x 2 1 using a graphing calculator, we are surprised to find that the graph looks identical to the graph of y = f ( x ) . There is a vertical asymptote at x = 1 , but near x = 1 , everything seem fine. Tables of values provide numerical evidence which supports the graphical observation.

We see that as x 1 , h ( x ) 0.5 and as x 1 + , h ( x ) 0.5 + . In other words, the points on the graph of y = h ( x ) are approaching ( 1 , 0.5 ) , but since x = 1 is not in the domain of h , it would be inaccurate to fill in a point at ( 1 , 0.5 ) . As we've done in past sections when something like this occurs,6 we put an open circle (also called a hole in this case7) at ( 1 , 0.5 ) . Below is a detailed graph of y = h ( x ) , with the vertical and horizontal asymptotes as dashed lines.

Coordinate-plane figure.
Figure 4.2

Neither x = 1 nor x = 1 are in the domain of h , yet the behavior of the graph of y = h ( x ) is drastically different near these x -values. The reason for this lies in the second to last step when we simplified the formula for h ( x ) in Example Example 1, where we had h ( x ) = ( 2 x 1 ) ( x 1 ) ( x + 1 ) ( x 1 ) . The reason x = 1 is not in the domain of h is because the factor ( x + 1 ) appears in the denominator of h ( x ) ; similarly, x = 1 is not in the domain of h because of the factor ( x 1 ) in the denominator of h ( x ) . The major difference between these two factors is that ( x 1 ) cancels with a factor in the numerator whereas ( x + 1 ) does not. Loosely speaking, the trouble caused by ( x 1 ) in the denominator is canceled away while the factor ( x + 1 ) remains to cause mischief. This is why the graph of y = h ( x ) has a vertical asymptote at x = 1 but only a hole at x = 1 . These observations are generalized and summarized in the theorem below, whose proof is found in Calculus.

In English, Theorem says that if x = c is not in the domain of r but, when we simplify r ( x ) , it no longer makes the denominator 0 , then we have a hole at x = c . Otherwise, the line x = c is a vertical asymptote of the graph of y = r ( x ) .

Our next example gives us a physical interpretation of a vertical asymptote. This type of model arises from a family of equations cheerily named `doomsday' equations.10

Like Theorem, Theorem is proved using Calculus. Nevertheless, we can understand the idea behind it using our example f ( x ) = 2 x 1 x + 1 . If we interpret f ( x ) as a division problem, ( 2 x 1 ) ÷ ( x + 1 ) , we find that the quotient is 2 with a remainder of 3 . Using what we know about polynomial division, specifically Theorem, we get 2 x 1 = 2 ( x + 1 ) 3 . Dividing both sides by ( x + 1 ) gives 2 x 1 x + 1 = 2 3 x + 1 . (You may remember this as the formula for g ( x ) in Example Example 1.) As x becomes unbounded in either direction, the quantity 3 x + 1 gets closer and closer to 0 so that the values of f ( x ) become closer and closer12 to 2 . In symbols, as x ± , f ( x ) 2 , and we have the result.13 Notice that the graph gets close to the same y value as x or x . This means that the graph can have only one horizontal asymptote if it is going to have one at all. Thus we were justified in using `the' in the previous theorem.

Alternatively, we can use what we know about end behavior of polynomials to help us understand this theorem. From Theorem, we know the end behavior of a polynomial is determined by its leading term. Applying this to the numerator and denominator of f ( x ) , we get that as x ± , f ( x ) = 2 x 1 x + 1 2 x x = 2 . This last approach is useful in Calculus, and, indeed, is made rigorous there. (Keep this in mind for the remainder of this paragraph.) Applying this reasoning to the general case, suppose r ( x ) = p ( x ) q ( x ) where a is the leading coefficient of p ( x ) and b is the leading coefficient of q ( x ) . As x ± , r ( x ) a x n b x m , where n and m are the degrees of p ( x ) and q ( x ) , respectively. If the degree of p ( x ) and the degree of q ( x ) are the same, then n = m so that r ( x ) a b , which means y = a b is the horizontal asymptote in this case. If the degree of p ( x ) is less than the degree of q ( x ) , then n < m , so m n is a positive number, and hence, r ( x ) a b x m n 0 as x ± . If the degree of p ( x ) is greater than the degree of q ( x ) , then n > m , and hence n m is a positive number and r ( x ) a x n m b , which becomes unbounded as x ± . As we said before, if a rational function has a horizontal asymptote, then it will have only one. (This is not true for other types of functions we shall see in later chapters.)

Our next example of the section gives us a real-world application of a horizontal asymptote.15

We close this section with a discussion of the third (and final!) kind of asymptote which can be associated with the graphs of rational functions. Let us return to the function g ( x ) = x 2 4 x + 1 in Example Example 4. Performing long division,16 we get g ( x ) = x 2 4 x + 1 = x 1 3 x + 1 . Since the term 3 x + 1 0 as x ± , it stands to reason that as x becomes unbounded, the function values g ( x ) = x 1 3 x + 1 x 1 . Geometrically, this means that the graph of y = g ( x ) should resemble the line y = x 1 as x ± . We see this play out both numerically and graphically below.

x g ( x ) x 1 10 10.6667 11 100 100.9697 101 1000 1000.9970 1001 10000 10000.9997 10001

x g ( x ) x 1 10 8.7273 9 100 98.9703 99 1000 998.9970 999 10000 9998.9997 9999

Image: SA01
Figure 4.10
Image: SA02
Figure 4.11

y = g ( x ) and y = x 1

y = g ( x ) and y = x 1

as x

as x

The way we symbolize the relationship between the end behavior of y = g ( x ) with that of the line y = x 1 is to write `as x ± , g ( x ) x 1 .' In this case, we say the line y = x 1 is a slant asymptote 17 to the graph of y = g ( x ) . Informally, the graph of a rational function has a slant asymptote if, as x or as x , the graph resembles a non-horizontal, or `slanted' line. Formally, we define a slant asymptote as follows.

A few remarks are in order. First, note that the stipulation m 0 in Definition is what makes the `slant' asymptote `slanted' as opposed to the case when m = 0 in which case we'd have a horizontal asymptote. Secondly, while we have motivated what me mean intuitively by the notation ` f ( x ) m x + b ,' like so many ideas in this section, the formal definition requires Calculus. Another way to express this sentiment, however, is to rephrase ` f ( x ) m x + b ' as ` f ( x ) ( m x + b ) 0 .' In other words, the graph of y = f ( x ) has the slant asymptote y = m x + b if and only if the graph of y = f ( x ) ( m x + b ) has a horizontal asymptote y = 0 .

Our next task is to determine the conditions under which the graph of a rational function has a slant asymptote, and if it does, how to find it. In the case of g ( x ) = x 2 4 x + 1 , the degree of the numerator x 2 4 is 2 , which is exactly one more than the degree if its denominator x + 1 which is 1 . This results in a linear quotient polynomial, and it is this quotient polynomial which is the slant asymptote. Generalizing this situation gives us the following theorem.18

In the same way that Theorem gives us an easy way to see if the graph of a rational function r ( x ) = p ( x ) q ( x ) has a horizontal asymptote by comparing the degrees of the numerator and denominator, Theorem gives us an easy way to check for slant asymptotes. Unlike Theorem, which gives us a quick way to find the horizontal asymptotes (if any exist), Theorem gives us no such `short-cut'. If a slant asymptote exists, we have no recourse but to use long division to find it.19

The reader may be a bit disappointed with the authors at this point owing to the fact that in Examples Example 2, Example 4, and Example 6, we used the calculator to determine function behavior near asymptotes. We rectify that in the next section where we, in excruciating detail, demonstrate the usefulness of `number sense' to reveal this behavior analytically.

Exercises

In Exercises -, for the given rational function f :

  • Find the domain of f .
  • Identify any vertical asymptotes of the graph of y = f ( x ) .
  • Identify any holes in the graph.
  • Find the horizontal asymptote, if it exists.
  • Find the slant asymptote, if it exists.
  • Graph the function using a graphing utility and describe the behavior near the asymptotes.
  1. f ( x ) = x 3 x 6
  2. f ( x ) = 3 + 7 x 5 2 x
  3. f ( x ) = x x 2 + x 12
  4. f ( x ) = x x 2 + 1
  5. f ( x ) = x + 7 ( x + 3 ) 2
  6. f ( x ) = x 3 + 1 x 2 1
  7. f ( x ) = 4 x x 2 + 4
  8. f ( x ) = 4 x x 2 4
  9. f ( x ) = x 2 x 12 x 2 + x 6
  10. f ( x ) = 3 x 2 5 x 2 x 2 9
  11. f ( x ) = x 3 + 2 x 2 + x x 2 x 2
  12. f ( x ) = x 3 3 x + 1 x 2 + 1
  13. f ( x ) = 2 x 2 + 5 x 3 3 x + 2
  14. f ( x ) = x 3 + 4 x x 2 9
  15. f ( x ) = 5 x 4 3 x 3 + x 2 10 x 3 3 x 2 + 3 x 1
  16. f ( x ) = x 3 1 x
  17. f ( x ) = 18 2 x 2 x 2 9
  18. f ( x ) = x 3 4 x 2 4 x 5 x 2 + x + 1
  19. The cost C in dollars to remove p % of the invasive species of Ippizuti fish from Sasquatch Pond is given by

    C ( p ) = 1770 p 100 p , 0 p < 100

    1. Find and interpret C ( 25 ) and C ( 95 ) .
    2. What does the vertical asymptote at x = 100 mean within the context of the problem?
    3. What percentage of the Ippizuti fish can you remove for $40000?
  20. In Exercise in Section, the population of Sasquatch in Portage County was modeled by the function

    P ( t ) = 150 t t + 15 ,

    where t = 0 represents the year 1803. Find the horizontal asymptote of the graph of y = P ( t ) and explain what it means.

  21. Recall from Example that the cost C (in dollars) to make x dOpi media players is C ( x ) = 100 x + 2000 , x 0 .

    1. Find a formula for the average cost C ¯ ( x ) . Recall: C ¯ ( x ) = C ( x ) x .
    2. Find and interpret C ¯ ( 1 ) and C ¯ ( 100 ) .
    3. How many dOpis need to be produced so that the average cost per dOpi is $ 200 ?
    4. Interpret the behavior of C ¯ ( x ) as x 0 + . (HINT: You may want to find the fixed cost C ( 0 ) to help in your interpretation.)
    5. Interpret the behavior of C ¯ ( x ) as x . (HINT: You may want to find the variable cost (defined in Example in Section ) to help in your interpretation.)
  22. In Exercise in Section, we fit a few polynomial models to the following electric circuit data. (The circuit was built with a variable resistor. For each of the following resistance values (measured in kilo-ohms, k Ω ), the corresponding power to the load (measured in milliwatts, m W ) is given in the table below.)22

    Table 4.4
    Resistance: ( k Ω ) 1.012 2.199 3.275 4.676 6.805 9.975
    Power: ( m W ) 1.063 1.496 1.610 1.613 1.505 1.314

    Using some fundamental laws of circuit analysis mixed with a healthy dose of algebra, we can derive the actual formula relating power to resistance. For this circuit, it is P ( x ) = 25 x ( x + 3.9 ) 2 , where x is the resistance value, x 0 .

    1. Graph the data along with the function y = P ( x ) on your calculator.
    2. Use your calculator to approximate the maximum power that can be delivered to the load. What is the corresponding resistance value?
    3. Find and interpret the end behavior of P ( x ) as x .
  23. In his now famous 1919 dissertation The Learning Curve Equation, Louis Leon Thurstone presents a rational function which models the number of words a person can type in four minutes as a function of the number of pages of practice one has completed. (This paper, which is now in the public domain and can be found here , is from a bygone era when students at business schools took typing classes on manual typewriters.) Using his original notation and original language, we have Y = L ( X + P ) ( X + P ) + R where L is the predicted practice limit in terms of speed units, X is pages written, Y is writing speed in terms of words in four minutes, P is equivalent previous practice in terms of pages and R is the rate of learning. In Figure 5 of the paper, he graphs a scatter plot and the curve Y = 216 ( X + 19 ) X + 148 . Discuss this equation with your classmates. How would you update the notation? Explain what the horizontal asymptote of the graph means. You should take some time to look at the original paper. Skip over the computations you don't understand yet and try to get a sense of the time and place in which the study was conducted.

Answers

  1. f ( x ) = x 3 x 6 Domain: ( , 2 ) ( 2 , ) Vertical asymptote: x = 2 As x 2 , f ( x ) As x 2 + , f ( x ) No holes in the graph Horizontal asymptote: y = 1 3 As x , f ( x ) 1 3 As x , f ( x ) 1 3 +
  2. f ( x ) = 3 + 7 x 5 2 x Domain: ( , 5 2 ) ( 5 2 , ) Vertical asymptote: x = 5 2 As x 5 2 , f ( x ) As x 5 2 + , f ( x ) No holes in the graph Horizontal asymptote: y = 7 2 As x , f ( x ) 7 2 + As x , f ( x ) 7 2
  3. f ( x ) = x x 2 + x 12 = x ( x + 4 ) ( x 3 ) Domain: ( , 4 ) ( 4 , 3 ) ( 3 , ) Vertical asymptotes: x = 4 , x = 3 As x 4 , f ( x ) As x 4 + , f ( x ) As x 3 , f ( x ) As x 3 + , f ( x ) No holes in the graph Horizontal asymptote: y = 0 As x , f ( x ) 0 As x , f ( x ) 0 +
  4. f ( x ) = x x 2 + 1 Domain: ( , ) No vertical asymptotes No holes in the graph Horizontal asymptote: y = 0 As x , f ( x ) 0 As x , f ( x ) 0 +
  5. f ( x ) = x + 7 ( x + 3 ) 2 Domain: ( , 3 ) ( 3 , ) Vertical asymptote: x = 3 As x 3 , f ( x ) As x 3 + , f ( x ) No holes in the graph Horizontal asymptote: y = 0 23As x , f ( x ) 0 As x , f ( x ) 0 +
  6. f ( x ) = x 3 + 1 x 2 1 = x 2 x + 1 x 1 Domain: ( , 1 ) ( 1 , 1 ) ( 1 , ) Vertical asymptote: x = 1 As x 1 , f ( x ) As x 1 + , f ( x ) Hole at ( 1 , 3 2 ) Slant asymptote: y = x As x , the graph is below y = x As x , the graph is above y = x
  7. f ( x ) = 4 x x 2 + 4 Domain: ( , ) No vertical asymptotes No holes in the graph Horizontal asymptote: y = 0 As x , f ( x ) 0 As x , f ( x ) 0 +
  8. f ( x ) = 4 x x 2 4 = 4 x ( x + 2 ) ( x 2 ) Domain: ( , 2 ) ( 2 , 2 ) ( 2 , ) Vertical asymptotes: x = 2 , x = 2 As x 2 , f ( x ) As x 2 + , f ( x ) As x 2 , f ( x ) As x 2 + , f ( x ) No holes in the graph Horizontal asymptote: y = 0 As x , f ( x ) 0 As x , f ( x ) 0 +
  9. f ( x ) = x 2 x 12 x 2 + x 6 = x 4 x 2 Domain: ( , 3 ) ( 3 , 2 ) ( 2 , ) Vertical asymptote: x = 2 As x 2 , f ( x ) As x 2 + , f ( x ) Hole at ( 3 , 7 5 ) Horizontal asymptote: y = 1 As x , f ( x ) 1 + As x , f ( x ) 1
  10. f ( x ) = 3 x 2 5 x 2 x 2 9 = ( 3 x + 1 ) ( x 2 ) ( x + 3 ) ( x 3 ) Domain: ( , 3 ) ( 3 , 3 ) ( 3 , ) Vertical asymptotes: x = 3 , x = 3 As x 3 , f ( x ) As x 3 + , f ( x ) As x 3 , f ( x ) As x 3 + , f ( x ) No holes in the graph Horizontal asymptote: y = 3 As x , f ( x ) 3 + As x , f ( x ) 3
  11. f ( x ) = x 3 + 2 x 2 + x x 2 x 2 = x ( x + 1 ) x 2 Domain: ( , 1 ) ( 1 , 2 ) ( 2 , ) Vertical asymptote: x = 2 As x 2 , f ( x ) As x 2 + , f ( x ) Hole at ( 1 , 0 ) Slant asymptote: y = x + 3 As x , the graph is below y = x + 3 As x , the graph is above y = x + 3
  12. f ( x ) = x 3 3 x + 1 x 2 + 1 Domain: ( , ) No vertical asymptotes No holes in the graph Slant asymptote: y = x As x , the graph is above y = x As x , the graph is below y = x
  13. f ( x ) = 2 x 2 + 5 x 3 3 x + 2 Domain: ( , 2 3 ) ( 2 3 , ) Vertical asymptote: x = 2 3 As x 2 3 , f ( x ) As x 2 3 + , f ( x ) No holes in the graph Slant asymptote: y = 2 3 x + 11 9 As x , the graph is above y = 2 3 x + 11 9 As x , the graph is below y = 2 3 x + 11 9
  14. f ( x ) = x 3 + 4 x x 2 9 = x 3 + 4 x ( x 3 ) ( x + 3 ) Domain: ( , 3 ) ( 3 , 3 ) ( 3 , ) Vertical asymptotes: x = 3 , x = 3 As x 3 , f ( x ) As x 3 + , f ( x ) As x 3 , f ( x ) As x 3 + , f ( x ) No holes in the graph Slant asymptote: y = x As x , the graph is above y = x As x , the graph is below y = x
  15. f ( x ) = 5 x 4 3 x 3 + x 2 10 x 3 3 x 2 + 3 x 1 = 5 x 4 3 x 3 + x 2 10 ( x 1 ) 3 Domain: ( , 1 ) ( 1 , ) Vertical asymptotes: x = 1 As x 1 , f ( x ) As x 1 + , f ( x ) No holes in the graph Slant asymptote: y = 5 x 18 As x , the graph is above y = 5 x 18 As x , the graph is below y = 5 x 18
  16. f ( x ) = x 3 1 x Domain: ( , 1 ) ( 1 , ) Vertical asymptote: x = 1 As x 1 , f ( x ) As x 1 + , f ( x ) No holes in the graph No horizontal or slant asymptote As x , f ( x ) As x , f ( x )
  17. f ( x ) = 18 2 x 2 x 2 9 = 2 Domain: ( , 3 ) ( 3 , 3 ) ( 3 , ) No vertical asymptotes Holes in the graph at ( 3 , 2 ) and ( 3 , 2 ) Horizontal asymptote y = 2 As x ± , f ( x ) = 2
  18. f ( x ) = x 3 4 x 2 4 x 5 x 2 + x + 1 = x 5 Domain: ( , ) No vertical asymptotes No holes in the graph Slant asymptote: y = x 5 f ( x ) = x 5 everywhere.
    1. C ( 25 ) = 590 means it costs $590 to remove 25% of the fish and and C ( 95 ) = 33630 means it would cost $33630 to remove 95% of the fish from the pond.
    2. The vertical asymptote at x = 100 means that as we try to remove 100% of the fish from the pond, the cost increases without bound; i.e., it's impossible to remove all of the fish.
    3. For $40000 you could remove about 95.76% of the fish.
  19. The horizontal asymptote of the graph of P ( t ) = 150 t t + 15 is y = 150 and it means that the model predicts the population of Sasquatch in Portage County will never exceed 150.
    1. C ¯ ( x ) = 100 x + 2000 x , x > 0 .
    2. C ¯ ( 1 ) = 2100 and C ¯ ( 100 ) = 120 . When just 1 dOpi is produced, the cost per dOpi is $ 2100 , but when 100 dOpis are produced, the cost per dOpi is $ 120 .
    3. C ¯ ( x ) = 200 when x = 20 . So to get the cost per dOpi to $ 200 , 20 dOpis need to be produced.
    4. As x 0 + , C ¯ ( x ) . This means that as fewer and fewer dOpis are produced, the cost per dOpi becomes unbounded. In this situation, there is a fixed cost of $ 2000 ( C ( 0 ) = 2000 ), we are trying to spread that $ 2000 over fewer and fewer dOpis.
    5. As x , C ¯ ( x ) 100 + . This means that as more and more dOpis are produced, the cost per dOpi approaches $ 100 , but is always a little more than $ 100 . Since $ 100 is the variable cost per dOpi ( C ( x ) = 100 ¯ x + 2000 ), it means that no matter how many dOpis are produced, the average cost per dOpi will always be a bit higher than the variable cost to produce a dOpi. As before, we can attribute this to the $ 2000 fixed cost, which factors into the average cost per dOpi no matter how many dOpis are produced.
    1. Image: CIRCRAT
      Figure 4.15
    2. The maximum power is approximately 1.603 m W which corresponds to 3.9 k Ω .
    3. As x , P ( x ) 0 + which means as the resistance increases without bound, the power diminishes to zero.

Adapted from Precalculus, 3rd corrected edition, by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.