Navigation Panel: Previous | Up | Forward | Graphical Version | PostScript version | U of T Math Network Home

# Why is x^0 = 1?

Asked by Deliakos Argiris, T. E. I. (in Greece) on October 13, 1996:
Sorry for my English.

I do not understand why we agree with the axiom : x^0=1.

When b is a positive integer, a^b is defined to be the product of a multiplied by itself b times.

The question is, what is the most natural way to extend this definition to the case when b=0? Here are several ways to see that the definition a^0 = 1 is the only reasonable one:

1. Exponentiation satisfies the laws of exponents: a^((b+c)) = a^b a^c. If we want this law to still be satisfied when we extend to the case b=0, we need to have a^c = a^((0+c)) = a^0 a^c, and therefore we need to have a^0 = 1.

2. If a^b is b copies of the number a, all multiplied together, then a^0 should be the "empty product" with no factors multiplied together. In mathematics, the empty product is defined to be 1, because multiplying by nothing at all is the same as multiplying by 1.

3. Notice that a^b can be thought of as "start with the number 1, then multiply by a, b times." For instance, a^2 = 1 x a x a and a^1 = 1 x a. Therefore, a^0 should be just 1, not multiplied by anything else at all.

4. When a is a positive integer, yet another reason for defining a^0 = 1 is that a^b is the number of ways of writing (in order) b numbers, each from 1 to a. For instance, 3^2=9 because there are nine different pairs of numbers each of which is in the range from 1 to 3 (they are (1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), and (3,3)).

Therefore, a^0 should be the number of ways of writing no numbers, each of which is from 1 to a. There is exactly one way of doing this, namely, don't write any numbers at all!

(This reason is more compelling if you make it more mathematically precise, using the fact that a^b is the number of functions from a b-element set B to an a-element set A, and when b=0 the set B is the empty set, and there is exactly one function from the empty set into A, namely, the empty function).

The above reasons all illustrate why defining a^0 to be 1 is the only reasonable definition.

There's one other point worth mentioning: some of the reasons above are less compelling when a=0. For instance, in the first reason, we need to have a^c = a^0a^c, and if a is non-zero we can divide by a^c to deduce that a^0 = 1. However, if a=0 we no longer get a reason for a^0 to be 1.

Some of the reasons are still compelling, and, especially if we are in a context where only integer exponents are being considered, we still normally define 0^0 to be 1.

However, if we define a two-variable function f(x,y) = x^y, then this function does not have a well-defined limit as (x,y) -> (0,0). We can define 0^0=1 if we like, but the limit still won't exist. In other words, if A and B each approach zero, there's no guarantee as to what (if anything) A^B approaches. It need not approach our definition of 0^0.

That's why, in calculus, 0^0 is often called an indeterminate form. If one is working in situations where the exponent can continuously vary, it is usually better to leave 0^0 undefined to avoid making mistakes. However, if one is working in situations in which the exponent is always integral, 0^0 is usually defined to be 1.

These complications are only for 0^0. When a is nonzero, a^0 is always defined to be 1, for the reasons given above.

[ Submit Your Own Question ] [ Create a Discussion Topic ]

This part of the site maintained by (No Current Maintainers)
Last updated: April 19, 1999
Original Web Site Creator / Mathematical Content Developer: Philip Spencer
Current Network Coordinator and Contact Person: Joel Chan - mathnet@math.toronto.edu

Navigation Panel:

Go backward to Why You Can't Divide Nine By Zero
Go up to Question Corner Index
Go forward to How To Express A Repeating Decimal Number As A Fraction
Switch to graphical version (better pictures & formulas)
Access printed version in PostScript format (requires PostScript printer)
Go to University of Toronto Mathematics Network Home Page