Suppose we know that the cost of making a product is dependent on the number of items, [latex]x[/latex], produced. This is given by the equation [latex]C\left(x\right)=15,000x - 0.1{x}^{2}+1000[/latex]. If we want to know the average cost for producing [latex]x[/latex] items, we would divide the cost function by the number of items, [latex]x[/latex].

The average cost function, which yields the average cost per item for [latex]x[/latex] items produced, is

[latex]f\left(x\right)=\dfrac{15,000x - 0.1{x}^{2}+1000}{x}[/latex]

Many other application problems require finding an average value in a similar way, giving us variables in the denominator. Written without a variable in the denominator, this function will contain a negative integer power.

In the last few sections, we have worked with polynomial functions, which are functions with non-negative integers for exponents. In this section, we explore rational functions, which have variables in the denominator.

Characteristics of Rational Functions

We have seen the graphs of the basic reciprocal function and the squared reciprocal function from our study of toolkit functions. Examine these graphs and notice some of their features.

Several things are apparent if we examine the graph of [latex]f\left(x\right)=\dfrac{1}{x}[/latex].

1. On the left branch of the graph, the curve approaches the [latex]x[/latex]-axis [latex]\left(y=0\right) \text{ as } x\to -\infty[/latex].
2. As the graph approaches [latex]x=0[/latex] from the left, the curve drops, but as we approach zero from the right, the curve rises.
3. Finally, on the right branch of the graph, the curves approaches the [latex]x[/latex]–axis [latex]\left(y=0\right) \text{ as } x\to \infty[/latex].

To summarize, we use arrow notation to show that [latex]x[/latex] or [latex]f\left(x\right)[/latex] is approaching a particular value.

