division by zero

Suppose that we construct a number system where we can divide by zero. What are the consequences?

Dividing by $x$ means there exists an inverse ${\displaystyle \frac{1}{x}}$ so that $x\cdot {\displaystyle \frac{1}{x}}=1$. So if we could divide by $0$ then we would have a number we would call ${\displaystyle \frac{1}{0}}$. We know $0\cdot x=0$ for any $x$, so $0\cdot {\displaystyle \frac{1}{0}}=0$. However $0\cdot {\displaystyle \frac{1}{0}}=1$ because $x\cdot {\displaystyle \frac{1}{x}}=1$ for all $x$. Therefore $0=1$.

The problem is worse than forcing $0=1$. Indeed, $1\cdot x=x$ for all $x$, so

$$x=1\cdot x=0\cdot x=0.$$

So indeed every number is then 0.

Therefore, in a number system where we can add, subtract, multiply and divide (a field), we do not allow division by 0 because it would force the number system to only contain 0.

Hence, most calculators, from the the very basic to the full-fledged computer algebra system, generate some kind of an error message when asked to divide by 0. In fact, such an operation on a basic calculator causes the device to become inoperable until either the error clear key is pressed or the device is reset. A computer algebra system like Mathematica will complain about encountering “the infinite expression $\frac{1}{0}$” but deliver the result “ComplexInfinity” and remain operable.

But of course the limitations of machinery alone are not enough to forbid something from reality. So there are various thought experiments that can also be used to explain the omission of division by zero, for instance:

How could you slice a pizza into slices that have 0 width?

Since this would correspond to division by zero, it seems intellectually impossible. There is however an unfortunate side effect from such thinking. For example:

How could you slice a pizza into slices of width -7, since width is always a positive quantity? Furthermore, how could you actually slice a pizza into slices of width $\sqrt{7}$ or $e^{\pi }$, and so on? Yet we can actually divide by each of these numbers.

This is an example of how mathematical abstraction benefits the understanding of a problem.

Title	division by zero
Canonical name	DivisionByZero
Date of creation	2013-03-22 16:35:53
Last modified on	2013-03-22 16:35:53
Owner	Algeboy (12884)
Last modified by	Algeboy (12884)
Numerical id	10
Author	Algeboy (12884)
Entry type	Example
Classification	msc 12E99
Classification	msc 00A05
Related topic	Field