1.02k - Rational expressions and algebraic division

1.02k - Rational expressions and algebraic division

Simplify algebraic fractions while keeping track of their allowed inputs. Combine and divide rational expressions, separate a quotient from its remainder and use factorisation to solve polynomial equations through degree four.

Cancelling factors and retaining restrictions

Can (x2−1)/(x−1)=2(x^2-1)/(x-1)=2 have no solution even though the fraction simplifies to x+1x+1? Try x=1x=1: the simplified expression gives 22, but the fraction gives 0/00/0, which is undefined. One missing input can change an equation's answer completely.

You already know

A denominator cannot be zero. Factorisation rewrites a sum as a product, and cancelling means dividing the whole numerator and denominator by the same non-zero factor.

An expression includes its restrictions, not just its visible formula.

Rational expression

A rational expression is a quotient of polynomials, defined only where its denominator is non-zero. For example, (x+1)/(x−2)(x+1)/(x-2) requires x≠2x\ne2. The expression (x+1)/(x+3)(x+1)/(x+3) cannot simplify to 1/31/3: the xx terms are not factors of the whole numerator and denominator.

List restrictions before cancelling; afterwards a vanished factor may hide one.

Worked example 1: a cancelled factor

Question. Simplify (x2−9)/(x2+x−6)(x^2-9)/(x^2+x-6), retaining all restrictions.

Plan. Factorise both polynomials, identify denominator zeros and cancel the shared factor.

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

Why this step? Cancellation is valid only when x+3≠0x+3\ne0; its zero stays excluded.

Answer. (x−3)/(x−2)(x-3)/(x-2), for x≠−3,2x\ne-3,2.

Check. At x=0x=0, both give 3/23/2. At x=−3x=-3, the first is undefined, even though the simplified formula alone would give 6/56/5.

Change one feature: the shared factor appears with the opposite sign.

Worked example 2: opposite factors

Question. Simplify (9−x2)/(x2+x−6)(9-x^2)/(x^2+x-6), retaining all restrictions.

Plan. Extract a minus sign before cancelling the same factor.

9−x2x2+x−6=−(x−3)(x+3)(x+3)(x−2)factorise with sign=−x−3x−2cancel x+3\begin{aligned} \frac{9-x^2}{x^2+x-6}&=\frac{-(x-3)(x+3)}{(x+3)(x-2)} && \text{factorise with sign}\\ &=-\frac{x-3}{x-2} && \text{cancel }x+3 \end{aligned}

Why this step? Opposite factors differ by −1-1, so cancelling them does not remove that sign.

Answer. (3−x)/(x−2)(3-x)/(x-2), with x≠−3,2x\ne-3,2.

Check. At x=0x=0, both forms give −3/2-3/2.

These factorisation and cancellation rules are not in the formula sheet: learn them. Two formulae obtained by cancellation agree on the earlier expression's domain; they do not automatically describe functions with the same domain.

Watch out

Wrong: (x+3)/(x+5)=3/5(x+3)/(x+5)=3/5. Right: there is no common factor to cancel. At x=1x=1, the fraction is 4/6=2/34/6=2/3, not 3/53/5.

Keep the opposite-sign issue, with different factors.

Multiplying and dividing rational expressions

Products let you cancel across factors. Division adds one more condition: the expression you divide by must itself be non-zero.

Multiplication and division of fractions

For defined fractions,

AB×CD=ACBD,AB÷CD=ADBC.\frac AB\times\frac CD=\frac{AC}{BD},\qquad \frac AB\div\frac CD=\frac{AD}{BC}.

Multiplication requires B,D≠0B,D\ne0; division also requires C≠0C\ne0.

Not in the formula sheet: learn it.

Determine the restrictions before turning a divisor upside down. Otherwise an input at which it was undefined may disappear from sight.

Worked example 3: multiply factored expressions

Question. Simplify (x2−9)/(x−1)×(x+3)/(x−2)(x^2-9)/(x-1)\times(x+3)/(x-2), with restrictions.

Plan. Record denominator zeros, factorise and multiply.

x2−9x−1×x+3x−2=(x−3)(x+3)2(x−1)(x−2)factorise and multiply\begin{aligned} \frac{x^2-9}{x-1}\times\frac{x+3}{x-2} &=\frac{(x-3)(x+3)^2}{(x-1)(x-2)} && \text{factorise and multiply} \end{aligned}

Why this step? Both copies of x+3x+3 are in the numerator; neither cancels.

Answer. (x−3)(x+3)2/((x−1)(x−2))(x-3)(x+3)^2/((x-1)(x-2)), for x≠1,2x\ne1,2.

Check. At x=0x=0, the product is 9×(−3/2)=−27/29\times(-3/2)=-27/2, matching the result.

Change only the operation from multiplication to division. The second fraction must be inverted, and its zero becomes forbidden.

Worked example 4: divide by the whole fraction

Question. Simplify (x2−9)/(x−1)÷(x+3)/(x−2)(x^2-9)/(x-1)\div(x+3)/(x-2), with restrictions.

Plan. Exclude original denominator zeros and the divisor's zero, then multiply by its reciprocal.

x2−9x−1÷x+3x−2=(x−3)(x+3)x−1×x−2x+3invert whole divisor=(x−3)(x−2)x−1cancel common factor\begin{aligned} \frac{x^2-9}{x-1}\div\frac{x+3}{x-2} &=\frac{(x-3)(x+3)}{x-1}\times\frac{x-2}{x+3} && \text{invert whole divisor}\\ &=\frac{(x-3)(x-2)}{x-1} && \text{cancel common factor} \end{aligned}

Why this step? At x=−3x=-3, the divisor is zero; at x=2x=2, it is undefined. Both remain excluded after inversion.

Answer. (x−3)(x−2)/(x−1)(x-3)(x-2)/(x-1), for x≠1,2,−3x\ne1,2,-3.

Check. At x=0x=0, 9÷(−3/2)=−69\div(-3/2)=-6, matching the result.

For a product with common factors, factorise first: (x2−1)/(x2−4)×(x+2)/(x−1)=(x+1)/(x−2)(x^2-1)/(x^2-4)\times(x+2)/(x-1)=(x+1)/(x-2), still with x≠−2,2,1x\ne-2,2,1.

Watch out

Wrong: keep only zeros of the final denominator. Right: retain the original denominator zeros and, for division, zeros of the divisor too.

Try the division decision with a new pair of brackets.

Adding fractions and checking equations

Addition needs a common denominator, because it combines whole fractions rather than factors. For example,

xx−2−2x+2=x(x+2)−2(x−2)(x−2)(x+2)=x2+4x2−4,x≠±2.\frac{x}{x-2}-\frac2{x+2}=\frac{x(x+2)-2(x-2)}{(x-2)(x+2)}=\frac{x^2+4}{x^2-4},\qquad x\ne\pm2.

The brackets protect the subtracted numerator. This rule is not in the formula sheet: learn it.

Worked example 5: add fractions in an equation

Question. Solve 2/(x−1)+3/(x+1)=02/(x-1)+3/(x+1)=0.

Plan. Exclude ±1\pm1, combine the fractions and set the numerator equal to zero.

2x−1+3x+1=2(x+1)+3(x−1)(x−1)(x+1)common denominator=5x−1x2−1collect numerator5x−1=0⇒x=15non-zero denominator\begin{aligned} \frac2{x-1}+\frac3{x+1}&=\frac{2(x+1)+3(x-1)}{(x-1)(x+1)} && \text{common denominator}\\ &=\frac{5x-1}{x^2-1} && \text{collect numerator}\\ 5x-1&=0\quad\Rightarrow\quad x=\tfrac15 && \text{non-zero denominator} \end{aligned}

Why this step? A defined fraction is zero exactly when its numerator is zero.

Answer. x=1/5x=1/5.

Check. 2/(−4/5)+3/(6/5)=−5/2+5/2=02/(-4/5)+3/(6/5)=-5/2+5/2=0; the input is allowed.

Change only the plus sign to a minus sign. It changes every term in the second numerator.

Worked example 6: subtract fractions in an equation

Question. Solve 2/(x−1)−3/(x+1)=02/(x-1)-3/(x+1)=0.

Plan. Use the same denominator, with brackets around the subtracted numerator.

