Advanced Polynomial & Rational Functions — AHL 2.13 Further polynomial/rational function behavior and solving (HL extension) - IB Mathematics Analysis and Approaches

SECTION 1

Historical Context & Motivation

The study of polynomial equations stretches back thousands of years. Ancient Babylonian mathematicians around 2000 BCE could already solve quadratic equations using geometric methods inscribed on clay tablets. As trade routes expanded and astronomy demanded more precise calculations, mathematicians gradually tackled higher-degree polynomials. The pursuit of general solutions for cubics, quartics, and beyond shaped the entire trajectory of algebra. Meanwhile, rational functions — ratios of polynomials — became essential tools in physics and engineering for modeling phenomena like electrical circuits, fluid flow, and gravitational fields.

~2000 BCE • Babylonian Quadratics

Babylonian scribes solved quadratic equations geometrically, completing the square on clay tablets centuries before symbolic algebra existed.

1545 • Cardano's Ars Magna

Gerolamo Cardano published general solutions for cubic and quartic equations, pushing algebra beyond degree two for the first time.

1799 • Fundamental Theorem of Algebra

Carl Friedrich Gauss proved that every non-constant polynomial has at least one complex root, guaranteeing the existence of all roots.

1824 • Abel–Ruffini Theorem

Niels Henrik Abel proved that no general algebraic formula exists for polynomials of degree five or higher, motivating numerical and graphical methods.

20th Century • Graphing & Computation

The rise of computers and graphing technology made analysis of polynomial and rational function behavior — asymptotes, end behavior, and zeros — central to applied mathematics.

These historical developments lead directly to the questions at the heart of AHL 2.13: How do we decompose complicated rational expressions into simpler pieces? What determines whether a rational function has a horizontal or an oblique asymptote? And how can polynomial long division and the factor and remainder theorems help us solve equations that once seemed impossible?

SECTION 2

Core Principles & Definitions

Before diving into advanced techniques, you need a solid grasp of the building blocks. A polynomial function of degree n has the general form p(x) = aₙxⁿ + aₙ₋₁xⁿ⁻¹ + … + a₁x + a₀, where the coefficients aᵢ are real numbers and aₙ ≠ 0. A rational function is formed when one polynomial is divided by another: f(x) = p(x)/q(x), with q(x) ≠ 0. The interplay between numerator and denominator governs the function's zeros, discontinuities, and long-range behavior.

Factor Theorem

If p(a) = 0, then (x − a) is a factor of p(x). Conversely, if (x − a) is a factor, then x = a is a root. This links algebraic factoring directly to graphical x-intercepts.

Remainder Theorem

When p(x) is divided by (x − a), the remainder equals p(a). This lets you evaluate polynomials at specific points without completing full division.

Polynomial Long Division

Dividing p(x) by d(x) yields a quotient q(x) and remainder r(x) such that p(x) = d(x) × q(x) + r(x). This is essential for identifying oblique asymptotes and simplifying rational expressions.

Asymptotic Behavior

