Rational Functions

⚡ Key Takeaways

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.

💡 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.

DefinitionRational 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

1

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

Derivation hint: 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

2

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

Derivation hint: Division by zero is undefined, so every real root of $Q$ must be excluded.

DefinitionVertical 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$ .

3

\quad \lim_{x \to c} |f(x)| = \infty \quad\text{(vertical asymptote at } x=c\text{)}.

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

TheoremEnd Behavior by Degree

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

4

\quad \lim_{x\to\pm\infty} f(x) = \begin{cases} 0 & \text{if } m < n,\\[4pt] \dfrac{a_m}{b_n} & \text{if } m = n,\\[4pt] \pm\infty & \text{if } m > n. \end{cases}

Derivation hint: 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 = mx + b$ found by polynomial long division. When $m > n+1$ , the asymptotic behavior is a polynomial of degree $m-n$ .

ProofEnd Behavior Theorem

We prove the three cases of equation [4].

Step 1 — Normalize. Write

f(x) = \frac{a_m x^m + \cdots + a_0}{b_n x^n + \cdots + b_0}.

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

f(x) = \frac{a_m x^{m-n} + \cdots + a_0 x^{-n}}{b_n + b_{n-1}x^{-1} + \cdots + 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$ . $\blacksquare$

∎

mathematician · 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.

🧠 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.

Figure

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

ExampleFull Analysis of a Rational Function

Given: $\displaystyle f(x) = \frac{2x^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}, \qquad 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} = \tfrac{8}{5}$ . Hole at $\left(-2, \tfrac{8}{5}\right)$ .

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} = \tfrac{4}{3}$ .

Step 7 — Horizontal asymptote. Original degrees: $m=n=2$ , leading coefficients $2$ and $1$ , so $y = 2$ .

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

ExampleSlant Asymptote via Long Division

Given: $\displaystyle g(x) = \frac{x^2 + 3x + 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 + 3x + 5$ by $x+1$ :

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

So

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$ is $1-3+5=3\neq 0$ , so genuine asymptote).

\boxed{\text{Slant asymptote: } y = x+2,\qquad \text{vertical asymptote: } x = -1}

⚠️ Common mistake

"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.

Counterexample

Claim: "If the denominator is zero at $x=c$ , there must be a vertical asymptote at $x=c$ ."

Counterexample: Take $f(x) = \dfrac{x^2 - 1}{x - 1}$ . The denominator is zero at $x = 1$ , yet factoring gives $\dfrac{(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.

connection

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.

🔬 Where this appears

⏳ History

- 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.

open-problem

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.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also