Unit 2, lesson 29

Rational Functions and Domain Restrictions

What a rational function is, how its domain comes from the original denominator, and why cancelling a common factor keeps every excluded value, often leaving a hole in the graph.

  • Theory part 57
  • Practice part 58
  • Rational Functions

Split a 600 dollar cabin rental evenly among xx friends and each person pays 600/x600/x dollars. Quotients like this one, a polynomial divided by a polynomial, show up whenever one quantity is shared out or compared with another. You can evaluate them at almost every input, but the few inputs that make the denominator zero need careful bookkeeping.

Key terms

Rational function

Definition A rational function is a function that can be written as

r(x)=p(x)q(x),r(x) = \frac{p(x)}{q(x)},

where pp and qq are polynomials and qq is not the zero polynomial. Every polynomial is a rational function, since it can be written with q(x)=1q(x) = 1. When no domain is stated, the domain is the natural domain of the formula, described below.

In plain words A rational function is a fraction with a polynomial on top and a polynomial on the bottom.

Example The functions

f(x)=3x−1x2+4andg(x)=x3−2xx−5\begin{gathered} f(x) = \frac{3x - 1}{x^2 + 4} \\[0.8em] \text{and} \\[0.4em] g(x) = \frac{x^3 - 2x}{x - 5} \end{gathered}

are rational functions. So is h(x)=2+1xh(x) = 2 + \frac{1}{x}, because combining the terms over a common denominator gives h(x)=2x+1xh(x) = \frac{2x + 1}{x}. What counts is whether the function can be written as one quotient of polynomials, not how the formula looks at first. The function xx+1\frac{\sqrt{x}}{x + 1} is not rational, because no rewriting turns x\sqrt{x} into a quotient of polynomials.

Numerator and denominator

Definition In the quotient p(x)q(x)\frac{p(x)}{q(x)} the polynomial pp is the numerator and qq is the denominator. For an input aa with q(a)≠0q(a) \ne 0 the value is r(a)=p(a)q(a)r(a) = \frac{p(a)}{q(a)}, and it equals 00 exactly when p(a)=0p(a) = 0. When q(a)=0q(a) = 0 the quotient is undefined, whatever p(a)p(a) is. This includes the case p(a)=0p(a) = 0, because the expression 00\frac{0}{0} has no value.

In plain words The top decides where the function is zero and the bottom decides where it is undefined. If both are zero at the same input, the bottom wins and the function is undefined there.

Example Take

f(x)=x2−9x2−2x−3.f(x) = \frac{x^2 - 9}{x^2 - 2x - 3}.

The numerator is zero at x=3x = 3 and at x=−3x = -3, and the denominator is zero at x=3x = 3 and at x=−1x = -1. At x=−3x = -3 the denominator is 9+6−3=129 + 6 - 3 = 12, so f(−3)=012=0f(-3) = \frac{0}{12} = 0. At x=3x = 3 both parts are 00, so f(3)f(3) is undefined, not 00. The value f(−1)f(-1) is undefined as well.

Original domain

Definition The original domain of a rational function r(x)=p(x)q(x)r(x) = \frac{p(x)}{q(x)} is its natural domain, read from the formula exactly as given, before any simplification,

{x∈R∣q(x)≠0}.\{x \in \mathbb{R} \mid q(x) \ne 0\}.

The real numbers left out are the excluded values. Since qq is not the zero polynomial, it has at most deg⁡q\deg q real zeros, so a rational function has only finitely many excluded values.

In plain words Before you touch the formula, find every real number that makes the denominator zero and remove it. What is left is the domain, and later algebra cannot change it.

Example For

g(x)=x+2x2−5x+6g(x) = \frac{x + 2}{x^2 - 5x + 6}

the denominator factors as (x−2)(x−3)(x - 2)(x - 3), so the excluded values are 22 and 33 and the original domain is

(−∞,2)∪(2,3)∪(3,∞).(-\infty, 2) \cup (2, 3) \cup (3, \infty).

