Powers with natural exponents

An expression of the form

373^7

(say: "three raised to the power of seven", or "three to the power of seven") or more generally

ana^n

is called a power. The 33 or the aa is called the base, and the 77 or the nn is called the exponent. Both the base and the exponent can be real numbers, but here we focus on nn being a natural number or 00, that is, we assume that n{0,1,2,3,...}n\in \{0,1,2,3,...\}. In later chapter we will discuss powers where the exponent nn can be negative, or a fraction.

By definition, the exponent tells you how often the bases has to be multiplied with itself. So for the power 373^7 we have to multiply 33 seven times with itself:

37=333333373^7 =\underbrace{3\cdot 3\cdot 3\cdot 3\cdot 3\cdot 3\cdot 3}_{7}

More generally we define for any natural number nn and any real number aa:

an=a...an\boxed{a^n =\underbrace{a\cdot ... \cdot a}_{n}}

We also define

a0=1\boxed{a^0= 1}

To see that this last definition actually makes sense, have a look at the following powers:

23=8:222=4:221=2:220=?\begin{array}{lll} 2^3&=8 \quad\quad :2\\ 2^2&=4 \quad\quad :2\\ 2^1&=2 \quad\quad :2\\ 2^0&=\, ? \end{array}

Notice that decreases the exponent by 11 divides the power by 22. So if we want to maintain this pattern (and we want to do this), it is clear that 20=12^0=1. And more generally, a0=1a^0=1.

If a bracket is raised to some power, then we have to multiply everything in the brackets with itself, e.g.

(ab)3=(ab)(ab)(ab)3=ababab(ab)^3=\underbrace{(ab)\cdot (ab)\cdot (ab)}_{3} = ab ab ab (a+b)3=(a+b)(a+b)(a+b)3(a+b)^3=\underbrace{(a+b)\cdot (a+b)\cdot (a+b)}_{3}

Note that we evaluate powers before we evaluate anything else, e.g.:

2+43=2+444, so 2+43632+4^3=2+4\cdot 4\cdot 4 \text{, so } 2+4^3\neq 6^3 243=2444, so 243832\cdot 4^3=2\cdot 4\cdot 4\cdot 4 \text{, so } 2\cdot 4^3\neq 8^3 2a3=2aaa, so 2a3(2a)32a^3=2\cdot a\cdot a\cdot a \text{, so } 2\cdot a^3\neq (2a)^3 24=2222=16, so 2416-2^4=-2\cdot 2\cdot 2\cdot 2 = -16 \text{, so } -2^4\neq 16

Recall that a similar rule exists for multiplication. Multiplication is evaluated before addition. So,

2+444=2+64, so 2+4446442+4\cdot 4\cdot 4 = 2+64 \text{, so } 2+4\cdot 4\cdot 4 \neq 6\cdot 4\cdot 4

There are some nice rules that tell you how to deal with products of powers, the so called power rules. But before we discuss them, solve some exercises.

Exercise 1

Are the statements correct, and why? Argue with the definition.

  1. 3+52=303+5\cdot 2 = 30

  2. 342=1443\cdot 4^2 =144

  3. 07=00^7=0 and a1=aa^1=a

  4. 34=813^4=81

  5. 104=1000010^4=10000

  6. a3a5=a8a^3 \cdot a^5 = a^8

  7. a3a5a2=a9a^3 \cdot a^5 \cdot a^2 = a^9

  8. (a+b)4=a4+b4(a+b)^4=a^4+b^4

  9. (ab)4=a4b4(a\cdot b)^4=a^4 \cdot b^4

  10. (a3)5=a15(a^3)^5=a^{15}

  11. a8a4=a2\frac{a^8}{a^4}=a^{2}

  12. a7a3=a4\frac{a^7}{a^3}=a^{4}

  13. a5b5=(ab)5a^5\cdot b^5=(a\cdot b)^5

  14. a5b4=(ab)9a^5\cdot b^4= (ab)^9

  15. a5b4=(ab)20a^5\cdot b^4= (ab)^{20}

  16. a5a7=1a2\frac{a^5}{a^7}=\frac{1}{a^2}

  17. (2a)4=16a4(2a)^4=16a^4

  18. a5b5=ab5a^5\cdot b^5=a b^5

  19. 2a4=16a42a^4=16 a^4

  20. a4b7c2b4a5c4=b3ac2\frac{a^4\cdot b^7\cdot c^2}{b^4\cdot a^5\cdot c^4}=\frac{b^3}{a\cdot c^2}

  21. (a+b)5(a+b)4=(a+b)9(a+b)^5\cdot (a+b)^4=(a+b)^9

  22. a5a4=a\frac{a^5}{a^4}=a

  23. (a+b)3(a+b)4=1a+b\frac{(a+b)^3}{(a+b)^4}=\frac{1}{a+b}

  24. (2a)3(3a)2=72a5(2a)^3 \cdot (3a)^2=72a^5

  25. a53a2=3a3\frac{a^5}{3a^2}=3 a^3

  26. a+b3=(a+b)3a+b^3=(a+b)^3

  27. (1a)4=1a4\left(\frac{1}{a}\right)^4=\frac{1}{a^4}

  28. (2a)4=16a4\left(\frac{2}{a}\right)^4=\frac{16}{a^4}

  29. 2a2a2=2\frac{2a^2}{a^2}=2

  30. 2+a2a2=2\frac{2+a^2}{a^2}=2

