Rational Functions
Learning goals
- Exclude the zeros of the denominator from the domain
- Graph as a hyperbola with two branches
- Tell a vertical asymptote from a hole by whether the factor cancels
- Compare degrees to find the horizontal asymptote
- Read asymptotes and from the shifted form
- Clear denominators, then discard extraneous candidates
What a rational function is
A rational function is a ratio of two polynomials,
where is not the zero polynomial (otherwise you would be dividing by nothing). The word rational comes from ratio: just as a rational number is one integer over another, a rational function is one polynomial over another. Every polynomial you have already studied is a rational function in disguise, since you can write it over the denominator . But the new behavior appears the moment the denominator actually contains the variable.
The simplest genuine example, and the one the whole lesson is built on, is the reciprocal function
It sends to , sends to , and sends to , turning each input into its reciprocal. A few more examples show the range of shapes the definition allows:
The rest of the lesson works out the two features that set rational functions apart from the polynomials of earlier chapters. Those two features are a domain with holes cut out of it, and a graph that runs off toward invisible guide-lines called asymptotes.
Finding the domain
A polynomial accepts every real number, but a rational function is choosier. Wherever the denominator equals zero, the rule asks you to divide by zero, and that has no answer. So the domain of a rational function is every real number except the values that make the denominator zero. To find those forbidden inputs, set the denominator equal to zero and solve.
Why dividing by zero has no value#
Division is defined through multiplication. The quotient is the number that, multiplied by , gives back . So means exactly that . Test what this demands when the divisor is zero.
Suppose first that , and ask for . It would have to be a number with . But anything times zero is zero,
so no such exists. There is simply no number that works.
Suppose instead that , and ask for . Now the requirement is satisfied by every number , since anything times zero is zero. A quotient that could be any number at all pins down nothing, so it cannot be assigned a single value either. Either way, dividing by zero has no sensible answer, which is exactly why every input that makes the denominator zero is thrown out of the domain.
Worked example 1 Find the domain of three rational functions
For each one, set only the denominator to zero, since the numerator never restricts the domain.
For , the denominator is zero when , that is . The domain is every real number except .
For , factor the denominator to find its zeros:
The domain is every real number except and .
For , set , which gives . No real number has a negative square, so the denominator is never zero, and the domain is all real numbers with nothing to exclude.
Check your understanding
What is the domain of ?
The domain excludes only the zeros of the denominator, so factor it and set each factor to zero.
The numerator plays no role in the domain, so the domain is every real number except and .
The reciprocal function and its hyperbola
To see what a rational graph looks like, plot the reciprocal point by point, keeping in mind that is barred from the domain:
The points fall into two separate pieces, called branches. For positive inputs both coordinates are positive, so that branch lives in the upper-right quadrant. For negative inputs both coordinates are negative, so the other branch sits in the lower-left. The two branches never join, because to pass from one to the other the curve would have to cross , and there is no point there. This two-branch curve is a hyperbola.
Look at what happens at the edges, described in plain words rather than symbols. As grows very large in size, say or , the reciprocal becomes very small, then , creeping toward zero without ever equalling it. So far out to the left and right the curve snuggles down against the x-axis. The horizontal line the graph approaches this way is a horizontal asymptote, and here it is the line .
Now let get very close to , say . Then , and at it is : the closer creeps to zero, the more violently shoots up (or down, for small negative ). The curve rises along the y-axis without bound, hugging it ever more tightly but never landing on it, since is not allowed. The vertical line the graph races along like this is a vertical asymptote, and here it is the line .
An asymptote is any straight line that the graph approaches more and more closely as you follow it outward. It is not part of the graph; it is a guide-line that describes where the curve is headed. Every rational function has this kind of edge behavior, and reading it off the formula is the goal of the next two sections.
Vertical asymptotes and holes
The reciprocal blew up at because that is where its denominator vanished. The same thing happens in general, but with one twist: not every zero of the denominator produces an asymptote. What matters is whether the troublesome factor also lives in the numerator.
Why a leftover factor blows the graph up, and a canceling one does not#
Suppose the denominator is zero at , so it has a factor of . Two cases split apart.
In the first case divides the denominator but not the numerator. Then as moves very close to , the factor becomes a tiny number near zero. So the whole denominator is tiny, while the numerator, with no factor of to shrink it, settles on some nonzero value . A fixed nonzero number divided by an ever-smaller number produces an ever-larger result: dividing by multiplies the size by a thousand, dividing by by a million. So the output grows without bound in size, positive on one side and negative on the other, and the curve races along the vertical line
which is therefore a vertical asymptote.
In the second case divides both, and cancelling clears every copy of it from the denominator. After canceling, the function agrees, at every input except itself, with a simpler rational function that has a perfectly finite value at . Nothing blows up, because the shrinking denominator is matched by a shrinking numerator. The only leftover damage is that is still forbidden from the original domain, so the graph is that simpler curve with exactly one point removed. That missing point is a hole. The rule is clean, once you cancel as far as it will go and look at what is left. In that fully canceled form, a factor still sitting in the denominator gives an asymptote, and one with no copy left there gives a hole.
Worked example 2 Find the vertical asymptotes of
The denominator is zero at and . Check whether either factor also cancels with the numerator .
At the numerator is , and at it is . Neither is zero, so neither factor cancels, and both survive in the denominator.
are therefore vertical asymptotes. Near , for instance, the numerator stays close to while the denominator shrinks toward zero. So the fraction grows without bound, and the curve shoots off along the line .
Worked example 3 Locate the hole and the asymptote of
Factor the top and bottom completely and see what cancels:
The factor appears on both the top and the bottom, so it cancels, leaving
Because cancelled, gives a hole, not an asymptote. Its height is the value of the reduced form there,
so the hole sits at . The other factor, , does not cancel, so is a genuine vertical asymptote. Both and are still excluded from the domain, but for very different graphical reasons. The hole at is a single missing point, and the asymptote at is a line the curve flees along.
Check your understanding
The graph of has a hole at which point?
Factor and cancel. The denominator is a difference of squares, so
The factor cancels, so is a hole, not an asymptote. Its height is the reduced value , so the hole is at .
Horizontal asymptotes and end behavior
Vertical asymptotes describe what the graph does near a forbidden input. The horizontal asymptote describes the opposite edge: what height the graph settles toward as runs far out to the left and right. The whole question turns on a single idea you can check by hand: when is huge, a polynomial is ruled by its highest-power term.
Take in . The square term is , while is a thousand times smaller and barely nudges the total. The larger becomes, the more completely the top-power term dwarfs everything else. So for the purpose of the far-out behavior, you may compare a rational function’s top and bottom by their leading terms alone. Let be the degree of the numerator and the degree of the denominator. Three cases result.
If , the denominator’s top power outgrows the numerator’s, so you are dividing a slower-growing quantity by a faster-growing one, and the ratio is squeezed toward zero. The horizontal asymptote is
If , the top and bottom grow at the same rate, and each is dominated by its leading term. Writing the leading coefficients as (top) and (bottom), the ratio settles toward
If , the numerator grows faster than the denominator, so the fraction grows without bound in size and never levels off. There is no horizontal asymptote. In the special case where the numerator is exactly one degree higher, the graph instead lines up far out with a slanted line called a slant asymptote. You find that line by dividing the polynomials, but the main fact to remember is that a top-heavy fraction has no horizontal asymptote at all.
Worked example 4 Find the horizontal asymptote in each degree case
Compare the degree of the top with the degree of the bottom.
For , the top has degree and the bottom degree , so . The bottom wins for large , dragging the ratio toward zero:
For , the degrees are equal at , so the leading terms decide. The leading coefficients are on top and on the bottom:
You can sanity-check this by plugging in : the top is about and the bottom about , a ratio near , exactly as predicted.
For , the top has the higher degree, against , so . The fraction grows without bound and there is no horizontal asymptote.
Check your understanding
What is the horizontal asymptote of ?
The top and bottom have the same degree, , so the horizontal asymptote is the ratio of the leading coefficients.
Because the degrees match, the far-out height is fixed by the leading terms and , giving .
x-intercepts and shifting the hyperbola
A fraction equals zero only when its numerator equals zero (and its denominator does not). So to find where a rational graph crosses the x-axis, set the numerator to zero and solve. Then discard any solution that also makes the denominator zero, since that input is not even in the domain. For the numerator is zero at , and since the denominator there is , the x-intercept is .
Reading a transformed reciprocal is just as direct. Every function of the form
is the basic hyperbola shifted and scaled, using the same moves you applied to other graphs. The in the denominator shifts the graph right by , which drags the vertical asymptote from over to . The on the outside lifts the whole graph up by , carrying the horizontal asymptote from up to . The factor stretches the branches, and a negative flips them across the horizontal asymptote. So the two asymptotes cross at the point , the new center of the hyperbola.
Worked example 5 Analyze
Match the rule to the form . Writing as gives , and the constant is , with .
The vertical asymptote sits where the denominator is zero, at , and the horizontal asymptote is the added constant, . The center of the hyperbola is where they cross, .
Now read off the intercepts. The y-intercept comes from :
so the graph crosses the y-axis at . The x-intercept comes from setting :
so the graph crosses the x-axis at . With the two asymptotes and these two crossings, the shape is completely pinned down.
Set that example on the figure below and watch it assemble itself: , then step the inside shift down to , then the outside shift down to . The two dashed lines are the asymptotes, and they carry the graph with them.
Two things are worth doing deliberately once it is there. First, watch the expression while you move the inside shift. At the rule reads underneath, and the graph has gone left; the sign you see and the direction it travels disagree, every time. That disagreement is the whole reason the worked example rewrote as before reading off . Second, drive down through zero. Negative values flip both branches across the horizontal asymptote, and at there is no hyperbola left at all: the rule collapses to the flat line . That line is still missing its point at , because a division by zero stays undefined no matter what you multiply it by.
Slide the hyperbola
y = 1/x. Its centre sits at (0, 0), not shifted at all. One branch lies above and to the right of it and the other below and to the left. It never reaches x = 0 or y = 0: those are its asymptotes.
Solving a rational equation
To solve an equation that has variables in a denominator, clear the fractions by multiplying every term by a common denominator. Then solve the polynomial equation that remains, and finally throw out any candidate that makes an original denominator zero. That last step is not optional. Multiplying by an expression that could be zero can introduce a false solution, an extraneous one, exactly as squaring did for radical equations.
Worked example 6 Solve two rational equations, one of which has an extraneous solution
First solve . Multiply both sides by to clear the denominators, which leaves a linear equation:
The value makes neither denominator zero, so it is genuine, and the only solution is .
Now solve . Multiply every term by :
Before celebrating, check the candidate against the original denominators. Here makes , so it was never in the domain. The candidate is extraneous, and the equation has no solution. The multiplication step manufactured it, which is why every answer must be tested in the original equation.