Rational Expressions & Functions

Study Sheet

Rational Expressions & Functions

Everything for Topic 6 on one desk reference

Simplifying Rational Expressions & Domain

Concept
What is a Rational Expression?

A rational expression is a ratio of two polynomials, P(x)Q(x)\dfrac{P(x)}{Q(x)}. It is undefined wherever the denominator equals zero — those inputs are the excluded values. The domain is every real number except the excluded values.

To simplify: factor the numerator and denominator completely, then cancel any common factors. Always list excluded values from the original denominator.

Rational functions have vertical asymptotes where the denominator is zero (after cancelling) and horizontal asymptotes decided by comparing degrees. Holes appear where a factor cancels. Solving rational equations means multiplying by the LCD — then checking that no candidate makes a denominator zero.

Cancelling a common factor multiplies by x−3x−3=1\tfrac{x - 3}{x - 3} = 1, which is true everywhere except x=3x = 3, where it is 00\tfrac00. So the simplified form matches the original at every input but that one. On the graph the difference is a single missing point, a hole, while the factor that does not cancel, x+2x + 2, produces a vertical asymptote.

Example
Worked Example: Factor, then Cancel
xy−6−5−4−3−2−11234−4−3−2−112345hole (3, 6/5)
x2−9x2−x−6\tfrac{x^2 - 9}{x^2 - x - 6}: an asymptote at x=−2x = -2 and a hole at x=3x = 3.

Simplify x2−9x2−x−6\dfrac{x^2-9}{x^2-x-6} and state the domain.

x2−9x2−x−6=(x−3)(x+3)(x−3)(x+2)factor both=x+3x+2cancel the common factor (x−3)\begin{aligned} \frac{x^2-9}{x^2-x-6} &= \frac{(x-3)(x+3)}{(x-3)(x+2)} &&\text{factor both}\\ &= \frac{x+3}{x+2} &&\text{cancel the common factor }(x-3) \end{aligned}

Excluded values come from the original denominator (x−3)(x+2)=0(x-3)(x+2)=0, so x≠3x\neq 3 and x≠−2x\neq -2. Domain: all reals except −2-2 and 33.

Side note
Where it goes wrong

Accepting a solution that makes the original denominator zero. Multiplying by the LCD can introduce it; it is not a solution, it is a hole.

Tip

Cancel factors, never terms. You may cancel (x−3)(x−3)\dfrac{(x-3)}{(x-3)} because x−3x-3 is a factor. You may not cancel the xx's in x+3x+2\dfrac{x+3}{x+2} — those are terms joined by ++, not factors.

Try it
Try it: simplify and restrict

Simplify 2x2+6xx2−9\dfrac{2x^2 + 6x}{x^2 - 9} and state the domain.

Show the answer

Factor: 2x(x+3)(x−3)(x+3)=2xx−3\tfrac{2x(x + 3)}{(x - 3)(x + 3)} = \tfrac{2x}{x - 3}. The original denominator is zero at x=±3x = \pm 3, so the domain is all reals except 33 and −3-3.

Multiplying & Dividing

Concept
Multiply Straight Across; Divide by Flipping

Multiply: factor everything, cancel any factor in a numerator against a matching factor in a denominator, then write what remains.

Divide: multiply by the reciprocal of the second fraction — “keep, change, flip” — then proceed as a multiplication.

Multiplying rational expressions multiplies all the factors into one fraction, so a factor on any top may cancel a factor on any bottom. Dividing flips the divisor because division undoes multiplication; the flip also moves the divisor's numerator into a denominator, adding its zeros to the excluded values.

Example
Worked Example: Multiply

Simplify x2−4x2+6x+9⋅x+3x−2\dfrac{x^2-4}{x^2+6x+9}\cdot\dfrac{x+3}{x-2}.

=(x−2)(x+2)(x+3)2⋅x+3x−2factor=x+2x+3cancel (x−2) and one (x+3)\begin{aligned} &= \frac{(x-2)(x+2)}{(x+3)^2}\cdot\frac{x+3}{x-2} &&\text{factor}\\ &= \frac{x+2}{x+3} &&\text{cancel }(x-2)\text{ and one }(x+3) \end{aligned}
Side note
Where it goes wrong

Cancelling before factoring: in x2−4x+2\tfrac{x^2 - 4}{x + 2}, "cancelling" the 22s to get x2−2x\tfrac{x^2 - 2}{x}. Factor first: (x−2)(x+2)x+2=x−2\tfrac{(x - 2)(x + 2)}{x + 2} = x - 2.