Solution
  1. 3+52=3+5+5=13303+5\cdot 2 = 3+5+5 = 13 \neq 30 wrong
  2. 342=3441443\cdot 4^2 = 3\cdot 4\cdot 4 \neq 144 wrong
  3. 07=0000000=00^7=0\cdot 0\cdot 0\cdot 0\cdot 0\cdot 0\cdot 0=0 correct, and a1=aa^1=a correct
  4. 34=3333=813^4=3\cdot 3\cdot 3\cdot 3 =81 correct
  5. 104=10101010=1000010^4=10 \cdot 10\cdot 10\cdot 10 =10000 correct
  6. a3a5=aaaaaaaa=a8a^3 \cdot a^5 = aaa\,aaaaa = a^8 correct
  7. a3a5a2=aaaaaaaaaa=a10a9a^3 \cdot a^5 \cdot a^2 = aaa\,aaaaa\,aa =a^{10} \neq a^9 wrong
  8. (a+b)4=(a+b)(a+b)(a+b)(a+b)a4+b4(a+b)^4=(a+b)(a+b)(a+b)(a+b) \neq a^4+b^4 wrong
  9. (ab)4=(ab)(ab)(ab)(ab)=abababab=aaaabbbb=a4b4(a\cdot b)^4= (ab)(ab)(ab)(ab)=abababab=aaaabbbb=a^4 \cdot b^4 correct
  10. (a3)5=(a3)(a3)(a3)(a3)(a3)=aaaaaaaaaaaaaaa=a15(a^3)^5=(a^3)(a^3)(a^3)(a^3)(a^3) = aaa\,aaa\,aaa\,aaa\,aaa = a^{15} correct
  11. a8a4=aaaa=a4a2\frac{a^8}{a^4}=\frac{aaaa\not a \not a \not a \not a}{\not a \not a \not a \not a} = a^4 \neq a^{2} wrong
  12. a7a3=aaaa=a4\frac{a^7}{a^3} = \frac{aaaa\not a \not a \not a}{\not a \not a \not a} = a^{4} correct
  13. a5b5=aaaaabbbbb=ababababab=(ab)(ab)(ab)(ab)(ab)=(ab)5a^5\cdot b^5= aaaaa\,bbbbb = ababababab = (ab)(ab)(ab)(ab)(ab) = (a\cdot b)^5 correct
  14. a5b4=aaaaabbbb(ab)9a^5\cdot b^4= aaaaa\,bbbb \neq (ab)^9 wrong
  15. a5b4=aaaaabbbb(ab)20a^5\cdot b^4= aaaaa\,bbbb \neq (ab)^{20} wrong
  16. a5a7=aa=1a2\frac{a^5}{a^7} = \frac{\not a \not a \not a \not a \not a}{\not a \not a \not a \not a \not a aa} = \frac{1}{a^2} correct
  17. (2a)4=(2a)(2a)(2a)(2a)=2222aaaa=16a4(2a)^4 = (2a)(2a)(2a)(2a) = 2\cdot 2 \cdot 2 \cdot 2 \cdot aaaa = 16a^4 correct
  18. a5b5=aaaaabbbbb=ababababab=(ab)5ab5a^5\cdot b^5 = aaaaa\,bbbbb = ababababab=(ab)^5 \neq a b^5 wrong
  19. 2a4=2aaaa16a42a^4= 2\cdot aaaa \neq 16 a^4 wrong
  20. a4b7c2b4a5c4=bbbacc=b3ac2\frac{a^4\cdot b^7\cdot c^2}{b^4\cdot a^5\cdot c^4}= \frac{ \not a \not a \not a \not a \not b \not b \not b \not b bbb \not c \not c}{\not b \not b \not b \not b a \not a \not a\not a \not a \not c \not c cc} = \frac{b^3}{a\cdot c^2} correct
  21. (a+b)5(a+b)4=(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)=(a+b)9(a+b)^5\cdot (a+b)^4 = (a+b)(a+b)(a+b)(a+b)\,\,(a+b)(a+b)(a+b)(a+b)(a+b) = (a+b)^9 correct
  22. a5a4==a=a\frac{a^5}{a^4}= = \frac{a \not a \not a \not a \not a}{ \not a \not a \not a \not a} = a correct
  23. (a+b)3(a+b)4=(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)(a+b)=1a+b\frac{(a+b)^3}{(a+b)^4} = \frac{\cancel{(a+b)}\cancel{(a+b)}\cancel{(a+b)}}{\cancel{(a+b)} \cancel{(a+b)} \cancel{(a+b)} (a+b)} = \frac{1}{a+b} correct
  24. (2a)3(3a)2=(2a)(2a)(2a)(3a)(3a)=22233aaaaa=72a5(2a)^3 \cdot (3a)^2 = (2a)(2a)(2a)\,(3a)(3a)=2\cdot 2\cdot 2\cdot 3\cdot 3\cdot aaaaa = 72 a^5 correct
  25. a53a2=aaa3=a333a3\frac{a^5}{3a^2} = \frac{aaa \not a \not a}{3 \not a \not a} = \frac{a^3}{3} \neq 3 a^3 wrong
  26. a+b3=a+bbb(a+b)3a+b^3 = a+bbb \neq (a+b)^3 wrong
  27. (1a)4=1a1a1a1a=1111aaaa=1a4\left(\frac{1}{a}\right)^4 = \frac{1}{a}\frac{1}{a}\frac{1}{a}\frac{1}{a} = \frac{1\cdot 1\cdot 1\cdot 1}{aaaa} = \frac{1}{a^4} correct
  28. (2a)4=2a2a2a2a=2222aaaa=16a4\left(\frac{2}{a}\right)^4= \frac{2}{a}\frac{2}{a}\frac{2}{a}\frac{2}{a} = \frac{2\cdot 2\cdot 2\cdot 2}{aaaa} = \frac{16}{a^4} correct
  29. 2a2a2=2=2\frac{2a^2}{a^2}= \frac{2 \not a \not a}{\not a \not a} =2 correct
  30. 2+a2a2=2+aaaa2\frac{2+a^2}{a^2}= \frac{2+aa}{aa} \neq 2 wrong
Exercise 2
  1. Determine (1)3(-1)^3, (1)5(-1)^5, (1)2(-1)^2, and (1)4(-1)^4.

  2. Formulate a rule that tells you if (1)n(-1)^n is 11 or 1-1 based on the value of nn (a natural number).

  3. Is (2)1001(-2)^{1001} positive or negative? Why?

  4. What is the difference between (2)1000(-2)^{1000} and 21000-2^{1000}?

Solution
  1. (1)3=(1)(1)(1)=1(-1)^3=(-1)(-1)(-1)=\underline{-1}, (1)5=(1)(1)(1)(1)(1)=1(-1)^5=(-1)(-1)(-1)(-1)(-1)=\underline{-1}, (1)2=(1)(1)=1(-1)^2=(-1)(-1)=\underline{1} (1)4=(1)(1)(1)(1)=1(-1)^4=(-1)(-1)(-1)(-1)=\underline{1}
  2. (1)n=1(-1)^n=-1 for nn odd, and (1)n=1(-1)^n=1 for nn even.
  3. negative, because nn is odd: (2)1001=(2)....(2)1001<0(-2)^{1001}=\underbrace{(-2)....(-2)}_{1001}<0.
  4. (2)1000=(2)....(2)1000>0(-2)^{1000}=\underbrace{(-2)....(-2)}_{1000}>0 is positive, 21000=22...21000<0-2^{1000}=-\underbrace{\,2\cdot 2\cdot ...\cdot 2}_{1000}<0 is negative.
Exercise 3

The power rules. aa and bb are some numbers, nn and mm are natural numbers. Fill in the boxes.

  1. (SB) Same base rules: anam=a,a^n \cdot a^m = a^\square, \quad anam=a,\frac{a^n}{a^m} = a^\square,\quad anam=1a\frac{a^n}{a^m} = \frac{1}{a^\square}

  2. (SE) Same exponent rules: anbn=(ab),a^n \cdot b^n = (a\cdot b)^\square, \quad anbn=(ab)\frac{a^n}{b^n}=\left(\frac{a}{b}\right)^\square

  3. (PP) Power of a power rule: (an)m=a\left(a^n\right)^m = a^\square

  4. (DF) Do not forget rule: a+b(a+b)a^\square + b^\square \neq (a+b)^\square

Solution
  1. (SB) Same base rules:

    anam=an+ma^n \cdot a^m = a^{n+m}

    anam=anm\frac{a^n}{a^m} = a^{n-m}\, if n>mn>m

    anam=1amn\frac{a^n}{a^m} = \frac{1}{a^{m-n}}\, if n<mn<m

  2. (SE) Same exponent rules:

    anbn=(ab)na^n \cdot b^n = (a\cdot b)^n,

    anbn=(ab)n\frac{a^n}{b^n}=\left(\frac{a}{b}\right)^n

  3. (PP) Power of a power rule: (an)m=anm\left(a^n\right)^m = a^{n\cdot m}

  4. (DF) Do not forget rule: an+bn(a+b)na^n + b^n \neq (a+b)^n