The foundation deck for College Algebra. It covers the real number sets, absolute value as distance, interval and set-builder notation, the order of operations, and the sign rules, then gives every integer exponent rule together with the reason behind it. From there it moves to scientific notation, simplifying and combining radicals, rational exponents, and rationalizing denominators. It targets the four errors that follow students all semester: distributing an exponent across a sum, reading a negative exponent as a negative number, dropping the absolute value out of an even root, and adding unlike radicals.
Subject: College Algebra · 136 slides · symbolic lesson
Open the interactive version of this deck · Homework for this lesson
Title
College Algebra - Deck 01
The number system, interval notation, the exponent rules, and every radical move you will need for the rest of the course.
Objectives
This is the toolkit deck. Everything later in College Algebra leans on it, so we go slowly and we explain why each rule is true.
Section
Part 1
Concept
Every number in this course lives inside one big set called the real numbers. But that set was built up in layers, and each layer has a name worth knowing.
natural numbers — The counting numbers. No zero, no negatives, no fractions - the numbers you use to count sheep.
\[ \mathbb{N} = \{1,\ 2,\ 3,\ 4,\ \dots\} \]
whole numbers — The natural numbers plus zero. Zero had to be invented; it answers the question 'how many are left?'
\[ \mathbb{W} = \{0,\ 1,\ 2,\ 3,\ \dots\} \]
integers — The whole numbers plus their negatives. Negatives let you record a debt, a temperature below zero, or a step backwards.
\[ \mathbb{Z} = \{\dots,\ -3,\ -2,\ -1,\ 0,\ 1,\ 2,\ 3,\ \dots\} \]
Definition probe
Sort into buckets
Every line below is part of the definition of whole numbers or of integers — one or the other, never both. Put each where it belongs.
Concept
A rational number is any number you can write as one integer over another integer, as long as the bottom one is not zero. The word is ratio-nal, not reason-able.
\[ \mathbb{Q} = \left\{ \frac{a}{b} \ : \ a,\, b \in \mathbb{Z},\ b \ne 0 \right\} \]
Every integer is already rational - put it over one. So the integers sit inside the rationals.
\[ -7 = \frac{-7}{1}, \qquad 0 = \frac{0}{1} \]
Here is the test you can actually use: a number is rational exactly when its decimal either stops or repeats forever in a block.
\[ \frac{1}{4} = 0.25, \qquad \frac{1}{3} = 0.\overline{3}, \qquad \frac{5}{11} = 0.\overline{45} \]
Counterexample
Discussion prompt
A rational number is any number you can write as one integer over another integer, as long as the bottom one is not zero. The word is ratio-nal, not reason-able.
That is stated as though it always holds. Do one of two things: produce a case where it fails, or say precisely what rules such a case out. "It just does" is not on the menu.
Hint: Hunt at the extremes first — zero, one, negative, empty, equal. If every extreme survives, the reason they survive is the proof.
Answer:
Every integer is already rational - put it over one. So the integers sit inside the rationals.
Picture it
Animation
Shows: A fractional exponent IS a root — a rendered Manim animation.
Rendered with Manim.
Takeaway: The exponent rules force this — it is not a separate definition.
Concept
An irrational number is a real number that cannot be written as a ratio of two integers. Its decimal runs forever and never falls into a repeating block.
\[ \sqrt{2} = 1.41421356\dots, \qquad \pi = 3.14159265\dots, \qquad e = 2.71828182\dots \]
A decimal like the one below is irrational on purpose: the pattern of gaps keeps growing, so no fixed block ever repeats.
\[ 0.101001000100001\dots \]
Careful: a square root symbol is not automatic proof of irrationality. Some roots come out exact.
\[ \sqrt{16} = 4 \quad \text{(an integer!)}, \qquad \sqrt{7} = 2.6457513\dots \quad \text{(irrational)} \]
Analogy
Discussion prompt
Explain Irrational numbers never settle down by analogy to something with no College Algebra in it at all — a queue, a recipe, a map, a bank balance, whatever fits. Then say where your analogy breaks.
Hint: An analogy that never breaks is not an analogy, it is the same idea wearing a hat. Find the seam — that is the part that is actually new.
Answer:
An irrational number is a real number that cannot be written as a ratio of two integers. Its decimal runs forever and never falls into a repeating block.
Concept
Put the rationals and the irrationals together and you get the real numbers - every number that has a place on the number line.
| Set | A member | What it adds |
|---|---|---|
| Natural | 5 | counting |
| Whole | 0 | nothing / an empty count |
| Integer | -9 | debts, direction, below zero |
| Rational | 3/8 | parts of a whole, exact division |
| Irrational | root of 2 | lengths division can never name |
| Real | all of the above | the complete number line |
The nesting is one-way: every natural number is whole, every whole number is an integer, every integer is rational, and every rational is real. Irrationals are real too, but they sit outside the rationals.
\[ \mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \]
Comparison
Comparison matrix
From The real numbers, and how the sets nest: refill the A member column from what you know. The rest of the table is as it appeared.
| Set | A member | What it adds |
|---|---|---|
| Natural | 5 | counting |
| Whole | 0 | nothing / an empty count |
| Integer | -9 | debts, direction, below zero |
| Rational | 3/8 | parts of a whole, exact division |
| Irrational | root of 2 | lengths division can never name |
| Real | all of the above | the complete number line |
Ranking
Put in order
Put the moves of Worked example: sort a list into its sets into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. A radical is just a name for a number.
Worked example
Name every set each number belongs to.
\[ -5, \quad 0, \quad \tfrac{2}{3}, \quad \sqrt{16}, \quad \sqrt{7}, \quad 4.25, \quad 0.1010010001\dots \]
Simplify anything that is hiding a simpler value
Why: A radical is just a name for a number. The fourth entry is exactly 4, so it must be classified as 4, not as 'a root'.
\[ \sqrt{16} = 4 \]
Pick out the integers
Why: Negative five, zero, and four are integers. Of those, only 4 is natural (counting starts at one), and zero and four are whole.
Decide rational or irrational by the decimal
Why: Two-thirds repeats, so it is rational. 4.25 stops, so it is rational - it equals seventeen over four. The last decimal never repeats a block, so it is irrational.
\[ 4.25 = \frac{17}{4}, \qquad \frac{2}{3} = 0.\overline{6} \]
| Number | Natural | Whole | Integer | Rational | Irrational |
|---|---|---|---|---|---|
| -5 | no | no | yes | yes | no |
| 0 | no | yes | yes | yes | no |
| 2/3 | no | no | no | yes | no |
| root of 16 | yes | yes | yes | yes | no |
| root of 7 | no | no | no | no | yes |
| 4.25 | no | no | no | yes | no |
| 0.101001... | no | no | no | no | yes |
Check every row against the original list
Why: All seven numbers are real, and every one is in exactly one of the last two columns - rational or irrational, never both. The two irrational entries are the only decimals that neither stop nor repeat, which is exactly the test we stated.
Concept
Draw a line, mark zero, choose a unit. Every real number gets exactly one point, and every point is exactly one real number.
Figure (svg): A number line marked from negative three to three with an arrow on each end
The line also gives you order for free: whichever number sits further right is the larger one. That is what the inequality symbols mean.
\[ -3 < -1 < 0 < 2.5 < \pi \]
Explain it
Discussion prompt
Explain The number line orders every real number to a student a year behind you. No notation, no jargon they have not met — and it still has to be true.
Hint: If your explanation needs a symbol they have never seen, you are describing the notation rather than the idea.
Answer:
Draw a line, mark zero, choose a unit. Every real number gets exactly one point, and every point is exactly one real number.
Picture it
Animation
Shows: The number systems, nested — a rendered Manim animation.
Rendered with Manim.
Takeaway: Subtraction needs the integers; division needs the rationals; roots need the reals.
Picture it
Figure (svg): A number line showing that negative four and four are both four units from zero
Discussion prompt
Read the picture before the words. What is this showing, and what is the one thing it is built to make obvious? Commit to an answer, then read on.
Hint: Name the parts, then say what changes between them — and if nothing changes, say what is being held still.
Answer:
The absolute value of a number is how far it sits from zero on the number line. Distance is never negative, so an absolute value is never negative.
Concept
The absolute value of a number is how far it sits from zero on the number line. Distance is never negative, so an absolute value is never negative.
Figure (svg): A number line showing that negative four and four are both four units from zero
\[ \left| -4 \right| = 4, \qquad \left| 4 \right| = 4, \qquad \left| 0 \right| = 0 \]
Written as a rule, it keeps a number that is already positive and flips the sign of a negative one.
\[ \left| a \right| = \begin{cases} a & \text{if } a \ge 0 \\ -a & \text{if } a < 0 \end{cases} \]
Picture it
Animation
Shows: Absolute value is distance from zero — a rendered Manim animation.
Rendered with Manim.
Takeaway: Never negative, and symmetric — because distance has no direction.
Intuition
Students stare at that second line and think it is producing a negative answer. It is not. The minus sign there is an undo button, not a label.
If the number inside is already negative, putting a minus in front of it cancels the one it already had - and out comes a positive.
\[ a = -6 \ \Rightarrow \ \left| a \right| = -a = -(-6) = 6 \]
Think of absolute value as asking the odometer question: how far did you travel, never which direction you faced.
Concept
Distance from zero was the warm-up. The real tool is the distance between any two points on the line: subtract them and take the absolute value.
\[ d(a, b) = \left| a - b \right| = \left| b - a \right| \]
The two forms agree, and that is the whole point: the absolute value erases the order you subtracted in, so you cannot get a wrong sign.
\[ \left| 2 - 9 \right| = \left| -7 \right| = 7 \qquad \text{and} \qquad \left| 9 - 2 \right| = \left| 7 \right| = 7 \]
Step zero
Discussion prompt
Worked example: how far apart are they? — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Write the distance formula with the two values substituted
Answer:
Worked example
Find the distance between the two points below on a number line.
\[ a = -7, \qquad b = 5 \]
Write the distance formula with the two values substituted
Why: Distance is the absolute value of a difference. Substituting first, before simplifying, keeps the signs where they belong.
\[ d = \left| a - b \right| = \left| (-7) - 5 \right| \]
Subtract inside the bars first
Why: Absolute-value bars are a grouping symbol, exactly like parentheses. Nothing leaves the bars until the inside is a single number.
\[ \left| (-7) - 5 \right| = \left| -12 \right| \]
Take the absolute value
Why: Negative twelve sits twelve units from zero, so the bars return positive twelve. The answer is a distance, so a positive value is the only sensible outcome.
\[ d = 12 \]
Verify by walking the number line and by reversing the order
Why: From negative seven to zero is 7 units; from zero to positive five is 5 more; 7 plus 5 equals 12. Reversing the subtraction gives the absolute value of 5 minus negative 7, which is the absolute value of 12, also 12. Both agree.
\[ \left| 5 - (-7) \right| = \left| 12 \right| = 12 \ \checkmark \]
Picture it
Animation
Shows: Each line of the worked example "how far apart are they?", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: From negative seven to zero is 7 units; from zero to positive five is 5 more; 7 plus 5 equals 12. Reversing the subtraction gives the absolute value of 5 minus negative 7, which is the absolute value of 12, also 12. Both agree.
Ranking
Put in order
These are the steps of Pattern: distance on a number line, scrambled. Put them back in order before the next slide shows you.
Why: This is the order the recipe itself gives. Recalling the sequence without the slide in front of you is the difference between recognising the method and being able to run it — most of what goes wrong in practice is a step done out of turn.
Pattern
Sanity rule: if your distance came out negative, you took the absolute value of the wrong thing - or forgot it entirely.
Elimination
Eliminate the wrong options
What is the distance between the points at negative 8 and 3 on a number line?
3 of these 4 are wrong. Strike them one at a time, and say what rules each one out before you strike the next. The survivor is the answer.
Survives elimination: A
Why: The distance is the absolute value of negative 8 minus 3, which is the absolute value of negative 11, so 11. Walking the line confirms it: 8 units from negative 8 up to zero, then 3 more up to 3, for a total of 11.
Check
Sketch the number line first, then answer.
Check your understanding
What is the distance between the points at negative 8 and 3 on a number line?
Answer: A
Why: The distance is the absolute value of negative 8 minus 3, which is the absolute value of negative 11, so 11. Walking the line confirms it: 8 units from negative 8 up to zero, then 3 more up to 3, for a total of 11.
Section
Part 2
Concept
Most answers in this course are not one number - they are a whole stretch of the number line. Interval notation writes that stretch with two endpoints and a punctuation mark on each end.
interval notation — A pair of endpoints, smaller one first, with a square bracket if that endpoint is included and a round parenthesis if it is not.
| In words | Inequality | Interval |
|---|---|---|
| between 2 and 5, both included | 2 le x le 5 | [2, 5] |
| between 2 and 5, neither included | 2 lt x lt 5 | (2, 5) |
| from 2 included up to 5 excluded | 2 le x lt 5 | [2, 5) |
| from 2 excluded up to 5 included | 2 lt x le 5 | (2, 5] |
Read the punctuation as a door: a square bracket is a door that is open, letting the endpoint in. A parenthesis is a door that is shut, keeping it out.
\[ [2,\, 5] \ \text{contains } 2 \text{ and } 5, \qquad (2,\, 5) \ \text{contains neither} \]
Order matters. The smaller number always goes on the left, matching the number line. Writing the larger one first describes an empty set, not a mistake the reader can fix for you.
Trade off
Comparison matrix
From Interval notation: two endpoints and two decisions: every row here is a choice with a cost. Fill the Interval column, then say which row you would actually pick and what you give up for it.
| In words | Inequality | Interval |
|---|---|---|
| between 2 and 5, both included | 2 le x le 5 | [2, 5] |
| between 2 and 5, neither included | 2 lt x lt 5 | (2, 5) |
| from 2 included up to 5 excluded | 2 le x lt 5 | [2, 5) |
| from 2 excluded up to 5 included | 2 lt x le 5 | (2, 5] |
Picture it
Animation
Shows: Scientific notation is exponent arithmetic — a rendered Manim animation.
Rendered with Manim.
Takeaway: Multiply the fronts, add the exponents. Nothing new is happening.
Concept
Some solution sets run forever in one direction. For those, the infinity symbol stands in for the missing endpoint.
\[ x \ge 3 \ \Longleftrightarrow \ [3,\, \infty) \]
\[ x < -1 \ \Longleftrightarrow \ (-\infty,\, -1) \]
Infinity is not a number. It is shorthand for 'this keeps going'. Since it is not a number, it can never be an endpoint you include - so it always, always takes a parenthesis.
The whole real line has a name in this notation too.
\[ \mathbb{R} = (-\infty,\, \infty) \]
Anomaly
Predict first
A student writes this, and it looks reasonable:
The inequality has an 'or equal to', so the student closes both ends with brackets.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: That sentence is meaningless. A bracket promises the endpoint is a member of the set, and infinity is not a real number, so it cannot be a member of anything on the number line.
The 'or equal to' applies to the 3 only. The infinite end always closes with a parenthesis.
Why: That sentence is meaningless. A bracket promises the endpoint is a member of the set, and infinity is not a real number, so it cannot be a member of anything on the number line.
Trap
The inequality has an 'or equal to', so the student closes both ends with brackets.
\[ x \ge 3 \quad \longrightarrow \quad [3,\, \infty] \]
Read that bracket out loud: 'infinity is included in the set'
Why: That sentence is meaningless. A bracket promises the endpoint is a member of the set, and infinity is not a real number, so it cannot be a member of anything on the number line.
The 'or equal to' applies to the 3 only. The infinite end always closes with a parenthesis.
\[ x \ge 3 \quad \longrightarrow \quad [3,\, \infty) \]
Decide each end separately
Why: The left end asks 'is 3 in the set?' - yes, so a bracket. The right end asks 'is there a largest member?' - no, so a parenthesis on infinity. Two ends, two independent decisions.
Notation
Annotate
From Trap: putting a bracket on infinity — read this one piece at a time. What is each part doing?
On: \( x \ge 3 \quad \longrightarrow \quad [3,\, \infty] \)
Concept
Set-builder notation describes a set by stating the rule its members obey, rather than listing endpoints.
\[ \{\, x \mid x \in \mathbb{R}, \ 2 \le x < 5 \,\} \]
Read the vertical bar as the words such that. So that line says: the set of all real numbers such that the number is at least 2 and less than 5.
It is the same set as the interval you already know. Interval notation is compact; set-builder is precise when the rule is complicated.
\[ \{\, x \mid 2 \le x < 5 \,\} = [2,\, 5) \]
Concept
When a solution set comes in two separate chunks, you cannot write it as one interval. You write both and join them with the union symbol.
\[ A \cup B = \text{everything in } A, \ \text{everything in } B, \ \text{or both} \]
The word or in a problem statement is the signal for a union. The word and asks for the overlap instead, which is usually a single interval.
\[ x < -1 \ \text{ or } \ x \ge 4 \quad \longrightarrow \quad (-\infty,\, -1) \cup [4,\, \infty) \]
A union is also how you write a domain with a hole punched in it - a situation you will meet constantly once rational functions arrive.
\[ \text{all reals except } 2 \ \longrightarrow \ (-\infty,\, 2) \cup (2,\, \infty) \]
Picture it
Figure (svg): Number line with a ray shaded left from an open circle at negative one and a ray shaded right from a filled dot at four
Discussion prompt
Read the picture before the words. What is this showing, and what is the one thing it is built to make obvious? Commit to an answer, then read on.
Hint: Name the parts, then say what changes between them — and if nothing changes, say what is being held still.
Answer:
Write the set of all real numbers that are less than negative one or at least four, in set-builder notation, in interval notation, and as a number-line picture.
Worked example
Write the set of all real numbers that are less than negative one or at least four, in set-builder notation, in interval notation, and as a number-line picture.
Translate the words into inequalities
Why: 'Less than negative one' is a strict inequality; 'at least four' includes the four. Keeping the word 'or' visible reminds you a union is coming.
\[ x < -1 \quad \text{ or } \quad x \ge 4 \]
Write it in set-builder notation
Why: The rule goes to the right of the such-that bar exactly as written, with the word 'or' kept in.
\[ \{\, x \mid x < -1 \ \text{ or } \ x \ge 4 \,\} \]
Convert each piece to an interval, then union them
Why: The first piece runs left forever and excludes negative one, so parenthesis on both ends. The second piece starts at four and includes it, so bracket on the left and parenthesis on infinity.
\[ (-\infty,\, -1) \ \cup \ [4,\, \infty) \]
Draw it, matching the punctuation to the dots
Why: An open circle is a parenthesis; a filled dot is a bracket. The picture and the notation must say the same thing or one of them is wrong.
Figure (svg): Number line with a ray shaded left from an open circle at negative one and a ray shaded right from a filled dot at four
Verify by testing one number from each region against the original words
Why: Negative two is less than negative one, so it belongs - and it is inside the shaded left ray. Zero is neither less than negative one nor at least four, so it is out - and it sits in the unshaded gap. Four is at least four, so it belongs - and it carries a filled dot. All three tests match the picture.
| Test value | Original words say | Our answer says |
|---|---|---|
| -2 | in | in |
| -1 | out | out (open circle) |
| 0 | out | out (gap) |
| 4 | in | in (filled dot) |
Comparison
Comparison matrix
From Worked example: one set, three ways: refill the Our answer says column from what you know. The rest of the table is as it appeared.
| Test value | Original words say | Our answer says |
|---|---|---|
| -2 | in | in |
| -1 | out | out (open circle) |
| 0 | out | out (gap) |
| 4 | in | in (filled dot) |
Prediction
Predict first
Which interval matches the inequality shown above?
Answer it in your own words, now, with nothing to choose from. The options are on the next slide — and picking the right one off a list is an easier skill than producing it.
Correct: (-2, 5]
Why: Negative two is strictly less than x, so negative two is excluded and takes a parenthesis. The 5 carries an 'or equal to', so it is included and takes a bracket. That gives a parenthesis on the left and a bracket on the right.
Check
Decide each endpoint separately before you look at the choices.
\[ -2 < x \le 5 \]
Check your understanding
Which interval matches the inequality shown above?
Answer: A
Why: Negative two is strictly less than x, so negative two is excluded and takes a parenthesis. The 5 carries an 'or equal to', so it is included and takes a bracket. That gives a parenthesis on the left and a bracket on the right.
Section
Part 3
Concept
An expression is not read left to right like a sentence. It is read in ranks, and only inside a rank do you go left to right.
Ranks 3 and 4 are where most damage happens. Multiplication does not outrank division, and addition does not outrank subtraction. Whichever comes first as you sweep left to right goes first.
\[ 24 \div 6 \cdot 2 = 4 \cdot 2 = 8 \qquad \text{(not } 24 \div 12 = 2\text{)} \]
A fraction bar is a grouping symbol you cannot see. Finish the top, finish the bottom, then divide.
\[ \frac{6 + 4}{2 + 3} = \frac{10}{5} = 2 \]
Concept
Multiplying and dividing signed numbers follows one short rule: same signs give a positive, different signs give a negative.
\[ (-6)(-4) = 24, \qquad (-6)(4) = -24, \qquad \frac{-20}{-5} = 4, \qquad \frac{-20}{5} = -4 \]
Why does a negative times a negative turn positive? Because multiplying by negative one means turn around on the number line. Turn around twice and you face the way you started.
Subtraction is not a separate operation - it is adding the opposite. Rewriting it that way removes most sign errors before they happen.
\[ a - b = a + (-b), \qquad -12 - (-5) = -12 + 5 = -7 \]
Adding two numbers with the same sign: add the sizes and keep the sign. With different signs: subtract the smaller size from the larger and keep the sign of the larger.
\[ -8 + (-3) = -11, \qquad -8 + 3 = -5, \qquad 8 + (-3) = 5 \]
Picture it
Animation
Shows: Where the odd rules come from — a rendered Manim animation.
Rendered with Manim.
Takeaway: Both follow from insisting the subtraction rule keeps working.
Anomaly
Predict first
A student writes this, and it looks reasonable:
The student sees a negative and an exponent and squares the whole thing.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: There are no parentheses, so the exponent 2 sits on the 3 alone.
Exponents outrank the minus sign, because a leading minus really means multiply by negative one.
Why: There are no parentheses, so the exponent 2 sits on the 3 alone. The minus sign is outside, waiting. Squaring the negative in was never authorized.
Trap
The student sees a negative and an exponent and squares the whole thing.
\[ -3^2 \ \overset{?}{=} \ (-3)(-3) = 9 \]
Ask what the exponent is actually attached to
Why: There are no parentheses, so the exponent 2 sits on the 3 alone. The minus sign is outside, waiting. Squaring the negative in was never authorized.
The wrong answer is 9, and it is off by more than a sign
Why: Getting positive 9 instead of negative 9 is an 18-unit error, and it silently flips the direction of every later step - a lost solution in a quadratic, a wrong vertex, a wrong maximum.
Exponents outrank the minus sign, because a leading minus really means multiply by negative one.
\[ -3^2 = -(3^2) = -(9) = -9 \]
Add parentheses when you DO want the negative included
Why: Parentheses are rank one, so they capture the negative before the exponent acts. This is a different expression with a different value.
\[ (-3)^2 = (-3)(-3) = 9 \]
Hold the two side by side
Why: Same digits, different grouping, different answers. When you substitute a negative number into a formula, always wrap it in parentheses first - that single habit prevents this error permanently.
\[ -3^2 = -9 \qquad \text{but} \qquad (-3)^2 = 9 \]
Notation
Annotate
From Trap: a minus sign in front of a power — read this one piece at a time. What is each part doing?
On: \( -3^2 = -9 \qquad \text{but} \qquad (-3)^2 = 9 \)
Estimation
Predict first
Evaluate the expression below. Work one rank at a time and write every stage.
Commit before you compute: what does Worked example: evaluate carefully come out to? A rough magnitude and the right form is enough — the point is to have something concrete to be wrong about.
Correct: Verify by re-evaluating the original in three independent chunks
Why: A prediction you can defend turns the computation into a check rather than a leap of faith — and an answer that contradicts it is caught on the spot. Chunk one is negative sixteen. Chunk two is two times the square of negative four, divided by eight, which is thirty-two over eight, or four.
Worked example
Evaluate the expression below. Work one rank at a time and write every stage.
\[ -4^2 + 2(3 - 7)^2 \div 8 - (-5) \]
Rank 1: finish the grouping
Why: Parentheses come first, always. Three minus seven is negative four, and it stays wrapped because an exponent is sitting on it.
\[ -4^2 + 2(-4)^2 \div 8 - (-5) \]
Rank 2: apply both exponents, watching what each one is attached to
Why: The first exponent has no parentheses, so it acts on 4 only and the minus stays outside, giving negative sixteen. The second is attached to a parenthesized negative four, so the negative is included and it gives positive sixteen.
\[ -16 + 2(16) \div 8 - (-5) \]
Rank 3: multiply and divide left to right
Why: Sweeping left to right, the multiplication comes first: two times sixteen is thirty-two. Then the division: thirty-two divided by eight is four.
\[ -16 + 4 - (-5) \]
Rank 4: rewrite the subtraction as addition, then add left to right
Why: Subtracting negative five is adding five. Negative sixteen plus four is negative twelve; negative twelve plus five is negative seven.
\[ -16 + 4 + 5 = -12 + 5 = -7 \]
Verify by re-evaluating the original in three independent chunks
Why: Chunk one is negative sixteen. Chunk two is two times the square of negative four, divided by eight, which is thirty-two over eight, or four. Chunk three is plus five. Adding the three chunks gives negative sixteen plus four plus five, which is negative seven - matching the step-by-step result.
| Chunk of the original | Value |
|---|---|
| first term | -16 |
| middle term | 4 |
| last term | 5 |
| total | -7 |
Picture it
Animation
Shows: Each line of the worked example "evaluate carefully", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Chunk one is negative sixteen. Chunk two is two times the square of negative four, divided by eight, which is thirty-two over eight, or four. Chunk three is plus five. Adding the three chunks gives negative sixteen plus four plus five, which is negative seven - matching the step-by-step result.
Check
Do it on paper first, rank by rank.
\[ 8 - 2(5 - 9)^2 \div 4 \]
Check your understanding
What is the value of the expression shown above?
Answer: A
Why: Grouping first gives negative four; squaring it gives positive sixteen; two times sixteen is thirty-two; thirty-two divided by four is eight; and eight minus eight is zero.
Concept
These two properties are the permission slips that let you shuffle an expression around without changing its value. Addition and multiplication both have them.
commutative property — Order does not matter. You may swap the two things being added, or the two things being multiplied.
\[ a + b = b + a, \qquad ab = ba \]
associative property — Grouping does not matter. You may move the parentheses among the same operation.
\[ (a + b) + c = a + (b + c), \qquad (ab)c = a(bc) \]
Neither one works for subtraction or division, and that is worth testing once so it sticks.
\[ 10 - 4 = 6 \quad \text{but} \quad 4 - 10 = -6 \]
Matching
Match the pairs
Match each term to the definition this lesson gave it — not the one you would guess from the word.
Why: These are the working definitions of natural numbers, whole numbers, integers, interval notation, commutative property as Real Numbers, Exponents, and Radicals uses them. Pairing them correctly is the test of whether you could state each one with the slide switched off.
Concept
The distributive property is the only rule that mixes multiplication and addition, and it is the engine behind expanding, factoring, and combining like terms.
\[ a(b + c) = ab + ac \]
Every term inside gets multiplied - not just the first one. This is where the most common arithmetic slip in all of algebra lives.
\[ -3(x - 5) = -3x + 15 \]
Run it backwards and it is factoring. Same rule, read right to left.
\[ 7x + 7y = 7(x + y) \]
Concept
Each operation has one number that changes nothing - its identity - and a partner for each number that returns you to that identity - its inverse.
| Operation | Identity | Inverse of a | Result |
|---|---|---|---|
| addition | 0 | the opposite of a | a plus its opposite is 0 |
| multiplication | 1 | the reciprocal of a | a times its reciprocal is 1 |
\[ a + 0 = a, \qquad a + (-a) = 0 \]
\[ a \cdot 1 = a, \qquad a \cdot \frac{1}{a} = 1 \quad (a \ne 0) \]
Zero is the one number with no multiplicative inverse, which is exactly why dividing by zero is undefined - there is no number that undoes multiplying by zero.
Trade off
Comparison matrix
From Identities and inverses: the do-nothing and the undo: every row here is a choice with a cost. Fill the Identity column, then say which row you would actually pick and what you give up for it.
| Operation | Identity | Inverse of a | Result |
|---|---|---|---|
| addition | 0 | the opposite of a | a plus its opposite is 0 |
| multiplication | 1 | the reciprocal of a | a times its reciprocal is 1 |
Section
Part 4
Concept
Everything in this part follows from one plain fact: a positive integer exponent counts how many copies of the base are being multiplied.
\[ b^{5} = \underbrace{b \cdot b \cdot b \cdot b \cdot b}_{5 \ \text{factors}} \]
base and exponent — In a power, the base is the thing being multiplied and the exponent is the number of copies. Say 'b to the fifth', not 'b times five'.
Every rule that follows is discovered by writing out the copies and counting them. If you ever forget a rule, expand and count - that always works.
Concept
\[ b^{m} \cdot b^{n} = b^{m+n} \]
Here is the whole justification. Three copies next to four copies is seven copies - the exponents add because you are counting factors.
\[ b^{3} \cdot b^{4} = (b\,b\,b)(b\,b\,b\,b) = b^{7} \]
The bases must match. Different bases stay separate, and coefficients multiply on their own.
\[ (5x^{2})(3x^{6}) = 15x^{8}, \qquad x^{2} \cdot y^{3} \ \text{stays as it is} \]
Picture it
Animation
Shows: Why exponents add — a rendered Manim animation.
Rendered with Manim.
Takeaway: Count the factors once and the rule stops needing memorising.
Concept
\[ \frac{b^{m}}{b^{n}} = b^{m-n} \qquad (b \ne 0) \]
Same justification, in reverse: matching factors on top and bottom cancel in pairs, and the exponent records how many were left over.
\[ \frac{b^{5}}{b^{2}} = \frac{b\,b\,b\,b\,b}{b\,b} = b^{3} \]
Top minus bottom, in that order. Flipping the subtraction is one of the most common slips here, and it flips the sign of your final exponent.
\[ \frac{x^{4}}{x^{9}} = x^{4-9} = x^{-5} \]
Concept
This one gets memorized and never believed. So let us derive it - the quotient rule forces it.
Divide a power by itself. Every factor cancels, so the answer is plainly one.
\[ \frac{b^{4}}{b^{4}} = 1 \]
Now do the same division with the quotient rule instead.
\[ \frac{b^{4}}{b^{4}} = b^{4-4} = b^{0} \]
Two correct routes, one expression, so the results must agree. That is the definition, not a convention someone invented.
\[ b^{0} = 1 \qquad (b \ne 0) \]
Watch what the exponent is attached to. In the second expression below only the variable carries the zero power, so only it becomes one.
\[ (7x)^{0} = 1 \qquad \text{but} \qquad 7x^{0} = 7 \cdot 1 = 7 \]
Concept
Same trick. Divide so that the bottom wins, and compute it both ways.
\[ \frac{b^{2}}{b^{5}} = \frac{b\,b}{b\,b\,b\,b\,b} = \frac{1}{b^{3}} \]
\[ \frac{b^{2}}{b^{5}} = b^{2-5} = b^{-3} \]
The two answers must be the same number, so a negative exponent is simply a reciprocal instruction: move the factor across the fraction bar and the sign of the exponent flips.
\[ b^{-n} = \frac{1}{b^{n}}, \qquad \frac{1}{b^{-n}} = b^{n} \]
Only factors may cross the bar this way - never a term that is being added.
\[ \frac{3x^{-2}}{y^{-5}} = \frac{3y^{5}}{x^{2}} \]
Pattern
Predict first
The table runs: 3 cubed | 27 · 3 squared | 9 · 3 to the 1 | 3 · 3 to the 0 | 1 · 3 to the -1 | 1/3
In Trap: a negative exponent is not a negative answer, given the rows so far: what is the next one — the row where Power is 3 to the -2?
Correct: 3 to the -2 | 1/9
| Power | Value |
|---|---|
| 3 cubed | 27 |
| 3 squared | 9 |
| 3 to the 1 | 3 |
| 3 to the 0 | 1 |
| 3 to the -1 | 1/3 |
| 3 to the -2 | 1/9 |
Why: The relationship between the columns, not the individual numbers, is what generates the next row. Going down the list 27, 9, 3, 1 you divide by three each time.
Trap
The minus sign gets read as a sign on the value.
\[ 3^{-2} \ \overset{?}{=} \ -9 \]
Test it against the pattern of powers of three
Why: Going down the list 27, 9, 3, 1 you divide by three each time. The next entry has to be one third, then one ninth - the list never crosses into negatives. So negative nine cannot be where this sequence lands.
| Power | Value |
|---|---|
| 3 cubed | 27 |
| 3 squared | 9 |
| 3 to the 1 | 3 |
| 3 to the 0 | 1 |
| 3 to the -1 | 1/3 |
| 3 to the -2 | 1/9 |
A negative exponent moves the factor across the fraction bar. The value stays positive.
\[ 3^{-2} = \frac{1}{3^{2}} = \frac{1}{9} \]
Keep the sign of the base and the sign of the exponent in separate lanes
Why: The exponent's sign controls which side of the fraction bar the factor lives on. The base's own sign controls whether the answer is positive or negative. They never trade jobs.
\[ (-3)^{-2} = \frac{1}{(-3)^{2}} = \frac{1}{9}, \qquad -3^{-2} = -\frac{1}{9} \]
Pattern
Step through it
Step through Trap: a negative exponent is not a negative answer one row at a time. What is driving the change, and what would the row after the last one be?
Concept
\[ \left( b^{m} \right)^{n} = b^{mn} \]
Expand it once and the multiplication is obvious: you have three groups of two factors each, so six factors.
\[ \left( b^{2} \right)^{3} = b^{2} \cdot b^{2} \cdot b^{2} = b^{6} \]
This is the rule people confuse with the product rule. Powers stacked with a parenthesis multiply; powers multiplied side by side add.
\[ \left( x^{4} \right)^{3} = x^{12} \qquad \text{but} \qquad x^{4} \cdot x^{3} = x^{7} \]
Concept
When the thing inside the parentheses is a product or a quotient, the outside exponent lands on every factor.
\[ (ab)^{n} = a^{n} b^{n}, \qquad \left( \frac{a}{b} \right)^{n} = \frac{a^{n}}{b^{n}} \quad (b \ne 0) \]
Expanding shows why: the copies just get sorted into two piles by the commutative property.
\[ (ab)^{3} = (ab)(ab)(ab) = (aaa)(bbb) = a^{3}b^{3} \]
The coefficient is a factor too, so it gets the exponent as well. Forgetting to raise the number is the single most common line-loss on an exponent problem.
\[ (4x^{3})^{2} = 4^{2}x^{6} = 16x^{6} \]
A negative exponent on a whole fraction flips it - which is often the fastest first move.
\[ \left( \frac{a}{b} \right)^{-n} = \left( \frac{b}{a} \right)^{n} \]
Anomaly
Predict first
A student writes this, and it looks reasonable:
The product rule worked, so the student applies the same move to a sum.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: Let x be 2. The original is 2 plus 5 all squared, which is 7 squared, or 49.
An exponent distributes over multiplication only. A sum inside must be multiplied out.
Why: Let x be 2. The original is 2 plus 5 all squared, which is 7 squared, or 49. The claimed answer is 4 plus 25, which is 29. Forty-nine is not twenty-nine, so the move is false.
Trap
The product rule worked, so the student applies the same move to a sum.
\[ (x + 5)^{2} \ \overset{?}{=} \ x^{2} + 25 \]
Test it with a number
Why: Let x be 2. The original is 2 plus 5 all squared, which is 7 squared, or 49. The claimed answer is 4 plus 25, which is 29. Forty-nine is not twenty-nine, so the move is false.
| x | Original squared | Claimed answer |
|---|---|---|
| 2 | 49 | 29 |
| 3 | 64 | 34 |
| 0 | 25 | 25 |
Notice it only worked at zero
Why: The one value where it accidentally agrees is the value that kills the missing middle term. That is what makes this error so hard to catch by spot-checking one convenient number.
An exponent distributes over multiplication only. A sum inside must be multiplied out.
\[ (x + 5)^{2} = (x + 5)(x + 5) = x^{2} + 10x + 25 \]
Test the same numbers
Why: At x equal to 2: four plus twenty plus twenty-five is forty-nine, which matches 7 squared exactly. At x equal to 3: nine plus thirty plus twenty-five is sixty-four, which matches 8 squared.
| x | Original squared | Correct expansion |
|---|---|---|
| 2 | 49 | 49 |
| 3 | 64 | 64 |
| 0 | 25 | 25 |
Remember the shape of the answer
Why: The square of a sum always has three terms: the first squared, twice the product, and the last squared. The middle term is the one that goes missing, and it is the whole lesson.
\[ (a + b)^{2} = a^{2} + 2ab + b^{2} \]
Pattern
Step through it
Step through Trap: distributing an exponent across a sum one row at a time. What is driving the change, and what would the row after the last one be?
Step zero
Discussion prompt
Worked example: simplify with the exponent rules — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Clear the outer power first, hitting every factor inside
Answer:
Worked example
Simplify completely, and leave no negative exponents in the answer.
\[ \frac{\left( 3x^{-2}y^{4} \right)^{2}}{9x^{3}y^{-1}} \]
Clear the outer power first, hitting every factor inside
Why: Power of a product: the 3 gets squared to 9, and each variable exponent gets multiplied by 2. Doing this before anything else stops the parentheses from hiding work.
\[ \frac{3^{2}x^{-4}y^{8}}{9x^{3}y^{-1}} = \frac{9x^{-4}y^{8}}{9x^{3}y^{-1}} \]
Reduce the numeric coefficients
Why: Nine over nine is one. Handling the numbers separately from the variables keeps the bookkeeping clean.
\[ \frac{x^{-4}y^{8}}{x^{3}y^{-1}} \]
Apply the quotient rule to each base, top exponent minus bottom exponent
Why: For x: negative four minus three is negative seven. For y: eight minus negative one is eight plus one, which is nine. Subtracting a negative is where this step most often goes wrong.
\[ x^{-4-3}\,y^{8-(-1)} = x^{-7}y^{9} \]
Move the negative exponent across the bar to finish
Why: A negative exponent is a reciprocal instruction, so the x factor drops to the denominator with a positive exponent. Now the answer has no negative exponents left.
\[ \frac{y^{9}}{x^{7}} \]
Verify by substituting numbers into the original and the answer
Why: Let x be 1 and y be 2. The original numerator is 3 times 1 times 16, all squared, which is 48 squared, or 2304. The original denominator is 9 times 1 times one-half, which is 4.5. Dividing gives 512. The answer gives 2 to the ninth over 1, which is also 512. They match.
| Expression | Value at x = 1, y = 2 |
|---|---|
| original numerator | 2304 |
| original denominator | 4.5 |
| original | 512 |
| our answer | 512 |
Picture it
Animation
Shows: Pulling perfect squares out — a rendered Manim animation.
Rendered with Manim.
Takeaway: Find the largest perfect-square factor, then split the root.
Pattern
The one rule that outranks all of them: exponents only ever distribute over multiplication and division. Never over a sum or a difference.
Prediction
Predict first
Which expression is the fully simplified form?
Answer it in your own words, now, with nothing to choose from. The options are on the next slide — and picking the right one off a list is an easier skill than producing it.
Correct: 2y to the fifth over x to the seventh
Why: Cubing the numerator gives 8 times x to the negative ninth times y to the sixth. Dividing by the denominator gives coefficient 8 over 4 equals 2, x exponent negative nine minus negative two equals negative seven, and y exponent six minus one equals five. Moving the x across the bar gives 2y to the fifth over x to the seventh. Checking at x equal to 1 and y equal to 2 gives 512 over 8, which is 64, and the answer also gives 64.
Check
Simplify with no negative exponents in the answer.
\[ \frac{\left( 2x^{-3}y^{2} \right)^{3}}{4x^{-2}y} \]
Check your understanding
Which expression is the fully simplified form?
Answer: A
Why: Cubing the numerator gives 8 times x to the negative ninth times y to the sixth. Dividing by the denominator gives coefficient 8 over 4 equals 2, x exponent negative nine minus negative two equals negative seven, and y exponent six minus one equals five. Moving the x across the bar gives 2y to the fifth over x to the seventh. Checking at x equal to 1 and y equal to 2 gives 512 over 8, which is 64, and the answer also gives 64.
Concept
Scientific notation writes a number as one digit before the decimal point, times a power of ten. It makes the size of a number readable at a glance.
\[ a \times 10^{n}, \qquad 1 \le \left| a \right| < 10, \quad n \ \text{an integer} \]
A positive power of ten means a large number; a negative power means a small one. The exponent counts how many places the decimal point moved.
\[ 93{,}000{,}000 = 9.3 \times 10^{7}, \qquad 0.00042 = 4.2 \times 10^{-4} \]
Computing with it uses only the rules you just learned: multiply the front numbers, and add or subtract the exponents on the ten.
Estimation
Predict first
Simplify and write the result in scientific notation.
Commit before you compute: what does Worked example: computing in scientific notation come out to? A rough magnitude and the right form is enough — the point is to have something concrete to be wrong about.
Correct: Verify with the plain decimal values
Why: A prediction you can defend turns the computation into a check rather than a leap of faith — and an answer that contradicts it is caught on the spot. The first factor is 48,000,000 and the second is 0.0025, whose product is 120,000.
Worked example
Simplify and write the result in scientific notation.
\[ \frac{\left( 4.8 \times 10^{7} \right)\left( 2.5 \times 10^{-3} \right)}{1.2 \times 10^{2}} \]
Regroup into a number part and a power-of-ten part
Why: The commutative and associative properties let you sort the factors into two independent piles, so the arithmetic and the exponent bookkeeping never interfere.
\[ \frac{4.8 \times 2.5}{1.2} \ \times \ \frac{10^{7} \cdot 10^{-3}}{10^{2}} \]
Do the number part
Why: Four point eight times two point five is twelve. Twelve divided by one point two is ten.
\[ \frac{4.8 \times 2.5}{1.2} = \frac{12}{1.2} = 10 \]
Do the power-of-ten part with the product and quotient rules
Why: Multiplying adds the exponents: seven plus negative three is four. Dividing subtracts: four minus two is two.
\[ \frac{10^{7+(-3)}}{10^{2}} = \frac{10^{4}}{10^{2}} = 10^{2} \]
Recombine, then fix the front number so it sits between one and ten
Why: Ten times ten squared is not yet in scientific notation because the front number must be less than ten. Writing the ten as ten to the first and adding exponents finishes it.
\[ 10 \times 10^{2} = 10^{1} \cdot 10^{2} = 10^{3} = 1 \times 10^{3} \]
Verify with the plain decimal values
Why: The first factor is 48,000,000 and the second is 0.0025, whose product is 120,000. Dividing by 120 gives 1000. And 1 times ten cubed is 1000, so the two routes agree.
| Step in plain decimals | Value |
|---|---|
| 48,000,000 times 0.0025 | 120,000 |
| divided by 120 | 1000 |
| our answer | 1000 |
Picture it
Animation
Shows: Each line of the worked example "computing in scientific notation", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: The first factor is 48,000,000 and the second is 0.0025, whose product is 120,000. Dividing by 120 gives 1000. And 1 times ten cubed is 1000, so the two routes agree.
Section
Part 5
Concept
A square root of a number is something whose square gives you that number back. Notice the word 'a' - twenty-five has two of them.
\[ 5^{2} = 25 \qquad \text{and} \qquad (-5)^{2} = 25 \]
That is a problem for notation: a symbol has to name one value. So the radical symbol is defined to mean the non-negative one.
principal square root — The non-negative square root. The radical symbol always returns it, so the output of a square root is never negative.
\[ \sqrt{25} = 5, \qquad -\sqrt{25} = -5 \]
This is why solving an equation needs a plus-or-minus but simplifying a radical does not. The equation has two solutions; the symbol names one number.
\[ x^{2} = 25 \ \Rightarrow \ x = \pm 5, \qquad \text{but} \qquad \sqrt{25} = 5 \ \text{only} \]
Picture it
Animation
Shows: The square root flattens as it climbs — a rendered Manim animation.
Rendered with Manim.
Takeaway: Steep near zero, nearly flat far out — the inverse of squaring.
Intuition
You already know the squares. A square root is the same table read from right to left - nothing new is being asked of you.
| n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| n squared | 1 | 4 | 9 | 16 | 25 | 36 | 49 | 64 | 81 | 100 | 121 | 144 |
Knowing that row cold is the single highest-value memorization in this deck. Every radical you simplify is a hunt for one of those numbers hiding inside.
The same idea covers cubes. Memorizing the first few makes cube roots instant.
\[ 2^{3} = 8, \quad 3^{3} = 27, \quad 4^{3} = 64, \quad 5^{3} = 125 \]
Concept
The little number tucked into the radical is the index. It says which power you are undoing.
\[ \sqrt[n]{b} = a \quad \text{means} \quad a^{n} = b \]
An odd index is easy-going: it accepts negative numbers, because an odd power of a negative is negative.
\[ \sqrt[3]{8} = 2, \qquad \sqrt[3]{-8} = -2, \qquad \sqrt[5]{-32} = -2 \]
An even index is fussy: no real number raised to an even power comes out negative, so an even root of a negative has no real value at all.
\[ \sqrt[4]{16} = 2, \qquad \sqrt[4]{-16} \ \text{is not a real number} \]
| Index | Negative radicand? | Sign of the answer |
|---|---|---|
| even | not allowed (no real value) | never negative |
| odd | allowed | matches the sign of the radicand |
Comparison
Comparison matrix
From Higher roots, and why the index changes the rules: refill the Negative radicand? column from what you know. The rest of the table is as it appeared.
| Index | Negative radicand? | Sign of the answer |
|---|---|---|
| even | not allowed (no real value) | never negative |
| odd | allowed | matches the sign of the radicand |
Concept
Square a number, then take the square root. You might expect to land back where you started. Try it with a negative.
\[ x = -6 \ \Rightarrow \ \sqrt{x^{2}} = \sqrt{36} = 6 \ne -6 \]
The squaring threw the sign away and the principal root refuses to hand it back. What survives is the size of the number - and that is exactly absolute value.
\[ \sqrt{x^{2}} = \left| x \right| \]
The same thing happens at every even index, and never at an odd one.
\[ \sqrt[n]{x^{n}} = \left| x \right| \ (n \ \text{even}), \qquad \sqrt[n]{x^{n}} = x \ (n \ \text{odd}) \]
Many textbooks add the line 'assume all variables represent non-negative real numbers' precisely so you may drop the bars. If the problem does not say that, keep them.
Anomaly
Predict first
A student writes this, and it looks reasonable:
Simplify, with no assumption made about the sign of the variable.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: Let x be negative two. The original becomes the square root of 25 times 4, which is the square root of 100, or 10.
Pull the even root of a squared variable out as an absolute value.
Why: Let x be negative two. The original becomes the square root of 25 times 4, which is the square root of 100, or 10. The claimed answer gives 5 times negative two, which is negative ten. A principal square root can never be negative, so the claim fails.
Trap
Simplify, with no assumption made about the sign of the variable.
\[ \sqrt{25x^{2}} \ \overset{?}{=} \ 5x \]
Test the claim at a negative value
Why: Let x be negative two. The original becomes the square root of 25 times 4, which is the square root of 100, or 10. The claimed answer gives 5 times negative two, which is negative ten. A principal square root can never be negative, so the claim fails.
| x | Original | Claimed 5x |
|---|---|---|
| 3 | 15 | 15 |
| 0 | 0 | 0 |
| -2 | 10 | -10 |
Pull the even root of a squared variable out as an absolute value.
\[ \sqrt{25x^{2}} = \sqrt{25}\,\sqrt{x^{2}} = 5\left| x \right| \]
Test the same values again
Why: At x equal to negative two, five times the absolute value of negative two is ten, which matches the original exactly. At positive values nothing changed, because the bars do nothing to a positive.
| x | Original | Correct answer |
|---|---|---|
| 3 | 15 | 15 |
| 0 | 0 | 0 |
| -2 | 10 | 10 |
Know when you may drop the bars
Why: Only two situations: the problem states the variable is non-negative, or the exponent left outside is odd at an odd index. Otherwise the bars are part of the answer, not decoration.
Pattern
Step through it
Step through Trap: losing the absolute value out of an even root one row at a time. What is driving the change, and what would the row after the last one be?
Concept
There are exactly two splitting rules, and both are about multiplication and division.
\[ \sqrt[n]{ab} = \sqrt[n]{a} \cdot \sqrt[n]{b}, \qquad \sqrt[n]{\frac{a}{b}} = \frac{\sqrt[n]{a}}{\sqrt[n]{b}} \]
For an even index this needs the pieces to be non-negative; for an odd index it always holds.
There is no rule for a sum under a radical. One numeric test settles it forever.
\[ \sqrt{9 + 16} = \sqrt{25} = 5, \qquad \text{but} \qquad \sqrt{9} + \sqrt{16} = 3 + 4 = 7 \]
Five is not seven, so the split is illegal. A sum under a radical stays put until you can factor it into a product.
Explain it
Discussion prompt
Explain Radicals split over products, never over sums to a student a year behind you. No notation, no jargon they have not met — and it still has to be true.
Hint: If your explanation needs a symbol they have never seen, you are describing the notation rather than the idea.
Answer:
For an even index this needs the pieces to be non-negative; for an odd index it always holds.
Ranking
Put in order
Put the moves of Worked example: simplify a square root into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. Scan the squares downward: 144 is too big, 100 does not divide 72, 81 does not, 64 does not, but 36 does.
Worked example
Simplify completely.
\[ \sqrt{72} \]
Hunt for the largest perfect-square factor
Why: Scan the squares downward: 144 is too big, 100 does not divide 72, 81 does not, 64 does not, but 36 does. Taking the largest one means you will not have to simplify twice.
\[ 72 = 36 \cdot 2 \]
Split the radical over the product
Why: The product rule is legal here because both factors are non-negative. This is the whole reason we hunted for a perfect square.
\[ \sqrt{72} = \sqrt{36 \cdot 2} = \sqrt{36} \cdot \sqrt{2} \]
Evaluate the perfect square and leave the rest under the radical
Why: Thirty-six comes out as six. Two has no perfect-square factor besides one, so it stays inside - the expression is now in simplest radical form.
\[ \sqrt{72} = 6\sqrt{2} \]
Verify by squaring the answer back to the original
Why: Six root two, squared, is six squared times root two squared, which is 36 times 2, or 72 - the number we started with. As a decimal check, six times 1.4142136 is 8.4852814, and the square root of 72 is 8.4852814.
\[ \left( 6\sqrt{2} \right)^{2} = 36 \cdot 2 = 72 \ \checkmark \]
Picture it
Animation
Shows: Each line of the worked example "simplify a square root", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Six root two, squared, is six squared times root two squared, which is 36 times 2, or 72 - the number we started with. As a decimal check, six times 1.4142136 is 8.4852814, and the square root of 72 is 8.4852814.
Hypothesis
Predict first
Worked example: a cube root with variables is about to be worked. State your hypothesis first: which rule or definition decides this one, and what is the first move it forces? Then watch whether the example agrees with you.
Correct: Split every piece into a perfect cube times a leftover
Why: The index is three, so you are hunting perfect cubes now, not perfect squares. Fifty-four is 27 times 2; x to the seventh is x to the sixth times x; y cubed is already a perfect cube.
A hypothesis you wrote down is falsifiable; a vague sense of how it will go is not. If the example opens somewhere else, that gap is the thing worth chasing.
Worked example
Simplify completely.
\[ \sqrt[3]{54x^{7}y^{3}} \]
Split every piece into a perfect cube times a leftover
Why: The index is three, so you are hunting perfect cubes now, not perfect squares. Fifty-four is 27 times 2; x to the seventh is x to the sixth times x; y cubed is already a perfect cube.
\[ 54x^{7}y^{3} = \left( 27 \cdot x^{6} \cdot y^{3} \right) \cdot \left( 2x \right) \]
Split the radical and pull out each perfect cube
Why: The cube root of 27 is 3. For a variable, dividing the exponent by the index gives what escapes: six divided by three is two, and three divided by three is one. No absolute value is needed because the index is odd.
\[ \sqrt[3]{27x^{6}y^{3}} \cdot \sqrt[3]{2x} = 3x^{2}y \sqrt[3]{2x} \]
Confirm nothing is left to pull out
Why: Inside the radical sits two times x. Two is not a perfect cube and x carries an exponent of one, which is smaller than the index, so nothing more can escape. That is the definition of simplest radical form.
\[ 3x^{2}y\sqrt[3]{2x} \]
Verify by cubing the answer back to the original radicand
Why: Cubing the outside part gives 3 cubed times x to the sixth times y cubed, which is 27 times x to the sixth times y cubed. Multiplying by the leftover 2x gives 54 times x to the seventh times y cubed - exactly the radicand we started with.
\[ \left( 3x^{2}y \right)^{3} \cdot 2x = 27x^{6}y^{3} \cdot 2x = 54x^{7}y^{3} \ \checkmark \]
Picture it
Animation
Shows: Each line of the worked example "a cube root with variables", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Cubing the outside part gives 3 cubed times x to the sixth times y cubed, which is 27 times x to the sixth times y cubed. Multiplying by the leftover 2x gives 54 times x to the seventh times y cubed - exactly the radicand we started with.
Constraint
Discussion prompt
Run Pattern: simplifying any radical with this step confiscated:
Factor the radicand into the largest perfect power of that index, times a leftover.
Is it still possible? If it is, say what takes its place and what it costs you. If it is not, say exactly what that step was providing that nothing else does.
Hint: A step you can drop for free was never load-bearing. If you cannot drop it, name the thing that goes wrong the moment it is gone.
Answer:
Pattern
Always verify the same way: raise your simplified answer to the index and confirm you land back on the original radicand.
Edge cases
Discussion prompt
Pattern: simplifying any radical works on the cases you have just seen. Push it to the edge: what is the most degenerate input it still handles — empty, zero, one item, everything equal — and what is the first case where it stops being true? Name the case, not just "it breaks".
Hint: Try the smallest legal input, then the largest, then the one where two things collide. Methods are specified at their edges; the middle takes care of itself.
Answer:
Always verify the same way: raise your simplified answer to the index and confirm you land back on the original radicand.
Check
Assume the variable represents a non-negative real number, so no absolute-value bars are needed.
\[ \sqrt{48x^{5}} \]
Check your understanding
Which is the completely simplified form?
Answer: A
Why: 48 is 16 times 3, and x to the fifth is x to the fourth times x. The square root of 16 is 4 and the square root of x to the fourth is x squared, leaving 3x inside. Verify by squaring: 4x squared, squared, is 16x to the fourth, and times 3x that is 48x to the fifth.
Step zero
Discussion prompt
Worked example: combining like radicals — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Do not add anything yet - simplify each radical first
Answer:
Worked example
Simplify by combining.
\[ 3\sqrt{12} + \sqrt{75} - 2\sqrt{27} \]
like radicals — Radicals with the same index AND the same radicand. Only like radicals may be added or subtracted, and you combine their coefficients exactly like combining like terms.
Do not add anything yet - simplify each radical first
Why: These three look unlike, but that is only because none of them is simplified. Simplifying is what reveals the hidden common radicand.
Simplify the first term
Why: Twelve is four times three, and the square root of four is two. That two multiplies the coefficient already in front, giving six.
\[ 3\sqrt{12} = 3\sqrt{4 \cdot 3} = 3 \cdot 2\sqrt{3} = 6\sqrt{3} \]
Simplify the second and third terms the same way
Why: Seventy-five is 25 times 3, so its root is five root three. Twenty-seven is 9 times 3, so its root is three root three, and the coefficient 2 in front makes it six root three.
\[ \sqrt{75} = 5\sqrt{3}, \qquad 2\sqrt{27} = 2 \cdot 3\sqrt{3} = 6\sqrt{3} \]
Now every term is a like radical, so combine the coefficients
Why: All three carry the same index and the same radicand, so this is just six plus five minus six on the coefficients. The radical part comes along unchanged, exactly like combining like terms.
\[ 6\sqrt{3} + 5\sqrt{3} - 6\sqrt{3} = 5\sqrt{3} \]
Verify against the original with decimals
Why: The original evaluates to 10.3923048 plus 8.6602540 minus 10.3923048, which is 8.6602540. Our answer is five times 1.7320508, which is also 8.6602540. They agree to every digit shown.
| Piece | Decimal value |
|---|---|
| 3 times root 12 | 10.3923048 |
| root 75 | 8.6602540 |
| 2 times root 27 | 10.3923048 |
| original total | 8.6602540 |
| 5 times root 3 | 8.6602540 |
Picture it
Animation
Shows: Each line of the worked example "combining like radicals", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: The original evaluates to 10.3923048 plus 8.6602540 minus 10.3923048, which is 8.6602540. Our answer is five times 1.7320508, which is also 8.6602540. They agree to every digit shown.
Anomaly
Predict first
A student writes this, and it looks reasonable:
The radicals get treated like the numbers underneath them.
It is wrong. Say what breaks — and say it before you turn the page.
Correct: Root two is 1.4142136 and root three is 1.7320508, so the left side is 3.1462644.
Unlike radicands cannot be combined at all. The expression is already simplified - leave it.
Why: Root two is 1.4142136 and root three is 1.7320508, so the left side is 3.1462644. Root five is 2.2360680. The two sides are almost a full unit apart, so the move is simply false.
Trap
The radicals get treated like the numbers underneath them.
\[ \sqrt{2} + \sqrt{3} \ \overset{?}{=} \ \sqrt{5} \]
Put decimals on both sides
Why: Root two is 1.4142136 and root three is 1.7320508, so the left side is 3.1462644. Root five is 2.2360680. The two sides are almost a full unit apart, so the move is simply false.
| Expression | Decimal |
|---|---|
| root 2 plus root 3 | 3.1462644 |
| root 5 | 2.2360680 |
Name the confusion
Why: Radicals multiply across a product, so root 2 times root 3 really is root 6. Addition has no such rule, and borrowing the multiplication rule for addition is what produces this error.
Unlike radicands cannot be combined at all. The expression is already simplified - leave it.
\[ \sqrt{2} + \sqrt{3} \ \text{is fully simplified} \]
But always simplify first before declaring them unlike
Why: Radicands that start out different can become identical after simplification, and then they combine perfectly. Root eight is two root two and root eighteen is three root two.
\[ \sqrt{8} + \sqrt{18} = 2\sqrt{2} + 3\sqrt{2} = 5\sqrt{2} \]
Verify that one with decimals
Why: Root eight is 2.8284271 and root eighteen is 4.2426407, giving 7.0710678. Five times root two is five times 1.4142136, which is 7.0710678. That is what a legal combination looks like.
| Expression | Decimal |
|---|---|
| root 8 plus root 18 | 7.0710678 |
| 5 times root 2 | 7.0710678 |
Two truths and a lie
Sort into buckets
Some of these hold up and some are the exact mistakes this lesson is built to prevent. Sort them.
ratio-nal, not reason-able.; An irrational number is a real number that cannot be written as a ratio of two integers. Its decimal runs forever and never falls into a repeating block.Section
Part 6
Concept
Radicals and exponents are the same machinery in two costumes. A fractional exponent is how you write a root without a radical symbol.
\[ b^{1/n} = \sqrt[n]{b} \]
Why that and not something else? Because the power-of-a-power rule forces it: raising it to the n must undo the root, and only this exponent does that.
\[ \left( b^{1/n} \right)^{n} = b^{\frac{1}{n} \cdot n} = b^{1} = b \]
With a numerator on top, the fraction says both jobs at once: the bottom is the index, the top is the power.
\[ b^{m/n} = \left( \sqrt[n]{b} \right)^{m} = \sqrt[n]{b^{m}} \]
Either order gives the same value, but taking the root first keeps the numbers small and is almost always the easier hand computation.
Analogy
Discussion prompt
Explain Rational exponents: the fraction tells you the root by analogy to something with no College Algebra in it at all — a queue, a recipe, a map, a bank balance, whatever fits. Then say where your analogy breaks.
Hint: An analogy that never breaks is not an analogy, it is the same idea wearing a hat. Find the seam — that is the part that is actually new.
Answer:
Radicals and exponents are the same machinery in two costumes. A fractional exponent is how you write a root without a radical symbol.
Picture it
Animation
Shows: Why exponents subtract — a rendered Manim animation.
Rendered with Manim.
Takeaway: Cancelling factors is subtraction in the exponent.
Fill the middle
Fill in the blanks
From Worked example: evaluate a rational exponent — finish the line. Write what belongs on the right of the equals sign before you look.
16^\left( \sqrt[4]{16} \right)^{3} = ___
Why: Producing the right-hand side unprompted is the difference between recognising this line and being able to use it. The 4 on the bottom says fourth root; the 3 on top says cube it.
Worked example
Evaluate exactly, without a calculator.
\[ 16^{3/4} \]
Read the fraction: bottom is the index, top is the power
Why: The 4 on the bottom says fourth root; the 3 on top says cube it. Naming the two jobs out loud before computing prevents the classic swap.
\[ 16^{3/4} = \left( \sqrt[4]{16} \right)^{3} \]
Take the root first
Why: Two to the fourth power is 16, so the fourth root of 16 is 2. Doing the root before the power means you cube a 2 instead of taking the fourth root of 4096.
\[ \sqrt[4]{16} = 2 \]
Apply the power
Why: Two cubed is eight, so the whole expression is eight - a clean integer, which is a good sign the base was chosen to be a perfect fourth power.
\[ 16^{3/4} = 2^{3} = 8 \]
Verify by raising the answer to the fourth power and comparing with 16 cubed
Why: If our answer is right, then raising it to the fourth undoes the one-fourth and must give 16 cubed. Eight to the fourth is 4096, and 16 cubed is also 4096. The other order confirms it too: the fourth root of 4096 is 8.
\[ 8^{4} = 4096 = 16^{3} \ \checkmark, \qquad \sqrt[4]{16^{3}} = \sqrt[4]{4096} = 8 \ \checkmark \]
Picture it
Animation
Shows: Each line of the worked example "evaluate a rational exponent", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: If our answer is right, then raising it to the fourth undoes the one-fourth and must give 16 cubed. Eight to the fourth is 4096, and 16 cubed is also 4096. The other order confirms it too: the fourth root of 4096 is 8.
Elimination
Eliminate the wrong options
Which rational-exponent form equals the cube root of x to the fifth?
3 of these 4 are wrong. Strike them one at a time, and say what rules each one out before you strike the next. The survivor is the answer.
Survives elimination: A
Why: The index of the radical becomes the denominator and the exponent inside becomes the numerator, so the cube root of x to the fifth is x to the five-thirds. Test it at x equal to 8: the cube root of 8 is 2 and 2 to the fifth is 32, while 8 to the five-thirds is also 32.
Check
Which exponent form matches the expression below? Say the two jobs out loud first.
\[ \sqrt[3]{x^{5}} \]
Check your understanding
Which rational-exponent form equals the cube root of x to the fifth?
Answer: A
Why: The index of the radical becomes the denominator and the exponent inside becomes the numerator, so the cube root of x to the fifth is x to the five-thirds. Test it at x equal to 8: the cube root of 8 is 2 and 2 to the fifth is 32, while 8 to the five-thirds is also 32.
Concept
Standard simplified form asks for no radical in a denominator. The move is always the same: multiply by a clever form of the number one, which changes the look without changing the value.
\[ \frac{a}{\sqrt{b}} \cdot \frac{\sqrt{b}}{\sqrt{b}} = \frac{a\sqrt{b}}{b} \]
It works because a square root times itself gives back the number under it, which is precisely what makes the radical vanish downstairs.
\[ \sqrt{b} \cdot \sqrt{b} = \sqrt{b^{2}} = b \quad (b \ge 0) \]
Multiplying top and bottom by the same thing is the only version that is legal. Multiplying just the denominator would change the value of the fraction.
Counterexample
Discussion prompt
Standard simplified form asks for no radical in a denominator. The move is always the same: multiply by a clever form of the number one, which changes the look without changing the value.
That is stated as though it always holds. Do one of two things: produce a case where it fails, or say precisely what rules such a case out. "It just does" is not on the menu.
Hint: Hunt at the extremes first — zero, one, negative, empty, equal. If every extreme survives, the reason they survive is the proof.
Answer:
Multiplying top and bottom by the same thing is the only version that is legal. Multiplying just the denominator would change the value of the fraction.
Step zero
Discussion prompt
Worked example: rationalize a single-term denominator — before any calculation: what is the plan? Name the moves in order, in plain English, without doing the arithmetic.
Hint: It starts with: Simplify the radical BEFORE rationalizing
Answer:
Worked example
Simplify completely, with no radical in the denominator.
\[ \frac{12}{\sqrt{8}} \]
Simplify the radical BEFORE rationalizing
Why: Eight is four times two, so its root is two root two. Simplifying first keeps the numbers small and often removes most of the work you were about to do.
\[ \frac{12}{\sqrt{8}} = \frac{12}{2\sqrt{2}} \]
Reduce the numeric part
Why: Twelve over two is six. There is no reason to carry a reducible coefficient through the rationalizing step.
\[ \frac{12}{2\sqrt{2}} = \frac{6}{\sqrt{2}} \]
Multiply top and bottom by the radical that is stuck downstairs
Why: Root two times root two is two, which clears the denominator. Multiplying the numerator by the same factor keeps the fraction equal to what it was.
\[ \frac{6}{\sqrt{2}} \cdot \frac{\sqrt{2}}{\sqrt{2}} = \frac{6\sqrt{2}}{2} \]
Reduce the fraction one last time
Why: Six over two is three, and that three multiplies the radical. Always look for a final reduction after rationalizing - it is easy to stop one step early.
\[ 3\sqrt{2} \]
Verify with decimals against the original
Why: The square root of 8 is 2.8284271, so twelve divided by it is 4.2426407. Our answer is three times 1.4142136, which is 4.2426407. Identical, so the rationalizing changed only the appearance.
| Expression | Decimal |
|---|---|
| 12 divided by root 8 | 4.2426407 |
| 3 times root 2 | 4.2426407 |
Picture it
Animation
Shows: Clearing a root from the bottom — a rendered Manim animation.
Rendered with Manim.
Takeaway: Multiplying by one, in the shape that moves the root upstairs.
Ranking
Put in order
Put the moves of Worked example: rationalize with a conjugate into the order they have to happen.
Why: These are the moves of the worked example in the order it makes them, and each one is set up by the one before it. The conjugate is the one multiplier that turns a two-term radical denominator into a plain number, because the two cross terms cancel each other exactly.
Worked example
Now the denominator is a two-term expression. Multiplying by just the radical will not clear it - a cross term survives.
\[ \frac{4}{3 - \sqrt{5}} \]
conjugate — The same two terms with the sign between them flipped. The conjugate of 3 minus root 5 is 3 plus root 5. Multiplying a pair of conjugates always kills the middle terms and leaves a difference of squares.
Multiply top and bottom by the conjugate of the denominator
Why: The conjugate is the one multiplier that turns a two-term radical denominator into a plain number, because the two cross terms cancel each other exactly.
\[ \frac{4}{3 - \sqrt{5}} \cdot \frac{3 + \sqrt{5}}{3 + \sqrt{5}} \]
Expand the denominator as a difference of squares
Why: The product of conjugates is the first term squared minus the second term squared: nine minus five, which is four. The radical is gone and the denominator is an integer.
\[ (3 - \sqrt{5})(3 + \sqrt{5}) = 3^{2} - \left( \sqrt{5} \right)^{2} = 9 - 5 = 4 \]
Distribute across the numerator
Why: Four multiplies both terms of the conjugate, not just the first. This is the distributive property doing its usual job.
\[ 4\left( 3 + \sqrt{5} \right) = 12 + 4\sqrt{5} \]
Reduce, dividing every term by the common factor
Why: Both terms upstairs carry a factor of four and the denominator is four, so the whole fraction reduces cleanly. Dividing only one of the two terms is the classic slip here.
\[ \frac{12 + 4\sqrt{5}}{4} = 3 + \sqrt{5} \]
Verify with decimals against the original
Why: Root five is 2.2360680, so the original denominator is 0.7639320 and four divided by that is 5.2360680. Our answer is three plus 2.2360680, which is 5.2360680. They match exactly.
| Expression | Decimal |
|---|---|
| 3 minus root 5 | 0.7639320 |
| 4 divided by that | 5.2360680 |
| 3 plus root 5 | 5.2360680 |
Picture it
Animation
Shows: Each line of the worked example "rationalize with a conjugate", appearing one at a time.
The same working the example does, in the order a tutor would write it.
Takeaway: Root five is 2.2360680, so the original denominator is 0.7639320 and four divided by that is 5.2360680. Our answer is three plus 2.2360680, which is 5.2360680. They match exactly.
Ranking
Put in order
These are the steps of Pattern: rationalizing a denominator, scrambled. Put them back in order before the next slide shows you.
Why: This is the order the recipe itself gives. Recalling the sequence without the slide in front of you is the difference between recognising the method and being able to run it — most of what goes wrong in practice is a step done out of turn.
Pattern
Verify the same way every time: put decimals on the original and on your answer. If they agree, you multiplied by a genuine form of one.
Real world
Discussion prompt
Outside this lesson: where does Real Numbers, Exponents, and Radicals actually turn up? Name one concrete situation — a job, a piece of software someone ships, a decision somebody has to make — and say which part of Pattern: rationalizing a denominator is doing the work in it.
Hint: Vague is the failure mode here. "Engineering" is not a situation; "deciding whether this build is fast enough to ship" is.
Answer:
The foundation deck for College Algebra. It covers the real number sets, absolute value as distance, interval and set-builder notation, the order of operations, and the sign rules, then gives every integer exponent rule together with the reason behind it. From there it moves to scientific notation, simplifying and combining radicals, rational exponents, and rationalizing denominators. It targets the four errors that follow students all semester: distributing an exponent across a sum, reading a negative exponent as a negative number, dropping the absolute value out of an even root, and adding unlike radicals.
Check
Rationalize and simplify completely.
\[ \frac{10}{\sqrt{7} - \sqrt{2}} \]
Check your understanding
Which is the correct rationalized form?
Answer: A
Why: Multiplying top and bottom by the conjugate gives a denominator of 7 minus 2, which is 5, and a numerator of 10 times the quantity root 7 plus root 2. Reducing 10 over 5 gives 2, so the answer is 2 root 7 plus 2 root 2. Decimal check: the original is 10 divided by 1.2315377, or 8.1199297, and the answer is 5.2915026 plus 2.8284271, also 8.1199297.
Connect it up
Draw it
One page, no notation unless you need it: draw how these connect — What the Real Numbers Actually Are · Writing Sets of Numbers · Order of Operations, Signs, and Properties · The Exponent Rules · Radicals and Roots · Rational Exponents and Rationalizing. Put an arrow wherever one of them is what makes another possible, and label the arrow with why.
Recap
You now own the toolkit the rest of College Algebra is built from. Every later chapter - factoring, quadratics, functions, logarithms - is these moves applied to bigger expressions.
| If you see | Do this | Because |
|---|---|---|
| a power raised to a power | multiply the exponents | you are stacking copies of copies |
| a quotient of like bases | top exponent minus bottom | matching factors cancel in pairs |
| a negative exponent | move the factor across the bar | it is a reciprocal instruction, not a sign |
| an even root of a square | keep absolute-value bars | a principal root is never negative |
| unlike radicands added | simplify first, then combine only if they match | there is no addition rule for radicals |
| a radical in a denominator | multiply by the radical or by the conjugate | multiplying by a form of one is always legal |
The four errors to keep hunting in your own work: distributing an exponent over a sum, reading a negative exponent as a negative answer, dropping the absolute value out of an even root, and adding unlike radicals. Catch those and the rest of the course gets noticeably easier.
Want this taught 1-on-1? Alexander tutors College Algebra — $55/session, free consultation.