Example
Worked Example: Divide

Simplify x2−1x+2÷x−1x2−4\dfrac{x^2-1}{x+2}\div\dfrac{x-1}{x^2-4}.

=(x−1)(x+1)x+2⋅(x−2)(x+2)x−1flip and factor=(x+1)(x−2)cancel (x−1) and (x+2)\begin{aligned} &= \frac{(x-1)(x+1)}{x+2}\cdot\frac{(x-2)(x+2)}{x-1} &&\text{flip and factor}\\ &= (x+1)(x-2) &&\text{cancel }(x-1)\text{ and }(x+2) \end{aligned}
Try it
Try it: divide

Simplify x2−16x2+5x÷x−4x+5\dfrac{x^2 - 16}{x^2 + 5x} \div \dfrac{x - 4}{x + 5}.

Show the answer

Flip and factor: (x−4)(x+4)x(x+5)⋅x+5x−4=x+4x\tfrac{(x - 4)(x + 4)}{x(x + 5)} \cdot \tfrac{x + 5}{x - 4} = \tfrac{x + 4}{x}, for x≠0,−5,4x \ne 0, -5, 4.

Adding & Subtracting (LCD)

Concept
Common Denominators

You can only combine fractions over a common denominator. Find the LCD: factor each denominator, then take each distinct factor to its highest power that appears. Rewrite each fraction with the LCD, combine the numerators, then simplify.

Rewriting over the LCD multiplies each fraction by a form of 11, so values stay the same while the pieces become the same size. The subtraction trap comes from the distributive property: subtracting a numerator subtracts every term of it.

Example
Worked Example: Add with Unlike Denominators

Simplify 3x+2+2x−1\dfrac{3}{x+2}+\dfrac{2}{x-1}. The LCD is (x+2)(x−1)(x+2)(x-1).

=3(x−1)(x+2)(x−1)+2(x+2)(x+2)(x−1)=3x−3+2x+4(x+2)(x−1)=5x+1(x+2)(x−1)\begin{aligned} &= \frac{3(x-1)}{(x+2)(x-1)}+\frac{2(x+2)}{(x+2)(x-1)}\\ &= \frac{3x-3+2x+4}{(x+2)(x-1)} = \frac{5x+1}{(x+2)(x-1)} \end{aligned}
Side note
Where it goes wrong

Subtracting only the first term: xx−3−2x+1\tfrac{x}{x - 3} - \tfrac{2}{x + 1} with numerator x(x+1)−2x−6x(x + 1) - 2x - 6. The whole numerator 2(x−3)=2x−62(x - 3) = 2x - 6 is subtracted: −2x+6-2x + 6.

Example
Worked Example: Subtract (watch the sign!)

Simplify xx−3−2x+1\dfrac{x}{x-3}-\dfrac{2}{x+1}. The LCD is (x−3)(x+1)(x-3)(x+1).

=x(x+1)−2(x−3)(x−3)(x+1)distribute the minus to both terms=x2+x−2x+6(x−3)(x+1)=x2−x+6(x−3)(x+1)\begin{aligned} &= \frac{x(x+1)-2(x-3)}{(x-3)(x+1)} &&\text{distribute the minus to \emph{both} terms}\\ &= \frac{x^2+x-2x+6}{(x-3)(x+1)} = \frac{x^2-x+6}{(x-3)(x+1)} \end{aligned}
Tip

Subtraction trap. The minus sign applies to the entire numerator of the second fraction. Wrap it in parentheses first: − (2)(x−3)=−2x+6-\,(2)(x-3) = -2x+6, not −2x−6-2x-6.

Try it
Try it: combine

Simplify 5x2−1−2x+1\dfrac{5}{x^2 - 1} - \dfrac{2}{x + 1}.

Show the answer

LCD (x−1)(x+1)(x - 1)(x + 1): 5−2(x−1)(x−1)(x+1)=7−2x(x−1)(x+1)\tfrac{5 - 2(x - 1)}{(x - 1)(x + 1)} = \tfrac{7 - 2x}{(x - 1)(x + 1)}, x≠±1x \ne \pm 1.

Complex Fractions

Concept
A Fraction Inside a Fraction

A complex fraction has fractions in its numerator, denominator, or both. The fastest method: find the LCD of all the little fractions and multiply the top and bottom by that LCD. This clears every small denominator at once.

Multiplying top and bottom by the same nonzero expression multiplies by 11, so it cannot change the value. Choosing the LCD of every small fraction makes all the small denominators cancel in one step.

