Rational Functions and Asymptotes

A rational function is a ratio of two polynomials $R (x) = P (x) / Q (x)$ with $Q (x) \neq = 0$ . Its graph is controlled by zeros (where $P = 0$ ), vertical asymptotes (where $Q = 0$ but $P \neq = 0$ ), holes (shared factors), and end behavior governed by the degrees of $P$ and $Q$ (horizontal or oblique asymptotes). Used throughout algebra, calculus, physics, and engineering. Formalized as part of 17th–19th century analysis.

A rational function is any function expressible as $R (x) = P (x) / Q (x)$ , where $P$ and $Q$ are polynomials and $Q$ is not the zero polynomial. The domain consists of all real numbers except the roots of $Q$ . These functions matter because they are the simplest functions beyond polynomials that can blow up to infinity, approach finite limits at the edges of their domain, and model saturation, inverse-square laws, and rates. The central tool for understanding their shape is the asymptote — a line the graph approaches arbitrarily closely without (usually) touching. A surprising fact: a rational function can cross its own horizontal asymptote — sometimes many times — even though it never crosses a vertical one.

The Core Insight

The behavior of a rational function near the "dangerous" inputs (where the denominator vanishes) and near the "edges" of the domain ( $x \to \pm \infty$ ) is dictated almost entirely by factoring the numerator and denominator and comparing their degrees. Once you know the factored form, every asymptote, hole, and intercept can be read off mechanically.

Formal Statement

Rational Function

A rational function is a function of the form

R (x) = \frac{P ( x )}{Q ( x )}, Q (x) \neq \equiv 0

⟳This is a definition; the only constraint is that

Q

is not identically zero, so division is meaningful somewhere.

where $P (x) = a_{m} x^{m} + \dots + a_{0}$ and $Q (x) = b_{n} x^{n} + \dots + b_{0}$ are polynomials with real coefficients. The symbols mean: $m = de g P$ , $n = de g Q$ , $a_{m}$ and $b_{n}$ are the leading coefficients. The domain is

D = {x \in R : Q (x) \neq = 0}

⟳Division by zero is undefined, so we exclude exactly the real roots of

Q

Vertical Asymptote

The line $x = c$ is a vertical asymptote of $R$ if $R (x) \to \pm \infty$ as $x \to c$ from at least one side. For a rational function in lowest terms (common factors cancelled), this happens exactly at the real roots of the denominator:

Q (c) = 0 and P (c) \neq = 0 ⟹ x = c is a vertical asymptote

⟳If

P (c) \neq = 0

but

Q (c) = 0

, the fraction's magnitude grows without bound as the denominator shrinks toward zero.

Horizontal and Oblique Asymptotes

The end behavior of $R$ is set by comparing degrees $m = de g P$ and $n = de g Q$ :

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

⟳Divide numerator and denominator by

x^{n}

; lower-degree terms vanish, leaving the ratio of leading behaviors.

When $m = n + 1$ , polynomial division gives an oblique (slant) asymptote $y = a x + b$ :

R (x) = (a x + b) + \frac{S ( x )}{Q ( x )}, de g S < de g Q

⟳Long-divide

P

Q

; the quotient is the line, and the remainder term

\to 0

x \to \pm \infty

Asymptote Classification

Let $R = P / Q$ be in lowest terms with $m = de g P$ , $n = de g Q$ .

Vertical asymptotes occur at each real root of $Q$ .
If $m < n$ : horizontal asymptote $y = 0$ .
If $m = n$ : horizontal asymptote $y = a_{m} / b_{n}$ .
If $m = n + 1$ : oblique asymptote $y =$ (quotient of $P \div Q$ ).
If $m > n + 1$ : no linear asymptote; end behavior follows the quotient polynomial (a curved "asymptotic" tail).

Why It Holds / Derivation

End behavior by degree comparison

We prove the horizontal-asymptote cases of equation [4].

Step 1. Write

P (x) = a_{m} x^{m} + \dots + a_{0}

and

Q (x) = b_{n} x^{n} + \dots + b_{0}

with

b_{n} \neq = 0

. Step 2. Divide numerator and denominator by

x^{n}

