The Big Idea
Exponent laws compress repeated multiplication. Radical laws describe inverse power relationships. Sign laws track direction relative to zero. Equivalence laws tell us when two different-looking expressions represent the same value.
| Law family | Central task | Typical example |
|---|---|---|
| Exponent | Combine or separate powers | \(a^m a^n=a^{m+n}\) |
| Radical | Interpret and simplify roots | \(\sqrt{a^2}=|a|\) |
| Sign | Determine whether a result is positive, negative, or zero | \((-)(-)=(+)\) |
| Equivalence | Rewrite without changing value on the stated domain | \(a(b+c)=ab+ac\) |
These laws are reliable only when their conditions are satisfied. A compact formula never cancels a domain restriction, changes a principal root, or makes an undefined expression meaningful.
State the Number System and Domain
Unless otherwise stated, this lesson works primarily with real numbers. Several familiar laws require additional care when negative bases, even roots, zero denominators, fractional exponents, matrices, or complex numbers are involved.
A useful habit is to attach restrictions to a law when the restriction first becomes relevant:
\[ \frac{a^m}{a^n}=a^{m-n}, \qquad a\ne0. \]
The condition \(a\ne0\) is part of the statement, not a footnote to be forgotten.
What an Exponent Means
For a positive whole number \(n\),
\[ a^n=\underbrace{a\cdot a\cdot a\cdots a}_{n\text{ factors}}. \]
The number \(a\) is the base, and \(n\) is the exponent. The expression \(a^n\) is a power.
In \(3^4=81\), the base \(3\) is used as a factor four times:
\[ 3^4=3\cdot3\cdot3\cdot3=81. \]
Exponent laws extend this repeated-multiplication structure to zero, negative, and rational exponents in coherent ways.
Product of Powers with the Same Base
For integer exponents \(m\) and \(n\), multiplying powers with the same base adds their exponents whenever the expressions are defined:
\[ a^m a^n=a^{m+n}. \]
For positive whole-number exponents, the reason is visible:
\[ a^3a^2 =(a\cdot a\cdot a)(a\cdot a) =a^5. \]
The bases must match. The expression \(2^3\cdot5^3\) uses another law—the power of a product—not the same-base product law.
Quotient of Powers with the Same Base
For integer exponents \(m\) and \(n\), dividing powers with the same nonzero base subtracts their exponents:
\[ \frac{a^m}{a^n}=a^{m-n}, \qquad a\ne0. \]
For example,
\[ \frac{x^7}{x^3}=x^{7-3}=x^4, \qquad x\ne0. \]
The restriction remains relevant even if the simplified form \(x^4\) is defined at \(x=0\). The original quotient is not.
Power of a Power
For integer exponents \(m\) and \(n\), raising a power to another power multiplies the exponents whenever the expressions are defined:
\[ (a^m)^n=a^{mn}. \]
For example,
\[ (x^3)^4 =x^3x^3x^3x^3 =x^{12}. \]
Exponentiation itself is not associative. In general,
\[ (a^m)^n\ne a^{(m^n)}. \]
The parentheses determine whether the exponents are multiplied through a power-of-a-power law or one exponent is raised to another.
Power of a Product and Quotient
For whole-number exponents, a power distributes across multiplication:
\[ (ab)^n=a^n b^n. \]
It also applies across a quotient when the denominator is nonzero:
\[ \left(\frac ab\right)^n =\frac{a^n}{b^n}, \qquad b\ne0. \]
For example,
\[ (3x)^2=3^2x^2=9x^2. \]
A power does not distribute across addition:
\[ (a+b)^2\ne a^2+b^2 \]
in general. Correct expansion gives \(a^2+2ab+b^2\).
The Zero Exponent
Every nonzero base raised to the zero power equals \(1\):
\[ a^0=1, \qquad a\ne0. \]
This definition preserves the quotient law:
\[ \frac{a^n}{a^n} =a^{n-n} =a^0. \]
Since \(a^n/a^n=1\) for \(a\ne0\), consistency requires \(a^0=1\).
The expression \(0^0\) is not assigned one universal elementary value. Depending on context it may be left undefined or treated through a specialized convention. Do not infer it from the nonzero-base rule.
Negative Exponents Mean Reciprocals
For \(a\ne0\) and positive whole number \(n\),
\[ a^{-n}=\frac{1}{a^n}. \]
A negative exponent does not make the value negative. It instructs us to take a reciprocal:
\[ 2^{-3}=\frac{1}{2^3}=\frac18. \]
Likewise,
\[ \frac{x^{-2}}{y^{-3}} =x^{-2}y^3 =\frac{y^3}{x^2}, \qquad x\ne0,\ y\ne0. \]
Working Exponent-Law Table
| Law | Pattern | Essential condition |
|---|---|---|
| Product of powers | \(a^ma^n=a^{m+n}\) | Same base; integer \(m,n\); all expressions defined |
| Quotient of powers | \(\dfrac{a^m}{a^n}=a^{m-n}\) | Integer \(m,n\); \(a\ne0\) |
| Power of a power | \((a^m)^n=a^{mn}\) | Integer \(m,n\); all expressions defined |
| Power of a product | \((ab)^n=a^nb^n\) | Integer \(n\); all expressions defined |
| Power of a quotient | \(\left(\dfrac ab\right)^n=\dfrac{a^n}{b^n}\) | Integer \(n\); \(b\ne0\) |
| Zero exponent | \(a^0=1\) | \(a\ne0\) |
| Negative exponent | \(a^{-n}=\dfrac1{a^n}\) | \(a\ne0\) |
Radicalization Reverses an Appropriate Power
The expression
\[ \sqrt[n]{a} \]
denotes an \(n\)th root of \(a\). The number \(n\) is the index, and \(a\) is the radicand. When the index is \(2\), it is normally omitted.
Radicalization asks for a number whose indicated power produces the radicand. For example,
\[ \sqrt[3]{125}=5 \]
because \(5^3=125\).
The Radical Symbol Selects a Principal Root
The square-root symbol \(\sqrt{\phantom{x}}\) denotes the nonnegative principal square root. Thus,
\[ \sqrt{25}=5, \]
not \(\pm5\). Both \(5\) and \(-5\) solve the equation \(x^2=25\), but the symbol \(\sqrt{25}\) names one value.
This distinction prevents a common confusion:
\[ \sqrt{x^2}=|x|, \]
because the principal square root must be nonnegative.
Even and Odd Roots Behave Differently
In the real numbers, an even-indexed root requires a nonnegative radicand:
\[ \sqrt{-9} \]
is not a real number.
An odd-indexed root accepts every real radicand:
\[ \sqrt[3]{-8}=-2. \]
More generally, for real \(a\) and positive whole number \(n\),
\[ \sqrt[n]{a^n} = \begin{cases} |a|, & n\text{ even},\\ a, & n\text{ odd}. \end{cases} \]
Rational Exponents Connect Powers and Roots
Write a rational exponent in lowest terms. For a positive whole-number denominator \(n\),
\[ a^{1/n}=\sqrt[n]{a} \]
whenever the real expressions are defined. More generally,
\[ a^{m/n} =\sqrt[n]{a^m} =\left(\sqrt[n]{a}\right)^m. \]
If \(n\) is even, a real-valued interpretation requires \(a\ge0\). If the exponent is negative, the base must also be nonzero.
For example,
\[ 64^{2/3} =\left(\sqrt[3]{64}\right)^2 =4^2 =16. \]
Product and Quotient Laws for Radicals
For nonnegative real numbers \(a\) and \(b\),
\[ \sqrt{ab}=\sqrt a\,\sqrt b. \]
For \(a\ge0\) and \(b>0\),
\[ \sqrt{\frac ab} =\frac{\sqrt a}{\sqrt b}. \]
These conditions protect the laws in the real number system. They should not be extended carelessly to negative radicands in complex arithmetic. For instance,
\[ \sqrt{-1}\sqrt{-1}=-1, \qquad \sqrt{(-1)(-1)}=1. \]
Simplifying Radicals
Factor the radicand into a perfect power and a remaining factor:
\[ \sqrt{72} =\sqrt{36\cdot2} =\sqrt{36}\sqrt2 =6\sqrt2. \]
Variables require sign awareness:
\[ \sqrt{x^2}=|x|. \]
If the context already guarantees \(x\ge0\), then \(|x|=x\). If \(x\) may be negative, removing the absolute value changes the expression.
Combining Like Radicals
Radicals can be combined by addition or subtraction only after their radical parts match:
\[ 3\sqrt2+5\sqrt2=8\sqrt2. \]
Simplification may reveal like radicals:
\[ \sqrt8+\sqrt{18} =2\sqrt2+3\sqrt2 =5\sqrt2. \]
Unlike radicals do not combine by adding radicands:
\[ \sqrt2+\sqrt3\ne\sqrt5. \]
Roots Do Not Distribute Across Sums
In general,
\[ \sqrt{a+b}\ne\sqrt a+\sqrt b. \]
A quick counterexample uses \(a=9\) and \(b=16\):
\[ \sqrt{9+16}=5, \qquad \sqrt9+\sqrt{16}=7. \]
The product and quotient laws have controlled radical forms. Addition and subtraction do not.
Rationalizing a Denominator
Multiplying a fraction by a form of \(1\) can remove a radical from the denominator without changing the value:
\[ \frac{3}{\sqrt5} \cdot \frac{\sqrt5}{\sqrt5} = \frac{3\sqrt5}{5}. \]
For a binomial denominator, use its conjugate:
\[ (a+b)(a-b)=a^2-b^2. \]
For example,
\[ \frac{1}{2+\sqrt3} \cdot \frac{2-\sqrt3}{2-\sqrt3} = 2-\sqrt3. \]
The new form is equivalent because the multiplying fraction equals \(1\), and the denominator is nonzero.
Sign Laws for Multiplication and Division
The sign of a nonzero product or quotient depends on whether its factors have the same or opposite signs.
| Signs | Product | Quotient |
|---|---|---|
| Positive and positive | Positive | Positive |
| Negative and negative | Positive | Positive |
| Positive and negative | Negative | Negative |
| Negative and positive | Negative | Negative |
A product with an even number of negative factors is positive. A product with an odd number is negative. If any factor is zero, the product is zero.
Why a Negative Times a Negative Is Positive
The sign rule follows from the distributive property. Since \(0=b+(-b)\),
\[ (-a)\bigl(b+(-b)\bigr)=(-a)\cdot0=0. \]
Distributing gives
\[ (-a)b+(-a)(-b)=0. \]
The term \((-a)b=-ab\), so \((-a)(-b)\) must be \(ab\) to make the sum zero:
\[ (-a)(-b)=ab. \]
The familiar sign rule is required for multiplication to remain consistent with addition, opposites, zero, and distribution.
Sign Laws for Addition and Subtraction
Addition does not use the multiplication sign table.
- When two nonzero addends have the same sign, add their magnitudes and keep the common sign.
- When they have opposite signs, subtract the smaller magnitude from the larger and use the sign of the value with greater magnitude.
- When magnitudes match and signs oppose, the sum is zero.
\[ -7+(-5)=-12, \qquad -7+5=-2, \qquad -7+7=0. \]
Subtraction is addition of an opposite:
\[ a-b=a+(-b). \]
This rewrite converts subtraction questions into addition questions without changing the value.
Signs and Powers
A negative base raised to an even whole-number exponent produces a positive result; an odd exponent produces a negative result:
\[ (-a)^n = \begin{cases} a^n, & n\text{ even},\\ -a^n, & n\text{ odd}. \end{cases} \]
Parentheses determine whether the sign belongs to the base:
\[ -3^2=-(3^2)=-9, \qquad (-3)^2=9. \]
When substituting a negative value for a variable, protect the replacement with parentheses.
Signs in Fractions
A single negative sign may be written in any one of three equivalent positions:
\[ -\frac ab =\frac{-a}{b} =\frac{a}{-b}, \qquad b\ne0. \]
Two negative signs cancel:
\[ \frac{-a}{-b}=\frac ab. \]
Standard form usually places a single negative sign before the fraction and keeps the denominator positive.
Equivalent Forms Preserve Value
Two expressions are equivalent on a stated domain when they produce the same value for every permitted input in that domain. Common equivalence-preserving rewrites include:
- reordering and regrouping under valid commutative and associative laws;
- expanding or factoring by distribution;
- replacing subtraction with addition of an opposite;
- replacing division with multiplication by a reciprocal;
- converting between radicals and rational exponents;
- multiplying a fraction’s numerator and denominator by the same nonzero expression.
Equivalent form does not necessarily mean identical notation. It means the values agree wherever the comparison is authorized.
Expansion and Factoring Are Reverse Equivalent Moves
The distributive property works in both directions:
\[ a(b+c)\longleftrightarrow ab+ac. \]
For example,
\[ 4(x-3)=4x-12 \]
and
\[ 10x+15=5(2x+3). \]
One form may be better for evaluation, another for solving, and another for recognizing structure. Equivalence lets us choose a strategically useful representation.
Equivalent Fractions and Cancellation
Multiplying a fraction’s numerator and denominator by the same nonzero quantity preserves its value:
\[ \frac ab =\frac{ac}{bc}, \qquad b\ne0,\ c\ne0. \]
Cancellation reverses that multiplication:
\[ \frac{(x-2)(x+5)}{x-2} =x+5, \qquad x\ne2. \]
Factors cancel; terms do not. The expression
\[ \frac{x+5}{x} \]
cannot be simplified by “canceling the \(x\)” because \(x\) is not a factor of the entire numerator.
A Simplified Form Retains Original Restrictions
Consider
\[ \frac{x^2-4}{x-2} =\frac{(x-2)(x+2)}{x-2} =x+2, \qquad x\ne2. \]
The formula \(x+2\) is defined at \(x=2\), but the original expression is not. The two forms agree for \(x\ne2\); they are not identical as unrestricted functions.
A good simplification carries excluded values forward instead of allowing cleaner notation to hide them.
Equivalent Expressions and Equivalent Equations
Equivalent expressions have the same value on a stated domain. Equivalent equations have the same solution set.
Squaring an equation preserves every original solution but may introduce extra candidates:
\[ x=-3 \quad\Longrightarrow\quad x^2=9. \]
The squared equation also has \(x=3\), so the two equations are not equivalent.
Radical equations, rational equations, and equations transformed by even powers should be checked in their original form.
Solving a Radical Equation Carefully
Solve
\[ \sqrt{x+1}=x-1. \]
The right side must be nonnegative, so \(x\ge1\). Square both sides:
\[ x+1=(x-1)^2=x^2-2x+1. \]
Simplifying gives
\[ x^2-3x=0, \qquad x(x-3)=0. \]
The candidates are \(x=0\) and \(x=3\). The domain condition removes \(0\), and direct substitution confirms \(x=3\):
\[ \sqrt{3+1}=3-1=2. \]
Exponent Laws in Scientific Notation
Exponent laws make very large and very small quantities manageable:
\[ (3\times10^5)(2\times10^{-3}) =6\times10^{5+(-3)} =6\times10^2. \]
Coefficients multiply normally, while equal bases \(10\) use the product-of-powers law. The same structure supports unit conversion, measurement, computing, finance, and scientific modeling.
A Practical Exponential Model
Suppose an investment of \(\$1{,}000\) grows by \(5\%\) each year. After \(t\) years,
\[ A(t)=1000(1.05)^t. \]
After three years,
\[ A(3)=1000(1.05)^3 =1157.625. \]
The exact model value is \(\$1{,}157.625\); a currency report would normally round to \(\$1{,}157.63\). The exponent records repeated application of the annual growth factor.
A Practical Radical Model
The distance from \((x_1,y_1)\) to \((x_2,y_2)\) in the coordinate plane is
\[ d=\sqrt{(x_2-x_1)^2+(y_2-y_1)^2}. \]
For \((1,2)\) and \((5,5)\),
\[ d=\sqrt{(5-1)^2+(5-2)^2} =\sqrt{16+9} =5. \]
Squaring builds the component magnitudes; radicalization recovers the length.
The Same Symbols Can Obey Different Conditions
For real or complex numbers, multiplication is commutative, so \((ab)^n=a^nb^n\) behaves as expected for integer exponents. Matrix multiplication is generally not commutative, and therefore
\[ (AB)^2=ABAB \]
cannot usually be rearranged as \(A^2B^2\).
Complex square roots also require branch conventions, and familiar real radical product laws can fail when extended without care. The notation may look familiar while the governing domain has changed.
Exact and Approximate Equivalent Representations
The expressions
\[ \sqrt2,\qquad 2^{1/2} \]
are exact equivalent forms. The decimal
\[ 1.414 \]
is only an approximation to them.
Keep exact forms during symbolic work when possible. Approximate at the reporting stage unless measurement, computation, or the problem’s context requires earlier rounding.
Calculator and Programming Syntax
Parentheses make bases and exponents explicit. Different systems may use ^ or ** for exponentiation, and functions such as sqrt() for roots.
| Mathematical form | Possible linear form |
|---|---|
| \((-3)^2\) | (-3)^2 |
| \(-3^2\) | -(3^2) |
| \(\sqrt{x+4}\) | sqrt(x+4) |
| \(x^{2/3}\) | x^(2/3) |
Syntax and real-domain behavior vary across systems, especially for negative bases with fractional exponents. Know what the software is computing instead of treating its display as a substitute for domain analysis.
Check a Proposed Law with Structure and Examples
When a rewrite looks suspicious, first compare its structure with the actual law. Then test a simple permitted value.
Suppose someone claims
\[ a^m+a^n=a^{m+n}. \]
The genuine same-base law concerns multiplication, not addition. Let \(a=2\), \(m=1\), and \(n=2\):
\[ 2^1+2^2=6, \qquad 2^{1+2}=8. \]
The counterexample confirms the structural mismatch.
A Reliable Simplification Routine
- Identify the number system and domain. Record zero restrictions, even-root requirements, and sign information.
- Read the structure. Locate bases, exponents, indices, radicands, factors, terms, and fraction bars.
- Name the exact law. Match same bases, products, quotients, powers, or radical forms before transforming.
- Track signs separately. Determine whether a negative belongs to the base, exponent, numerator, denominator, or entire expression.
- Rewrite one meaningful step at a time.
- Carry restrictions forward. Simplification does not restore excluded inputs.
- Check by reversing the transformation or substituting a permitted value.
Common Confusions
When are exponents added?
Add exponents when multiplying powers with the same base: \(a^ma^n=a^{m+n}\).
When are exponents multiplied?
Multiply exponents in a power of a power: \((a^m)^n=a^{mn}\).
Does a negative exponent make a value negative?
No. It indicates a reciprocal: \(a^{-n}=1/a^n\), with \(a\ne0\).
Is \(a^0=1\) valid when \(a=0\)?
No. The elementary zero-exponent law requires a nonzero base.
Why is \(\sqrt{x^2}=|x|\)?
The square-root symbol returns a nonnegative principal root. Absolute value makes the result nonnegative for either sign of \(x\).
Does \(\sqrt{a+b}=\sqrt a+\sqrt b\)?
Not in general. Radical product and quotient laws do not create a corresponding sum law.
Why is \(-3^2\) different from \((-3)^2\)?
In the first expression, the exponent applies only to \(3\). In the second, parentheses make \(-3\) the base.
Can terms be canceled across addition?
No. Cancellation applies to common nonzero factors of an entire numerator and denominator, not to isolated terms.
Does a canceled factor remove an excluded value?
No. Restrictions inherited from the original expression remain part of the simplified form’s context.
Why must radical-equation candidates be checked?
Squaring can introduce extraneous candidates because it is not one-to-one over all real numbers.
Working Summary
Exponent laws manage powers, radical laws manage inverse powers, sign laws manage orientation around zero, and equivalence laws preserve value through valid rewrites.
Same-base multiplication adds exponents, same-base division subtracts them, and a power of a power multiplies them. Zero and negative exponents require nonzero bases. Rational exponents connect powers to radicals under domain conditions.
Principal roots, absolute values, even-versus-odd indices, and real-domain restrictions prevent many common errors. Equivalent forms remain trustworthy only when original exclusions and sign conditions are carried forward.
Check Your Understanding
Simplify \(x^4x^7\).
\(x^{4+7}=x^{11}\).
Simplify \(\dfrac{a^9}{a^3}\).
\(a^{9-3}=a^6\), with \(a\ne0\).
Simplify \((2x^3)^2\).
\(2^2(x^3)^2=4x^6\).
Rewrite \(5^{-3}\) without a negative exponent.
\(5^{-3}=1/5^3=1/125\).
Evaluate \(81^{3/4}\).
\((\sqrt[4]{81})^3=3^3=27\).
Simplify \(\sqrt{50}\).
\(\sqrt{25\cdot2}=5\sqrt2\).
Simplify \(\sqrt{y^2}\) for real \(y\).
\(|y|\).
Determine the sign of \((-2)(-3)(-5)(4)\).
There are three negative factors, an odd number, so the product is negative.
Why can \(\dfrac{(x-1)(x+2)}{x-1}\) not simply become unrestricted \(x+2\)?
The original denominator excludes \(x=1\). The simplified form is \(x+2\) only on the original domain \(x\ne1\).
Is \(\sqrt9+\sqrt{16}=\sqrt{25}\)? Does that prove a sum law?
No. The left side is \(3+4=7\), while the right side is \(\sqrt{25}=5\). More generally, roots do not distribute over addition.