Example
Worked Example: Clear the Small Denominators

Simplify  1−4x2  1−2x \dfrac{\,1-\frac{4}{x^2}\,}{\,1-\frac{2}{x}\,}. The LCD of x2x^2 and xx is x2x^2.

=x2(1−4x2)x2(1−2x)=x2−4x2−2x=(x−2)(x+2)x(x−2)=x+2x\begin{aligned} &= \frac{x^2\left(1-\frac{4}{x^2}\right)}{x^2\left(1-\frac{2}{x}\right)} = \frac{x^2-4}{x^2-2x}\\ &= \frac{(x-2)(x+2)}{x(x-2)} = \frac{x+2}{x} \end{aligned}
Side note
Where it goes wrong

Multiplying only the fractional terms by the LCD: in 1−4x21−2x\tfrac{1 - \frac{4}{x^2}}{1 - \frac2x}, turning the top into 1−41 - 4. Every term is multiplied, including the 11s: x2−4x^2 - 4 over x2−2xx^2 - 2x.

Try it
Try it: simplify

Simplify 1x+1y1xy\dfrac{\frac1x + \frac1y}{\frac1{xy}}.

Show the answer

Multiply top and bottom by xyxy: y+x1=x+y\tfrac{y + x}{1} = x + y, for x,y≠0x, y \ne 0.

Solving Rational Equations & Extraneous Solutions

Concept
Clear the Denominators

To solve (not simplify) a rational equation, multiply every term by the LCD to clear all fractions, then solve the resulting polynomial equation. Because multiplying by a variable expression can introduce false roots, you must check each answer.

Multiplying both sides by an expression that can be zero is not reversible: at x=4x = 4, multiplying xx−4=4x−4+3\tfrac{x}{x - 4} = \tfrac{4}{x - 4} + 3 by (x−4)(x - 4) turns two undefined sides into 4=44 = 4. That is how an excluded value can appear as a "solution," and why every answer must be checked against the original denominators.

Tip

Extraneous solutions. Any answer that makes an original denominator zero is extraneous — discard it. Always list the excluded values before you start, then reject any solution that lands on one.

Example
Worked Example: Extraneous Root

Solve xx−4=4x−4+3\dfrac{x}{x-4}=\dfrac{4}{x-4}+3.   Excluded: x≠4x\neq 4.

x=4+3(x−4)multiply every term by (x−4)x=4+3x−12−2x=−8 ⇒ x=4\begin{aligned} x &= 4 + 3(x-4) &&\text{multiply every term by }(x-4)\\ x &= 4 + 3x - 12\\ -2x &= -8 \ \Rightarrow\ x = 4 \end{aligned}

But x=4x=4 is excluded, so it is extraneous. No solution.

Side note
Where it goes wrong

Keeping an answer that makes a denominator zero. In the first example the algebra returns x=4x = 4, but both fractions are undefined there, so there is no solution.

Example
Worked Example: Quadratic Result
xy−5−4−3−2−1123456−12−8−448
y=x+6xy = x + \tfrac6x meets y=5y = 5 at x=2x = 2 and x=3x = 3.

Solve x+6x=5x+\dfrac{6}{x}=5.   Excluded: x≠0x\neq 0.

x2+6=5xmultiply every term by xx2−5x+6=0(x−2)(x−3)=0 ⇒ x=2 or x=3\begin{aligned} x^2 + 6 &= 5x &&\text{multiply every term by }x\\ x^2 - 5x + 6 &= 0\\ (x-2)(x-3) &= 0 \ \Rightarrow\ x=2 \text{ or } x=3 \end{aligned}

Neither is excluded, so both check: x=2, 3x=2,\ 3.

Try it
Try it: solve and check

Solve 2x−1+1x+1=4x2−1\dfrac{2}{x - 1} + \dfrac{1}{x + 1} = \dfrac{4}{x^2 - 1}.

Show the answer

Exclude ±1\pm 1. Multiply by (x−1)(x+1)(x - 1)(x + 1): 2(x+1)+(x−1)=42(x + 1) + (x - 1) = 4, so 3x+1=43x + 1 = 4 and x=1x = 1. But x=1x = 1 is excluded, so there is no solution.

Graphing Rational Functions

Concept
The Full Checklist

For f(x)=P(x)Q(x)f(x)=\dfrac{P(x)}{Q(x)} in lowest terms:

  • Holes: a factor that cancels from top and bottom gives a hole at that xx-value.
  • Vertical asymptotes (VA): set the remaining denominator equal to 00.
  • Horizontal asymptote (HA): compare degrees of PP and QQ.
  • Intercepts: xx-intercepts where P(x)=0P(x)=0; yy-intercept at f(0)f(0).

