Pre-Calculus for Programmers

Algebra foundations: the toolkit calculus never reteaches

11 / 397
Contents

Contents

Pre-Calculus for Programmers

0 of 397 complete

9 min read

Factoring when the exponents are negative or fractional

The tidy-up step every derivative of a root demands, and the one rule that makes it work.

Expressions like x1/2+x−1/2x^{1/2}+x^{-1/2} look unfactorable, because there is no whole power of xx sitting in both terms. There is, and the rule for finding it is short, but it is worth confirming the answer first so you know what is being aimed at.

Two forms, one valuePython

Change (x + 1) to (x - 1) and run it again. Every row now disagrees, which is what a wrong factorisation looks like. Put it back and change both 0.5s to 1.5s instead, and see whether the tidy form still matches.

So x1/2+x−1/2x^{1/2}+x^{-1/2} really is x+1x\frac{x+1}{\sqrt{x}}. Here is where that comes from.

The rule: pull out the smallest exponent

The common factor of a set of powers of xx is xx raised to the smallest exponent present, where smallest means furthest left on the number line. Between 12\frac{1}{2} and −12-\frac{1}{2}, the smaller is −12-\frac{1}{2}.

The reason is the division law. Taking out x−1/2x^{-1/2} means dividing each term by it, and dividing subtracts exponents. Every other exponent minus the smallest one is zero or more, so nothing is left with a negative power inside the bracket.

  1. The terms are x1/2x^{1/2} and x−1/2x^{-1/2}. The exponents are 12\frac{1}{2} and −12-\frac{1}{2}, and the smaller is −12-\frac{1}{2}.
  2. Take out x−1/2x^{-1/2}. The first term contributes x1/2÷x−1/2=x1/2−(−1/2)=x1x^{1/2} \div x^{-1/2} = x^{1/2-(-1/2)} = x^{1}.
  3. The second term contributes x−1/2÷x−1/2=x0=1x^{-1/2} \div x^{-1/2} = x^{0} = 1. A term that is entirely the common factor leaves a 1 behind, never nothing.
  4. So x1/2+x−1/2=x−1/2(x+1)x^{1/2}+x^{-1/2} = x^{-1/2}\left(x+1\right).
  5. Finally write the negative power as a fraction: x−1/2=1xx^{-1/2} = \frac{1}{\sqrt{x}}, so the answer is x+1x\dfrac{x+1}{\sqrt{x}}.
  6. Check at x=4x = 4: the original is 2+12=2.52 + \frac{1}{2} = 2.5, and the answer is 52=2.5\frac{5}{2} = 2.5.

The version calculus actually produces

Differentiating a product involving x+3\sqrt{x+3} produces something with the shape below, and an examiner expects it as a single fraction. The common factor is a power of a whole bracket rather than of xx, which changes nothing: the bracket plays the part xx was playing.

Simplify 2x(x+3)−1/2+(x+3)1/22x(x+3)^{-1/2} + (x+3)^{1/2}.

  1. The two powers of (x+3)(x+3) are −12-\frac{1}{2} and 12\frac{1}{2}, so the common factor is (x+3)−1/2(x+3)^{-1/2}.
  2. First term: 2x(x+3)−1/2÷(x+3)−1/2=2x2x(x+3)^{-1/2} \div (x+3)^{-1/2} = 2x.
  3. Second term: (x+3)1/2÷(x+3)−1/2=(x+3)1/2−(−1/2)=(x+3)1=x+3(x+3)^{1/2} \div (x+3)^{-1/2} = (x+3)^{1/2-(-1/2)} = (x+3)^{1} = x+3.
  4. So the expression is (x+3)−1/2(2x+(x+3))(x+3)^{-1/2}\left(2x + (x+3)\right).
  5. Collect inside the bracket: 2x+x+3=3x+32x + x + 3 = 3x+3, which is 3(x+1)3(x+1).
  6. Write the negative power underneath: 3(x+1)x+3\dfrac{3(x+1)}{\sqrt{x+3}}.
  7. Check at x=1x = 1: the original is 2⋅1⋅12+2=32 \cdot 1 \cdot \frac{1}{2} + 2 = 3, and the answer is 3⋅22=3\frac{3 \cdot 2}{2} = 3.
Checking the calculus-shaped onePython

Change the 2 * x to 5 * x and run it again. The tidy line is now wrong. Redo the collecting step on paper with a 5 in it, and edit the tidy line until the two columns agree.

Numbers in front, and thirds

The numerical coefficients have a common factor of their own, and it comes out at the same time. In 3x−2/3+6x1/33x^{-2/3}+6x^{1/3} the numbers 3 and 6 share a 3, and the exponents −23-\frac{2}{3} and 13\frac{1}{3} have the smaller −23-\frac{2}{3}.

So the common factor is 3x−2/33x^{-2/3}. The first term leaves 1. The second leaves 63x1/3−(−2/3)=2x1=2x\frac{6}{3}x^{1/3-(-2/3)} = 2x^{1} = 2x. The result is 3x−2/3(1+2x)3x^{-2/3}(1+2x), or 3(1+2x)x23\dfrac{3(1+2x)}{\sqrt[3]{x^{2}}}.

Notice the shape of every answer in this lesson: a single fraction, with a root on the bottom and a tidy polynomial on the top. That is the form an examiner marks and the form a later step can use, because a single fraction can be compared with zero, cancelled against something, or read for the values that make it undefined. A sum of terms with scattered negative exponents can do none of those things.

The reason this shape keeps appearing is that the rules for differentiating a product and a root each contribute one term, and the two terms carry powers of the same bracket that differ by exactly 1. Two exponents that differ by 1 always have a common factor, so the collapse in this lesson is always available.

Factor x−3/2+x−1/2x^{-3/2}+x^{-1/2} and write the answer as a single fraction.

The exponents are −32-\frac{3}{2} and −12-\frac{1}{2}, and −32-\frac{3}{2} is the smaller, so take out x−3/2x^{-3/2}. The first term leaves 1. The second leaves x−1/2−(−3/2)=x1=xx^{-1/2-(-3/2)} = x^{1} = x. That gives x−3/2(1+x)x^{-3/2}(1+x), which is 1+xx3/2\dfrac{1+x}{x^{3/2}}, also written 1+xxx\dfrac{1+x}{x\sqrt{x}}. Check at x=4x = 4: the original is 18+12=0.625\frac{1}{8}+\frac{1}{2} = 0.625, and the answer is 58=0.625\frac{5}{8} = 0.625.

Check yourself

What is the common factor to take out of 4(x−1)−1/2+(x−1)3/24(x-1)^{-1/2} + (x-1)^{3/2}?

All lessons in Pre-Calculus for Programmers