Arrow Notation
Symbol	Meaning
[latex]x\to {a}^{-}[/latex]	[latex]x[/latex] approaches [latex]a[/latex] from the left ([latex]x
[latex]x\to {a}^{+}[/latex]	[latex]x[/latex] approaches [latex]a[/latex] from the right ([latex]x>a[/latex] but close to [latex]a[/latex])
[latex]x\to \infty[/latex]	[latex]x[/latex] approaches infinity ([latex]x[/latex] increases without bound)
[latex]x\to -\infty[/latex]	[latex]x[/latex] approaches negative infinity ([latex]x[/latex] decreases without bound)
[latex]f\left(x\right)\to \infty[/latex]	the output approaches infinity (the output increases without bound)
[latex]f\left(x\right)\to -\infty[/latex]	the output approaches negative infinity (the output decreases without bound)
[latex]f\left(x\right)\to a[/latex]	the output approaches [latex]a[/latex]

Local Behavior of [latex]f\left(x\right)=\frac{1}{x}[/latex]

Let’s begin by looking at the reciprocal function, [latex]f\left(x\right)=\frac{1}{x}[/latex]. We cannot divide by zero, which means the function is undefined at [latex]x=0[/latex]; so zero is not in the domain. As the input values approach zero from the left side (becoming very small, negative values), the function values decrease without bound (in other words, they approach negative infinity). We can see this behavior in the table below.

[latex]x[/latex]	–0.1	–0.01	–0.001	–0.0001
[latex]f\left(x\right)=\frac{1}{x}[/latex]	–10	–100	–1000	–10,000

We write in arrow notation

[latex]\text{as }x\to {0}^{-},f\left(x\right)\to -\infty[/latex]

As the input values approach zero from the right side (becoming very small, positive values), the function values increase without bound (approaching infinity). We can see this behavior in the table below.

[latex]x[/latex]	0.1	0.01	0.001	0.0001
[latex]f\left(x\right)=\frac{1}{x}[/latex]	10	100	1000	10,000

We write in arrow notation

[latex]\text{As }x\to {0}^{+}, f\left(x\right)\to \infty[/latex].

This behavior creates a vertical asymptote, which is a vertical line that the graph approaches but never crosses. In this case, the graph is approaching the vertical line [latex]x=0[/latex] as the input becomes close to zero.

End Behavior of [latex]f\left(x\right)=\frac{1}{x}[/latex]

As the values of [latex]x[/latex] approach infinity, the function values approach 0. As the values of [latex]x[/latex] approach negative infinity, the function values approach 0. Symbolically, using arrow notation

[latex]\text{As }x\to \infty ,f\left(x\right)\to 0,\text{and as }x\to -\infty ,f\left(x\right)\to 0[/latex].

Based on this overall behavior and the graph, we can see that the function approaches 0 but never actually reaches 0; it seems to level off as the inputs become large. This behavior creates a horizontal asymptote, a horizontal line that the graph approaches as the input increases or decreases without bound. In this case, the graph is approaching the horizontal line [latex]y=0[/latex].

A Mixing Problem

In the previous example, we shifted a toolkit function in a way that resulted in the function [latex]f\left(x\right)=\dfrac{3x+7}{x+2}[/latex]. This is an example of a rational function. A rational function is a function that can be written as the quotient of two polynomial functions. Many real-world problems require us to find the ratio of two polynomial functions. Problems involving rates and concentrations often involve rational functions.

Domain and Its Effect on Vertical Asymptotes

A vertical asymptote represents a value at which a rational function is undefined, so that value is not in the domain of the function. A reciprocal function cannot have values in its domain that cause the denominator to equal zero. In general, to find the domain of a rational function, we need to determine which inputs would cause division by zero.

By looking at the graph of a rational function, we can investigate its local behavior and easily see whether there are asymptotes. We may even be able to approximate their location. Even without the graph, however, we can still determine whether a given rational function has any asymptotes, and calculate their location.

Watch the following video to see more examples of finding the domain of a rational function.

Vertical Asymptotes

The vertical asymptotes of a rational function may be found by examining the factors of the denominator that are not common to the factors in the numerator. Vertical asymptotes occur at the zeros of such factors.

 

Removable Discontinuities

Occasionally, a graph will contain a hole: a single point where the graph is not defined, indicated by an open circle. We call such a hole a removable discontinuity.

For example the function [latex]f\left(x\right)=\dfrac{{x}^{2}-1}{{x}^{2}-2x - 3}[/latex] may be re-written by factoring the numerator and the denominator.

[latex]f\left(x\right)=\dfrac{\left(x+1\right)\left(x - 1\right)}{\left(x+1\right)\left(x - 3\right)}[/latex]

Notice that [latex]x+1[/latex] is a common factor to the numerator and the denominator. The zero of this factor, [latex]x=-1[/latex], is the location of the removable discontinuity. Notice also that [latex]x - 3[/latex] is not a factor in both the numerator and denominator. The zero of this factor, [latex]x=3[/latex], is the vertical asymptote.

Horizontal Asymptotes and Intercepts

While vertical asymptotes describe the behavior of a graph as the output gets very large or very small, horizontal asymptotes help describe the behavior of a graph as the input gets very large or very small. Recall that a polynomial’s end behavior will mirror that of the leading term. Likewise, a rational function’s end behavior will mirror that of the ratio of the leading terms of the numerator and denominator functions.

There are three distinct outcomes when checking for horizontal asymptotes:

Case 1: If the degree of the denominator > degree of the numerator, there is a horizontal asymptote at [latex]y=0[/latex].

Example: [latex]f\left(x\right)=\dfrac{4x+2}{{x}^{2}+4x - 5}[/latex]

In this case the end behavior is [latex]f\left(x\right)\approx \frac{4x}{{x}^{2}}=\frac{4}{x}[/latex]. This tells us that, as the inputs increase or decrease without bound, this function will behave similarly to the function [latex]g\left(x\right)=\frac{4}{x}[/latex], and the outputs will approach zero, resulting in a horizontal asymptote at [latex]y=0[/latex]. Note that this graph crosses the horizontal asymptote.

Case 2: If the degree of the denominator < degree of the numerator by one, we get a slant asymptote.

Example: [latex]f\left(x\right)=\dfrac{3{x}^{2}-2x+1}{x - 1}[/latex]

In this case the end behavior is [latex]f\left(x\right)\approx \frac{3{x}^{2}}{x}=3x[/latex]. This tells us that as the inputs increase or decrease without bound, this function will behave similarly to the function [latex]g\left(x\right)=3x[/latex]. As the inputs grow large, the outputs will grow and not level off, so this graph has no horizontal asymptote. However, the graph of [latex]g\left(x\right)=3x[/latex] looks like a diagonal line, and since [latex]f[/latex] will behave similarly to [latex]g[/latex], it will approach a line close to [latex]y=3x[/latex]. This line is a slant asymptote.

To find the equation of the slant asymptote, divide [latex]\dfrac{3{x}^{2}-2x+1}{x - 1}[/latex]. The quotient is [latex]3x+1[/latex], and the remainder is 2. The slant asymptote is the graph of the line [latex]g\left(x\right)=3x+1[/latex].

Case 3: If the degree of the denominator = degree of the numerator, there is a horizontal asymptote at [latex]y=\frac{{a}_{n}}{{b}_{n}}[/latex], where [latex]{a}_{n}[/latex] and [latex]{b}_{n}[/latex] are the leading coefficients of [latex]p\left(x\right)[/latex] and [latex]q\left(x\right)[/latex] for [latex]f\left(x\right)=\frac{p\left(x\right)}{q\left(x\right)},q\left(x\right)\ne 0[/latex].

Example: [latex]f\left(x\right)=\dfrac{3{x}^{2}+2}{{x}^{2}+4x - 5}[/latex]

In this case the end behavior is [latex]f\left(x\right)\approx \frac{3{x}^{2}}{{x}^{2}}=3[/latex]. This tells us that as the inputs grow large, this function will behave like the function [latex]g\left(x\right)=3[/latex], which is a horizontal line. As [latex]x\to \pm \infty ,f\left(x\right)\to 3[/latex], resulting in a horizontal asymptote at [latex]y=3[/latex]. Note that this graph crosses the horizontal asymptote.

Notice that, while the graph of a rational function will never cross a vertical asymptote, the graph may or may not cross a horizontal or slant asymptote. Also, although the graph of a rational function may have many vertical asymptotes, the graph will have at most one horizontal (or slant) asymptote.

It should be noted that, if the degree of the numerator is larger than the degree of the denominator by more than one, the end behavior of the graph will mimic the behavior of the reduced end behavior fraction. For instance, if we had the function

[latex]f\left(x\right)=\dfrac{3{x}^{5}-{x}^{2}}{x+3}[/latex]

with end behavior

[latex]f\left(x\right)\approx \dfrac{3{x}^{5}}{x}=3{x}^{4}[/latex],

the end behavior of the graph would look similar to that of an even polynomial with a positive leading coefficient.

As [latex]x\to \pm \infty , f\left(x\right)\to \infty[/latex]

Watch this video to see more worked examples of determining which kind of horizontal asymptote a rational function will have.

Watch the following video to see more worked examples of finding asymptotes, intercepts and holes of rational functions.

Graph Rational Functions

Previously we saw that the numerator of a rational function reveals the [latex]x[/latex]-intercepts of the graph, whereas the denominator reveals the vertical asymptotes of the graph. As with polynomials, factors of the numerator may have integer powers greater than one. Fortunately, the effect on the shape of the graph at those intercepts is the same as we saw with polynomials.

The vertical asymptotes associated with the factors of the denominator will mirror one of the two toolkit reciprocal functions. When the degree of the factor in the denominator is odd, the distinguishing characteristic is that on one side of the vertical asymptote the graph heads towards positive infinity, and on the other side the graph heads towards negative infinity.

When the degree of the factor in the denominator is even, the distinguishing characteristic is that the graph either heads toward positive infinity on both sides of the vertical asymptote or heads toward negative infinity on both sides.

For example the graph of [latex]f\left(x\right)=\dfrac{{\left(x+1\right)}^{2}\left(x - 3\right)}{{\left(x+3\right)}^{2}\left(x - 2\right)}[/latex].

• At the [latex]x[/latex]-intercept [latex]x=-1[/latex] corresponding to the [latex]{\left(x+1\right)}^{2}[/latex] factor of the numerator, the graph bounces, consistent with the quadratic nature of the factor.
• At the [latex]x[/latex]-intercept [latex]x=3[/latex] corresponding to the [latex]\left(x - 3\right)[/latex] factor of the numerator, the graph passes through the axis as we would expect from a linear factor.
• At the vertical asymptote [latex]x=-3[/latex] corresponding to the [latex]{\left(x+3\right)}^{2}[/latex] factor of the denominator, the graph heads towards positive infinity on both sides of the asymptote, consistent with the behavior of the function [latex]f\left(x\right)=\frac{1}{{x}^{2}}[/latex].
• At the vertical asymptote [latex]x=2[/latex], corresponding to the [latex]\left(x - 2\right)[/latex] factor of the denominator, the graph heads towards positive infinity on the left side of the asymptote and towards negative infinity on the right side, consistent with the behavior of the function [latex]f\left(x\right)=\frac{1}{x}[/latex].

Watch the following video to see another worked example of how to match different kinds of rational functions with their graphs.

Writing Rational Functions

Now that we have analyzed the equations for rational functions and how they relate to a graph of the function, we can use information given by a graph to write the function. A rational function written in factored form will have an [latex]x[/latex]-intercept where each factor of the numerator is equal to zero. (An exception occurs in the case of a removable discontinuity.) As a result, we can form a numerator of a function whose graph will pass through a set of [latex]x[/latex]-intercepts by introducing a corresponding set of factors. Likewise, because the function will have a vertical asymptote where each factor of the denominator is equal to zero, we can form a denominator that will produce the vertical asymptotes by introducing a corresponding set of factors.

Key Equations

Rational Function

[latex]f\left(x\right)=\dfrac{P\left(x\right)}{Q\left(x\right)}=\dfrac{{a}_{p}{x}^{p}+{a}_{p - 1}{x}^{p - 1}+...+{a}_{1}x+{a}_{0}}{{b}_{q}{x}^{q}+{b}_{q - 1}{x}^{q - 1}+...+{b}_{1}x+{b}_{0}}, Q\left(x\right)\ne 0[/latex]

Key Concepts

• We can use arrow notation to describe local behavior and end behavior of the toolkit functions [latex]f\left(x\right)=\frac{1}{x}[/latex] and [latex]f\left(x\right)=\frac{1}{{x}^{2}}[/latex].
• A function that levels off at a horizontal value has a horizontal asymptote. A function can have more than one vertical asymptote.
• Application problems involving rates and concentrations often involve rational functions.
• The domain of a rational function includes all real numbers except those that cause the denominator to equal zero.
• The vertical asymptotes of a rational function will occur where the denominator of the function is equal to zero and the numerator is not zero.
• A removable discontinuity might occur in the graph of a rational function if an input causes both numerator and denominator to be zero.
• A rational function’s end behavior will mirror that of the ratio of the leading terms of the numerator and denominator functions.
• Graph rational functions by finding the intercepts, behavior at the intercepts and asymptotes, and end behavior.
• If a rational function has x-intercepts at [latex]x={x}_{1},{x}_{2},\dots ,{x}_{n}[/latex], vertical asymptotes at [latex]x={v}_{1},{v}_{2},\dots ,{v}_{m}[/latex], and no [latex]{x}_{i}=\text{any }{v}_{j}[/latex], then the function can be written in the form [latex]f\left(x\right)=a\dfrac{{\left(x-{x}_{1}\right)}^{{p}_{1}}{\left(x-{x}_{2}\right)}^{{p}_{2}}\cdots {\left(x-{x}_{n}\right)}^{{p}_{n}}}{{\left(x-{v}_{1}\right)}^{{q}_{1}}{\left(x-{v}_{2}\right)}^{{q}_{2}}\cdots {\left(x-{v}_{m}\right)}^{{q}_{n}}}[/latex]

Glossary

arrow notation

a way to symbolically represent the local and end behavior of a function by using arrows to indicate that an input or output approaches a value

horizontal asymptote

a horizontal line [latex]y=b[/latex] where the graph approaches the line as the inputs increase or decrease without bound.

rational function

a function that can be written as the ratio of two polynomials

removable discontinuity

a single point at which a function is undefined that, if filled in, would make the function continuous; it appears as a hole on the graph of a function

vertical asymptote

a vertical line [latex]x=a[/latex] where the graph tends toward positive or negative infinity as the inputs approach [latex]a[/latex]