Radicals

Study Sheet

Radicals

Square roots, simplifying, operations, and radical equations

Square Roots & Perfect Squares

Concept
The Big Idea

A square root of a number nn is a value that, when multiplied by itself, gives nn. Because 5×5=255\times 5 = 25, we say 55 is a square root of 2525.

The symbol x\sqrt{\phantom{x}} is called the radical sign. The number under it is the radicand. The small number tucked into the notch is the index (it is a hidden 22 for square roots).

radicandindex25=252=5\sqrt[\,\text{index}\,]{\text{radicand}} \qquad\qquad \sqrt{25}=\sqrt[2]{25}=5

A perfect square is a number whose square root is a whole number (like 1,4,9,16,1,4,9,16,\dots).

Concept
Principal Root

Every positive number really has two square roots: 5×5=255\times 5 = 25 and (5)×(5)=25(-5)\times(-5)=25. The symbol \sqrt{\,} always means the principal (positive) root.

25=5,25=5,±25=±5\sqrt{25}=5,\qquad -\sqrt{25}=-5,\qquad \pm\sqrt{25}=\pm 5

Also, 0=0\sqrt{0}=0, and you cannot take a negative number\sqrt{\text{a negative number}} in Algebra 1 (there is no real number that squares to a negative).

Example
Reading a radical

Evaluate 81\sqrt{81}. Ask: what positive number times itself is 8181? Since 9×9=819\times 9 = 81, we get 81=9\sqrt{81}=9.

Perfect Squares to Know by Heart

1.3

Tip

Remember: n2=n\sqrt{n^2}=n for a positive number nn. Squaring and taking a square root are opposite (inverse) operations.

Estimating Irrational Square Roots

Concept
Trapped Between Two Integers

If a number is not a perfect square, its square root is irrational (a never-ending, non-repeating decimal). We estimate it by finding the two nearest perfect squares.

Example
Estimating 50\sqrt{50}

Find perfect squares just below and above 5050:

49<50<6449<50<647<50<8.49 < 50 < 64 \quad\Longrightarrow\quad \sqrt{49} < \sqrt{50} < \sqrt{64} \quad\Longrightarrow\quad 7 < \sqrt{50} < 8.

Since 5050 is very close to 4949, the value 507.1\sqrt{50}\approx 7.1 is a good estimate.

Tip

Tip: The bigger the radicand, the bigger the root, but the root grows slowly. Whenever the radicand sits closer to the lower perfect square, the root sits closer to the lower integer.

Simplifying Square Roots (Product Property)

Concept
Product Property of Radicals

For non-negative numbers aa and bb:

ab=ab.\sqrt{ab}=\sqrt{a}\cdot\sqrt{b}.

To simplify, factor the radicand so that one factor is the largest perfect square you can find, then pull its root out front.

Example
Simplifying 12\sqrt{12}
12=43(4 is the largest perfect-square factor)=43product property=23.4=2\begin{aligned} \sqrt{12} &= \sqrt{4\cdot 3} && \text{($4$ is the largest perfect-square factor)}\\ &= \sqrt{4}\cdot\sqrt{3} && \text{product property}\\ &= 2\sqrt{3}. && \text{$\sqrt{4}=2$} \end{aligned}
Example
Simplifying 72\sqrt{72}
72=362=362=62.\begin{aligned} \sqrt{72} &= \sqrt{36\cdot 2} = \sqrt{36}\cdot\sqrt{2} = 6\sqrt{2}. \end{aligned}

If you had used a smaller factor, say 72=98=38\sqrt{72}=\sqrt{9\cdot 8}=3\sqrt{8}, you are not done: 8=22\sqrt{8}=2\sqrt2, so 38=322=623\sqrt{8}=3\cdot 2\sqrt2 = 6\sqrt2. Same answer, more steps.

Tip

Fully simplified means the radicand has no perfect-square factors left (other than 11).

Radicals with Variables

Concept
Even Powers Come Out Clean

Since x2=x\sqrt{x^2}=x (for x0x\ge 0), any even power under a square root leaves half its exponent outside:

x6=x3,x10=x5.\sqrt{x^{6}}=x^{3},\qquad \sqrt{x^{10}}=x^{5}.