Near x=2x = 2 the denominator of x+1x−2\tfrac{x + 1}{x - 2} is tiny while the numerator is near 33, so the quotient is huge, positive on one side and negative on the other: a vertical asymptote. For large ∣x∣|x| both top and bottom are dominated by their xx terms, so the quotient approaches xx=1\tfrac{x}{x} = 1: the horizontal asymptote. Degrees decide horizontal asymptotes for exactly this reason.

Tip

How to find the HA. Let n=deg⁡Pn=\deg P, m=deg⁡Qm=\deg Q.

  • n<mn<m: HA is y=0y=0 (the xx-axis).
  • n=mn=m: HA is y=leading coeff. of Pleading coeff. of Qy=\dfrac{\text{leading coeff. of }P}{\text{leading coeff. of }Q}.
  • n>mn>m: no HA (there is a slant/oblique asymptote instead).
Example
Worked Example: Full Analysis
xy−5−4−3−2−11234567−5−4−3−2−1123456
Asymptotes x=2x = 2 and y=1y = 1; intercepts (−1,0)(-1, 0) and (0,−12)(0, -\tfrac12).

Analyze f(x)=x+1x−2f(x)=\dfrac{x+1}{x-2}.

  • Domain / VA: denominator x−2=0⇒x-2=0\Rightarrow VA at x=2x=2; domain x≠2x\neq 2.
  • HA: degrees equal (1=11=1), so y=11=1y=\frac{1}{1}=1.
  • xx-intercept: x+1=0⇒(−1,0)x+1=0\Rightarrow(-1,0).
  • yy-intercept: f(0)=1−2=−12⇒(0,−12)f(0)=\frac{1}{-2}=-\frac{1}{2}\Rightarrow\left(0,-\tfrac12\right).
  • Holes: no common factor, so none.
Side note
Where it goes wrong

Putting a vertical asymptote at every zero of the original denominator. In x2−4x−2\tfrac{x^2 - 4}{x - 2} the factor x−2x - 2 cancels, leaving a hole at x=2x = 2, not an asymptote. Simplify first, then read asymptotes from what is left.

Example
Worked Example: A Hole
xy−2−11234−1123456hole (2, 4)
The line y=x+2y = x + 2 with the point (2,4)(2, 4) missing.

Analyze g(x)=x2−4x−2=(x−2)(x+2)x−2=x+2g(x)=\dfrac{x^2-4}{x-2}=\dfrac{(x-2)(x+2)}{x-2}=x+2, with x≠2x\neq 2. The factor (x−2)(x-2) cancels, so instead of a vertical asymptote there is a hole at x=2x=2. Its height is gg's reduced form at x=2x=2: 2+2=42+2=4, so the hole is at (2,4)(2,4). The graph is the line y=x+2y=x+2 with a single point punched out.

Try it
Try it: analyze

Find the vertical and horizontal asymptotes, the intercepts and any hole of f(x)=2x2−2xx2−1f(x) = \dfrac{2x^2 - 2x}{x^2 - 1}.

Show the answer

Factor: 2x(x−1)(x−1)(x+1)=2xx+1\tfrac{2x(x - 1)}{(x - 1)(x + 1)} = \tfrac{2x}{x + 1}, x≠1x \ne 1. Hole at x=1x = 1, height 22=1\tfrac{2}{2} = 1: (1,1)(1, 1). Vertical asymptote x=−1x = -1. Degrees equal, so the horizontal asymptote is y=21=2y = \tfrac21 = 2. The only intercept is (0,0)(0, 0).

Direct, Inverse & Joint Variation

Concept
Three Variation Models

Every variation problem hides a constant kk. Use one data point to find kk, then answer the question.

  • Direct: y=kxy=kx (as xx grows, yy grows proportionally).
  • Inverse: y=kxy=\dfrac{k}{x} (as xx grows, yy shrinks).
  • Joint: y=kxzy=kxz (yy varies with the product of two quantities).

Each model says one expression is constant: yx=k\tfrac yx = k (direct), xy=kxy = k (inverse), yxz=k\tfrac{y}{xz} = k (joint). One data point fixes the constant, and the constant then answers every other question. For inverse variation, doubling xx halves yy because their product must stay 2424.

Example
Worked Example: Inverse Variation
xy12345678924681012(3, 8)(6, 4)
y=24xy = \tfrac{24}{x}: from (3,8)(3, 8) to (6,4)(6, 4), double xx and yy halves.

