Rational Functions

A rational function is a ratio of two polynomials, $f (x) = P (x) / Q (x)$ with $Q (x) \neq = 0$ . Its behavior is governed by where the denominator vanishes (vertical asymptotes / holes) and by the relative degrees of numerator and denominator (end behavior). Rational functions appear throughout algebra, calculus, physics, and engineering wherever quantities depend on inverse or reciprocal relationships. Studied systematically since the development of analytic geometry in the 17th century.

A rational function is any function expressible as the quotient of two polynomials, $f (x) = P (x) / Q (x)$ , where $P$ and $Q$ are polynomials and $Q$ is not the zero polynomial. They matter because they extend polynomial behavior to include asymptotic phenomena — unbounded growth near forbidden points and stable limiting values far away — which model countless physical and economic relationships. The domain of a rational function is all real numbers except the zeros of the denominator, and understanding these excluded points is the heart of the topic. A surprising fact: two rational functions can describe the same curve yet differ at a single "hole," because a common factor cancels but the original domain restriction remains. Mastering rational functions means learning to read a formula and predict its entire graph — intercepts, asymptotes, holes, and end behavior — before plotting a single point.

The Core Insight

Everything about a rational function follows from factoring the numerator and denominator. Zeros of the numerator (that don't cancel) give $x$ -intercepts; zeros of the denominator give vertical asymptotes or holes; the degrees of $P$ and $Q$ dictate the horizontal, slant, or curved end behavior. Factor first, and the graph reveals itself.

Formal Statement

Rational Function

Let $P (x)$ and $Q (x)$ be polynomials with real coefficients, where $Q (x)$ is not identically zero. A rational function is a function of the form

f (x) = \frac{P ( x )}{Q ( x )}, Q (x) \neq = 0.

⟳This is the defining form; "rational" mirrors "rational number"

p / q

— a ratio of integers becomes a ratio of polynomials.

Here $P (x) = a_{m} x^{m} + \dots + a_{1} x + a_{0}$ is the numerator of degree $m$ , and $Q (x) = b_{n} x^{n} + \dots + b_{1} x + b_{0}$ is the denominator of degree $n$ . The domain is

Dom (f) = {x \in R : Q (x) \neq = 0} .

⟳Division by zero is undefined, so every real root of

Q

must be excluded.

Vertical Asymptotes and Holes

Suppose $f = P / Q$ is written in lowest terms (all common factors of $P$ and $Q$ cancelled). Let $c$ be a real number.

If $Q (c) = 0$ in lowest terms, then $x = c$ is a vertical asymptote: $∣ f (x) ∣ \to \infty$ as $x \to c$ .
If a factor $(x - c)$ cancelled from both $P$ and $Q$ , then $f$ has a hole (removable discontinuity) at $x = c$ .

x \to c lim ∣ f (x) ∣ = \infty (vertical asymptote at x = c) .

⟳Near an uncancelled root, the denominator approaches 0 while the numerator approaches a nonzero value, so the quotient blows up.

End Behavior by Degree

For $f (x) = P (x) / Q (x)$ with $de g P = m$ and $de g Q = n$ , the end behavior as $x \to \pm \infty$ is determined entirely by $m$ versus $n$ :

x \to \pm \infty lim f (x) = ⎩ ⎨ ⎧ 0 \frac{a _{m}}{b _{n}} \pm \infty if m < n, if m = n, if m > n .

⟳Divide numerator and denominator by

x^{n}

; terms with negative powers of

x

vanish at infinity, leaving the ratio of leading behaviors.

When $m = n + 1$ exactly, $f$ has a slant (oblique) asymptote $y = m x + b$ found by polynomial long division. When $m > n + 1$ , the asymptotic behavior is a polynomial of degree $m - n$ .

Why It Holds / Derivation

End Behavior Theorem

We prove the three cases of equation [4].

Step 1 — Normalize. Write

f (x) = \frac{a _{m} x ^{m} + \dots + a _{0}}{b _{n} x ^{n} + \dots + b _{0}} .

Step 2 — Divide top and bottom by $x^{n}$ (the highest denominator power):

f (x) = \frac{a _{m} x ^{m - n} + \dots + a _{0} x ^{- n}}{b _{n} + b _{n - 1} x ^{- 1} + \dots + b _{0} x ^{- n}} .

Step 3 — Take $x \to \pm \infty$ . Every term of the form

x^{- k}

with

k > 0

tends to

0

. The denominator tends to

b_{n} \neq = 0

. Step 4 — Case $m < n$ . Then

m - n < 0

, so the numerator's leading term

a_{m} x^{m - n} \to 0

, and all other terms

\to 0

. Hence

f (x) \to 0/ b_{n} = 0

. Step 5 — Case $m = n$ . Then

x^{m - n} = x^{0} = 1

, so the numerator

\to a_{m}

and the denominator

\to b_{n}

. Hence

f (x) \to a_{m} / b_{n}

. Step 6 — Case $m > n$ . Then

m - n > 0

, so the term

a_{m} x^{m - n} \to \pm \infty

, dominating. The denominator stays bounded near

b_{n}

, so

∣ f (x) ∣ \to \infty

■

René Descartes | 1596–1650

Descartes' La Géométrie (1637) fused algebra with geometry, allowing curves — including those defined by ratios of polynomials — to be studied through equations in $x$ and $y$ . This analytic geometry is precisely the framework in which a rational function becomes a graph: a set of points $(x, y)$ satisfying $y = P (x) / Q (x)$ . Descartes' rule of signs and his coordinate method remain the foundation for locating the intercepts and roots that drive a rational function's shape.

Building Intuition

Think of a rational function as a tug-of-war between numerator and denominator.

Where the numerator wins (equals zero while the denominator doesn't), the function is pinned to the $x$ -axis — an intercept.
Where the denominator wins (equals zero while the numerator doesn't), the function is flung to $\pm \infty$ — a vertical asymptote, an invisible wall the curve hugs but never crosses.
Far out toward $\pm \infty$ , only the leading terms matter; the smaller-degree details wash out, so the function settles into a simple limiting trend (a horizontal line, a slanted line, or unbounded growth).

The reciprocal $y = 1/ x$ is the prototype: as $x \to 0^{+}$ it rockets up, as $x \to 0^{-}$ it plunges down, and far away in either direction it flattens toward $y = 0$ . Every rational function is, in spirit, an elaborated version of this single picture.

The graph of y = 1/x, the prototype rational function, showing its vertical asymptote (x=0) and horizontal asymptote (y=0).

Worked Examples

Full Analysis of a Rational Function

Given:

f (x) = \frac{2 x ^{2} - 8}{x ^{2} - x - 6}

. Step 1 — Factor.

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

Step 2 — Cancel common factors. The factor

(x + 2)

cancels, so there is a hole at

x = - 2

f (x) = \frac{2 ( x - 2 )}{x - 3}, x \neq = - 2.

Step 3 — Hole's $y$ -coordinate. Plug

x = - 2

into the reduced form:

\frac{2 ( - 2 - 2 )}{- 2 - 3} = \frac{- 8}{- 5} = \frac{8}{5}

. Hole at

(- 2, \frac{8}{5})

. Step 4 — Vertical asymptote. Remaining denominator zero:

x = 3

. Step 5 — $x$ -intercept. Numerator zero (reduced):

x = 2

, giving

(2, 0)

. Step 6 — $y$ -intercept.

f (0) = \frac{2 ( 0 - 2 )}{0 - 3} = \frac{- 4}{- 3} = \frac{4}{3}

. Step 7 — Horizontal asymptote. Original degrees:

m = n = 2

, leading coefficients

2

and

1

, so

y = 2

VA: x = 3, HA: y = 2, hole: (- 2, \frac{8}{5}), x -int: (2, 0), y -int: (0, \frac{4}{3})

Slant Asymptote via Long Division

Given:

g (x) = \frac{x ^{2} + 3 x + 5}{x + 1}

. Step 1 — Check degrees.

m = 2

n = 1

, and

m = n + 1

, so a slant asymptote exists. Step 2 — Polynomial long division. Divide

x^{2} + 3 x + 5

x + 1

x^{2} + 3 x + 5 = (x + 1) (x + 2) + 3.

g (x) = x + 2 + \frac{3}{x + 1} .

Step 3 — Identify the asymptote. As

x \to \pm \infty

, the term

\frac{3}{x + 1} \to 0

, leaving

y = x + 2.

Step 4 — Vertical asymptote. Denominator zero:

x = - 1

(numerator at

x = - 1

1 - 3 + 5 = 3 \neq = 0

, so genuine asymptote).

Slant asymptote: y = x + 2, vertical asymptote: x = - 1

Common Misconceptions

"A graph can never cross a horizontal asymptote." False. A horizontal asymptote describes only end behavior (as

x \to \pm \infty

). A rational function may cross its horizontal asymptote one or more times in the middle of the graph. For example,

f (x) = \frac{x}{x ^{2} + 1}

has horizontal asymptote

y = 0

yet passes through the origin. By contrast, a graph never crosses a vertical asymptote, because that

x

-value is excluded from the domain entirely. Claim: "If the denominator is zero at

x = c

, there must be a vertical asymptote at

x = c

." Counterexample: Take

f (x) = \frac{x ^{2} - 1}{x - 1}

. The denominator is zero at

x = 1

, yet factoring gives

\frac{( x - 1 ) ( x + 1 )}{x - 1} = x + 1

for

x \neq = 1

. There is no asymptote — only a hole at

(1, 2)

. The lesson: always factor and cancel first. A denominator zero produces an asymptote only if the factor does not cancel with the numerator.

Connections

Rational functions sit at the crossroads of several core topics. They are built from Polynomials (numerator and denominator) and inherit factoring, the Factor Theorem, and root-finding from them. The technique of Partial Fraction Decomposition reverses addition of rational functions and is essential for integrating them in calculus. Their asymptotic behavior is rigorously captured by Limits and Asymptotes, while the smooth pieces between asymptotes are studied with the derivative in Differential Calculus. The cancellation of common factors connects directly to Removable Discontinuities, a key idea in continuity. Finally, the algebra of $1/ x$ ties rational functions to Inverse Variation and reciprocal relationships.

Real-World Applications

Rational functions model an extraordinary range of real phenomena:

Optics — the lens equation. $\frac{1}{f} = \frac{1}{d _{o}} + \frac{1}{d _{i}}$ rearranges to a rational relationship between object and image distances.
Electrical circuits — parallel resistance. $R_{total} = \frac{R _{1} R _{2}}{R _{1} + R _{2}}$ is a rational function of the component resistances.
Chemistry — reaction rates (Michaelis–Menten). Enzyme velocity $v = \frac{V _{m a x} [ S ]}{K _{m} + [ S ]}$ is a rational function of substrate concentration, with a horizontal asymptote at $V_{m a x}$ .
Economics — average cost. $\overset{ˉ}{C} (x) = \frac{F + c x}{x}$ (fixed cost plus variable cost per unit) has a horizontal asymptote at the marginal cost $c$ .
Pharmacokinetics — drug concentration. Many dosing models give concentration as a rational function of time, with the asymptote describing steady-state levels.
Physics — gravitational and electrostatic fields. Force $\propto 1/ r^{2}$ is a rational function of distance, with a vertical asymptote at $r = 0$ .
Engineering — control systems. The transfer function of a linear system is a rational function of frequency (in the Laplace domain); its denominator roots (poles) determine stability.

Historical Development

c. 250 CE — Diophantus works with ratios of polynomial-like expressions in Arithmetica, foreshadowing algebraic fractions.
1572 — Rafael Bombelli systematizes algebraic manipulation of fractions and complex quantities, sharpening fraction algebra.
1637 — René Descartes publishes La Géométrie, enabling curves defined by $y = P (x) / Q (x)$ to be graphed via coordinates.
1655 — John Wallis studies infinite behavior and introduces the $\infty$ symbol, laying groundwork for asymptotic reasoning.
1665–1676 — Isaac Newton & Gottfried Leibniz develop calculus, providing the limit-based tools to rigorously describe asymptotes and discontinuities of rational functions.
1748 — Leonhard Euler, in Introductio in analysin infinitorum, classifies functions and analyzes rational functions, popularizing partial fractions.
1768 — Euler & contemporaries refine partial fraction decomposition for integration, a technique still taught today.
19th century — Augustin-Louis Cauchy places limits and continuity on rigorous footing, formalizing the meaning of "approaches infinity" near a pole.
20th century — Control theory (Nyquist, Bode, Laplace methods) makes rational transfer functions central to electrical and mechanical engineering.

Subtleties & Limits

The real-variable theory of rational functions is essentially complete, but rich extensions remain active:

Complex rational functions $f (z) = P (z) / Q (z)$ on the Riemann sphere are the central objects of complex dynamics — iterating such functions produces Julia sets and the Mandelbrot set, and questions about the density of hyperbolic dynamics remain partly open.
Padé approximation asks how best to approximate a given function by a rational one of bounded degree; optimal-degree trade-offs and convergence questions are subtle.
Diophantine geometry studies rational points on curves defined by such equations, connecting to deep unsolved problems (e.g., questions surrounding the Birch and Swinnerton-Dyer conjecture).
Even at the elementary level, deciding whether two superficially different rational expressions define the same function (including identical domains) requires careful tracking of cancelled factors — a perennial source of student error and a small reminder that "the same curve" and "the same function" are not identical notions.