For an odd power, split off one factor: x5=x4xx^{5}=x^{4}\cdot x, so x5=x2x\sqrt{x^{5}}=x^{2}\sqrt{x}.

Example
Simplifying 50x3\sqrt{50x^{3}}
50x3=252x2x=25x22x=5x2x.\begin{aligned} \sqrt{50x^{3}} &= \sqrt{25\cdot 2\cdot x^{2}\cdot x}\\ &= \sqrt{25}\cdot\sqrt{x^{2}}\cdot\sqrt{2x}\\ &= 5x\sqrt{2x}. \end{aligned}

Pull out the perfect-square number (25525\to 5) and the even power (x2xx^2\to x); leave the rest inside.

Adding & Subtracting Radicals

Concept
Combine LIKE Radicals

Radicals are like when they have the same index and the same radicand. Add or subtract only the numbers in front (the coefficients); the radical stays the same, just like combining like terms.

23+53=73.2\sqrt{3}+5\sqrt{3}=7\sqrt{3}.

Often you must simplify first before you can tell that radicals are alike.

Example
Simplify first, then combine
12+27=23+33(12=23, 27=33)=53.\begin{aligned} \sqrt{12}+\sqrt{27} &= 2\sqrt{3}+3\sqrt{3} && \text{($\sqrt{12}=2\sqrt3,\ \sqrt{27}=3\sqrt3$)}\\ &= 5\sqrt{3}. \end{aligned}
Tip

Warning: a+ba+b\sqrt{a}+\sqrt{b}\neq\sqrt{a+b}. For example 9+16=3+4=7\sqrt{9}+\sqrt{16}=3+4=7, but 9+16=25=5\sqrt{9+16}=\sqrt{25}=5. You can only combine radicals that are already alike; unlike radicals such as 22+352\sqrt2+3\sqrt5 stay separate.

Multiplying Radicals

Concept
Multiply Outsides, Multiply Insides
(am)(bn)=abmn.\big(a\sqrt{m}\big)\big(b\sqrt{n}\big)=ab\sqrt{mn}.

Multiply the coefficients together and the radicands together, then simplify the result.

Example
A basic product
(26)(32)=612=623=123.\big(2\sqrt{6}\big)\big(3\sqrt{2}\big)=6\sqrt{12}=6\cdot 2\sqrt{3}=12\sqrt{3}.
Example
Distributing and the difference of squares

Distribute: 3(3+5)=9+15=3+15\sqrt{3}\big(\sqrt{3}+\sqrt{5}\big)=\sqrt{9}+\sqrt{15}=3+\sqrt{15}.

Difference of squares (ab)(a+b)=a2b2(a-b)(a+b)=a^2-b^2:

(72)(7+2)=(7)2(2)2=72=5.\big(\sqrt{7}-\sqrt{2}\big)\big(\sqrt{7}+\sqrt{2}\big)=\big(\sqrt7\big)^2-\big(\sqrt2\big)^2=7-2=5.

The radicals vanish! This trick powers rationalizing below.

Tip

Key fact: (a)2=a\big(\sqrt{a}\big)^{2}=a. Squaring a square root undoes it.

Dividing & Rationalizing

Concept
Quotient Property & Rationalizing
ab=ab(b>0).\sqrt{\dfrac{a}{b}}=\dfrac{\sqrt{a}}{\sqrt{b}}\quad(b>0).

A denominator should never keep a radical. To rationalize, multiply the top and bottom by the radical in the denominator so it becomes a perfect square.

Example
Rationalizing 12\dfrac{1}{\sqrt{2}}
12=1222=24=22.\frac{1}{\sqrt{2}}=\frac{1}{\sqrt{2}}\cdot\frac{\sqrt{2}}{\sqrt{2}}=\frac{\sqrt{2}}{\sqrt{4}}=\frac{\sqrt{2}}{2}.
Example
A quotient that simplifies
63=63=2.205=4=2.\frac{\sqrt{6}}{\sqrt{3}}=\sqrt{\frac{6}{3}}=\sqrt{2}. \qquad \frac{\sqrt{20}}{\sqrt{5}}=\sqrt{4}=2.

The Pythagorean Theorem

Concept
a2+b2=c2a^2+b^2=c^2