Vertical asymptotes occur where the denominator equals zero (and the numerator doesn't). Horizontal or oblique asymptotes describe end behavior as x → ±∞, determined by the degree relationship between numerator and denominator.

Sum & Product of Roots

For a polynomial aₙxⁿ + … + a₀ = 0, the sum of roots equals −aₙ₋₁/aₙ and the product of roots equals (−1)ⁿa₀/aₙ. These relationships connect coefficients to root structure without solving.

✦

KEY TAKEAWAY

Think of polynomial long division like regular long division with numbers. When you divide 157 by 4, you get a quotient of 39 with remainder 1, meaning 157 = 4 × 39 + 1. Polynomial division works the same way: you split a complicated fraction into a neat quotient polynomial plus a simpler leftover fraction. The quotient tells you the long-range behavior (the asymptote), while the remainder captures the local deviation that shrinks away as x grows large.

SECTION 3

Visual Explanation — Rational Function Anatomy

The diagram below shows the graph of a rational function with both a vertical asymptote and an oblique (slant) asymptote. When the degree of the numerator is exactly one more than the degree of the denominator, polynomial long division reveals a linear quotient — that line becomes the oblique asymptote that the curve approaches at extreme values of x.

The cyan curve represents f(x) = (x² + 2x − 3)/(x − 1). The red dashed vertical line marks the vertical asymptote at x = 1. The amber dashed line shows the oblique asymptote y = x + 3, found by performing polynomial long division. The green dot marks the x-intercept at x = −3.

Notice how the curve hugs the oblique asymptote y = x + 3 at the far left and far right of the graph. Near x = 1, the function shoots off toward positive or negative infinity because the denominator approaches zero. Performing polynomial long division on (x² + 2x − 3) ÷ (x − 1) yields a quotient of x + 3 with a remainder of 0 — in fact, (x² + 2x − 3) factors as (x + 3)(x − 1), so the (x − 1) terms cancel. This specific function actually simplifies to f(x) = x + 3 with a hole (removable discontinuity) at x = 1, not a vertical asymptote. Recognizing when factors cancel versus when they don't is a crucial skill in this topic.

SECTION 4

Mathematical Framework

Polynomial Long Division

DIVISION ALGORITHM

p(x) = d(x) × q(x) + r(x)

p(x) = dividend (the polynomial being divided), d(x) = divisor, q(x) = quotient, r(x) = remainder. The degree of r(x) is always less than the degree of d(x).

To divide p(x) by d(x), align terms in descending order of degree, divide the leading term of the dividend by the leading term of the divisor, multiply the entire divisor by that result, subtract, and repeat. The process mirrors numerical long division. When dividing by a linear factor (x − a), synthetic division offers a faster shortcut using only the coefficients.

Remainder and Factor Theorems

REMAINDER THEOREM

When p(x) is divided by (x − a), the remainder = p(a)

Substitute x = a directly into p(x) to find the remainder without performing full division. If p(a) = 0, then (x − a) is a factor of p(x).

FACTOR THEOREM

(x − a) is a factor of p(x) ⟺ p(a) = 0

This biconditional statement means the theorem works in both directions: if you know a root, you know a factor, and vice versa.

Asymptote Classification for Rational Functions

ASYMPTOTE RULES FOR f(x) = p(x)/q(x)

deg(p) < deg(q) → y = 0 ; deg(p) = deg(q) → y = aₙ/bₘ ; deg(p) = deg(q) + 1 → oblique asymptote

deg(p) = degree of numerator, deg(q) = degree of denominator, aₙ = leading coefficient of p(x), bₘ = leading coefficient of q(x). When deg(p) exceeds deg(q) by exactly 1, divide to find the linear oblique asymptote.

💡

IB Exam Tip

On IB HL exams, you are frequently asked to find oblique asymptotes by performing polynomial long division. Always write your answer in the form f(x) = (quotient) + (remainder)/(divisor) to clearly separate the asymptotic part from the decaying remainder.

SECTION 5

Detailed Breakdown — Types of Discontinuities & End Behavior

Rational functions can exhibit several types of interesting behavior depending on the relationship between their numerator and denominator. Understanding the classification of discontinuities and end behavior is critical for sketching graphs accurately and solving IB exam problems efficiently.

Three panels compare the main behaviors of rational functions. Left (cyan): a horizontal asymptote when the numerator and denominator have equal degree. Center (amber): an oblique asymptote when the numerator's degree exceeds the denominator's by exactly one. Right (emerald): a removable discontinuity (hole) when a common factor cancels.

Condition	Type of Asymptote / Feature	How to Find It
deg(p) < deg(q)	Horizontal asymptote at y = 0	The numerator grows slower than the denominator
deg(p) = deg(q)	Horizontal asymptote at y = aₙ/bₘ	Divide the leading coefficients
deg(p) = deg(q) + 1	Oblique (slant) asymptote	Perform polynomial long division; the quotient is the asymptote
q(a) = 0, p(a) ≠ 0	Vertical asymptote at x = a	Solve q(x) = 0 and verify numerator ≠ 0
q(a) = 0, p(a) = 0	Removable discontinuity (hole) at x = a	Factor and cancel the common (x − a); evaluate the simplified function at x = a

Summary of rational function features based on degree comparisons

SECTION 6

Worked Example — Full Analysis of a Rational Function

Let's analyze the rational function f(x) = (2x² + 5x − 3) / (x + 1). We'll find its zeros, vertical asymptote, oblique asymptote, and describe its end behavior — the complete toolkit for an IB HL response.

Analyze f(x) = (2x² + 5x − 3) / (x + 1)

1
Step 1 — Find the vertical asymptote

Set the denominator equal to zero: x + 1 = 0, so x = −1. Now check the numerator at x = −1: 2(−1)² + 5(−1) − 3 = 2 − 5 − 3 = −6 ≠ 0. Since the numerator is not zero, this is a genuine vertical asymptote, not a hole.

Vertical asymptote: x = −1
2
Step 2 — Determine the oblique asymptote via polynomial long division

Since deg(numerator) = 2 and deg(denominator) = 1, we expect an oblique asymptote. Divide (2x² + 5x − 3) by (x + 1): • 2x² ÷ x = 2x. Multiply: 2x(x + 1) = 2x² + 2x. Subtract: (2x² + 5x − 3) − (2x² + 2x) = 3x − 3. • 3x ÷ x = 3. Multiply: 3(x + 1) = 3x + 3. Subtract: (3x − 3) − (3x + 3) = −6. So f(x) = 2x + 3 + (−6)/(x + 1). The oblique asymptote is the polynomial part.

Oblique asymptote: y = 2x + 3
3
Step 3 — Find the zeros of f(x)

Set the numerator equal to zero: 2x² + 5x − 3 = 0. Factor: (2x − 1)(x + 3) = 0. So x = 1/2 or x = −3. We can verify: 2(1/2)² + 5(1/2) − 3 = 1/2 + 5/2 − 3 = 0 ✓. Both values are in the domain (neither equals −1), so both are genuine x-intercepts.

Zeros: x = 1/2 and x = −3
4
Step 4 — Find the y-intercept

Substitute x = 0: f(0) = (0 + 0 − 3)/(0 + 1) = −3/1 = −3.

y-intercept: (0, −3)
5
Step 5 — Describe end behavior

From the division result f(x) = 2x + 3 − 6/(x + 1), as x → ±∞ the term −6/(x + 1) → 0. Therefore f(x) approaches the oblique asymptote y = 2x + 3 from below (when x → +∞, the remainder is negative) and from above (when x → −∞, the remainder is positive). Near x = −1, as x → −1⁺ the function → −∞ and as x → −1⁻ the function → +∞.

As x → ±∞, f(x) ≈ 2x + 3. The function approaches the oblique asymptote.

SECTION 7

Strengths & Limitations of Different Solving Methods

When tackling polynomial and rational function problems, you have several methods at your disposal. Each has contexts where it shines and situations where it falls short. Knowing which tool to reach for saves time on exams and builds deeper understanding.

Method	Strengths	Limitations
Polynomial Long Division	Works for any divisor polynomial; reveals quotient and remainder; essential for finding oblique asymptotes	Can be slow and error-prone with high-degree polynomials; requires careful alignment of terms
Synthetic Division	Fast, compact, and less error-prone; ideal for dividing by linear factors (x − a)	Only works when the divisor is linear; cannot handle divisors of degree 2 or higher
Factor Theorem + Trial	Quick way to test candidate roots using p(a) = 0; pairs well with the Rational Root Theorem	Relies on guessing integer or rational roots; irrational or complex roots require other methods
Graphing (GDC)	Provides immediate visual insight into zeros, asymptotes, and behavior; great for checking algebraic work	May not show exact values; relies on window settings; not sufficient as standalone 'show that' proof on IB exams

Comparison of polynomial/rational function solving methods

✦

KEY TAKEAWAY

Choosing the right method is like choosing the right gear on a bicycle. Synthetic division is your high gear — fast and efficient on flat, straightforward terrain (linear divisors). Long division is your low gear — slower but powerful enough for any hill (any divisor). Your GDC is the GPS — it shows you where you're going, but it doesn't do the pedaling. On IB exams, you'll typically need the algebraic method and the graphical confirmation.

SECTION 8

Connections to Advanced Theory & Calculus

The techniques you've learned in AHL 2.13 form a bridge to more advanced mathematics. In calculus, you'll use polynomial division to simplify rational integrands before integrating. Partial fraction decomposition — breaking a rational expression into a sum of simpler fractions — directly extends the division skills from this topic. Understanding asymptotic behavior also foreshadows the formal calculus definition of limits at infinity.

AHL 2.13 Concept	Advanced Extension	Where You'll Use It
Polynomial long division	Partial fraction decomposition	Integration of rational functions in calculus
Oblique asymptotes	Limits at infinity, L'Hôpital's Rule	Curve sketching in AHL 5.x, optimization problems
Factor & Remainder Theorems	Root-finding algorithms (Newton's method)	Numerical analysis and computer science
Sum & product of roots	Vieta's formulas for higher-degree polynomials	Algebraic number theory and polynomial ring theory

How AHL 2.13 concepts connect to more advanced mathematics

If you continue into university mathematics, the ideas from this topic generalize further. Polynomials over different number systems (complex numbers, modular arithmetic) are studied in abstract algebra, and the behavior of rational functions near their singularities is central to complex analysis. For now, mastering these HL techniques gives you a powerful set of tools for the rest of your IB course and beyond.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain why the rational function f(x) = (x² − 4)/(x − 2) does not have a vertical asymptote at x = 2, even though the denominator equals zero there. What feature does it have instead?

Show answer

The numerator x² − 4 factors as (x − 2)(x + 2). Since both numerator and denominator share the factor (x − 2), they cancel, leaving f(x) = x + 2 for all x ≠ 2. At x = 2, the function is undefined, but this is a removable discontinuity (hole) rather than a vertical asymptote. The y-value of the hole is found by substituting x = 2 into the simplified function: y = 2 + 2 = 4, so the hole is at (2, 4). The graph looks like a straight line y = x + 2 with a single missing point.

Question 2: BASIC CALCULATION

Use the Remainder Theorem to find the remainder when p(x) = 3x³ − 2x² + x − 5 is divided by (x − 2).

Show answer

By the Remainder Theorem, the remainder when p(x) is divided by (x − 2) is p(2). Substituting: p(2) = 3(2)³ − 2(2)² + (2) − 5 = 3(8) − 2(4) + 2 − 5 = 24 − 8 + 2 − 5 = 13. This means 3x³ − 2x² + x − 5 = (x − 2) × q(x) + 13 for some quotient polynomial q(x). Since the remainder is not zero, (x − 2) is not a factor of p(x), and x = 2 is not a root.

Question 3: INTERMEDIATE

Find the oblique asymptote of f(x) = (3x² − 7x + 2)/(x − 3) by performing polynomial long division. Also state the vertical asymptote and any x-intercepts.

Show answer

Dividing (3x² − 7x + 2) by (x − 3): First, 3x² ÷ x = 3x. Multiply: 3x(x − 3) = 3x² − 9x. Subtract: (3x² − 7x + 2) − (3x² − 9x) = 2x + 2. Next, 2x ÷ x = 2. Multiply: 2(x − 3) = 2x − 6. Subtract: (2x + 2) − (2x − 6) = 8. So f(x) = 3x + 2 + 8/(x − 3). The oblique asymptote is y = 3x + 2. The vertical asymptote is at x = 3 (denominator = 0, numerator = 3(9) − 21 + 2 = 8 ≠ 0). For x-intercepts, set 3x² − 7x + 2 = 0: (3x − 1)(x − 2) = 0, giving x = 1/3 and x = 2.

Question 4: APPLIED

A company models its average production cost per unit as C(x) = (2x² + 500)/(x), where x is the number of units produced. Find and interpret the oblique asymptote. What does the remainder term 500/x represent in context?

Show answer

Dividing: C(x) = (2x² + 500)/x = 2x + 500/x. The oblique asymptote is y = 2x. In context, this means that as the number of units produced grows very large, the average cost per unit approaches 2x — the variable cost dominates. The term 500/x represents the fixed costs (like equipment or setup) spread across x units. As production increases, this fixed-cost-per-unit shrinks toward zero, which is why the curve approaches the line y = 2x. For small production runs, the 500/x term is large, making the average cost much higher than the asymptote suggests.

Question 5: CRITICAL THINKING

A cubic polynomial p(x) has roots at x = 1, x = −2, and x = 4, and passes through the point (0, 16). Write p(x) in expanded form. Then form the rational function g(x) = p(x)/(x² − 5x + 4) and fully describe all asymptotes, holes, and intercepts of g(x).

Show answer

Since p(x) has roots at 1, −2, and 4: p(x) = a(x − 1)(x + 2)(x − 4). Using p(0) = 16: a(−1)(2)(−4) = 8a = 16, so a = 2. Thus p(x) = 2(x − 1)(x + 2)(x − 4). The denominator factors as x² − 5x + 4 = (x − 1)(x − 4). So g(x) = 2(x − 1)(x + 2)(x − 4)/[(x − 1)(x − 4)]. The factors (x − 1) and (x − 4) cancel, leaving g(x) = 2(x + 2) = 2x + 4 for x ≠ 1 and x ≠ 4. There are removable discontinuities (holes) at x = 1 (where y = 2(3) = 6, so the hole is at (1, 6)) and at x = 4 (where y = 2(6) = 12, so the hole is at (4, 12)). There are no vertical or oblique asymptotes. The simplified function is linear with x-intercept at x = −2 and y-intercept at y = 4. The graph is the line y = 2x + 4 with two points removed.

SUMMARY

Lesson Summary

Summary

In this lesson, you explored the deeper behavior of polynomial and rational functions as required by IB HL topic AHL 2.13. You learned that polynomial long division rewrites a rational expression as p(x) = d(x) × q(x) + r(x), where the quotient reveals asymptotic behavior and the remainder captures local deviation. The Remainder Theorem (remainder = p(a) when dividing by (x − a)) and the Factor Theorem (p(a) = 0 ⟺ (x − a) is a factor) are powerful shortcuts for testing roots and building factorizations.

For rational functions f(x) = p(x)/q(x), you classified end behavior: horizontal asymptotes arise when the degrees are equal or the numerator's degree is smaller, while oblique asymptotes appear when the numerator's degree exceeds the denominator's by exactly one. Vertical asymptotes occur where the denominator is zero and the numerator isn't, while removable discontinuities (holes) appear when common factors cancel. These ideas connect forward to calculus topics like partial fractions and limits, making them essential building blocks for advanced mathematical thinking.