yy varies inversely with xx, and y=8y=8 when x=3x=3. Find yy when x=6x=6.

y=kx:8=k3 ⇒ k=24So y=24x;at x=6,  y=246=4\begin{aligned} y=\frac{k}{x}:\quad 8 &= \frac{k}{3} \ \Rightarrow\ k = 24\\ \text{So } y=\frac{24}{x};\quad \text{at } x=6,\ \ y &= \frac{24}{6} = 4 \end{aligned}
Side note
Where it goes wrong

Treating inverse variation as "subtract": from y=8y = 8 at x=3x = 3, guessing y=5y = 5 at x=6x = 6 because xx went up 33. Inverse variation keeps the product constant: 3⋅8=6⋅y3 \cdot 8 = 6 \cdot y gives y=4y = 4.

Try it
Try it: joint variation

zz varies jointly with xx and yy, and z=60z = 60 when x=3x = 3 and y=5y = 5. Find zz when x=4x = 4 and y=7y = 7.

Show the answer

z=kxyz = kxy: 60=15k60 = 15k, so k=4k = 4. Then z=4⋅4⋅7=112z = 4 \cdot 4 \cdot 7 = 112.

Applications: Work/Rate & Mixture

Concept
Rates Add

If one worker finishes a job in aa hours, their rate is 1a\dfrac{1}{a} job per hour. When several work together, rates add. For a shared time tt:

ta+tb=1(one whole job completed).\frac{t}{a}+\frac{t}{b}=1\qquad\text{(one whole job completed).}

For mixture problems, track the amount of pure substance and set the concentration equal to your target.

Rates add because in each hour each pipe contributes its own fraction of the job: 14+16=512\tfrac14 + \tfrac16 = \tfrac{5}{12} of the tank per hour. Times do not add, because a second pipe shortens the job rather than lengthening it. In a dilution the amount of pure acid never changes; only the total volume does, which is what the equation tracks.

Example
Worked Example: Working Together

Pipe A fills a tank in 44 hours, pipe B in 66 hours. How long together?

t4+t6=1LCD 123t+2t=125t=12 ⇒ t=125=2.4 hours (2 h 24 min).\begin{aligned} \frac{t}{4}+\frac{t}{6} &= 1 &&\text{LCD }12\\ 3t + 2t &= 12\\ 5t &= 12 \ \Rightarrow\ t=\frac{12}{5}=2.4\text{ hours (2 h 24 min).} \end{aligned}
Side note
Where it goes wrong

Averaging the times: two pipes taking 44 and 66 hours "take 55 hours together." That is slower than the 44-hour pipe alone. Adding rates gives 2.42.4 hours.

Example
Worked Example: Dilution

How much water must be added to 1010 L of 40%40\% acid to weaken it to 25%25\%? The pure acid stays at 0.40(10)=40.40(10)=4 L. Let x=x= liters of water added:

410+x=0.25 ⇒ 4=2.5+0.25x ⇒ x=6 L.\frac{4}{10+x}=0.25 \ \Rightarrow\ 4 = 2.5 + 0.25x \ \Rightarrow\ x = 6\text{ L}.
Tip

Sanity check. A “together” time must be shorter than either worker alone. If your answer is longer than the fastest worker, recheck the setup.

Try it
Try it: mixture

How many liters of pure acid must be added to 1212 L of a 20%20\% solution to make a 40%40\% solution?

Show the answer

Acid now: 0.20⋅12=2.40.20 \cdot 12 = 2.4 L. Adding xx L of pure acid: 2.4+x12+x=0.40\tfrac{2.4 + x}{12 + x} = 0.40, so 2.4+x=4.8+0.4x2.4 + x = 4.8 + 0.4x and 0.6x=2.40.6x = 2.4, x=4x = 4 L. Check: 6.416=0.4\tfrac{6.4}{16} = 0.4.

Going Deeper: Advanced Rational Functions

Concept
Holes vs. Vertical Asymptotes — Told Precisely

Both come from a zero of the original denominator, but they behave very differently. Factor top and bottom completely and compare the multiplicity of each root:

  • Vertical asymptote at x=ax=a: the factor (x−a)(x-a) survives in the denominator of the reduced form. The function blows up (→±∞\to\pm\infty) there.
  • Hole at x=ax=a: the factor (x−a)(x-a) cancels completely. If it appears to power pp on top and qq on the bottom, the outcome depends on which is larger.

