1.7 Laws of Exponents

Let $b$ be a real number. In the expression $b^r$, $b$ is called the base and $r$ is called the exponent.

(1) Natural Powers

  If $r=n$ where $n$ is a positive integer, then$$b^n=\underset{n\text{times}}{\underbrace{b\cdot b\cdot \cdots \cdot b}}$$

---

(2) Zero Power

If $r=$ 0, we define

$$b^0=1\text{if }b\ne 0$$

0⁰ is not defined.

---

(3) Rational Powers

If $r=1/n$ where $n$ is a positive integer, then $b^{1/n}$ (also denoted by $\sqrt[n]{b}$), called the $n$th root of $b$, is a real number $u$ such that $u^n=b$. $$\sqrt[n]{b}=b^{1/n}=u\text{means}{u}^n=b$$

We need to consider two cases.

Case 2a: If  b < 0 , there is no nth root. 

[If we multiply a positive or negative number by itself an even number of times the result will be positive (for example, (-2)⁴=32>0). So there cannot be a real number u such that uⁿ=b as uⁿ ≥ 0 for all real u and positive even integer n.] 

Case 2b: If b > 0, there are two nth roots (one positive and one negative). 

However, the symbol  b^1/n or $\sqrt[\mathit{n}]{\mathit{b}}$ is reserved for the positive $n$th root.
[There are two nth roots because (-u)ⁿ=uⁿ when n is even; that is, for each b>0 there will be two nth roots, u and -u.]  

Remark:

• • $\sqrt[n]{b}>0$ if $b>0$
  • $\sqrt[n]{b}<0$ if $b<0$ and $n$ is odd
  • $\sqrt[n]{b}$ is imaginary ( = not real) if $b<0$ and $n$ is even.

 

Properties of the nth roots

Let a and b be two real numbers and m and n be two integers. We can show that the nth roots have the following properties.

• Note that when $n$ is even and both $a<0$ and $b<0$, then $\sqrt[n]{ab}$ and $\sqrt[n]{a/b}$ exist (they are real numbers) because $ab>0$ and $a/b>0$, but $\sqrt[n]{a}$ and $\sqrt[n]{b}$ do not exist (in fact, they are imaginary).

 

If $r=m/n$ where $m$ and $n$ are positive integers and $m/n$ is in lowest terms, $b^{m/n}$ is defined to be $(b^{1/n}{)}^m$; that is, the $n$th root of the $m$th power of $b$.

$$b^{m/n}={\left(b^m\right)}^{1/n}$$

We can verify that also $$b^{m/n}={\left(b^{1/n}\right)}^m.$$

If n is even, we require that b > 0.

---

(4) Irrational Powers

If $r=\alpha$ where $\alpha$ is an irrational number and $b>0$, the approximate value of $b^{\alpha }$ is obtained by expressing $\alpha$ approximately as a fraction. For example, to calculate $b^{\sqrt{2}}$ for any given b > 0, we can replace $\sqrt{2}$ by enough digits of its decimal expansion. For instance, $$3^{\sqrt{2}}\approx 3^{1.41}$$ and with better accuracy $$3^{\sqrt{2}}\approx 3^{1.4142}.$$

Because we can write $1.41$ as $141/100$, $3^{1.41}$ is raising $3$ to a fraction $m/n$ discussed above; the same applies to $3^{1.4142}$.

• Note that when $\alpha$ is irrational, $b^{\alpha }$ is imaginary for b < 0 .

---

(5) Negative Powers

For any real number $r$, if $b\ne$ 0, we define $b^{-r}$ to be ${\displaystyle \frac{1}{b^r}}$ whenever $b^r$ is defined.

$$b^{-r}=\frac{1}{b^r}$$

For example, 

$$b^{-\frac{1}{2}}=\frac{1}{b^{1/2}}=\frac{1}{\sqrt{b}},b^{-\frac{5}{3}}=\frac{1}{b^{5/3}}=\frac{1}{\sqrt[3]{b^5}}=\frac{1}{\sqrt[3]{b^3{b}^2}}=\frac{1}{\sqrt[3]{b^3}\sqrt[3]{b^2}}=\frac{1}{b\sqrt[3]{b^2}}$$

---

General Properties

If $b>0$, $c>0$, and $r$ and $s$ are two real numbers, we can prove: