Division by zero
From Free net encyclopedia
In mathematics, a division is called a division by zero if the divisor is zero. Such a division can be formally expressed as <math>\begin{matrix}\frac{a}{0}\end{matrix}</math> where a is the dividend. Whether this expression can be assigned a meaningful (well-defined) value depends upon the mathematical setting. In ordinary (real number) arithmetic, the expression has no meaning. If we take the naive view that a divided by b is the size of one part, when a is divided into b equal parts, then division by zero clearly has no meaning, because nothing can be divided into zero parts.
Contents |
Early attempts
The Brahmasphutasiddhanta of Brahmagupta is the earliest known text to treat zero as a number in its own right and to define operations involving zero. The author failed, however, in his attempt to explain division by zero -- his definition can be easily proven to lead to algebraic absurdities. According to Brahmagupta,
- "A positive or negative number when divided by zero is a fraction with the zero as denominator. Zero divided by a negative or positive number is either zero or is expressed as a fraction with zero as numerator and the finite quantity as denominator. Zero divided by zero is zero."
In 830, Mahavira tried unsuccessfully to correct Brahmagupta's mistake in his book in Ganita Sara Samgraha:
- "A number remains unchanged when divided by zero."
Bhaskara II tried to solve the problem by defining <math>n/0=\infty</math>. This definition makes a certain degree of sense, as discussed below, but can lead to paradoxes if not treated carefully. It is unlikely that he understood all the intricacies involved, so his solution cannot be considered successful. [1]
Algebraic interpretation
It is generally regarded among mathematicians that a natural way to interpret division by zero is to first define division in terms of other arithmetic operations. Under the standard rules for arithmetic on integers, rational numbers, real numbers and complex numbers, division by zero is undefined. Division by zero must be left undefined in any mathematical system that obeys the axioms of a field. The reason is that division is defined to be the inverse operation of multiplication. This means that the value of <math>a/b</math> is the solution x of the equation <math>bx = a</math> whenever such a value exists and is unique. Otherwise the value is left undefined.
For b = 0, the equation bx = a can be rewritten as 0x = a or simply 0 = a. Thus, in this case, the equation bx = a has no solution if a is not equal to 0, and has any x as a solution if a equals 0. In either case, there is no unique value, so <math>a/b</math> is undefined. Conversely, in a field, the expression <math>a/b</math> is always defined if b is not equal to zero.
Fallacies based on division by zero
It is possible to disguise a special case of division by zero in an algebraic argument, leading to spurious proofs that 2 = 1 such as the following:
- 1) For any real number <math>x</math>:
- <math> x^2 - x^2 = x^2 - x^2 </math>
- 2) Factoring both sides in two different ways:
- <math> (x - x)(x + x) = x(x - x) </math>
- 3) Dividing both sides by <math>x - x</math>, giving <math> (0/0) </math>:
- <math> (0/0)(x + x) = x(0/0) </math>
- 4) Simplified, yields:
- <math> (1)(x + x) = x(1) </math>
- 5) Which is:
- <math> 2x = x </math>
- 6) Since this is valid for any value of <math>x</math>, we can plug in <math>x = 1</math>.
- <math> 2 = 1 </math>
This argument is sometimes presented as a riddle; In such cases the 3rd step is usually omitted in an attempt to trick the listener.
The fallacy is the assumption in step 4 that <math> (x - x)/(x - x) </math> -- which is <math> (0/0) </math> -- simplifies to <math> 1 </math>. This proof is for the special case of dividing by zero when the numerator is zero. The fallacy results from the assumption that <math>0/0 = 1</math> -- an assumption that generates the absurdity that <math> 2 = 1 </math>.
Any other non-zero value assigned to 0/0 leads to similar contradictions. In practice, division by a term in any algebraic argument requires an explicit assumption that the term is not zero or a justification that the term can never be zero.
Abstract algebra
Similar statements are true in more general algebraic structures, such as rings and fields. In a field, every nonzero element is invertible under multiplication, so as above, division poses problems only when attempting to divide by zero. However, in other rings, division by nonzero elements may also pose problems. Consider, for example, the ring Z/6Z of integers mod 6. What meaning should we give to the expression <math>2/2</math>? This should be the solution x of the equation <math>2x = 2</math>. But in the ring Z/6Z, 2 is not invertible under multiplication. This equation has two distinct solutions, x = 1 and x = 4, so the expression <math>2/2</math> is undefined.
Limits and division by zero
Image:Hyperbola one over x.svg
At first glance it seems possible to define <math>\begin{matrix}\frac{a}{0}\end{matrix}</math> by considering the limit of <math>\begin{matrix}\frac{a}{b}\end{matrix}</math> as b approaches 0.
For any positive a, it is known that
- <math>\lim_{b \to 0^{+}} {a \over b} = {+}\infty</math>
and for any negative a,
- <math>\lim_{b \to 0^{+}} {a \over b} = {-}\infty</math>
Therefore, we might consider defining <math>\begin{matrix}\frac{a}{0}\end{matrix}</math> as <math>+\infty</math> for positive a, and <math>-\infty</math> for negative a. However, this definition fails for two reasons.
First, positive and negative infinity are not real numbers. So as long as we wish to remain in the context of real numbers, we have not defined anything meaningful. If we want to use such a definition, we will have to extend the real number line, as discussed below.
Second, taking the limit from the right is arbitrary. We could just as well have taken limits from the left and defined <math>\begin{matrix}\frac{a}{0}\end{matrix}</math> to be <math>-\infty</math> for positive a, and <math>+\infty</math> for negative a. This can be further illustrated using the equation (assuming that several natural properties of reals extend to infinities)
<math>+\infty = \frac{1}{0} = \frac{1}{-0} = -\frac{1}{0} = -\infty</math>
which doesn't make much sense. This means that the only workable extension is introducing an unsigned infinity, discussed below.
Furthermore, there is no obvious definition of <math>\begin{matrix}\frac{0}{0}\end{matrix}</math> that can be derived from considering the limit of a ratio. The limit
- <math> \lim_{(a,b) \to (0,0)} {a \over b} </math>
does not exist. Limits of the form
- <math> \lim_{x \to 0} {f(x) \over g(x)} </math>
in which both f(x) and g(x) approach 0 as x approaches 0, may converge to any value or may not converge at all (see l'Hopital's rule for discussion and examples of limits of ratios). So, this particular approach cannot lead us to a useful definition of <math>\begin{matrix}\frac{0}{0}\end{matrix}</math>.
Formal interpretation
A formal calculation is one which is carried out using rules of arithmetic, without consideration of whether the result of the calculation is well-defined. Thus, as a "rule of thumb", it is sometimes useful to think of <math>\begin{matrix}\frac{a}{0}\end{matrix}</math> as being <math> \infty </math>, provided a is not zero. This infinity can be either positive, negative or unsigned, depending on context. For example, formally:
- <math>\lim_{x \to 0} {\frac{1}{x^2} =\frac{\lim_{x \to 0} {1}}{\lim_{x \to 0} {x^2}}} = \frac{1}{+0} = +\infty</math>
Of course, as with any formal calculation, invalid results may be obtained.
Other number systems
Although division by zero cannot be sensibly defined with real numbers and integers, it is possible to consistently define division by zero in other mathematical structures:
Real projective line
The set <math>\mathbb{R}\cup\{\infty\}</math> is the real projective line. Here <math>\infty</math> means an unsigned infinity, an infinite quantity which is neither positive nor negative. This quantity satisfies <math>-\infty = \infty</math> which, as we have seen, is necessary in this context. In this structure, we can define <math>\begin{matrix}\frac{a}{0} = \infty\end{matrix}</math> for nonzero a, and <math>\begin{matrix}\frac{a}{\infty} = 0\end{matrix}</math>. These definitions lead to many interesting results. It should be noted, however, that this structure is not a field, and should not be expected to behave like one. For example, <math>\infty + \infty</math> has no meaning in the projective line.
Riemann sphere
The set <math>\mathbb{C}\cup\{\infty\}</math> is the Riemann sphere, of major importance in complex analysis.
Here, too, <math>\infty</math> is an unsigned infinity, or, as it is often called in this context, the point at infinity. It is analogous to the real projective line, except that it is based on the field of complex number; and is not a field.
Non-standard analysis
In hyperreal numbers and surreal numbers, division by zero is still impossible, but division by non-zero infinitesimals is possible.
Abstract algebra
Any number system which forms a commutative ring, as do the integers, the real numbers, and the complex numbers, for instance, can be extended to a wheel in which division by zero is always possible, but division has then a slightly different meaning.
In mathematical analysis
In distribution theory one can extend the function <math>\begin{matrix}\frac{1}{x}\end{matrix}</math> to a distribution on the whole space of real numbers (in effect by using Cauchy principal values). It does not, however, make sense to ask for a 'value' of this distribution at <math>x = 0</math>; a sophisticated answer refers to the singular support of the distribution.
Division by zero in computer arithmetic
The IEEE floating-point standard, supported by almost all modern processors, specifies that every floating point arithmetic operation, including division by zero, has a well-defined result. In IEEE 754 arithmetic, a/0 is positive infinity when a is positive, negative infinity when a is negative, and NaN (not a number) when a = 0.
Integer division by zero is usually handled differently from floating point since there is no integer representation for the result. Some processors generate an exception when an attempt is made to divide an integer by zero, although others will simply continue and generate an incorrect result for the division (often 0). If an exception is raised, the usual result is aborting whatever program it occurred in, although some programs (especially those that use fixed-point arithmetic where no dedicated floating-point hardware is available) will use behavior similar to the IEEE standard, using large positive and negative numbers to approximate infinities.
See also
it:Divisione per zero nl:Delen door nul ja:ゼロ除算 pl:Dzielenie przez zero