[cross-reference to target(s) "ccog-develop-exponent-properties" missing or not unique]
Subsection5.6.1Review of Exponent Rules for Products and Exponents
In [cross-reference to target(s) "section-introduction-to-exponent-properties" missing or not unique], we introduced three basic rules involving products and exponents. Then in Section 3, we introduced one more. We begin this section with a recap of these four exponent rules.
Checkpoint5.6.3.
Simplify \(r^{16}\cdot r^{5}\text{.}\)
Simplify \(\left(x^{11}\right)^{10}\text{.}\)
Simplify \((3r)^{4}\text{.}\)
Simplify \(\frac{3y^7}{y^3}\text{.}\)
Explanation.
We add the exponents because this is a product of powers with the same base:
One rule we have learned is the product to a power rule, as in \((2x)^{3}=2^{3}x^{3}\text{.}\) When two factors are multiplied and the product is raised to a power, we may apply the exponent to each of those factors individually. We can use the rules of fractions to extend this property to a quotient raised to a power.
Example5.6.4.
Let \(y\) be a real number, where \(y \neq 0\text{.}\) Find another way to write \(\left(\frac{5}{y}\right)^4\text{.}\)
Explanation.
Writing the expression without an exponent and then simplifying, we have:
Similar to the product to a power rule, we essentially applied the outer exponent to the “factors” inside the parentheses—to factors of the numerator and factors of the denominator. The general rule is:
Fact5.6.5.Quotient to a Power Rule.
For real numbers \(a\) and \(b\) (with \(b \neq 0\)) and natural number \(m\text{,}\)
This rule says that when you raise a fraction to a power, you may separately raise the numerator and denominator to that power. In Example 4, this means that we can directly calculate \(\left( \frac{5}{y} \right)^4\text{:}\)
Simplify \(\left(\dfrac{5^6w^7}{5^2w^4}\right)^9\text{.}\) If you end up with a large power of a specific number, leave it written that way.
Simplify \(\dfrac{\left(2r^5\right)^7}{\left(2^2 r^8\right)^3}\text{.}\) If you end up with a large power of a specific number, leave it written that way.
If we stick closely to the order of operations, we should first simplify inside the parentheses and then work with the outer exponent. Going this route, we will first use the quotient rule:
According to the order of operations, we should simplify inside parentheses first, then apply exponents, then divide. Since we cannot simplify inside the parentheses, we must apply the outer exponents to each factor inside the respective set of parentheses first:
So far, we have been working with exponents that are natural numbers (\(1, 2, 3, \ldots\)). By the end of this section, we will expand our understanding to include exponents that are any integer, as with \(5^{0}\) and \(12^{-2}\text{.}\) As a first step, let’s explore how \(0\) should behave as an exponent by considering the pattern of decreasing powers of \(2\) in Figure 7.
Power
Product
Result
\(2^4\)
\(=\)
\(2 \cdot 2 \cdot 2 \cdot 2\)
\(=\)
\(16\)
\(2^3\)
\(=\)
\(2 \cdot 2 \cdot 2\)
\(=\)
\(8\)
(divide by \(2\))
\(2^2\)
\(=\)
\(2 \cdot 2\)
\(=\)
\(4\)
(divide by \(2\))
\(2^1\)
\(=\)
\(2\)
\(=\)
\(2\)
(divide by \(2\))
\(2^0\)
\(=\)
\(\mathord{?}\)
\(=\)
\(\mathord{?}\)
Figure5.6.7.Descending Powers of \(2\)
As we move down from one row to the row below it, we reduce the exponent in the power by \(1\) and we remove a factor of \(2\) from the product. The result in one row is half of the result of the previous row. The question is, what happens when the exponent gets down to \(0\) and you remove the last remaining factor of \(2\text{?}\) Following that pattern with the final results, moving from \(2^1\) to \(2^0\) should mean the result of \(2\) is divided by \(2\text{,}\) leaving \(1\text{.}\) So we have:
\begin{equation*}
2^0 = 1
\end{equation*}
Definition5.6.8.Zero as an Exponent.
For any real number \(a\text{,}\) we define \(a^0\) to mean \(1\text{.}\) That is,
\begin{equation*}
a^0 = 1
\end{equation*}
It is worth noting that this is the definition for what it means to use \(0\) as an exponent. Before this, we only had an official meaning for using “natural numbers” (\(1,2,3,\ldots\)) as exponents.
Checkpoint5.6.9.
Simplify the following expressions. Assume all variables represent nonzero real numbers.
\(\displaystyle \left(173 x^4 y^{251}\right)^0\)
\(\displaystyle (-8)^0\)
\(\displaystyle -8^0\)
\(\displaystyle 3x^0\)
Explanation.
To simplify any of these expressions, it is critical that we remember an exponent only applies to what it is touching or immediately next to.
In the expression \(\left(173 x^4 y^{251}\right)^0\text{,}\) the exponent \(0\) applies to everything inside the parentheses.
In the expression \((-8)^0\) the exponent applies to everything inside the parentheses, \(-8\text{.}\)
\begin{equation*}
(-8)^0 = 1
\end{equation*}
In contrast to the previous example, the exponent only applies to the \(8\text{.}\) The exponent has a higher priority than negation in the order of operations. We should consider that \(-8^0 = -\mathopen{}\left(8^0\right)\mathclose{}\text{,}\) and so:
We understand what it means for a variable to have a natural number exponent. For example, \(x^5\) means \(\overbrace{x\cdot x\cdot x\cdot x\cdot x}^{\text{five times}}\text{.}\) Now we will try to give meaning to an exponent that is a negative integer, like in \(x^{-5}\text{.}\)
To consider what it could possibly mean to have a negative integer exponent, let’s extend the pattern we saw in Figure 7. In that table, each time we move down a row, we reduce the power by \(1\) and we divide the value by \(2\text{.}\) We can continue this pattern in the power and value columns, going all the way down into when the exponent is negative.
Power
Result
\(2^3\)
\(8\)
\(2^2\)
\(4\)
(divide by \(2\))
\(2^1\)
\(2\)
(divide by \(2\))
\(2^0\)
\(1\)
(divide by \(2\))
\(2^{-1}\)
\(\sfrac{1}{2}=\sfrac{1}{2^1}\)
(divide by \(2\))
\(2^{-2}\)
\(\sfrac{1}{4}=\sfrac{1}{2^2}\)
(divide by \(2\))
\(2^{-3}\)
\(\sfrac{1}{8}=\sfrac{1}{2^3}\)
(divide by \(2\))
Figure5.6.10.Negative Powers of \(2\)
We see a pattern where \(2^{\text{negative number}}\) is equal to \(\frac{1}{2^{\text{positive number}}}\text{.}\) Note that the choice of base \(2\) was arbitrary, and this pattern works for all bases except \(0\text{,}\) since we cannot divide by \(0\) in moving from one row to the next.
Definition5.6.11.Negative Integers as Exponents.
For any nonzero real number \(a\) and any natural number \(n\text{,}\) we define \(a^{-n}\) to mean the reciprocal of \(a^n\text{.}\) That is,
As with Definition 8, we note that this is a definition. Prior to this point in this textbook, we only had an official meaning for when an exponent was \(0\) or a positive integer.
Taken together, these things tell us that when you have an expression and there is a negative exponent in the numerator, that power “belongs” in the denominator (with a positive exponent). And similarly, when you have an expression and there is a negative exponent in the denominator, that power “belongs” in the numerator (with a positive exponent). In other words, you can view a negative exponent as telling you to move something to/from the numerator/denominator of an expression, changing the sign of the exponent at the same time.
You may be expected to simplify expressions so that they do not have any negative exponents. This can always be accomplished using the above understanding. Try it with these exercises.
Checkpoint5.6.12.
Write \(4y^{-6}\) without using negative exponents.
Write \(\dfrac{ 3 x^{-4} }{ yz^{-2} }\) without using negative exponents.
Simplify \(\left(-5x^{-5}\right)\left(-8x^4\right)\) and write it without using negative exponents.
Explanation.
An exponent only applies to whatever it is “touching”. In the expression \(4y^{-6}\text{,}\) only the \(y\) is affected by the exponent.
Negative exponents tell us to move some variables between the numerator and denominator to make the exponents positive. The \(x^{-4}\) in the numerator should become \(x^4\) in the denominator. The \(z^{-2}\) in the denominator should become \(z^2\) in the numerator.
Now that we have some new exponent rules beyond those from [cross-reference to target(s) "section-introduction-to-exponent-properties" missing or not unique] and Section 3, let’s summarize.
Remark5.6.14.Why we have “\(a \neq 0\)” and “\(b \neq 0\)” for some rules.
We have to be careful to make sure the rules we state don’t suggest that it would ever be OK to divide by zero. Dividing by zero leads us to expressions that have no meaning. For example, both \(\frac{9}{0}\) and \(\frac{0}{0}\) are undefined, meaning no one has defined what it means to divide a number by \(0\text{.}\)
Warning5.6.15.A Common Mistake.
It may be tempting to apply the rules of exponents to expressions containing addition or subtraction. However, none of the Summary of the Rules of Exponents for Multiplication and Division involve addition or subtraction in the initial expression. Because whole number exponents mean repeated multiplication, not repeated addition or subtraction, trying to apply exponent rules in situations that do not use multiplication simply doesn’t work.
Can we say something like \(a^m + a^n = a^{m+n}\text{?}\) How would that work out when \(a=2\text{,}\)\(m=3\text{,}\) and \(n=4\text{?}\)
As we can see, that’s not even close. This attempt at a “sum rule” falls apart. In fact, without knowing values for \(a\text{,}\)\(n\text{,}\) and \(m\text{,}\) there’s no way to simplify the expression \(a^n + a^m\text{.}\)
False, \(\left(7+8\right)^3\neq 7^3+8^3\text{.}\) Following the order of operations, on the left \(\left(7+8\right)^3\) would simplify as \(15^3\text{,}\) which is \(3375\text{.}\) However, on the right side, we have
Since \(3375\neq 855\text{,}\) the equation is false.
True. As the cube applies to the product of \(x\) and \(y\text{,}\)\((xy)^3=x^3 y^3\text{.}\)
True. The coefficients do get multiplied together and the exponents added when the expressions are multiplied, so \(2x^3 \cdot 4x^2 \cdot 5x^6=(2 \cdot 4 \cdot 5)x^{3+2+6}\text{.}\)
False, \(\left(x^3y^5\right)^4\neq x^{3+4}y^{5+4}\text{.}\) When we have a power to a power, we multiply the exponents rather than adding them. So
False, \(2\left(x^2y^5\right)^3\neq 8x^6y^{15}\text{.}\) The exponent of \(3\) applies to \(x^2\) and \(y^{5}\text{,}\) but does not apply to the \(2\text{.}\) So
False, \(x^2+x^3\neq x^5\text{.}\) The two terms on the left hand side are not like terms and there is no way to combine them.
True. The terms \(x^3\) and \(x^3\) are like terms, so \(x^3+x^3=2x^3\text{.}\)
False, \(x^3\cdot x^3 \neq 2x^6\text{.}\) When \(x^3\) and \(x^3\) are multiplied, their coefficients are each \(1\text{.}\) So the coefficient of their product is still \(1\text{,}\) and we have \(x^3 \cdot x^3 = x^6\text{.}\)
False, \(3^2 \cdot 2^3\neq 6^5\text{.}\) Note that neither the bases nor the exponents are the same. Following the order of operations, on the left \(3^2 \cdot 2^3\) would simplify as \(9 \cdot 8\text{,}\) which is \(72\text{.}\) However, on the right side, we have \(6^5=7776\text{.}\) Since \(72\neq 7776\text{,}\) the equation is false.
False, \(3^{-2}\neq -\frac{1}{9}\text{.}\) The exponent of \(-2\) on the number \(3\) does not result in a negative number. Instead, \(3^{-2}= \frac{1}{3^2}\text{,}\) which is \(\frac{1}{9}\text{.}\)
As we mentioned before, many situations we’ll come across will require us to use more than one exponent rule. In these situations, we’ll have to decide which rule to use first. There are often different, correct approaches we could take. But if we rely on [cross-reference to target(s) "list-order-of-operations" missing or not unique], we will have a straightforward approach to simplify the expression correctly. To bring it all together, try these exercises.
Checkpoint5.6.17.
(a)
Simplify \(\dfrac{6x^{3}}{2x^{7}}\) and write it without using negative exponents.
Explanation.
In the expression \(\frac{6x^{3}}{2x^{7}}\text{,}\) the coefficients reduce using the properties of fractions. One way to simplify the variable powers is:
Simplify \(\left(\dfrac{3^{0}y^{4}\cdot y^{5}}{6y^2}\right)^{3}\) and write it without using negative exponents.
Explanation.
To follow the order of operations in the expression \(\left(\frac{3^{0}y^{4}\cdot y^{5}}{6y^2}\right)^{3}\text{,}\) the numerator inside the parentheses should be dealt with first. After that, we’ll simplify the quotient inside the parentheses. As a final step, we’ll apply the exponent to that simplified expression:
Simplify \(\left( 7^{4} x^{-6} t^{2} \right)^{-5} \left( 7 x^{-2} t^{-7} \right)^{4}\) and write it without using negative exponents. Leave larger numbers (such as \(7^{10}\)) in exponent form.
Explanation.
We’ll again rely on the order of operations, and look to simplify anything inside parentheses first and then apply exponents. In this example, we will begin by applying the product to a power rule, followed by the power to a power rule.
Consider the expression \(\dfrac{x^a\cdot x^b}{x^c}\) where \(a\gt0, b\lt0\text{,}\) and \(c \gt 0\text{.}\)
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the expression equals \(x^{7}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.
\(a\) = , \(b\) = , and \(c\) =
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the exponential expression equals \(\frac{1}{x^{7}}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.
\(a\) = , \(b\) = , and \(c\) =
126.
Consider the expression \(\dfrac{x^a\cdot x^b}{x^c}\) where \(a\lt0, b\lt0\text{,}\) and \(c \gt0\text{.}\)
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the expression equals \(x^{8}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.
\(a\) = , \(b\) = , and \(c\) =
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the expression equals \(\frac{1}{x^{8}}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.
\(a\) = , \(b\) = , and \(c\) =
127.
Consider the exponential expression \(\dfrac{x^a\cdot x^b}{x^c}\) where \(a\gt0, b\gt0\text{,}\) and \(c \lt 0\text{.}\)
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the expression equals \(x^{7}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.
\(a\) = , \(b\) = , and \(c\) =
Are there values for \(a\text{,}\)\(b\text{,}\) and \(c\) so that the expression equals \(\frac{1}{x^{11}}\text{?}\) If so, fill in the blanks below with possible values for \(a\text{,}\)\(b\text{,}\) and \(c\text{.}\) If not, fill in the blanks below with the word none.