Square Roots
Learning goals
- Undo squaring to evaluate square roots of perfect squares, including the side of a square from its area
- Explain why the radical sign returns only the non-negative root
- Pull a perfect-square factor out with for non-negative and
- Trap a non-perfect-square root between neighboring perfect squares
- Recognize why is irrational, and why an exact radical is not the same as a rounded decimal
Squaring, and undoing it
Squaring a number means multiplying it by itself. The results, starting from , are the perfect squares:
A perfect square is any whole number you can reach by squaring a whole number, so are the first eleven of them ( counts, even though it takes no work to see). The square root of a number asks the reverse question. Given a number, what do you square to get it? The square root of is , because . The square root of is , because .
We write a square root with the radical sign . The number tucked under it is called the radicand. So
read aloud as “the square root of twenty-five is five.” Squaring and square-rooting are inverse operations: on numbers that are zero or more, each one undoes the other. Square to get , then take the square root of and you are back to . Starting from a negative number the round trip does not bring it back. Squaring gives , and the square root of is , not . In general the square root of is the size of , which means with any minus sign dropped.
Because the radical undoes the square, the two cancel when you stack them. Start from : the radical hands back the number that was squared, so . You never need the middle step of working out that is and then rooting instead. Stacking them in the other order lands in the same place, since . So for any non-negative number ,
Why the root is the non-negative one
There is a subtlety hiding in the question “what squares to ?” The obvious answer is . But also works, because a negative times a negative is positive:
So two different numbers, and , both square to : the equation has both and as solutions. If the radical sign returned both, then would not name a single number, and you could not safely write it inside a calculation. To keep the square root a single, well-defined value, mathematicians make a choice: the radical sign always returns the non-negative root. This chosen value is called the principal square root, so names one number even though the equation has two solutions. The same choice works for any positive number, and the one radicand that needs no choice at all is itself, since gives .
Check your understanding
What is the principal (non-negative) square root ?
Ask what non-negative number squares to .
The radical sign returns the principal (non-negative) root, so the answer is alone, not and not . And it is certainly not : a square root is not half the number.
Roots of perfect squares
When the radicand is a perfect square, the root is a whole number, and you find it by recognizing which number was squared. It pays to know the first several perfect squares by sight, because then their roots come for free:
Reading the table from the bottom row up gives you the square root directly. Since sits under , you know . Since sits under , you know .
In the figure below you set the two sides of a rectangle, and the readout counts the unit squares it holds.
Make the width and the height equal and you have built a square, so its area is one side multiplied by itself. Step that square up from by and you will generate the start of the table above (, then , , , ). In each of those squares, the side length is the root of the area. Then break the equality on purpose: set the rectangle wide and tall, and its area of lands between two perfect squares. Those squares are and , and that trapping is exactly how this lesson later estimates a root that is not a whole number. It is only the square’s side, not just any rectangle’s, that is the square root of the area: an unequal rectangle can land on a perfect-square count too, like by giving , without either side being .
Why the side of a square is the root of its area
A rectangle 3 units wide and 3 units tall. Area 9 square units. The sides are equal, so this is a square and its side 3 is the square root of 9.
Worked example 1 Evaluate and
For each one, find the whole number that squares to the radicand.
For , search the perfect squares for . Since ,
For , try it yourself before reading on: which whole number times itself gives ? Since ,
Squaring each answer lands back on its radicand: and , both correct.
The product of two perfect squares is itself a perfect square, and its root is the product of the roots. For instance because and .
The product rule for square roots
Square roots of a product can be split apart. For non-negative numbers and ,
This is true because squaring the right-hand side returns . So the right-hand side is the non-negative number whose square is , which is exactly what means. Check it on and : their roots are and , and squaring that product puts both radicands back, , so .
Division splits the same way: , provided is zero or more and is greater than zero. The same squaring argument carries it, since . So a quotient of square roots combines or splits just like a product.
This rule lets you simplify a root by pulling out any perfect-square factor hiding inside the radicand. The trick is to split the radicand into a perfect square times whatever is left.
Worked example 2 Simplify
The number is not a perfect square, but it contains the perfect-square factor , since . Split the radical with the product rule:
Now is a whole number, while has no perfect-square factor greater than , so it stays as it is:
Here means , written without the times sign the way means . The form is considered simpler because the largest perfect square has been taken out from under the radical. Pulling out the largest perfect-square factor finishes the job in one step; had you used you would make no progress, since is a perfect square but removing it changes nothing.
Check your understanding
Simplify by pulling out the largest perfect-square factor.
Find the largest perfect square that divides . Since and is a perfect square, split the radical.
The comes out, and stays because has no perfect-square factor.
Estimating roots that are not whole numbers
Most whole-number radicands are not perfect squares, so their roots are not whole numbers. You can still pin a root down closely by trapping it between the two perfect squares it falls between. Take . The perfect squares on either side of are and :
Taking the square root of all three keeps the order, because a bigger number has a bigger root:
You can say more: since is much closer to than to , its root sits close to , just a little above it. A quick check confirms that estimate: is already a bit over , so is a little under . (A calculator gives .)
The method is general: to estimate the square root of any whole number that is not a perfect square, find the nearest perfect square below the radicand and the nearest one above it. The root lies between their two whole-number roots, and it leans toward whichever perfect square the radicand is closer to.
Worked example 3 Between which two whole numbers does lie?
Hunt for the perfect squares that bracket . Counting up the squares, sits just below , and is the next one above:
Take the square root across the inequality, which preserves the order:
So lies between and . Because is only just past , the root is very close to (in fact about ).
Check your understanding
Between which two consecutive whole numbers does lie?
Find the perfect squares on either side of . The square is just below, and is just above.
So lies between and . It is close to , since sits roughly midway between and , and a check confirms it: , just above .
Why most square roots are irrational
When you estimate you can keep refining: , then , then , and the decimal never settles and never falls into a repeating pattern. A square root of a whole number that is not a perfect square is an irrational number. Its decimal expansion runs on forever without ever repeating, so it can never be written exactly as a fraction or as a terminating decimal.
You met this idea when fractions and decimals were compared. A fraction always turns into a decimal that either stops or repeats, while an irrational number does neither. Numbers like and are the classic examples. The impossibility can be proved, as the Greeks first did for (the history below tells that story). This is why we usually leave such a root in its exact radical form, writing rather than a rounded decimal.
Check your understanding
Which of these square roots is irrational?
For a whole-number radicand, a square root is irrational exactly when the radicand is not a perfect square.
So , , and are all whole numbers. But sits strictly between the perfect squares and , so is not a whole number, and being a root of a whole number that is not a perfect square, it is irrational: its decimal never ends and never repeats.