For k(x)=xx2+1k(x) = \frac{x}{x^2 + 1} the denominator is at least 11 for every real xx, so nothing is excluded and the domain is R\mathbb{R}.

Factors

Definition A polynomial cc of positive degree is a factor of a polynomial pp when p=c⋅sp = c \cdot s for some polynomial ss. A common factor of pp and qq is a polynomial of positive degree that is a factor of both. By the Factor Theorem, x−ax - a is a factor of qq exactly when q(a)=0q(a) = 0, so every excluded value aa of pq\frac{p}{q} shows up as a linear factor x−ax - a of the denominator. Every nonconstant polynomial with real coefficients is a constant times a product of linear factors and quadratic factors that have no real zeros.

In plain words Factoring the top and the bottom shows at a glance where each one is zero and which pieces they share.

Example In the quotient

x3−4xx2+x−6\frac{x^3 - 4x}{x^2 + x - 6}

the numerator factors as x(x−2)(x+2)x(x - 2)(x + 2) and the denominator as (x−2)(x+3)(x - 2)(x + 3). The common factor is x−2x - 2. The excluded values 22 and −3-3 come straight from the linear factors of the denominator.

Cancellation

Definition Suppose p=c⋅Pp = c \cdot P and q=c⋅Qq = c \cdot Q for a common factor cc. At every xx with q(x)≠0q(x) \ne 0 both c(x)c(x) and Q(x)Q(x) are nonzero, so

p(x)q(x)=c(x) P(x)c(x) Q(x)=P(x)Q(x).\frac{p(x)}{q(x)} = \frac{c(x) \, P(x)}{c(x) \, Q(x)} = \frac{P(x)}{Q(x)}.

Cancelling every common factor, as many times as it appears in both, gives the reduced form PQ\frac{P}{Q}, in which PP and QQ share no factor of positive degree. Only factors cancel. A term that is added to or subtracted from something in the numerator or the denominator cannot be cancelled.

In plain words You may divide the top and the bottom by the same nonzero factor, just as 615=25\frac{6}{15} = \frac{2}{5} after dividing out 33. Factor first, then cancel whole factors, never single terms.

Example Since x2+x−6=(x−2)(x+3)x^2 + x - 6 = (x - 2)(x + 3) and x2−4=(x−2)(x+2)x^2 - 4 = (x - 2)(x + 2),

x2+x−6x2−4=x+3x+2,x≠2, x≠−2.\begin{gathered} \frac{x^2 + x - 6}{x^2 - 4} = \frac{x + 3}{x + 2}, \\[0.8em] x \ne 2, \ x \ne -2. \end{gathered}

Crossing out the xx in x+3x+2\frac{x + 3}{x + 2} to get 32\frac{3}{2} would be wrong, because there xx is a term, not a factor. At x=1x = 1 the fraction equals 43\frac{4}{3}, not 32\frac{3}{2}.

Keeping excluded values after simplifying

Definition Two functions are equal when they have the same domain and the same value at every input in that domain. Suppose cancelling the factor x−ax - a turns r(x)=p(x)q(x)r(x) = \frac{p(x)}{q(x)} into P(x)Q(x)\frac{P(x)}{Q(x)} and Q(a)≠0Q(a) \ne 0. Then the reduced form is defined at aa while rr is not, so they are different functions, and the correct simplified formula carries the restriction along,

r(x)=P(x)Q(x),x≠a.r(x) = \frac{P(x)}{Q(x)}, \qquad x \ne a.

Every excluded value of the original domain stays excluded after simplifying, whether or not the new denominator still shows it.

In plain words Simplifying changes how the formula looks, not which inputs are allowed. Write the lost restriction next to the simplified formula so that it does not quietly disappear.

Example Take

r(x)=x2−x−6x2−4=(x−3)(x+2)(x−2)(x+2).\begin{aligned} r(x) &= \frac{x^2 - x - 6}{x^2 - 4} \\[0.8em] &= \frac{(x - 3)(x + 2)}{(x - 2)(x + 2)}. \end{aligned}

The original domain excludes 22 and −2-2. Cancelling x+2x + 2 gives