Compare powers: with (x−a)p(x-a)^p on top and (x−a)q(x-a)^q on the bottom, the net factor is (x−a)p−q(x-a)^{p-q}. If p≥qp\ge q the point is a hole (removable); if p<qp<q it is a vertical asymptote of order q−pq-p.

Example
Worked Example: Same Root, Two Fates

Analyze f(x)=(x−3)2(x+1)(x−3)(x−3)(x−3)=(x−3)2(x+1)(x−3)3f(x)=\dfrac{(x-3)^2(x+1)}{(x-3)(x-3)(x-3)}=\dfrac{(x-3)^2(x+1)}{(x-3)^3} near x=3x=3.

f(x)=(x−3)2(x+1)(x−3)3count multiplicities: p=2, q=3=x+1x−3net factor (x−3)2−3=(x−3)−1\begin{aligned} f(x) &= \frac{(x-3)^2(x+1)}{(x-3)^3} &&\text{count multiplicities: } p=2,\ q=3\\ &= \frac{x+1}{x-3} &&\text{net factor }(x-3)^{2-3}=(x-3)^{-1} \end{aligned}

Since p<qp<q, one factor of (x−3)(x-3) remains below: there is a vertical asymptote at x=3x=3, not a hole. Had the top been (x−3)3(x-3)^3 instead, all three would cancel and x=3x=3 would be a hole.

Concept
Slant (Oblique) Asymptotes via Long Division

When deg⁡P=deg⁡Q+1\deg P = \deg Q + 1 (numerator exactly one degree higher), there is no horizontal asymptote — instead the graph follows a slant line y=mx+by=mx+b. Find it by polynomial long division:

P(x)Q(x)=(mx+b)⏟slant asymptote+remainderQ(x).\frac{P(x)}{Q(x)} = \underbrace{(mx+b)}_{\text{slant asymptote}} + \frac{\text{remainder}}{Q(x)}.

As x→±∞x\to\pm\infty the remainder term →0\to 0, so the curve hugs the line y=mx+by=mx+b. The remainder is what you discard for the asymptote — but its sign tells you whether the curve sits above or below the line.

Example
Worked Example: Find a Slant Asymptote

Find the slant asymptote of f(x)=x2+3x+5x+1f(x)=\dfrac{x^2+3x+5}{x+1}.

x2+3x+5x+1=x+2+3x+1long division: quotient x+2, remainder 3\begin{aligned} \frac{x^2+3x+5}{x+1} &= x+2+\frac{3}{x+1} &&\text{long division: quotient }x+2,\ \text{remainder }3 \end{aligned}

The slant asymptote is y=x+2y=x+2. Because the remainder 3x+1>0\dfrac{3}{x+1}>0 for x>−1x>-1, the curve lies above the line to the right and below it to the left. (Degrees: deg⁡P=2=deg⁡Q+1\deg P=2=\deg Q+1, confirming a slant, not horizontal, asymptote.)

Tip

When does a graph cross its horizontal asymptote? A horizontal asymptote only describes end behavior (x→±∞x\to\pm\infty); it may be crossed in the middle. Set f(x)=Lf(x)=L (the HA value) and solve. If there is a real solution, the graph crosses its HA there. A graph can never cross a vertical asymptote, but crossing a horizontal or slant asymptote is perfectly legal.

Example
Worked Example: Crossing the Horizontal Asymptote

Does f(x)=x2−2xx2+1f(x)=\dfrac{x^2-2x}{x^2+1} cross its horizontal asymptote? Degrees are equal, so HA=y=11=1\text{HA}=y=\tfrac11=1. Set f(x)=1f(x)=1:

x2−2xx2+1=1x2−2x=x2+1cross-multiply (denominator never 0)−2x=1 ⇒ x=−12\begin{aligned} \frac{x^2-2x}{x^2+1} &= 1\\ x^2-2x &= x^2+1 &&\text{cross-multiply (denominator never }0\text{)}\\ -2x &= 1 \ \Rightarrow\ x=-\tfrac12 \end{aligned}

Yes — the graph crosses y=1y=1 at (−12, 1)\left(-\tfrac12,\,1\right). Beyond that point it approaches y=1y=1 without touching it again.

Concept
Partial-Fraction Decomposition