2x−1−3x+1=2(x+1)−3(x−1)(x−1)(x+1)common denominator=5−xx2−1distribute the minus5−x=0⇒x=5solve numerator equation\begin{aligned} \frac2{x-1}-\frac3{x+1}&=\frac{2(x+1)-3(x-1)}{(x-1)(x+1)} && \text{common denominator}\\ &=\frac{5-x}{x^2-1} && \text{distribute the minus}\\ 5-x&=0\quad\Rightarrow\quad x=5 && \text{solve numerator equation} \end{aligned}

Why this step? The numerator is 2x+2−3x+32x+2-3x+3, not 2x+2−3x−32x+2-3x-3.

Answer. x=5x=5, with ±1\pm1 excluded from the outset.

Check. 2/4−3/6=02/4-3/6=0.

Multiplying an equation by its denominator is reversible only where that denominator is non-zero. For (x2−4)/(x−2)=5(x^2-4)/(x-2)=5, cross-multiplication gives (x−2)(x−3)=0(x-2)(x-3)=0. Reject 22, where the fraction was undefined; the sole solution is 33. Cancellation within x≠2x\ne2 gives x+2=5x+2=5 directly.

Watch out

Wrong: 1/(x−1)+1/(x+1)=2/(2x)1/(x-1)+1/(x+1)=2/(2x). Right: use (x−1)(x+1)(x-1)(x+1) as the common denominator and adjust both numerators. Denominators do not add.

Keep subtraction, with new numerators and denominator zeros.

Quotient and remainder form

An improper rational expression has numerator degree at least as large as denominator degree. Division separates its polynomial part from a proper fraction.

Rational quotient and remainder form

If a≠0a\ne0 and f(x)≡(ax−b)q(x)+r\mathrm f(x)\equiv(ax-b)q(x)+r, then

f(x)ax−b=q(x)+rax−b,x≠ba.\frac{\mathrm f(x)}{ax-b}=q(x)+\frac r{ax-b},\qquad x\ne\frac ba.

The polynomial identity holds everywhere; the fractional equation excludes the divisor's zero.

Not in the formula sheet: learn it.

Use the divisor's actual leading coefficient when choosing quotient terms. A non-monic divisor is still a linear divisor.

Worked example 7: division with no remainder

Question. Write (2x3+3x2−x−1)/(2x+1)(2x^3+3x^2-x-1)/(2x+1) in quotient-and-remainder form.

Plan. Divide successively using x2,x,−1x^2,x,-1.

(2x3+3x2−x−1)−(2x+1)x2=2x2−x−1first subtraction(2x2−x−1)−(2x+1)x=−2x−1second subtraction(−2x−1)−(2x+1)(−1)=0last subtraction\begin{aligned} (2x^3+3x^2-x-1)-(2x+1)x^2&=2x^2-x-1 && \text{first subtraction}\\ (2x^2-x-1)-(2x+1)x&=-2x-1 && \text{second subtraction}\\ (-2x-1)-(2x+1)(-1)&=0 && \text{last subtraction} \end{aligned}

Why this step? Division by 2x2x determines the quotient terms; division by xx alone would double them incorrectly.

Answer. x2+x−1x^2+x-1, with x≠−1/2x\ne-1/2; quotient x2+x−1x^2+x-1, remainder 00.

Check. (2x+1)(x2+x−1)=2x3+3x2−x−1(2x+1)(x^2+x-1)=2x^3+3x^2-x-1.

Change only the constant in the numerator, from −1-1 to 44. The quotient survives; the remainder changes.

Worked example 8: retain the remainder

Question. Write (2x3+3x2−x+4)/(2x+1)(2x^3+3x^2-x+4)/(2x+1) in quotient-and-remainder form.

Plan. Repeat the same quotient terms while retaining the new constant.

f(x)−(2x+1)x2=2x2−x+4remove cubic term(2x2−x+4)−(2x+1)x=−2x+4remove quadratic term(−2x+4)−(2x+1)(−1)=5constant remainder\begin{aligned} \mathrm f(x)-(2x+1)x^2&=2x^2-x+4 && \text{remove cubic term}\\ (2x^2-x+4)-(2x+1)x&=-2x+4 && \text{remove quadratic term}\\ (-2x+4)-(2x+1)(-1)&=5 && \text{constant remainder} \end{aligned}