r(x)=x−3x−2,x≠−2.r(x) = \frac{x - 3}{x - 2}, \qquad x \ne -2.

The restriction x≠2x \ne 2 is still visible in the new denominator, but x≠−2x \ne -2 would vanish without the note. The reduced formula gives −5−4=54\frac{-5}{-4} = \frac{5}{4} at x=−2x = -2, while r(−2)r(-2) is undefined.

Removable hole

Definition Let r=pqr = \frac{p}{q} have reduced form PQ\frac{P}{Q}, and let aa be an excluded value of rr with Q(a)≠0Q(a) \ne 0. Then r(x)=P(x)Q(x)r(x) = \frac{P(x)}{Q(x)} for every x≠ax \ne a close to aa, so near aa the graph of rr is the graph of PQ\frac{P}{Q} with the single point

(a,P(a)Q(a))\left(a, \frac{P(a)}{Q(a)}\right)

missing. This missing point is a removable hole. As xx approaches aa from either side, the values r(x)r(x) approach P(a)Q(a)\frac{P(a)}{Q(a)}. The hole is called removable because a new function, equal to rr on its domain and equal to P(a)Q(a)\frac{P(a)}{Q(a)} at aa, fills it. That new function is not rr. If instead Q(a)=0Q(a) = 0, which happens when x−ax - a appears more often in the denominator than in the numerator, there is no hole at aa but a vertical asymptote.

In plain words A factor that cancels completely leaves one missing point, while the curve just to its left and right is unbroken. Draw it as an open dot at the height the reduced form gives.

Example For the function rr of the previous section the factor x+2x + 2 cancels completely, and the reduced form equals 54\frac{5}{4} at −2-2. So the graph has a removable hole at (−2,54)(-2, \frac{5}{4}). Nearby values, rounded to four decimals, close in on 1.251.25 from both sides.

xx−2.1-2.1−2.01-2.01−2-2−1.99-1.99−1.9-1.9
r(x)r(x)1.24391.24391.24941.2494undefined1.25061.25061.25641.2564

In calculus such a point is called a removable discontinuity, and the new function that fills it is a continuous extension.

Check yourself

  1. Find the original domain, the reduced form and any holes of the function below.
f(x)=x2+3xx2−9f(x) = \frac{x^2 + 3x}{x^2 - 9}
Show the answer

Factoring gives

f(x)=x(x+3)(x−3)(x+3),f(x) = \frac{x(x + 3)}{(x - 3)(x + 3)},

so the original domain excludes 33 and −3-3. Cancelling x+3x + 3 gives f(x)=xx−3f(x) = \frac{x}{x - 3} for x≠−3x \ne -3. The reduced form equals −3−6=12\frac{-3}{-6} = \frac{1}{2} at −3-3, so the graph has a hole at (−3,12)(-3, \frac{1}{2}). At x=3x = 3 the reduced denominator is still zero, so there is no hole there.

  1. Does the graph of the function below have a hole at x=1x = 1?
g(x)=x−1x2−2x+1g(x) = \frac{x - 1}{x^2 - 2x + 1}
Show the answer

No. The denominator is (x−1)2(x - 1)^2, so only one copy of x−1x - 1 cancels and g(x)=1x−1g(x) = \frac{1}{x - 1}. The reduced denominator is still 00 at x=1x = 1, so the graph has a vertical asymptote there, not a hole. Here both formulas exclude only 11, so they are the same function and no extra note is needed.

  1. The graph of the function below looks like the line y=x−2y = x - 2. Does it have an xx-intercept?
h(x)=x2−4x+4x−2h(x) = \frac{x^2 - 4x + 4}{x - 2}
Show the answer

No. For x≠2x \ne 2 the function simplifies to h(x)=x−2h(x) = x - 2, so its graph is the line y=x−2y = x - 2 with a hole at (2,0)(2, 0). The line meets the xx-axis only at x=2x = 2, which is not in the domain of hh, so the graph of hh never meets the xx-axis.

How this lesson connects