The reverse of adding fractions: split one complicated rational expression into a sum of simple ones. First make sure the fraction is proper (deg⁡P<deg⁡Q\deg P<\deg Q); if not, divide first. Then factor QQ and assign an unknown numerator to each factor type:

  • Distinct linear (x−a)(x-a): term Ax−a\dfrac{A}{x-a}.
  • Repeated linear (x−a)k(x-a)^k: one term per power, A1x−a+A2(x−a)2+⋯+Ak(x−a)k\dfrac{A_1}{x-a}+\dfrac{A_2}{(x-a)^2}+\dots+\dfrac{A_k}{(x-a)^k}.
  • Irreducible quadratic (x2+bx+c)(x^2+bx+c): term Bx+Cx2+bx+c\dfrac{Bx+C}{x^2+bx+c} (a linear numerator).

Clear denominators and solve for the constants — either by substituting convenient xx-values or by matching coefficients.

Example
Worked Example: Distinct Linear Factors

Decompose 5x+1(x+2)(x−1)\dfrac{5x+1}{(x+2)(x-1)}. Write 5x+1(x+2)(x−1)=Ax+2+Bx−1\dfrac{5x+1}{(x+2)(x-1)}=\dfrac{A}{x+2}+\dfrac{B}{x-1} and clear denominators:

5x+1=A(x−1)+B(x+2)x=1:6=3B ⇒ B=2x=−2:−9=−3A ⇒ A=3\begin{aligned} 5x+1 &= A(x-1)+B(x+2)\\ x=1:\quad 6 &= 3B \ \Rightarrow\ B=2\\ x=-2:\quad -9 &= -3A \ \Rightarrow\ A=3 \end{aligned}

So 5x+1(x+2)(x−1)=3x+2+2x−1\dfrac{5x+1}{(x+2)(x-1)}=\dfrac{3}{x+2}+\dfrac{2}{x-1}. (This is exactly the “add” example from Section 3, run backwards.)

Example
Worked Example: Repeated and Irreducible-Quadratic Factors

Decompose x2+2(x−1)2(x2+1)\dfrac{x^2+2}{(x-1)^2(x^2+1)}. Set up every required term:

x2+2(x−1)2(x2+1)=Ax−1+B(x−1)2+Cx+Dx2+1.\frac{x^2+2}{(x-1)^2(x^2+1)}=\frac{A}{x-1}+\frac{B}{(x-1)^2}+\frac{Cx+D}{x^2+1}.

Clearing denominators gives x2+2=A(x−1)(x2+1)+B(x2+1)+(Cx+D)(x−1)2x^2+2=A(x-1)(x^2+1)+B(x^2+1)+(Cx+D)(x-1)^2.

x=1:3=2B ⇒ B=32match x3:0=A+Cmatch x0:2=−A+B+Dmatch x2:1=A+B+C−2C+D\begin{aligned} x=1:\quad 3 &= 2B \ \Rightarrow\ B=\tfrac32\\ \text{match }x^3:\quad 0 &= A+C\\ \text{match }x^0:\quad 2 &= -A+B+D\\ \text{match }x^2:\quad 1 &= A+B+C-2C+D \end{aligned}

Solving the system yields A=12, B=32, C=−12, D=0A=\tfrac12,\ B=\tfrac32,\ C=-\tfrac12,\ D=0, so

x2+2(x−1)2(x2+1)=1/2x−1+3/2(x−1)2+−12xx2+1.\frac{x^2+2}{(x-1)^2(x^2+1)}=\frac{1/2}{x-1}+\frac{3/2}{(x-1)^2}+\frac{-\tfrac12 x}{x^2+1}.

Note the repeated factor gets two terms and the quadratic gets a linear numerator Cx+DCx+D.

Concept
Telescoping Sums from Partial Fractions

Partial fractions turn many “impossible” sums into telescoping sums, where adjacent terms cancel in a cascade. The key identity is

1n(n+1)=1n−1n+1.\frac{1}{n(n+1)}=\frac{1}{n}-\frac{1}{n+1}.

Summing it, every interior term is cancelled by its neighbour, leaving only the first and last:

∑n=1N1n(n+1)=(1−12)+(12−13)+⋯+(1N−1N+1)=1−1N+1.\sum_{n=1}^{N}\frac{1}{n(n+1)}=\left(1-\frac12\right)+\left(\frac12-\frac13\right)+\dots+\left(\frac1N-\frac1{N+1}\right)=1-\frac{1}{N+1}.
Example
Worked Example: Telescoping a Finite Sum

Evaluate ∑n=1991n(n+1)\displaystyle\sum_{n=1}^{99}\frac{1}{n(n+1)}. Decompose the general term, then collapse:

1n(n+1)=1n−1n+1partial fractions∑n=199(1n−1n+1)=1−1100interior terms cancel=99100\begin{aligned} \frac{1}{n(n+1)} &= \frac1n-\frac1{n+1} &&\text{partial fractions}\\ \sum_{n=1}^{99}\left(\frac1n-\frac1{n+1}\right) &= 1-\frac{1}{100} &&\text{interior terms cancel}\\ &= \frac{99}{100} \end{aligned}

The whole sum reduces to just the surviving endpoints — no other arithmetic needed.

Concept
The x+1xx+\tfrac1x Family

Many problems become easy once you let s=x+1xs=x+\dfrac1x. Squaring and cubing generate the other symmetric powers:

(x+1x)2=x2+2+1x2⇒x2+1x2=s2−2(x+1x)3=x3+3x+3x+1x3⇒x3+1x3=s3−3s\begin{aligned} \left(x+\frac1x\right)^2 &= x^2+2+\frac1{x^2} &&\Rightarrow\quad x^2+\frac1{x^2}=s^2-2\\ \left(x+\frac1x\right)^3 &= x^3+3x+\frac3x+\frac1{x^3} &&\Rightarrow\quad x^3+\frac1{x^3}=s^3-3s \end{aligned}

So knowing a single value s=x+1xs=x+\dfrac1x instantly gives x2+1x2x^2+\dfrac1{x^2} and x3+1x3x^3+\dfrac1{x^3} without ever solving for xx.

Example
Worked Example: Powers Without Solving for xx

If x+1x=3x+\dfrac1x=3, find x3+1x3x^3+\dfrac1{x^3}. Let s=3s=3 and use the identities:

x2+1x2=s2−2=9−2=7x3+1x3=s3−3s=27−9=18\begin{aligned} x^2+\frac1{x^2} &= s^2-2 = 9-2 = 7\\ x^3+\frac1{x^3} &= s^3-3s = 27-9 = 18 \end{aligned}

Answer: x3+1x3=18x^3+\dfrac1{x^3}=18. (Check via x3+1x3=(x+1x) ⁣(x2−1+1x2)=3(7−1)=18x^3+\tfrac1{x^3}=\left(x+\tfrac1x\right)\!\left(x^2-1+\tfrac1{x^2}\right)=3(7-1)=18.)

Concept
Continued Fractions

A continued fraction nests division inside division:

a0+1a1+1a2+1a3+⋯.a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+\cfrac{1}{a_3+\cdots}}}.

Evaluate a finite one by working from the bottom up. A periodic infinite continued fraction satisfies a self-referential equation: if yy equals the whole expression and the pattern repeats, substitute yy back into itself and solve the resulting (usually quadratic) equation — keeping the positive root.

Example
Worked Example: A Self-Referential Continued Fraction

Evaluate y=1+11+11+11+⋯y=1+\cfrac{1}{1+\cfrac{1}{1+\cfrac{1}{1+\cdots}}}, which repeats forever. Because the tail below the first bar is an identical copy of yy:

y=1+1ythe inner expression is yy2=y+1multiply by yy2−y−1=0 ⇒ y=1+52\begin{aligned} y &= 1+\frac{1}{y} &&\text{the inner expression \emph{is} }y\\ y^2 &= y+1 &&\text{multiply by }y\\ y^2-y-1 &= 0 \ \Rightarrow\ y=\frac{1+\sqrt5}{2} \end{aligned}

We take the positive root, so y=1+52y=\dfrac{1+\sqrt5}{2}, the golden ratio φ≈1.618\varphi\approx1.618.

Why It Works

As x→∞x \to \infty, a rational function behaves like the ratio of its leading terms, because lower powers become negligible in comparison. If the degrees match, the ratio tends to the ratio of leading coefficients (a horizontal asymptote); if the numerator's degree is smaller, it tends to 00; if larger, it grows without bound (possibly along a slant asymptote found by long division). Near a zero of the denominator the values blow up because you are dividing by something tiny — hence the vertical asymptote.

Tip
Reading a proof

Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.

Formulas, Proofs & Tips

Tip
Excluded values
P(x)Q(x) is undefined where Q(x)=0\frac{P(x)}{Q(x)} \text{ is undefined where } Q(x)=0

What it means. A rational expression exists everywhere except where its denominator vanishes.

Example. 1x−2\dfrac{1}{x-2} is undefined at x=2x=2, so x≠2x\ne 2.

Why it works. Division asks "what times the denominator gives the numerator?". If the denominator is 00, no number works (or every number does, when the numerator is 00 too), so the value cannot be defined.

Tip. Find the excluded values from the original denominator, before cancelling. Cancelling can hide a restriction that still applies.