The root of the word "rational" is "ratio." Rational functions are **ratios of polynomial functions**, like the examples in the blue box below.

The thing that maks the graphs of rational functions so interesting (and tricky) is that they can have zeros (roots) in the denominator (remember, we can't divide by zero). Rational functions also have strange behavior as the absolute value of the independent variable gets very large. And rational functions can even have "holes," points that are just missing from the domain and graph.

where **p(x)** and **q(x)** are polynomial functions, and **q(x) ≠ 0**

What makes the graphs of rational functions so strange and interesting (and useful for modeling real things) is that they can have **zeros in the denominator**, values of x that cause the denominator to equal zero, and thus cause strange behavior. When the denominator is zero, mathematicians sometimes say that the function "**blows up**.".

The parent function of all rational functions is **f(x) = 1/x**. It's graph is actually a curve called a hyperbola, but not all rational function graphs are hyperbolas. Here are some examples. Notice that each is composed of a polynomial function in the numerator and the denominator (we consider a constant a polynomial function of zero-degree):

Simplest (parent)

Term | Definition |
---|---|

Continuity & discontinuity |
A function is continuous if we can draw its graph without lifting the pencil. Vertical asymptotes and holes are discontinuities. We'd have to lift the pencil and start drawing again at those points. |

Vertical asymptote |
A vertical asymptote [ass'·im·tōt] (VA) is a result of a zero or root in the denominator of a rational function. At a vertical asymptote, the graph of the function rises or falls steeply to ± infinity (±∞). |

Horizontal asymptote |
A horizontal asymptote is present when the limit of the function as the independent variable (x) goes to infinity has a finite value. For For example, the limit of the function f(x) = 1/x tends toward zero as x→∞, but it never actually gets to zero. |

Hole |
A hole is a single point in the graph of a rational function that cannot exist. The function is not continuous at a hole. Holes are caused by the presence of an identical zero or root in both the numerator and denominator of a rational function. |

Zero or root |
Rational functions have zeros (roots), points where the graph crosses the x-axis, or f(x) = 0, just like polynomial functions. The zeros of a rational function are the zeros of the numerator; they don't depend on the denominator, unless there's a hole. |

The graphs of rational functions have strange features like asymptotes and holes. Collectively, these are called **discontinuities**, points (sometimes regions) that have to be left out of the **domain** because they can't exist in the graph or because the value of the function is infinite.

The figure on the right shows the upper-right quadrant of the graph of **f(x) = 1/x**. We know that **x** can never be zero, so zero doesn't appear in the domain, which is **-∞ to ∞, x ≠ 0**, which we also write as** (-∞, 0) ∪ (0, ∞)**. We say that **x = 0** is the location of a **vertical asymptote**.

When **x** is near zero, the function grows very rapidly. Sometimes mathematicians call this "blowing up" ... the function *blows up* at **x = 0**. This kind of **asymptotic behavior** is always seen next to vertical asymptotes.

Remember that as the denominator of a fraction grows (with a fixed numerator), the value of the fraction decreases, and as it shrinks, the fraction increases. That's all you need to know to understand the behavior of functions at asymptotes. Here's an example:

Here's another graphic to help remind you how the value of a fraction changes as the denominator shrinks and grows:

The full graph of the simplest rational function, **f(x) = 1/x**, is shown below. Notice that we see asymptotic behavior on both sides of the vertical asymptote at **x = 0**. Notice the **symmetry** of the function: when **x < 0**, **f(x) < 0**, and when **x > 0**, **f(x) > 0**. It's always useful to consider the symmetry of a function before drawing its graph.

Now consider what happens to **f(x)** as **x → ± ∞** : 1/1, 1/10, 1/100, 1/1000, ... The value of f(x) gets smaller and smaller. It approaches zero but never quite gets there. That's asymptotic behavior at a **horizontal asymptote**, **y = 0**.

Later we'll see that asymptotes can take the form of slanted lines or even curves like a parabola.

An **asymptote** is an imaginary line or curve that the function graph approaches as the independent variable changes, but never quite reaches.

- Find vertical asymptotes by finding the real zeros of the denominator.
- Find horizontal asymptotes by thinking about the behavior of the function as x approaches ±
**∞.**

When the denominator of our parent function is squared, the function cannot take on negative values, so the left side gets reflected across the x-axis. **f(x)** is positive no matter what the sign of **x**.

The function **f(x) = 1/x ^{2}** still has a vertical asymptote at

Here is another example of the kind of symmetry you might find in the graph of a rational function. In this case, **f(-x) = -f(x)**, so this is an **odd function**. The denominator is always positive because the only instance of **x** is **x ^{2}**, but the numerator takes on whatever sign the independent variable has, so this function is negative when

Also notice that the denominator of this function has no real roots, therefore the function has no vertical asymptotes. The horizontal asymptote is **y=0**.

A denominator with no real roots means the function has no vertical asymptotes.

Horizontal asymptotes are found by asking the question: What happens to the function as **x** grows very large (goes to infinity) in both directions? Finding these is a different kind of mathematical exercise than you might be used to because it's not exact. Look at the first example below and follow the steps: First, when **x** is very large, the constant terms (+2 and -1) will hardly matter, so we strike them. What's left

is just **x/x**, which tends to get closer to one as **x** increases. Thus, our horizontal asymptote is the line **y = 1**.

Try to follow the second example, too. When the degrees (highest powers of **x**) of the numerator and denominator are the same, see how the horizontal asymptote is the ratio of their coefficients.

When the degrees of the numerator and denominator are the same, the limit of the function as x → ∞ is the ratio of the leading coefficients. This is the horizontal asymptote.

In the examples below, the degree of the numerator is smaller than the degree of the denominator. That means that as x grows, the denominator will grow faster than the numerator, and by analogy with the function f(x) = 1/x, the horizontal asymptote will be at y = 0.

In the example below, the degree of the numerator is larger than the degree of the denominator. That means that as x grows, the numerator will grow faster than the denominator, thus the function value, whether positive or negative, will grow "without bound."

What would otherwise be a horizontal asymptote, in these cases becomes a slanted line or another curve, such as a parabola.

To find the equation of such an asymptote, we just divide the smaller denominator into the larger numerator using polynomial long division. You need not worry about the remainder, although it does have a meaning: It is the vertical distance between the rational function graph and the curved asymptote as a function of **x**. Note that in the case of the slant asymptote below, this distance, too, approaches zero as x increases, just as we would expect of an asymptote.

When the degree of the denominator of a rational function is greater than the degree of the numerator (no matter how many degrees separate the two), the horizontal asymptote is at **y = 0**.

When the degree of the numerator is greater than the degree of the denominator, the graph will have an asymptote that is a curve of the degree of the difference. If the difference is 1, the asymptote is linear (but not horizontal); if the difference is 2, the asymptote is parabolic, and so on.

As you move through mathematics, you'll encounter limits more frequently, so this is a good time to introduce limit notation. This will be especially useful when you study calculus. We are finding a limit when we ask, "how does this function behave as x → ±∞

The table below shows limit notation in a number of circumstances. You'll definitely need to know limit notation to do calculus, and a bit of statistics, so it's good to try to wrap your head around it now.

Expression | Interpretation |
---|---|

$$\lim_{x\to\infty} \; f(x) = a$$ | The limit of f(x) as x approaches infinity is a. |

$$\lim_{x\to\infty} \; f(x) = \frac{1}{4}$$ | The limit of f(x) as x approaches infinity is b. |

$$\lim_{x \uparrow \infty} \; f(x) = b$$ | The limit of f(x) as x approaches infinity from below is b. |

$$\lim_{x \to {\infty}^-} \; f(x) = b$$ | The limit of f(x) as x approaches infinity from below is b. |

$$\lim_{x \downarrow \infty} \; f(x) = b$$ | The limit of f(x) as x approaches infinity from above is b. |

$$\lim_{x \to {\infty}^+} \; f(x) = b$$ | The limit of f(x) as x approaches infinity from above is b. |

To find the zeros of a rational function, we need only find the zeros of the numerator. Here's an example:

This function has a horizontal asymptote at **y = 1**, and three vertical asymptotes at **x = ±2** and 4. It has three real roots at **x = ±3** and **x = 5**. It's a complicated graph, but you'll learn how to sketch graphs like this easily, so not to worry.

To find roots or zeros of such a function, we do what we always do and set the function equal to zero. The function is

$$g(x) = \frac{(x + 3)(x - 3)(x - 5)}{(x + 2)(x - 2)(x - 4)}$$

... and we're trying to solve:

$$\frac{(x + 3)(x - 3)(x - 5)}{(x + 2)(x - 2)(x - 4)} = 0$$

To do so, we multiply both sides by the denominator, but because we multiply by zero on the right (and we always would), we end up simply solving for the zeros of the numerator.

There is one last discontinuity of rational functions to discuss, the **hole**. We already know that if a zero occurs in the denominator of a function, we'll see asymptotic behavior at that point – a vertical asymptote will exist in the graph. But what if the *same* zero also appears in the *numerator* of the function?

Holes occur in a rational function when the same binomial, (x - a), for example, exists in both the numerator and denominato. In such a case, while it's true that as x → a, the denominator approaches zero, so does the numerator, and at exactly the same "rate." The net result is that the function looks quite normal, without a vertical asymptote at **x = a**, but of course the function cannot have a value at **x = a**, so there's a "hole" there. Here is an example:

Another way to think about holes is that the two identical binomials divide to one, so the function graph really doesn't depend upon them, and is really the graph of the simplified function, *except* that it still can't have a value at **x = a**, thus the hole.

Here's the graph of our function – we just indicate the hole with an open circle at its location.

When you study calculus, holes will be known as "replaceable discontinuities." While the hole is truly a discontinuity (strictly speaking, you'd have to pick your pencil up at the hole to draw the function), we can really just divide the repeated binomial away and use the resulting simpler function for most work.

We've discussed all of the tools you need to analyze and sketch the graph of most rational functions. You might wonder why you need to do this if there are computers and programs that will graph a function for you. Here's why: computers can by mis-programmed, and therefore give misleading output (**garbage in - garbage out**).

I want you to be the person in the room who looks at a bad graph and says, "wait a minute, I don't think that can be right ..." Know roughly what you should get before you go to the computer. Let the computer do what it does best, fill in the details.

Here are some guidelines for sketching the graphs of rational functions:

1. | Factor the numerator to find the real zeros of the function. |

2. | Factor the denominator to find the real zeros of the denominator, which will be the locations of the vertical asymptotes. |

3. | Look for binomials common to the numerator and denominator; these, if any, will be holes in the graph, and no longer count as vertical asymptotes. |

4. | Find the limit of the function as x approaches ± infinity to find the horizontal asymptote(s). If the degree of the numerator is smaller than that of the denominator, the limit is zero. If it's larger, use long division to find the slant or curved asymptote. |

5. | Find the y-intercept, f(0). |

6. | Sketch the asymptote(s) and plot the y-intercept and any x-intercepts on your graph. |

7. | Consider any symmetry elements that might help you plot the graph. |

8. | Sketch the function graph by process of elimination, and by checking a few points, if necessary. |

First we'll take a look at the numerator. There's no need to try to factor this one if we remember the **discriminant**:

$$b^2 - 4ac \lt 0$$

Because the discriminant is less than zero in this case, the numerator has no real roots (zeros), therefore this function has no roots and its graph *never* crosses the x-axis. That's good information.

$$f(x) = \frac{2x^2 + 2x + 3}{4x^2 - 4x}$$

Numerator: no real roots

Now we can look for a horizontal asymptote by asking how the function behaves when **x** grows very large, in either the positive or negative directions. First, for large **x**, the 3 in the numerator is virtually meaningless; we'll cross it out:

$$\lim_{x \to ± =infty} \; \frac{2x^2 + 2x + 3}{4x^2 - 4x}$$

Now every remaining term can be divided by **x**, and the resulting integers are also of no value, so the limit is 1/2.

The denominator factors easily and has two roots at x = 0 and x = 1, the locations of our two vertical asymptotes.

$$ \begin{align} 4x^2 = 4x &= 0 \\ 4x(x - 1) &= 0 \end{align}$$

We need to know what happens between these asymptotes. The function could be above or below our horizontal asymptote. Plugging in 1/2 for x gives us

$$f\left( \frac{1}{2} \right) \lt 0$$

That's all of the information we need to plot this function. See the magenta curve in the graph below. Finally, plotting of a couple of well-selected points shows that the function approaches the horizontal asymptote from below on the left and from above on the right.

We could do this problem another way, too. It's sometimes possible to greatly simplify a rational function by doing the division it prescribes:

$$ \require{enclose} 4x^2 - 4x \enclose{longdiv}{2x^2 + 2x + 3}$$

The divisor goes in 1/2 times:

$$ \require{enclose} \frac{1}{2} \\ 4x^2 - 4x \enclose{longdiv}{2x^2 + 2x + 3}$$

One round of this division gives us a remainder of 4x + 3,

$$ \require{enclose} \frac{1}{2} \\ 4x^2 - 4x \enclose{longdiv}{2x^2 + 2x + 3} \\ \phantom{0000}\underline{-(2x^2 - 2x)} \\ \phantom{000000}4x + 3 $$

and the function can then be rewritten as a simpler rational function plus a constant, which just happens to be the horizontal asymptote.

$$ \begin{align} f(x) &= \frac{2x^2 + 2x + 3}{4x^2 - 4x} \\ \\ &= \frac{1}{2} + \frac{4x + 3}{4x^2 - 4x} \end{align}$$

The plot below shows the original function and this new function plotted on the same graph. The original function has been artificially elevated by 1 unit so you can see that they're both the same.

Here are a few examples of sketching the graphs of rational functions.

This function has a horizontal asymptote, but no vertical asymptote(s), and it has no real roots. You might think that would make it difficult to graph, but remember that knowing that something *doesn't* exist (like roots) is information, too.

This function graph has two vertical asymptotes and a horizontal asymptote at **y = 0**. Notice that the graph crosses the horizontal asymptote as **x = 0**. **That's OK**. Remember that the question we ask when finding horizontal asymptotic behavior is "what does the function do when **x** gets very large, either in the negative or positive directions." We don't ask about what happens in between, and in fact a graph can cross that/those lines in between **x = ±∞**.

This function also has two vertical asymptotes, but its behavior in between is a little different than the last example. The graph is totally consistent with the information we calculate and infer from the function.

This graph has a hole at **x = 3** because the binomial **(x - 3)** occurs both in the numerator and the denominator. That means when **x → 3**, the both of these binomials go to zero at the same rate. They divide to one (and thus have no effect on the graph) for all values of **x** except **x = 3**, and there the function is infinite. We say that there's a "hole" at **x = 3**; the function just has no value there. Later we'll refer to that kind of discontinuity in the graph as a "removable discontinuity."

Sketch graphs of these rational functions. Make sure to label asymptotes, holes, roots, y-intercepts and your axes.

1. | $$f(x) = \frac{x}{(x + 2)(x - 2)}$$ | |

2. | $$f(x) = \frac{x^3 + 2x^2 - 5x + 2}{x^2 - x - 2}$$ | |

3. | $$f(x) = \frac{x^2 - 9}{x^2 - 4}$$ |

4. | $$f(x) = \frac{(2x + 3)(x - 1)}{(x + 2)(x - 1)}$$ | |

5. | $$f(x) = \frac{(x^3 + 1)(x + 1)}{x(x + 1)}$$ | |

6. | $$f(x) = \frac{(x^2 - 4)(x + 3)}{x^2 + 2x - 3}$$ |

**xaktly.com** by Dr. Jeff Cruzan is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License. © 2012, Jeff Cruzan. All text and images on this website not specifically attributed to another source were created by me and I reserve all rights as to their use. Any opinions expressed on this website are entirely mine, and do not necessarily reflect the views of any of my employers. Please feel free to send any questions or comments to jeff.cruzan@verizon.net.