The Central Idea
Exponentiation answers a question such as:
\[ 3^2=9. \]Radicalization reverses that relationship:
\[ \sqrt{9}=3. \]More generally, if
\[ b^n=a, \]then \(b\) is an \(n\)th root of \(a\).
In radical notation,
\[ \boxed{\sqrt[n]{a}=b} \]when \(b\) is the principal \(n\)th root selected by the notation and the expression is defined in the number system being used.
Radicalization as an Operation
In Malone Math, radicalization refers to the operation of taking a root.
It stands alongside exponentiation as an inverse-operation relationship:
\[ b^n=a \]and
\[ \sqrt[n]{a}=b. \]Just as subtraction reverses addition and division reverses multiplication, taking an \(n\)th root reverses raising to the \(n\)th power, subject to the domain and principal-root conventions discussed in this lesson.
Parts of a Radical Expression
Consider
\[ \sqrt[n]{a}. \]The symbol
\[ \sqrt{\phantom{x}} \]is the radical sign.
The number or expression \(a\) is the radicand.
The number \(n\) is the index.
Together, these tell us which root is being taken and of what quantity.
Square Roots
A square root of \(a\) is a number whose square equals \(a\).
For example,
\[ 5^2=25 \]and
\[ (-5)^2=25. \]Therefore both \(5\) and \(-5\) are square roots of \(25\).
The Principal Square Root
The notation
\[ \sqrt{25} \]does not mean “both square roots of \(25\).”
By convention, the radical sign \(\sqrt{\phantom{x}}\) denotes the principal square root, which is the nonnegative square root.
Therefore,
\[ \boxed{\sqrt{25}=5}. \]The Hidden Index of a Square Root
A square root is technically a second root:
\[ \sqrt{a} = \sqrt[2]{a}. \]Because square roots occur so frequently, the index \(2\) is normally omitted.
Cube Roots
A cube root of \(a\) is a number whose cube equals \(a\).
For example,
\[ 4^3=64. \]Therefore,
\[ \boxed{\sqrt[3]{64}=4}. \]Higher Roots
Radical notation extends naturally to higher powers.
Since
\[ 2^4=16, \]we have
\[ \sqrt[4]{16}=2. \]Since
\[ 3^5=243, \]we have
\[ \sqrt[5]{243}=3. \]The index tells us which power relationship is being reversed.
Even and Odd Indices Behave Differently
Over the real numbers, even and odd roots have different domain behavior.
For an even index,
\[ \sqrt[2n]{a}, \]the radicand must satisfy
\[ a\geq0. \]For an odd index,
\[ \sqrt[2n+1]{a}, \]every real radicand is permitted.
Why Even Roots Require Nonnegative Real Radicands
Every real number squared is nonnegative:
\[ x^2\geq0. \]More generally, every even power is nonnegative:
\[ x^{2n}\geq0. \]Therefore no real number can satisfy
\[ x^2=-9. \]So
\[ \sqrt{-9} \]is not a real number.
Odd Roots Can Accept Negative Real Radicands
Odd powers preserve sign.
For example,
\[ (-2)^3=-8. \]Therefore,
\[ \boxed{\sqrt[3]{-8}=-2}. \]Likewise,
\[ (-3)^5=-243, \]so
\[ \boxed{\sqrt[5]{-243}=-3}. \]Real-Domain Restrictions for Radical Expressions
For an even-index radical
\[ \sqrt[n]{R(x)}, \qquad n\text{ even}, \]the radicand must satisfy
\[ \boxed{R(x)\geq0}. \]For an odd-index radical, no such sign restriction is required over the reals.
Example: Domain of a Square-Root Expression
Determine the real domain of
\[ f(x)=\sqrt{x-3}. \]Require the radicand to be nonnegative:
\[ x-3\geq0. \]Therefore,
\[ x\geq3. \]The domain is
\[ \boxed{[3,\infty)}. \]Example: Domain of a More General Radical
Determine the real domain of
\[ f(x)=\sqrt{12-3x}. \]Require
\[ 12-3x\geq0. \]Then
\[ -3x\geq-12. \]Divide by \(-3\), reversing the inequality:
\[ x\leq4. \]Therefore,
\[ \boxed{(-\infty,4]}. \]Odd-Root Domains
Consider
\[ f(x)=\sqrt[3]{x-7}. \]Every real value of \(x-7\) has a real cube root.
Therefore the domain is
\[ \boxed{(-\infty,\infty)}. \]Perfect Powers
A perfect \(n\)th power is a quantity that can be written as the \(n\)th power of another quantity.
Examples include
\[ 36=6^2, \] \[ 125=5^3, \] \[ 81=3^4. \]Roots of perfect powers can often be evaluated exactly.
Examples of Exact Roots
\[ \sqrt{49}=7, \] \[ \sqrt[3]{125}=5, \] \[ \sqrt[4]{16}=2, \] \[ \sqrt[5]{32}=2. \]Each equation reverses a corresponding power relationship.
Roots That Are Not Integers
Not every radical simplifies to an integer.
For example,
\[ \sqrt{2} \]is an irrational number.
It can be approximated numerically:
\[ \sqrt2\approx1.414. \]The exact radical form and a decimal approximation serve different purposes.
Exact Values and Approximations
The expression
\[ \sqrt{13} \]is exact.
A calculator may give
\[ \sqrt{13}\approx3.606. \]The decimal is approximate because it has been rounded or truncated.
When exact form is useful, retain the radical.
Radicalization and Exponentiation Undo Each Other
For suitable values,
\[ \left(\sqrt[n]{a}\right)^n=a. \]For example,
\[ \left(\sqrt{7}\right)^2=7, \]and
\[ \left(\sqrt[3]{-5}\right)^3=-5. \]Raising a root back to its index recovers the radicand.
The Reverse Direction Requires More Care
It is tempting to write
\[ \sqrt{x^2}=x. \]But this is not correct for all real \(x\).
For example, if \(x=-4\),
\[ \sqrt{x^2} = \sqrt{16} = 4, \]not \(-4\).
The Correct Identity for Square Roots
Because the principal square root is nonnegative,
\[ \boxed{\sqrt{x^2}=|x|}. \]This identity is valid for every real \(x\).
The absolute value is required because both \(x\) and \(-x\) have the same square.
Example: Why Absolute Value Appears
Let
\[ x=-6. \]Then
\[ x^2=36 \]and
\[ \sqrt{x^2} = \sqrt{36} = 6. \]Also,
\[ |x|=|-6|=6. \]Therefore,
\[ \sqrt{x^2}=|x|. \]Odd Roots Reverse Odd Powers Directly
For odd indices, the sign is preserved.
Therefore,
\[ \boxed{\sqrt[3]{x^3}=x} \]for every real \(x\).
More generally,
\[ \boxed{ \sqrt[2n+1]{x^{2n+1}}=x } \]over the real numbers.
Even Roots of Even Powers
The same sign issue extends to higher even powers.
For example,
\[ \sqrt[4]{x^4}=|x|. \]Both \(x\) and \(-x\) produce the same fourth power, while the principal fourth root is nonnegative.
The Radical Sign Does Not Mean Plus or Minus
The expression
\[ \sqrt{16} \]means
\[ 4, \]not
\[ \pm4. \]The symbol \(\pm\) appears when solving certain equations, not as part of the definition of the principal square root.
Why Solving \(x^2=16\) Gives Two Solutions
Consider
\[ x^2=16. \]Both
\[ 4^2=16 \]and
\[ (-4)^2=16. \]Therefore,
\[ \boxed{x=\pm4}. \]This does not contradict
\[ \sqrt{16}=4. \]One statement evaluates a principal radical; the other solves an equation.
Solving a Basic Square Equation by Radicalization
Solve
\[ x^2=49. \]Taking square roots of both sides requires recognizing both possible signs:
\[ |x|=7. \]Therefore,
\[ \boxed{x=\pm7}. \]Solving an Odd-Power Equation
Solve
\[ x^3=125. \]Take the cube root:
\[ x=\sqrt[3]{125}. \]Therefore,
\[ \boxed{x=5}. \]Unlike an even-power equation, a real odd-power equation of this simple form has one real solution.
Solving After Isolating the Power
Solve
\[ 3x^2=75. \]First divide by \(3\):
\[ x^2=25. \]Then
\[ x=\pm\sqrt{25}. \]Therefore,
\[ \boxed{x=\pm5}. \]Radicals and Geometry
Roots arise naturally when reversing geometric power relationships.
If a square has side length \(s\), its area is
\[ A=s^2. \]Solving for the nonnegative side length gives
\[ \boxed{s=\sqrt{A}}. \]Radicalization converts an area back into a linear dimension.
Example: Side Length from Area
A square has area
\[ 144\text{ square units}. \]Its side length is
\[ s=\sqrt{144}=12. \]Therefore,
\[ \boxed{s=12\text{ units}}. \]Cube Roots and Volume
A cube with side length \(s\) has volume
\[ V=s^3. \]Solving for the side length gives
\[ \boxed{s=\sqrt[3]{V}}. \]Cube roots therefore reverse the cubic relationship between a cube's side length and volume.
Example: Side Length from Volume
A cube has volume
\[ 343\text{ cubic units}. \]Then
\[ s=\sqrt[3]{343}=7. \]Therefore,
\[ \boxed{s=7\text{ units}}. \]Radicals and the Pythagorean Relationship
For a right triangle with legs \(a\) and \(b\) and hypotenuse \(c\),
\[ a^2+b^2=c^2. \]Solving for the positive geometric length \(c\) gives
\[ \boxed{c=\sqrt{a^2+b^2}}. \]Radicalization converts the sum of squared component lengths into the resulting distance.
Example: Distance from Components
Suppose
\[ a=5,\qquad b=12. \]Then
\[ c=\sqrt{5^2+12^2}. \] \[ c=\sqrt{25+144}. \] \[ c=\sqrt{169}. \]Therefore,
\[ \boxed{c=13}. \]Roots as Measurements of Scale
Powers move from a linear quantity into higher-dimensional scale.
Squaring a length produces an area scale, while cubing a length produces a volume scale.
Roots move back in the opposite direction:
\[ \text{area}\xrightarrow{\sqrt{\phantom{x}}}\text{length}, \] \[ \text{volume}\xrightarrow{\sqrt[3]{\phantom{x}}}\text{length}. \]This dimensional viewpoint gives radicalization a concrete geometric meaning.
Approximating Roots Between Perfect Powers
Suppose we want to estimate
\[ \sqrt{30}. \]Since
\[ 5^2=25 \]and
\[ 6^2=36, \]we know
\[ \boxed{5<\sqrt{30}<6}. \]Perfect powers provide useful reference points for estimating radicals.
Closer Approximation
To refine
\[ \sqrt{30}, \]test decimals:
\[ 5.4^2=29.16, \] \[ 5.5^2=30.25. \]Therefore,
\[ 5.4<\sqrt{30}<5.5. \]A calculator gives approximately
\[ \sqrt{30}\approx5.477. \]Principal Even Roots Are Nonnegative
For every real \(a\geq0\),
\[ \sqrt{a}\geq0. \]More generally, when \(n\) is even and the radical is real,
\[ \sqrt[n]{a}\geq0. \]This nonnegative convention makes radical notation single-valued and allows it to define a function.
Square-Root Function
The function
\[ f(x)=\sqrt{x} \]has real domain
\[ \boxed{[0,\infty)} \]and range
\[ \boxed{[0,\infty)}. \]Both restrictions come from the principal square-root convention.
Cube-Root Function
The function
\[ f(x)=\sqrt[3]{x} \]accepts every real input and can produce every real output.
Therefore its real domain and range are both
\[ \boxed{(-\infty,\infty)}. \]Square and Square Root as Restricted Inverses
The function
\[ f(x)=x^2 \]is not one-to-one on all real numbers because
\[ f(3)=f(-3)=9. \]Restricting the square function to
\[ x\geq0 \]makes it one-to-one.
On that restricted domain, its inverse function is
\[ \boxed{f^{-1}(x)=\sqrt{x}}. \]Cube and Cube Root as Inverses
The function
\[ f(x)=x^3 \]is one-to-one on all real numbers.
Therefore its inverse function over the reals is
\[ \boxed{f^{-1}(x)=\sqrt[3]{x}}. \]No domain restriction is required to make the cubic function invertible.
Do Not Confuse Root with Reciprocal
The square root of \(x\) is
\[ \sqrt{x}, \]while the reciprocal of \(x\) is
\[ \frac1x. \]These reverse different operations.
Radicalization reverses exponentiation, while reciprocation relates to multiplication and division.
Do Not Confuse Root with Opposite
The opposite of \(x\) is
\[ -x. \]The square root of \(x\), when real, is
\[ \sqrt{x}. \]These are unrelated operations.
For example,
\[ -16 \]is the opposite of \(16\), while
\[ \sqrt{16}=4. \]Common Error: Writing \(\sqrt{25}=\pm5\)
The radical sign denotes the principal square root.
Therefore,
\[ \boxed{\sqrt{25}=5}. \]The expression
\[ \pm5 \]appears when solving
\[ x^2=25. \]Evaluating a radical and solving an equation are different tasks.
Common Error: Writing \(\sqrt{x^2}=x\) for Every Real \(x\)
The correct identity is
\[ \boxed{\sqrt{x^2}=|x|}. \]The absolute value is required because the principal square root cannot be negative.
Common Error: Assuming Negative Numbers Have No Real Roots
Negative numbers have no real even roots.
But they do have real odd roots.
For example,
\[ \sqrt{-16} \]is not real, while
\[ \boxed{\sqrt[3]{-8}=-2}. \]Common Error: Ignoring the Index
The expressions
\[ \sqrt{64} \]and
\[ \sqrt[3]{64} \]are different.
We have
\[ \sqrt{64}=8, \]while
\[ \sqrt[3]{64}=4. \]The index determines which exponentiation is being reversed.
Common Error: Assuming \(\sqrt{a+b}=\sqrt a+\sqrt b\)
Radicalization does not distribute over addition in this way.
For example,
\[ \sqrt{9+16} = \sqrt{25} = 5, \]while
\[ \sqrt9+\sqrt{16} = 3+4 = 7. \]Therefore,
\[ \boxed{ \sqrt{a+b}\neq\sqrt a+\sqrt b } \]in general.
Common Error: Assuming \(\sqrt{a-b}=\sqrt a-\sqrt b\)
The same warning applies to subtraction.
For example,
\[ \sqrt{25-9} = \sqrt{16} = 4, \]while
\[ \sqrt{25}-\sqrt9 = 5-3 = 2. \]Therefore radicalization does not distribute across subtraction either.
Common Error: Forgetting Domain Restrictions
Consider
\[ \sqrt{x-5}. \]Over the real numbers, the radicand must satisfy
\[ x-5\geq0. \]Therefore,
\[ \boxed{x\geq5}. \]Treating the expression as real for \(x<5\) ignores its real-domain restriction.
A Reliable Procedure for Evaluating Exact Roots
- Identify the index.
- Identify the radicand.
- Ask which number raised to the index produces the radicand.
- For even roots, use the principal nonnegative value.
- For odd roots, preserve the sign of the radicand.
- If no convenient perfect power applies, keep the exact radical or approximate as appropriate.
A Reliable Procedure for Radical Domains
- Identify every radical involving a variable.
- Inspect its index.
- For an even index, require the radicand to be greater than or equal to zero.
- Solve the resulting inequality.
- For an odd index, impose no sign restriction from the radical itself.
- Combine radical restrictions with any other restrictions in the full expression.
A Reliable Procedure for Simple Power Equations
- Isolate the powered expression.
- Apply the corresponding radicalization operation.
- For even powers, account for both possible signs when solving the equation.
- For odd powers, use the single real root.
- Check the proposed solutions in the original equation.
Example: Full Domain Workflow
Determine the real domain of
\[ f(x)=\sqrt{2x+6}. \]Because the index is even, require
\[ 2x+6\geq0. \]Then
\[ 2x\geq-6, \]so
\[ x\geq-3. \]Therefore,
\[ \boxed{[-3,\infty)}. \]Example: Radical and Rational Restrictions Together
Consider
\[ f(x)=\frac{\sqrt{x-1}}{x-4}. \]The radical requires
\[ x-1\geq0, \]so
\[ x\geq1. \]The denominator requires
\[ x\neq4. \]Therefore the domain is
\[ \boxed{[1,4)\cup(4,\infty)}. \]Example: Solving a Power Equation
Solve
\[ (x-2)^2=36. \]Radicalization gives
\[ |x-2|=6. \]Therefore,
\[ x-2=6 \]or
\[ x-2=-6. \]Hence,
\[ \boxed{x=8,\qquad x=-4}. \]Example: Solving an Odd-Power Equation
Solve
\[ (x+1)^3=-27. \]Take the cube root:
\[ x+1=-3. \]Therefore,
\[ \boxed{x=-4}. \]Practice 1: Principal Square Root
Evaluate:
\[ \sqrt{81}. \]Practice 2: Cube Root
Evaluate:
\[ \sqrt[3]{-125}. \]Practice 3: Fourth Root
Evaluate:
\[ \sqrt[4]{81}. \]Practice 4: Domain
Determine the real domain of
\[ \sqrt{x+7}. \]Practice 5: Domain with a Negative Coefficient
Determine the real domain of
\[ \sqrt{10-2x}. \]Practice 6: Odd-Root Domain
Determine the real domain of
\[ \sqrt[3]{4x-9}. \]Practice 7: Simplify a Power-Root Composition
Simplify for real \(x\):
\[ \sqrt{x^2}. \]Practice 8: Solve an Even-Power Equation
Solve:
\[ x^2=64. \]Practice 9: Solve an Odd-Power Equation
Solve:
\[ x^3=-64. \]Practice 10: Identify the Error
A student writes
\[ \sqrt{9+16} = \sqrt9+\sqrt{16} = 7. \]Explain the error and evaluate the expression correctly.
Practice Answers
Practice 1
The principal square root is the nonnegative number whose square is \(81\):
\[ \boxed{\sqrt{81}=9}. \]Practice 2
Since
\[ (-5)^3=-125, \]we have
\[ \boxed{\sqrt[3]{-125}=-5}. \]Practice 3
Since
\[ 3^4=81, \]the principal fourth root is
\[ \boxed{\sqrt[4]{81}=3}. \]Practice 4
Require
\[ x+7\geq0. \]Therefore,
\[ x\geq-7. \]The domain is
\[ \boxed{[-7,\infty)}. \]Practice 5
Require
\[ 10-2x\geq0. \]Then
\[ -2x\geq-10. \]Divide by \(-2\), reversing the inequality:
\[ x\leq5. \]Therefore,
\[ \boxed{(-\infty,5]}. \]Practice 6
A cube root accepts every real radicand.
Therefore the real domain is
\[ \boxed{(-\infty,\infty)}. \]Practice 7
The principal square root is nonnegative:
\[ \boxed{\sqrt{x^2}=|x|}. \]Practice 8
Both \(8\) and \(-8\) square to \(64\).
Therefore,
\[ \boxed{x=\pm8}. \]Practice 9
Take the cube root:
\[ x=\sqrt[3]{-64}. \]Therefore,
\[ \boxed{x=-4}. \]Practice 10
Radicalization does not distribute over addition.
Evaluate the sum inside the radical first:
\[ \sqrt{9+16} = \sqrt{25}. \]Therefore,
\[ \boxed{5}. \]What to Remember
Radicalization reverses a power relationship:
\[ \boxed{ b^n=a \quad\Longleftrightarrow\quad b\text{ is an }n\text{th root of }a }. \]The essential ideas are:
- the index identifies which power is being reversed;
- the radicand is the quantity inside the radical;
- the square-root symbol denotes the principal nonnegative square root;
- even-index radicals require nonnegative real radicands;
- odd-index radicals accept every real radicand;
- \(\sqrt{x^2}=|x|\), not \(x\) for every real \(x\);
- evaluating \(\sqrt{a}\) is different from solving \(x^2=a\);
- radicalization does not distribute over addition or subtraction;
- roots naturally reverse area, volume, distance, and other power relationships.
The central habit is: identify the power being reversed, respect the principal-root convention, and check the real-domain conditions before manipulating a radical expression.
Where We Go Next
Radical notation and exponent notation describe the same underlying power relationships in different forms. A root can be represented by a fractional exponent, and combinations of powers and roots can often be handled more efficiently through exponent laws.
The next lesson, Rational Exponents, develops the equivalence between radicals and fractional powers and extends the exponent laws to rational exponents.