There are a number of ways of explaining why you cannot divide by zero. Here are my two favourites.

## Any Set of Numbers Collapses to a Single Number

How old are you? Zero years old.

How tall are you? Zero metres old.

How many teeth do you have? Zero.

How many Superbowls has Tom Brady won? Zero

Yep, if you allow division by zero you only end up with one number to measure everything with.

In any number system we like we have to include zero and one. They are the identities for addition and multiplication; where is any number we assume that zero and one have the properties:

and .

There are a number of things that we assume about any number system. One of them is the distributive law, that for any three numbers :

.

As , for any number , we have, using the distributive law:

,

.

Now, taking away from both sides (see here), we end up with (as by commutativity)

(Theorem 1)

Zero times anything is equal to zero.

Now consider the inverse of multiplying (more on this below). Suppose that you have a number and you multiply it by another number :

.

We assume that there is another number, (spoken -inverse), such that if we multiply by , it will undo the action of multiplying by :

,

i.e. .

This means that multiplying by … and then by … is the same as multiplying by one:

,

so that, at the moment, for any number , there exists a number , which, when multiplied by , gives one. This number is also denoted by and in fact is nothing but division by :

;

and of course we have the following:

, (Axiom 1)

.

So let us put Theorem 1 and Axiom 1 together:

and .

These are supposed to be true of all numbers and . If we can divide by zero: that means that exists as:

.

Consider Theorem 1 and Axiom 1 with and :

, by Axiom 1, but

, by Theorem 1.

Of course no matter how we calculate we must get the same answer. Some people stop here and say that one and zero are different and so we have a contradiction: we cannot allow the existence of (i.e. we cannot divide by zero).

We can go a little further. This result above means that one and zero must be the same number… is it possible that there is a new number system where one and zero are the same? There is! If then we have for any number :

,

that is *every number is equal to zero*. There is only one number and whenever we calculate anything we always get the same answer: zero… not much good for applications… although you can divide by zero! For more, see here.

## The, Ah!! I Can’t Get Back Approach

This is the more traditional approach… with pictures.

You can think of multiplication (and indeed any other operation) as somehow dynamically acting on a numberline. For example, starting with and multiplying by , we end up at :

Now division is simply the inverse of multiplying. So if you first multiply by , and get to , dividing by will simply bring you back to . This is done by multiplying by (see above):

Now imagine starting at and multiplying by . You end up at zero:

To divide by zero you must get back to by multiplying by :

However this is impossible, because, from zero you cannot multiply by anything to get you back to . As we saw above, zero times anything is zero.

So you cannot divide by zero because you cannot undo the action of multiplying by zero. This is connected to the fact that, if you think of zero as a destination after a multiplication by zero, there are many, many numbers you could have come from:

How can you send back to all these places simultaneously? This is versus the situation where, for example, when multiplying by two, and you arrive at six, there is only one place you could have come from:

In other words multiplying by zero is not invertible. The function , given by , has an inverse:

,

only when . When , the inverse image is the whole of .

## 2 comments

Comments feed for this article

September 30, 2017 at 8:50 am

Trigonometry for Projectiles | J.P. McCarthy: Math Page[…] Note , so that is not defined. Why? Answer here. […]

October 12, 2017 at 1:53 pm

Solving ‘Easy’ Equations: Part II | J.P. McCarthy: Math Page[…] The other thing we look out for as much as possible is that we cannot divide by zero. […]