(valid for

x \neq = 0

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

⟳Multiply top and bottom by

x^{- n}

and distribute the exponent across each term.

Step 3. As

x \to \pm \infty

, every term with a negative power of

x

tends to

0

. The denominator tends to

b_{n}

. Step 4. Examine the numerator's surviving term

a_{m} x^{m - n}

If $m < n$ , the exponent $m - n < 0$ , so $x^{m - n} \to 0$ and $R \to 0/ b_{n} = 0$ .
If $m = n$ , the exponent is $0$ , so $R \to a_{m} / b_{n}$ .
If $m > n$ , the exponent is positive, so $a_{m} x^{m - n} \to \pm \infty$ and $R$ diverges.

Step 5. This establishes all three cases of [4]. For the oblique case

m = n + 1

, perform polynomial long division to obtain [5]; the remainder term

S (x) / Q (x)

has numerator degree below denominator degree, so by case 1 it tends to

0

, leaving the line

y = a x + b

■

René Descartes | 1596–1650

Descartes' La Géométrie (1637) fused algebra with geometry, making it possible to study curves like $y = P (x) / Q (x)$ through their equations. The systematic analysis of such curves — their branches, infinite excursions, and limiting lines — grew directly from the Cartesian program of treating geometric loci as algebraic relations. The word asymptote (Greek asymptōtos, "not falling together") predates him, used by Apollonius for hyperbolas, but Cartesian coordinates turned asymptotic analysis into routine computation.

Building Intuition

Think of $R (x) = P (x) / Q (x)$ as a competition.

Near a vertical asymptote: as

x

approaches a root of

Q

, the denominator shrinks toward

0

while the numerator stays nonzero. Dividing a fixed number by something tiny gives something huge — the graph rockets toward

\pm \infty

. The sign of the result depends on the signs of numerator and denominator just to the left and right of

c

, which is why the two branches can shoot in opposite directions. At the edges ( $x \to \pm \infty$ ): picture the leading terms as the only thing that matters — for enormous

x

a_{m} x^{m}

dwarfs every smaller term. The whole function "looks like"

\frac{a _{m} x ^{m}}{b _{n} x ^{n}}

, i.e.

\frac{a _{m}}{b _{n}} x^{m - n}

. If the bottom wins (

n > m

), the ratio fades to zero. If they tie, it levels off at

a_{m} / b_{n}

. If the top wins, it grows — linearly if it wins by exactly one degree (giving a slant line).

A vertical asymptote is a wall the graph never touches; a horizontal asymptote is a guideline the graph may cross in the middle but hugs at the extremes.

A rational function with vertical asymptote x=1, horizontal asymptote y=1, crossing it once

Worked Examples

Horizontal asymptote, hole, and intercepts

Given:

R (x) = \frac{x ^{2} - 4}{x ^{2} - x - 2}

. Step 1 — Factor.

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

⟳

x^{2} - 4

is a difference of squares; factor the bottom as

(x - 2) (x + 1)

by checking

- 2 \cdot 1 = - 2

- 2 + 1 = - 1

Step 2 — Identify the hole. The factor

(x - 2)

cancels, so there is a hole at

x = 2

, not an asymptote. Its

y

-value is the cancelled form evaluated at

x = 2

\frac{x + 2}{x + 1}_{x = 2} = \frac{4}{3}

⟳After cancelling, substitute the removed

x

-value into the reduced expression.

Step 3 — Vertical asymptote. The surviving denominator factor

(x + 1)

gives a vertical asymptote at

x = - 1

. Step 4 — Horizontal asymptote. Degrees are equal (

m = n = 2

); ratio of leading coefficients

= 1/1

, so

y = 1

. Step 5 — Intercepts.

x

-intercept where reduced numerator

= 0

x = - 2

y

-intercept:

R (0) = (- 2) / (- 2) \cdot \dots

use reduced form

\frac{0 + 2}{0 + 1} = 2

. Answer:

Hole at (2, \frac{4}{3}), VA at x = - 1, HA at y = 1, x -int (- 2, 0), y -int (0, 2)

Oblique asymptote via long division

Given:

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

. Step 1 — Check degrees.

m = 2

n = 1

, so

m = n + 1

: expect an oblique asymptote. Step 2 — Long division.

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

⟳

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

; divide each part by

(x + 1)

Step 3 — Read the asymptote. As

x \to \pm \infty

, the remainder

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

, so the graph approaches the line

y = x + 2

. Step 4 — Vertical asymptote. Denominator zero at

x = - 1

; numerator there is

1 - 3 + 5 = 3 \neq = 0

, so

x = - 1

is a genuine vertical asymptote. Answer:

Oblique asymptote y = x + 2, Vertical asymptote x = - 1

Common Misconceptions

"A graph can never cross an asymptote." False for horizontal and oblique asymptotes. The graph may cross them in the middle region; the asymptote only describes the limiting behavior as

x \to \pm \infty

. To find where it crosses

y = L

, solve

R (x) = L

. A graph cannot cross a vertical asymptote, because the function is undefined there. "Every denominator root is a vertical asymptote." False if that root also cancels with the numerator — then it is a hole (removable discontinuity), not an asymptote. Always reduce to lowest terms first. "Equal degrees always give $y = 0$ ." No — equal degrees give

y = a_{m} / b_{n}

, the ratio of leading coefficients, which is

0

only if the numerator's leading term were missing.

Consider $R (x) = \frac{2 x}{x ^{2} + 1}$ . The horizontal asymptote is $y = 0$ (since $m = 1 < n = 2$ ). Yet $R (0) = 0$ , so the graph touches and crosses its horizontal asymptote at the origin — and in fact passes through $y = 0$ exactly there. This refutes the belief that curves never meet their asymptotes. Note $x^{2} + 1$ has no real roots, so this $R$ has no vertical asymptotes at all, despite being a rational function with a degree-2 denominator.

Connections

Rational functions sit between Polynomial Functions (the $Q = 1$ special case) and the broader world of Algebraic Functions. Their end-behavior analysis is a concrete preview of the Limits at Infinity studied in calculus, and a vertical asymptote is precisely an infinite limit. The partial-fraction techniques used to simplify them connect forward to Integration of Rational Functions. Their graphs are special cases of Conic Sections only in simple instances (e.g. $y = 1/ x$ is a rotated hyperbola). The factoring skills required draw directly on Factoring Polynomials and the Rational Root Theorem.

Real-World Applications

Optics — thin lens equation. $\frac{1}{f} = \frac{1}{d _{o}} + \frac{1}{d _{i}}$ rearranges to $d_{i} = \frac{f d _{o}}{d _{o} - f}$ , a rational function with a vertical asymptote at $d_{o} = f$ (object at the focal point → image at infinity).
Chemistry — reaction kinetics. The Michaelis–Menten rate law $v = \frac{V _{m a x} [ S ]}{K _{m} + [ S ]}$ is rational; its horizontal asymptote $v \to V_{m a x}$ models enzyme saturation.
Electronics — voltage dividers and filters. Transfer functions like $H (ω) = \frac{1}{1 + j ω R C}$ are rational in frequency; asymptotes define cutoff behavior on Bode plots.
Economics — average cost. Average cost $\overset{ˉ}{C} (q) = \frac{C ( q )}{q} = \frac{F}{q} + v$ has a horizontal asymptote $y = v$ (marginal cost) and a vertical asymptote at $q = 0$ .
Physics — relativistic and inverse-square laws. Coulomb/gravitational fields $F \propto 1/ r^{2}$ have a vertical asymptote at $r = 0$ and horizontal asymptote $F \to 0$ .
Pharmacology — drug concentration. Clearance models yield rational concentration-vs-dose curves approaching saturation limits.
Population dynamics. Resource-limited per-capita growth rates are often modeled as rational functions of population size, with a horizontal asymptote representing carrying-capacity effects.

Historical Development

c. 200 BCE — Apollonius of Perga studies the hyperbola $x y = c$ and describes lines its branches approach but never meet, the geometric origin of asymptote.
1637 — Descartes' La Géométrie introduces coordinate geometry, enabling algebraic study of curves $y = P / Q$ .
1655 — John Wallis's Arithmetica Infinitorum develops infinite-process reasoning foundational to limiting behavior.
1660s–1680s — Newton and Leibniz develop calculus, formalizing infinite limits and the analysis of curves near singular points.
1748 — Euler's Introductio in analysin infinitorum systematically classifies functions, treating rational functions and their behavior at infinity explicitly.
1797 — Lagrange and contemporaries refine polynomial division and the algebra of rational expressions.
1821 — Cauchy's Cours d'analyse gives rigorous $ε$ definitions of limits, making "asymptote" a precise statement about limits rather than a picture.
19th century — Partial-fraction decomposition becomes a standard tool, tying rational functions to integration and complex analysis.
20th century — Rational functions become central in control theory and signal processing (transfer functions, Padé approximants).

Subtleties & Limits

At the introductory level, "asymptote" usually means a line. But when $de g P > de g Q + 1$ , the graph approaches a higher-degree polynomial curve at the ends — a curvilinear asymptote — which most textbooks omit. A deeper question: how fast does a graph approach its asymptote? The remainder term $S (x) / Q (x)$ controls this rate, and choosing rational functions whose graphs hug a target as efficiently as possible is the subject of Padé approximation and rational approximation theory, where open questions remain about optimal error bounds for approximating functions like $e^{x}$ or $∣ x ∣$ . Over the complex numbers, the "vertical asymptote" becomes a pole, and the full structure of rational functions on the Riemann sphere — including behavior at $x = \infty$ as an ordinary point — is far richer than the real picture suggests.

Rational Functions and Asymptotes

The Core Insight

Formal Statement

Rational Function

Vertical Asymptote

Horizontal and Oblique Asymptotes

Asymptote Classification

Why It Holds / Derivation

End behavior by degree comparison

René Descartes | 1596–1650

Building Intuition

A rational function with vertical asymptote x=1, horizontal asymptote y=1, crossing it once

Worked Examples

Horizontal asymptote, hole, and intercepts

Oblique asymptote via long division

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads