Graphs of Rational Functions
Learning goals
- Exclude the zeros of the original denominator
- Define an asymptote as a line the curve stays near
- Tell a hole from a vertical asymptote by whether the factor survives
- Determine the horizontal or oblique asymptote by comparing degrees and dividing
- Cross a horizontal asymptote freely, but never a vertical one
The simplest rational function, and what its graph does
A rational function is one polynomial divided by another,
where and are polynomials and is not the zero polynomial. Because division by zero has no value, the domain of is every real number except the zeros of .
Start with the smallest example there is, , whose only excluded input is . A short table shows what happens as creeps toward the forbidden value from the right:
The output has no ceiling. Name any height you like, say a million, and already beats it. Travel the other way instead, out toward large , and the outputs shrink toward zero without ever reaching it: , and . Negative inputs behave the same way with the signs flipped.
Both dashed lines in that picture are asymptotes. Here is the honest definition, and it is the one we will use all lesson:
A line is an asymptote of a curve when the distance from the curve to that line becomes and stays smaller than any distance you care to name, without that distance ever settling on exactly zero. That happens once you travel far enough out along the curve.
“Smaller than any distance you care to name” is doing real work in that definition. That phrase is exactly the one a first course in calculus makes precise, with limits. We are not going to fake that machinery here. We do not need it: everything below is ordinary algebra, and it produces the right lines and the right picture. Naming the edge of your tools is not an apology, it is how you know what you have proved.
The definition covers all three kinds at once. The -axis is an asymptote of because the points of the curve sit at horizontal distance from the line . That horizontal distance can be made as small as you please while the curve runs off the top of the page. The -axis is an asymptote because the vertical distance can be made as small as you please by taking far enough out.
Check your understanding
Which statement best matches the definition of an asymptote given above?
The definition is about the far-out behavior of the distance between the curve and the line: name any distance, however small, and the curve eventually gets and stays closer than that, without the distance ever landing on zero for good. That leaves room for the curve to touch or cross the line a few times along the way (you will meet exactly that later in this lesson), which rules out the first option. It also rules out the last option: a curve that simply equals the line from some point on has distance zero forever, which is not "getting close," it is "being there," and that case does not count as an asymptote at all. Tangency at one point is a different idea entirely and has nothing to do with far-out behavior.
Holes and vertical asymptotes
Every excluded input comes from a zero of the original denominator, and there are exactly two things a graph can do at one. Compare these two functions, which are undefined at the same place, :
For , factor and cancel. Since ,
That cancellation is the move from the simplifying lesson, and its warning applies here in full. Canceling preserves the value at every input where the original was defined, but it does not restore the input that was thrown away. So agrees with the line everywhere except at , where has no value at all. Its graph is that line with one point removed: a hole.
For nothing cancels, and the outputs behave like the table from . As approaches the denominator becomes tiny while the numerator stays , so the values blow up. The graph tears apart along the line , which is a vertical asymptote.
So the same excluded input can produce a missing dot or a cliff, and the deciding question is whether the offending factor cancels. Here is why, in plain terms: cancel every copy of that the numerator and denominator share, and look at what is left over.
If nothing of remains in the denominator, the simplified expression is an ordinary fraction at : its denominator does not vanish there, so it settles on some ordinary height. The original function agrees with that simplified expression everywhere except at itself (the original denominator really was zero there), so its graph is that ordinary curve with the single point above removed. A hole.
If a copy of survives in the denominator, then as approaches that surviving factor shrinks toward while the rest of the fraction settles on some fixed nonzero number. Dividing a number that does not shrink by one that does forces the whole fraction to grow without bound. The graph tears apart along . A vertical asymptote.
Read the two cases again and notice what the dividing line actually is. It is not “does appear in the numerator”, it is does the numerator carry at least as many copies of as the denominator. The factor must cancel completely. A single upstairs against downstairs cancels one copy and leaves one behind, and one copy left in a denominator is all it takes.
Worked example 1 Find the domain, holes, and vertical asymptotes of
Factor the top and the bottom completely:
The domain comes from the original denominator, whose zeros are and , so the domain is every real number except and .
Now ask which of those two factors cancels. The factor appears once on top and once on the bottom, so it cancels completely:
Nothing is left of in the denominator, so gives a hole. Its height is the value of the simplified expression there:
so the hole sits at . The factor never canceled, so is a vertical asymptote.
Worked example 2 Classify the excluded inputs of
The numerator factors as , so
The original denominator is zero at and , so those two inputs are out of the domain. The factor does appear in the numerator, which is precisely the trap. Count copies: one on top, two on the bottom. Canceling one from each leaves a copy behind,
and a surviving in the denominator means the values still blow up near . So is a vertical asymptote, not a hole, and so is . This function has no holes at all. Appearing in the numerator is not enough; the factor has to cancel completely.
Check your understanding
Find the domain of from its original denominator, then say what the graph does at each excluded input.
The original denominator is zero at and , so those two inputs are excluded from the domain (this is exactly why you always check the original denominator first). Now count copies of each factor. The factor appears once on top and once on the bottom, so it cancels completely and leaves nothing in the denominator.
So is a hole, at height . The factor never cancels, so is a vertical asymptote. The input is a zero of the numerator, which makes it an -intercept, not a hole.
End behavior: what the graph does far out
Vertical asymptotes tell you what happens near the bad points. End behavior is the other question: what does the curve do as you travel far to the right or far to the left? There is a three-case rule for this, and it is worth deriving rather than memorizing, because the derivation is one line and the rule falls out of it.
Take
and divide the numerator and the denominator by , the highest power of in the denominator. For this changes nothing about the value of the fraction:
Now every term that is not a leading coefficient has an underneath it, and those terms are exactly the ones that die away when is huge. At the numerator is and the denominator is , so , already within three thousandths of . Push further out and the little terms shrink further. The curve has the horizontal asymptote , and notice where that number came from: the ratio of the leading coefficients, , and nothing else.
The same division works in general. Given with and , divide top and bottom by . The denominator turns into its leading coefficient plus a pile of terms with powers of underneath them. For large the denominator is as close to that leading coefficient as you like. Everything then depends on what the numerator turned into, and there are three possibilities.
The bottom outgrows the top (). Dividing by leaves every numerator term with a power of underneath it, so the whole numerator dies away while the denominator settles on a nonzero number. For example
whose numerator shrinks to nothing and whose denominator heads for . The horizontal asymptote is , the -axis.
The degrees tie (). This is the case we just did. Both leading terms survive the division and everything else dies away, so the horizontal asymptote is , where and are the leading coefficients of and , provided does not divide exactly. If it does, equals that constant everywhere it is defined, so the graph does not approach the line, it lies on it, with a hole at each input the canceling threw away, the same exact-division exception you will meet again with oblique asymptotes.
The top outgrows the bottom (). Dividing by leaves the numerator with a positive power of still in it, so the numerator grows without bound while the denominator settles down. For example
which behaves like itself for large . There is no horizontal asymptote: no horizontal line can hold a curve that climbs forever. When the top outgrows the bottom by exactly one degree, as it does here, the curve is chased by a slanted line instead, with one exception the next section pins down. (Outgrow it by two degrees or more and there is no straight-line asymptote at all, but that case will not come up in this course.)
| Compare to | After dividing by | Horizontal asymptote |
|---|---|---|
| numerator dies to | ||
| both leading coefficients survive | , unless divides exactly | |
| numerator still has a power of | none (a different, oblique, asymptote can exist when ; see below) |
One small bonus, and it saves work later. Canceling a common factor from the top and the bottom lowers both degrees by the same amount and divides both leading coefficients by the same number. So the canceling changes neither the comparison against nor the ratio . You may read the end behavior off the original form or off the simplified form, and you will get the same answer.
Check your understanding
What is the horizontal asymptote of ?
Compare the degrees before doing anything else. The numerator has degree and the denominator has degree , so the top outgrows the bottom.
Dividing through by leaves an upstairs, so the values grow without bound and no horizontal line can catch them. The ratio would be the answer only if the degrees tied.
Oblique asymptotes, and why long division finds them
When the numerator’s degree is exactly one more than the denominator’s, the curve runs away from every horizontal line, and yet it is not wild. Far out, the curve hugs a slanted line. (Almost always. There is one exception, and we will corner it at the end of this section.) Finding that line needs no new tool. You already own it, from the polynomial division chapter.
Divide the polynomials. For
long division gives a quotient of and a remainder of : the first step takes and leaves , and the second takes and leaves . Check it by multiplying back, which is the habit worth keeping: , the numerator we started with. (The remainder theorem agrees, since the numerator at is .) Written the way division always lets you write it,
Read that as a sentence. The function is a line, , plus a correction term . The correction is a proper fraction, because the remainder of a division always has smaller degree than the divisor. And a proper fraction is exactly the kind of thing that dies away far out. At it is ; at it is . So for large the curve sits a whisker above the line and settles onto it. That line is an oblique asymptote (also called a slant asymptote). The vertical distance from the curve to the line is precisely the correction term, so we can make that distance as small as we like by going far enough out. That is the definition, satisfied on the nose.
Polynomial long division, introduced two chapters ago as a tool for factoring and hunting for roots, turns out to read the shape of a graph straight off its formula. It splits a rational function into the part that matters far out (the quotient) and the part that vanishes far out (the remainder over the denominator).
And once you see it that way, the horizontal case is the same theorem. Divide and you get a quotient of with a remainder of :
A constant quotient is a horizontal asymptote, . A linear quotient is an oblique asymptote. Same division, same reasoning, and the degree comparison from the last section is just a shortcut for predicting which one you are about to get.
One condition is doing quiet work in all of this, and it is worth dragging into the light: the remainder has to be nonzero. The whole argument runs on the correction term being small but present. If the division comes out exact, so that is zero, then is the quotient wherever it is defined, and there is nothing left for the curve to approach. A curve that lies exactly on a line is not said to have that line as an asymptote; the word is reserved for a line the curve gets close to without literally being it. Watch the exact-division case happen:
The numerator’s degree is one more than the denominator’s, exactly the case that is supposed to produce an oblique asymptote, and yet this graph has none. It does not approach the line ; it is that line, with a hole punched at . So state the rule with its hypothesis attached. When the numerator’s degree is one more than the denominator’s and the division leaves a nonzero remainder, the quotient is an oblique asymptote. When the remainder is zero, factor and enjoy your line. This is the same exception you will meet again in a moment when we ask whether a graph can cross a horizontal asymptote.
Worked example 3 Find the asymptotes of
First check for a hole, because you always check for a hole. The numerator factors as , which carries no factor of , so nothing cancels and is a vertical asymptote.
The numerator has degree and the denominator degree , one more on top, so expect an oblique asymptote and go find it by long division. Dividing by gives the quotient with remainder , which checks out because . Therefore
The oblique asymptote is . To see that the leftover term really is negligible far out, put : the correction is , so while the line gives . The curve is riding just above its asymptote, and the gap keeps closing.
Check your understanding
Divide to find the oblique asymptote of .
Divide by : the quotient is with remainder , since , which checks out. So , and the correction term shrinks to far out, leaving the oblique asymptote . A sign slip on the quotient's constant term, or forgetting the remainder correction entirely, are the two most common ways to miss it. There is an oblique asymptote here because the numerator's degree is exactly one more than the denominator's.
Can a graph cross an asymptote?
Students routinely picture an asymptote as a fence the curve is forbidden to touch. That belief is half right, and the half that is wrong causes real errors.
A graph can never cross a vertical asymptote. This one needs no argument beyond the domain. If is a vertical asymptote then is not in the domain, so the graph has no point whose first coordinate is . There is nothing there to cross with.
A graph absolutely can cross a horizontal or an oblique asymptote, and often does. Look again at what the definition demands: the curve must approach the line far out. It says nothing whatever about the middle of the picture. A curve is free to cut straight through its horizontal asymptote near the origin and then come back and settle onto it.
Solving or finds every point where the curve meets that line, and nothing more. A meeting point is not automatically a crossing: you confirm it is one by checking a value close on each side and seeing that the curve sits above the line on one side and below it on the other. Do that check for every example in this lesson and it comes out a crossing every time, but it is the check that tells you so, not the act of solving.
Here is one doing exactly that. Take
The degrees tie, so the horizontal asymptote is . To find where the curve meets that line, set the function equal to and solve, which is a rational equation of the kind you solved last lesson:
Check it: . Now confirm it is really a crossing, not just a touch, by testing a point on each side: , below the line, and , above it. The curve genuinely switches sides, so it crosses its horizontal asymptote at the point , and then goes on approaching it from above for the rest of the journey.
Why doesn’t one crossing spoil the asymptote? Because the definition only makes a promise about far out, and it says nothing about the middle of the graph. A curve is free to cut through its horizontal or oblique asymptote a finite number of times near the origin and still settle onto it once you go far enough in either direction.
The same is true for an oblique asymptote. Since equals the remainder over the denominator, the curve meets its oblique asymptote at any domain input where the remainder is zero; the same sign check as before then tells you whether that meeting is a crossing. So an oblique asymptote can be crossed too.
Worked example 4 Does the graph of cross its horizontal asymptote?
Factor the denominator first, to be sure nothing cancels: , and the numerator is , which shares neither factor. So there are no holes, and the vertical asymptotes are and .
The degrees tie at , so the horizontal asymptote is the ratio of the leading coefficients, . To find any crossing, set the function equal to that value and clear the fraction:
Expand both sides and watch the quadratic terms destroy each other, which is exactly what always happens in this calculation when the degrees tie:
That value is in the domain (it is neither nor ). Domain membership only says the meeting point is real, not that it is a crossing, so test a point on each side: , above the asymptote, and , below it. The curve switches sides, so this meeting is a genuine crossing. The graph meets its horizontal asymptote at , roughly , and approaches it from the other side afterwards.
Check your understanding
Which statement is true of the graph of a rational function?
A horizontal asymptote is a claim about what happens far out. So nothing stops the curve from cutting through the line near the middle of the picture and settling onto it later. Solving finds where the curve meets that line; checking the sign on each side of the meeting point is what confirms it is a crossing.
A vertical asymptote is different in kind. If is one, then is not in the domain, so the graph has no point at all above and there is nothing to cross with. And if the factor did cancel, the graph would have a hole there rather than a vertical asymptote.
Putting it all together
Every tool is now on the table, so here is the whole sketch as one routine. Nothing in it is new.
- Factor the numerator and the denominator completely.
- Domain. Exclude every zero of the original denominator. Do this before you cancel anything.
- Holes and vertical asymptotes. Cancel the common factors. An excluded input whose factor canceled completely is a hole; anything still left in the denominator is a vertical asymptote.
- Hole heights. Evaluate the simplified expression at each hole’s .
- Intercepts. The -intercepts are the zeros of the simplified numerator that survive in the domain; the -intercept is , if is in the domain.
- End behavior. Compare the degrees for a horizontal asymptote, or divide for an oblique one.
- Crossings. Solve (or ) to see whether the curve meets that asymptote.
- Sign chart. Mark the -intercepts and the vertical asymptotes on a number line (also mark a hole if its height is ; the graph is still absent there, but the sign can flip across it just like it does across an intercept). Test one point in each interval. The sign can only change at those places, so one test point settles a whole interval, and the signs tell you which way each branch runs.
Worked example 5 Sketch completely
Factor.
Domain. The original denominator is zero at and , so both are excluded.
Holes and vertical asymptotes. The factor appears once top and once bottom, so it cancels completely and is a hole. The factor survives, so is a vertical asymptote. After canceling,
Hole height. Put into the simplified expression:
so the hole is at .
Intercepts. The simplified numerator is zero at , which is in the domain, so the -intercept is . For the -intercept, , giving .
End behavior. The degrees tie ( and ) and both leading coefficients are , so the horizontal asymptote is . Long division says the same thing in more detail:
which even tells you which side the curve approaches from. For large positive the correction is a small negative number, so the curve lies just below on the right. For large negative the correction is a small positive number, so the curve lies just above on the left.
Crossings. Setting gives , that is , which is false. This graph never meets its horizontal asymptote. (The decomposition above already told us so: the correction is never zero.)
Sign chart. The sign can change only at the zero and at the vertical asymptote . The hole at changes nothing, since the factor that made it canceled out of the formula. Test one point in each interval:
| Interval | test value | at that value | the branch is |
|---|---|---|---|
| above the -axis | |||
| below the -axis | |||
| above the -axis |
Now assemble. On the left the curve comes in just above and passes through the hole’s neighborhood, punching out the single point . The curve then climbs through and, staying positive, rockets up the left side of . On the right of it starts far down (negative, per the sign chart), climbs through the intercept , and creeps back up toward from below.
Look at what that picture is. Every feature on it is an algebraic fact you established without plotting a single extra point: the hole is the canceled factor, and the vertical asymptote is the surviving one. The horizontal asymptote is the tie in degrees, and the sign chart chose the direction of each branch. The domain, tracked as a side condition since the first lesson of this chapter, is now the most visible thing on the page.