I've written this before but I have nothing better to do!
You probably saw "
an" for n a positive integer as "a multiplied by itself n times". From that definition we can get two important properties:
(an)(am)=an+m and
(an)m=amn.
We can see the first by thinking of
an+m as the product of n+ m copies of a multiplied together. We can separate those into n copies and m copies so
an and
am.
For
(an)m think of this as m copies of
an and think of each
an as n copies of a multiplied together on one row, m rows. That is a total of mn copies of a multiplied together.
Okay, what in the world could we mean by "
a0"? We can't multiply "0 copies" of a together! So we need to define
a0 separately. We are free to define it any way we want but it would be nice if
(an)(am)=an+m were true even when n= 0. So we want
(an)(a0)=an+0. But 0 is the "additive identity"-
m+0=m so that says
(an)(a0)=an. As long as
an=0, which means
a=0, we can divide both sides by
an:
a0=1. That is, in order to have
(an)(am)=an+m we must
define a0=1. Again, that is if
a=0. "
00" is NOT defined.
What about negative integers? How should we define
a−n? Again, we would like
(an)(am)=an+m for m= -n. In that case, we have
(an)(a−n)=an−n=a0=1. As long as a is not 0, we can divide by
an to get
a−n=an1.
That is, for
a=0,
a−n=an1. In particular,
8−1/2=81/21.