In a right triangle, the two shorter sides (legs) aa and bb and the longest side (hypotenuse) cc satisfy

a2+b2=c2.a^{2}+b^{2}=c^{2}.

Solve for the missing side, then leave the answer in simplified radical form unless a decimal is asked for.

Example
Finding a hypotenuse

Legs a=2a=2, b=3b=3:

c2=22+32=4+9=13c=13.(13 has no perfect-square factor)\begin{aligned} c^{2}&=2^{2}+3^{2}=4+9=13\\ c&=\sqrt{13}. && \text{($13$ has no perfect-square factor)} \end{aligned}
Example
Finding a leg

Hypotenuse c=8c=8, leg a=4a=4:

42+b2=8216+b2=64b2=48b=48=43.\begin{aligned} 4^{2}+b^{2}&=8^{2}\\ 16+b^{2}&=64\\ b^{2}&=48\\ b&=\sqrt{48}=4\sqrt{3}. \end{aligned}

Cube Roots (A Brief Look)

Concept
Index of 33

A cube root n3\sqrt[3]{n} asks: what number cubed gives nn? Because 23=82^3=8, we get 83=2\sqrt[3]{8}=2. Unlike square roots, cube roots of negatives are allowed: 273=3\sqrt[3]{-27}=-3 since (3)3=27(-3)^3=-27.

Perfect cubes: 1,8,27,64,1251,\,8,\,27,\,64,\,125. Simplify by pulling out perfect-cube factors.

Example
Simplifying 543\sqrt[3]{54}
543=2723=27323=323.\sqrt[3]{54}=\sqrt[3]{27\cdot 2}=\sqrt[3]{27}\cdot\sqrt[3]{2}=3\sqrt[3]{2}.

Solving Square-Root Equations

Concept
Isolate, Square, Check

To solve an equation with a variable under a radical:

  • [leftmargin=*]
  • Isolate the radical on one side.
  • Square both sides to remove the radical.
  • Solve the resulting equation.
  • Check every answer in the original equation.
Example
Solving x+3=7\sqrt{x}+3=7
x+3=7x=4isolatex=16square both sides\begin{aligned} \sqrt{x}+3&=7\\ \sqrt{x}&=4 && \text{isolate}\\ x&=16 && \text{square both sides} \end{aligned}

Check: 16+3=4+3=7\sqrt{16}+3=4+3=7. ✓

Tip

Why check? Squaring can create extraneous solutions, answers that appear valid but fail the original equation. For instance, x=2\sqrt{x}=-2 has no solution (a principal root is never negative), even though squaring gives x=4x=4. Always test your answers.

Going Deeper: Advanced Radicals

Concept
nnth Roots and Rational Exponents

The index does not have to be 22 or 33. In general, an\sqrt[n]{a} asks for the number whose nnth power is aa. There is a powerful bridge between roots and exponents:

a1/n=an,am/n=(an)m=amn.a^{1/n}=\sqrt[n]{a},\qquad\quad a^{m/n}=\big(\sqrt[n]{a}\big)^{m}=\sqrt[n]{a^{m}}.

The denominator of the exponent is the index (the root); the numerator is the ordinary power. Once a radical is written this way, every exponent rule you already know applies.

82/3=(83)2=22=4,163/4=(164)3=23=8.8^{2/3}=\big(\sqrt[3]{8}\big)^{2}=2^{2}=4,\qquad 16^{3/4}=\big(\sqrt[4]{16}\big)^{3}=2^{3}=8.
Example
Rational exponents at work

Simplify x1/2x1/3x1/6\dfrac{x^{1/2}\cdot x^{1/3}}{x^{1/6}} and write the answer as a radical.

x1/2x1/3x1/6=x1/2+1/31/6add/subtract exponents=x3/6+2/61/6common denominator 6=x4/6=x2/3reduce=x23.denominator is the index\begin{aligned} \frac{x^{1/2}\cdot x^{1/3}}{x^{1/6}} &= x^{\,1/2+1/3-1/6} && \text{add/subtract exponents}\\ &= x^{\,3/6+2/6-1/6} && \text{common denominator }6\\ &= x^{4/6}=x^{2/3} && \text{reduce}\\ &= \sqrt[3]{x^{2}}. && \text{denominator is the index} \end{aligned}
Tip

