1. Rational Functions — Definition and Scope
A rational function is any function of the form y = P(x)/Q(x) where P and Q are polynomials and Q(x) ≠ 0. For Cambridge 9231, both P and Q have degree at most 2.
2. Asymptotes — Three Types
Vertical Asymptote
Occurs where the denominator is zero and the numerator is non-zero. The curve shoots to ±∞ on each side.
Equation: x = a
Check: P(a) ≠ 0 (else hole)
Horizontal Asymptote
Exists when deg(P) ≤ deg(Q). Found by examining the limit as x → ±∞.
deg(P) = deg(Q): y = lead(P)/lead(Q)
deg(P) > deg(Q): none
Oblique Asymptote
Exists when deg(P) = deg(Q) + 1. Found by algebraic long division of P by Q.
As x→±∞, remainder/Q → 0
Asymptote: y = mx + c
Finding the Oblique Asymptote — Long Division
For y = (x² − 2x + 5)/(x − 1), divide numerator by denominator:
As x→±∞, the term 4/(x−1) → 0, so the curve approaches y = x − 1. The remainder tells you which side of the asymptote the curve lies: positive remainder → curve above asymptote for large positive x.
3. Sketching — The 6-Step Method
Cambridge expects sketches showing all significant features. Never plot points mechanically — follow this systematic approach.
- 1Domain: Find where the function is undefined (denominator = 0). These give vertical asymptotes.
- 2Asymptotes: Find all vertical, horizontal or oblique asymptotes. Draw them as dashed lines first.
- 3Intercepts: Set x=0 for y-intercept; set numerator=0 for x-intercepts. Label these points.
- 4Turning points: Differentiate (quotient rule), set dy/dx = 0, solve. Find coordinates. Determine nature (max/min).
- 5Behaviour near asymptotes: Check whether the curve approaches from above or below on each side of each vertical asymptote.
- 6Sketch: Draw the curve through all plotted features, approaching asymptotes correctly from both sides.
To determine the sign of y near x = a (vertical asymptote), test a value slightly to the left and right. For example, near x = 1 in y = (x+2)/(x−1):
4. Range — Discriminant Method
To find the set of values that a rational function can take, set y = f(x) and rearrange to get a quadratic in x. For the function to have real solutions, the discriminant must be ≥ 0.
For y = (ax²+bx+c)/(dx²+ex+f), set y = k and rearrange to:
The y-values of turning points are exactly where the discriminant equals zero.
5. Related Curves — Five Transformations
Given the graph of y = f(x), Cambridge expects you to sketch four related curves. Each has a systematic construction rule.
• Where f(x) < 0: no curve
• Where f(x) = 0: x-axis crossings
• Turning points of f become x-axis points
• Vertical asymptotes of f → zeros
• Where f↑, 1/f ↓ (and vice versa)
• Turning points: reflected, same x-coord
• Horizontal asymptote y=0 where |f|→∞
• Negative parts reflected in x-axis (y → −y)
• x-intercepts become "bounce" points
• The curve never goes below x-axis
• Reflect it in the y-axis for x < 0
• Result is always an even function
• y-axis becomes an axis of symmetry
- For y² = f(x): first shade where f(x) < 0 on the original — no curve can exist there.
- For y = 1/f(x): turning points of f become turning points of 1/f, but with reciprocal y-values (max → min if positive).
- For y = |f(x)|: the graph is always above or on the x-axis — mark this explicitly.
- For y = f(|x|): the right half of the original is copied — do not use the left half.
Set y = k: k(x−1) = 2x+3 → kx − k = 2x + 3 → x(k−2) = k+3 → x = (k+3)/(k−2).
This has a solution for all k ≠ 2. So the range is all real numbers except y = 2 (the horizontal asymptote).
y ∈ ℝ, y ≠ 2
Numerator: x² + x − 2 = (x+2)(x−1). So y = (x+2)(x−1)/(x−1) = x + 2 for x ≠ 1.
This is a straight line with a hole at x = 1, y = 3! No asymptotes — just a removed point.
This demonstrates: always factorise before assuming asymptotes exist.
dy/dx = 0 when x = 3 or x = −1:
Check: (x−1)² > 0 always. Sign of dy/dx depends on (x−3)(x+1): negative for −1 < x < 3, so y is decreasing between turning points — confirming (−1,−4) is a local max and (3,4) is a local min.
For real x (with k ≠ 1 — check k=1 separately): discriminant ≥ 0:
When k = 1: the equation becomes −2x + (−2) = 0 → x = −1 ✓ (real), so k = 1 is in the range. Check: 1 is between 2−√2 ≈ 0.586 and 2+√2 ≈ 3.414 ✓.
2 − √2 ≤ y ≤ 2 + √2
The x-intercept at x=1 becomes a "touch" point. The vertical asymptote at x=−2 remains. The graph never goes below the x-axis.
Interactive Rational Function Plotter
Enter numerator and denominator coefficients. Switch between y=f(x), y=1/f(x), y=|f(x)| and y=f(|x|). Asymptotes are drawn automatically.
Numerator: ax² + bx + c
Denominator: dx² + ex + f
Practice Questions
Numerator doesn't cancel with denominator. Long division:
dy/dx = [(x+2)(2x+3) − (x²+3x−4)(1)]/(x+2)² = (x²+4x+10)/(x+2)². Discriminant of numerator = 16−40 = −24 < 0, so dy/dx > 0 always — no turning points.
(a) y = 1/f(x) = (x²−1)/(x−2):
(b) y = |f(x)|: f(x) < 0 when x is between the roots in a way to make the fraction negative. Note f(x) = (x−2)/((x−1)(x+1)). For −1 < x < 1: denominator is (−)(−)= + if x > 0, wait — analyse carefully. The negative portions of f are reflected to give a graph always ≥ 0.
(c) y = f(|x|) = (|x|−2)/(|x|²−1) = (|x|−2)/(x²−1): Keep the graph of f for x ≥ 0, then reflect this in the y-axis. VAs remain at x = ±1. The result is an even function symmetric about the y-axis.
Formula Reference Sheet
Complete reference for Rational Functions and Graphs — Cambridge 9231 P1, Section 1.2.
- Always factorise first — if P and Q share a common factor, it's a hole (removable discontinuity), not an asymptote.
- For oblique asymptotes, show your long division working explicitly — Cambridge awards method marks for this.
- When sketching, draw asymptotes as dashed lines first, then build the curve around them. Never let the curve cross a vertical asymptote.
- For the discriminant method: when you get the quadratic inequality in k, factorise it and read off the range from the parabola's sign.
- For transformation sketches: state the key features of the new curve — asymptotes, intercepts — don't just draw a vague shape.
- Check that your sketch has the correct number of branches — a function with two vertical asymptotes typically has three separate branches.