Why this step? A remainder does not disappear just because the quotient looks simpler.

Answer. x2+x−1+5/(2x+1)x^2+x-1+5/(2x+1), with x≠−1/2x\ne-1/2.

Check. (2x+1)(x2+x−1)+5=2x3+3x2−x+4(2x+1)(x^2+x-1)+5=2x^3+3x^2-x+4; also f(−1/2)=5\mathrm f(-1/2)=5.

The quotient is x2+x−1x^2+x-1, and the remainder is 55, rather than 5/(2x+1)5/(2x+1). Coefficient comparison or any correct linear-division method can produce this identity.

Watch out

Wrong: drop the remainder. Right: keep it divided by the divisor. Multiplication back must recover every term in the numerator.

Change the constant once more.

Solving equations through degree four

A quartic has degree 44, but its factors may be familiar. Look first for a quadratic in x2x^2; otherwise try useful linear factors and divide.

Worked example 9: a quadratic in a square

Question. Solve x4−5x2+4=0x^4-5x^2+4=0.

Plan. Set u=x2u=x^2, solve the quadratic and recover all real square roots.

u2−5u+4=(u−1)(u−4)=0set u=x2x2=1 or 4return to xx=±1 or ±2both square roots\begin{aligned} u^2-5u+4&=(u-1)(u-4)=0 && \text{set }u=x^2\\ x^2&=1\text{ or }4 && \text{return to }x\\ x&=\pm1\text{ or }\pm2 && \text{both square roots} \end{aligned}

Why this step? Solving for uu is not the last step; each positive value gives two possible values of xx.

Answer. x=−2,−1,1,2x=-2,-1,1,2.

Check. The two squared values give 1−5+4=01-5+4=0 and 16−20+4=016-20+4=0.

Change one feature: odd powers are now present, so u=x2u=x^2 cannot capture the whole equation. Use successive linear divisions instead.

Worked example 10: a general quartic

Question. Solve x4+x3−7x2−x+6=0x^4+x^3-7x^2-x+6=0.

Plan. Test 1,−11,-1, divide out their factors and solve the remaining quadratic.

f(1)=1+1−7−1+6=0first factorf(−1)=1−1−7+1+6=0second factorf(x)=(x−1)(x3+2x2−5x−6)divide by x−1=(x−1)(x+1)(x2+x−6)divide by x+1=(x−1)(x+1)(x+3)(x−2)factorise quadratic\begin{aligned} \mathrm f(1)&=1+1-7-1+6=0 && \text{first factor}\\ \mathrm f(-1)&=1-1-7+1+6=0 && \text{second factor}\\ \mathrm f(x)&=(x-1)(x^3+2x^2-5x-6) && \text{divide by }x-1\\ &=(x-1)(x+1)(x^2+x-6) && \text{divide by }x+1\\ &=(x-1)(x+1)(x+3)(x-2) && \text{factorise quadratic} \end{aligned}

Why this step? A full factorisation proves that the list is complete. Two successful substitutions alone do not.

Answer. x=1,−1,−3,2x=1,-1,-3,2.

Check. Multiplying (x2−1)(x2+x−6)(x^2-1)(x^2+x-6) restores the quartic.

All these divisions are by linear expressions. If a substituted square is negative, it gives no real roots: x4+3x2−4=0x^4+3x^2-4=0 becomes (x2+4)(x2−1)=0(x^2+4)(x^2-1)=0, so only x=±1x=\pm1 is real. Quartic-solving methods are not in the formula sheet: learn them.

Watch out

Wrong: x2=4⇒x=4x^2=4\Rightarrow x=4. Right: x=±2x=\pm2. Also, a repeated factor can give fewer distinct roots than the degree.

Keep the successive-factor method with new coefficients and given starting roots.

Quick Recap

  • Cancel whole factors and retain every original excluded input.
  • Division by a fraction also excludes its zeros; invert the whole divisor.
  • Add over a common denominator; solve within its non-zero domain and reject forbidden candidates.
  • Polynomial division gives a quotient plus a remainder fraction; quartics may reduce to quadratics or successive linear factors.

The opening equation has no solution: cancellation gives x+1=2x+1=2, hence x=1x=1, precisely the input at which the fraction is undefined.