Even vs. odd index. An odd index (like  3\sqrt[3]{\ } or  5\sqrt[5]{\ }) accepts negative radicands; an even index (like  \sqrt{\ } or  4\sqrt[4]{\ }) does not allow a negative radicand in the real numbers.

Concept
Rationalizing with a Conjugate

When a denominator is a sum or difference of terms involving radicals, one factor is not enough. Multiply top and bottom by the conjugate, the same two terms with the middle sign flipped. The difference of squares (ab)(a+b)=a2b2(a-b)(a+b)=a^{2}-b^{2} then erases the radical:

(a+b)(ab)=ab.\big(\sqrt{a}+\sqrt{b}\big)\big(\sqrt{a}-\sqrt{b}\big)=a-b.

The conjugate of 3+53+\sqrt5 is 353-\sqrt5; the conjugate of 72\sqrt7-\sqrt2 is 7+2\sqrt7+\sqrt2.

Example
Rationalizing a two-term denominator

Rationalize 435\dfrac{4}{3-\sqrt{5}}.

435=4353+53+5multiply by the conjugate=4(3+5)32(5)2difference of squares=4(3+5)95=4(3+5)4=3+5.\begin{aligned} \frac{4}{3-\sqrt5} &= \frac{4}{3-\sqrt5}\cdot\frac{3+\sqrt5}{3+\sqrt5} && \text{multiply by the conjugate}\\ &= \frac{4\big(3+\sqrt5\big)}{3^{2}-\big(\sqrt5\big)^{2}} && \text{difference of squares}\\ &= \frac{4\big(3+\sqrt5\big)}{9-5}=\frac{4\big(3+\sqrt5\big)}{4}\\ &= 3+\sqrt5. \end{aligned}

No radical remains in the denominator, so the expression is fully rationalized.

Concept
Denesting a Nested Radical

A radical inside a radical such as 7+43\sqrt{7+4\sqrt3} can sometimes be denested into a+b\sqrt{a}+\sqrt{b}. The idea: assume 7+43=a+b\sqrt{7+4\sqrt3}=\sqrt{a}+\sqrt{b} and square both sides:

7+43=a+b+2ab.7+4\sqrt3=a+b+2\sqrt{ab}.

Match the parts without a radical to each other and the parts with a radical to each other:

a+b=7,2ab=43  ab=12.a+b=7,\qquad 2\sqrt{ab}=4\sqrt3\ \Rightarrow\ ab=12.

Find two numbers that add to 77 and multiply to 1212: they are 44 and 33. Hence

7+43=4+3=2+3.\sqrt{7+4\sqrt3}=\sqrt4+\sqrt3=2+\sqrt3.
Tip

Check by squaring. Denesting is only valid if it survives a check: (2+3)2=4+43+3=7+43\big(2+\sqrt3\big)^{2}=4+4\sqrt3+3=7+4\sqrt3. ✓ If no nice pair of numbers exists, the radical simply cannot be denested.

Example
Solving a radical equation with an extraneous root

Solve x+7=x+1\sqrt{x+7}=x+1.

x+7=x+1x+7=(x+1)2square both sidesx+7=x2+2x+10=x2+x6collect on one side0=(x+3)(x2)factor\begin{aligned} \sqrt{x+7}&=x+1\\ x+7&=(x+1)^{2} && \text{square both sides}\\ x+7&=x^{2}+2x+1\\ 0&=x^{2}+x-6 && \text{collect on one side}\\ 0&=(x+3)(x-2) && \text{factor} \end{aligned}

So x=3x=-3 or x=2x=2. Check both in the original equation:

x=2: 2+7=9=3,2+1=3. x=2:\ \sqrt{2+7}=\sqrt9=3,\quad 2+1=3.\ \checkmark
x=3: 3+7=4=2,3+1=2. But 22. (rejected)x=-3:\ \sqrt{-3+7}=\sqrt4=2,\quad -3+1=-2.\ \text{But }2\neq-2.\ \text{\textbf{(rejected)}}

Only x=2x=2 works; x=3x=-3 is extraneous and is thrown out.

Concept
The Distance Formula Is the Pythagorean Theorem

Place two points (x1,y1)(x_1,y_1) and (x2,y2)(x_2,y_2) on the plane. The horizontal gap is a leg of length x2x1|x_2-x_1| and the vertical gap is a leg of length y2y1|y_2-y_1|; the straight-line distance dd between the points is the hypotenuse. Feeding the legs into a2+b2=c2a^{2}+b^{2}=c^{2} gives

d2=(x2x1)2+(y2y1)2  d=(x2x1)2+(y2y1)2.d^{2}=(x_2-x_1)^{2}+(y_2-y_1)^{2}\ \Longrightarrow\ d=\sqrt{(x_2-x_1)^{2}+(y_2-y_1)^{2}}.

The distance formula is nothing new to memorize, it is just the Pythagorean theorem wearing coordinates.

Reminder — Distance and midpoint:d=(x2x1)2+(y2y1)2,M=(x1+x22, y1+y22)d=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}, \qquad M=\left(\frac{x_1+x_2}{2},\ \frac{y_1+y_2}{2}\right)
Reminder — The Pythagorean theorem:a2+b2=c2a^2+b^2=c^2
Example
Distance in simplest radical form

Find the distance between (1,2)(1,2) and (4,8)(4,8).

d=(41)2+(82)2=32+62=9+36=45=95=35.\begin{aligned} d&=\sqrt{(4-1)^{2}+(8-2)^{2}}\\ &=\sqrt{3^{2}+6^{2}}=\sqrt{9+36}\\ &=\sqrt{45}=\sqrt{9\cdot5}\\ &=3\sqrt5. \end{aligned}
Concept
Combining a±b\sqrt{a}\pm\sqrt{b} Cleverly

Sums and differences of unlike radicals will not merge, but you can still simplify products and squares of them. Treat a\sqrt{a} and b\sqrt{b} like binomial terms and use (a)2=a\big(\sqrt{a}\big)^{2}=a:

(a+b)2=a+2ab+b,(a+b)(ab)=ab.\big(\sqrt{a}+\sqrt{b}\big)^{2}=a+2\sqrt{ab}+b,\qquad \big(\sqrt{a}+\sqrt{b}\big)\big(\sqrt{a}-\sqrt{b}\big)=a-b.

The first stays irrational (a nested-looking form); the second collapses to a plain integer whenever aa and bb are.

Example
Expanding a squared sum of radicals

Simplify (6+2)2\big(\sqrt6+\sqrt2\big)^{2}.

(6+2)2=(6)2+2(6)(2)+(2)2=6+212+2=8+22312=23=8+43.\begin{aligned} \big(\sqrt6+\sqrt2\big)^{2} &= \big(\sqrt6\big)^{2}+2\big(\sqrt6\big)\big(\sqrt2\big)+\big(\sqrt2\big)^{2}\\ &= 6+2\sqrt{12}+2\\ &= 8+2\cdot 2\sqrt3 && \text{$\sqrt{12}=2\sqrt3$}\\ &= 8+4\sqrt3. \end{aligned}

Formulas, Proofs & Tips

Tip
Radical rules and rational exponents
ab=ab,ab=ab,am/n=amn\sqrt{ab}=\sqrt{a}\sqrt{b},\qquad \sqrt{\frac{a}{b}}=\frac{\sqrt a}{\sqrt b},\qquad a^{m/n}=\sqrt[n]{a^{m}}

What it means. Roots split over multiplication and division, and a fractional exponent is a root.

Example. 50=252=52\sqrt{50}=\sqrt{25}\sqrt2=5\sqrt2, and 82/3=(81/3)2=48^{2/3}=(8^{1/3})^2=4.

Why it works. a1/na^{1/n} is defined as the number whose nnth power is aa, so (a1/n)n=an/n=a\left(a^{1/n}\right)^n=a^{n/n}=a — exactly the definition of an\sqrt[n]{a}. The product rule then follows from (ab)1/2=a1/2b1/2(ab)^{1/2}=a^{1/2}b^{1/2}.

Tip. Roots do not split over addition: a+ba+b\sqrt{a+b}\neq\sqrt a+\sqrt b. Test with a=b=9a=b=9 if you are ever tempted.