Added to Favorites

Related Searches

Definitions

In mathematics, a division is called a division by zero if the divisor is zero. Such a division can be formally expressed as $textstylefrac\{a\}\{0\}$ where a is the dividend. Whether this expression can be assigned a well-defined value depends upon the mathematical setting. In ordinary (real number) arithmetic, the expression has no meaning.

In computer programming, integer division by zero may cause a program to terminate or, as in the case of floating point numbers, may result in a special not-a-number value (see below).

So for dividing by zero — what if there are 10 apples to be distributed, but no one comes to the table? How many apples does each "person" at the table receive? The question itself is meaningless — each "person" can't receive zero, or 10, or an infinite number of apples for that matter, because there are simply no people to receive anything in the first place. So $textstylefrac\{10\}\{0\}$, at least in elementary arithmetic, is said to be meaningless, or undefined.

Another way to understand the nature of division by zero is by considering division as a repeated subtraction. For example, to divide 13 by 5, 5 can be subtracted twice, which leaves a remainder of 3 — the divisor is subtracted until the remainder is less than the divisor. The result is often reported as $textstylefrac\{13\}\{5\}$ = 2 remainder 3. But, in the case of zero, repeated subtraction of zero will never yield a remainder less than zero. Dividing by zero by repeated subtraction results in a series of subtractions that never ends. This connection of division by zero to infinity takes us beyond elementary arithmetic (see below).

The Brahmasphutasiddhanta of Brahmagupta (598–668) 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 $textstylefrac\{n\}\{0\}=infty$. This definition makes some sense, as discussed below, but can lead to paradoxes if not treated carefully. These paradoxes were not treated until modern times.

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 $textstylefrac\{a\}\{b\}$ is the solution x of the equation $bx\; =\; a$ 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 $textstylefrac\{a\}\{b\}$ is undefined. Conversely, in a field, the expression $textstylefrac\{a\}\{b\}$ is always defined if b is not equal to 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:

With the following assumptions:

- $begin\{align\}$

The following must be true:

- $0times\; 1\; =\; 0times\; 2.,$

Dividing by zero gives:

- $textstyle\; frac\{0\}\{0\}times\; 1\; =\; frac\{0\}\{0\}times\; 2.$

Simplified, yields:

- $1\; =\; 2.,$

The fallacy is the implicit assumption that dividing by 0 is a legitimate operation with $0/0=1$.

Although most people would probably recognize the above "proof" as fallacious, the same argument can be presented in a way that makes it harder to spot the error. For example, if 1 is denoted by $x$, $0$ can be hidden behind $x-x$ and $2$ behind $x+x$. The above mentioned proof can then be displayed as follows:

- $begin\{align\}$

hence:

- $(x-x)x\; =\; (x-x)(x+x).,$

Dividing by $x-x,$ gives:

- $x\; =\; x+x,$

and dividing by $x,$ gives:

- $1\; =\; 2.,$

The "proof" above requires the use of the distributive law. However, this requirement introduces an asymmetry between the two operations in that multiplication distributes over addition, but not the other way around. Thus, the multiplicative identity element, 1, has an additive inverse, -1, but the additive identity element, 0, does not have a multiplicative inverse.

For any positive a, it is known that

- $lim\_\{b\; to\; 0^\{+\}\}\; \{a\; over\; b\}\; =\; \{+\}infty$

- $lim\_\{b\; to\; 0^\{+\}\}\; \{a\; over\; b\}\; =\; \{-\}infty.$

- $+infty\; =\; frac\{1\}\{0\}\; =\; frac\{1\}\{-0\}\; =\; -frac\{1\}\{0\}\; =\; -infty$

which would lead to the result +∞ = −∞, inconsistent with standard definitions of limit in the extended real line. The only workable extension is introducing an unsigned infinity, discussed below.

Furthermore, there is no obvious definition of $textstylefrac\{0\}\{0\}$ that can be derived from considering the limit of a ratio. The limit

- $lim\_\{(a,b)\; to\; (0,0)\}\; \{a\; over\; b\}$

- $lim\_\{x\; to\; 0\}\; \{f(x)\; over\; g(x)\}$

- $limlimits\_\{x\; to\; 0\}\; \{frac\{1\}\{x\}\; =frac\{limlimits\_\{x\; to\; 0\}\; \{1\}\}\{limlimits\_\{x\; to\; 0\}\; \{x\}\}\}\; =\; frac\{1\}\{0\}\; =\; infty.$

As with any formal calculation, invalid results may be obtained. A logically rigorous as opposed to formal computation would say only that

- $limlimits\_\{x\; to\; 0^+\}\; \{frac\{1\}\{x\}\}\; =\; frac\{1\}\{0^+\}\; =\; +infty$ and $limlimits\_\{x\; to\; 0^-\}\; \{frac\{1\}\{x\}\}\; =\; frac\{1\}\{0^-\}\; =\; -infty.$

This definition leads to many interesting results. However, the resulting algebraic structure is not a field, and should not be expected to behave like one. For example, $infty\; +\; infty$ has no meaning in the projective line.

In distribution theory one can extend the function $textstylefrac\{1\}\{x\}$ 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 $x\; =\; 0$; a sophisticated answer refers to the singular support of the distribution.

The concepts applied to standard arithmetic are similar to those 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. This is likewise true in a skew field (which for this reason is called a division ring). However, in other rings, division by nonzero elements may also pose problems. For example, the ring Z/6Z of integers mod 6. The meaning of the expression $textstylefrac\{2\}\{2\}$ should be the solution x of the equation $2x\; =\; 2$. 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 $textstylefrac\{2\}\{2\}$ is undefined.

In field theory, the expression $textstylefrac\{a\}\{b\}$ is only shorthand for the formal expression $ab^\{-1\}$, where $b^\{-1\}$ is the multiplicative inverse of $b$. Since the field axioms only guarantee the existence of such inverses for nonzero elements, this expression has no meaning when $b$ is zero. In modern texts the axiom $textstyle\; 0neq\; 1$ is included in order to avoid having to consider the one-element field where the multiplicative identity coincides with the additive identity. In such 'fields' however, $0=1$, and $textstylefrac\{0\}\{0\}=frac\{0\}\{1\}=0$, and division by zero is actually noncontradictory.

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. The infinity signs change when dividing by −0 instead. This is possible because in IEEE 754 there are two zero values, plus zero and minus zero, and thus no ambiguity.

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. (That result is often zero.)

Because of the improper algebraic results of assigning any value to division by zero, many computer programming languages (including those used by calculators) explicitly forbid the execution of the operation and may prematurely halt a program that attempts it, sometimes reporting a "Divide by zero" error. 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. In some programming languages, an attempt to divide by zero results in undefined behavior.

In two's complement arithmetic, attempts to divide the smallest signed integer by $-1$ are attended by similar problems, and are handled with the same range of solutions, from explicit error conditions to undefined behavior.

Most calculators will either return an error or state that 1/0 is undefined, however some TI graphing calculators will evaluate 1/0^{2} to ∞.

- On September 21, 1997, a divide by zero error in the USS Yorktown (CG-48) Remote Data Base Manager brought down all the machines on the network, causing the ship's propulsion system to fail.

- Patrick Suppes 1957 (1999 Dover edition), Introduction to Logic, Dover Publications, Inc., Mineola, New York. ISBN 0-486-40687-3 (pbk.). This book is in print and readily available. Suppes's §8.5 The Problem of Division by Zero begins this way: "That everything is not for the best in this best of all possible worlds, even in mathematics,is well illustrated by the vexing problem of defining the operation of division in the elementary theory of artihmetic" (p. 163). In his §8.7 Five Approaches to Division by Zero he remarks that "...there is no uniformly satisfactory solution" (p. 166)
- Charles Seife 2000, Zero: The Biography of a Dangerous Idea, Penguin Books, NY, ISBN 0 14 02.9647 6 (pbk.). This award-winning book is very accessible. Along with the fascinating history of (for some) an abhorent notion and others a cultural asset, describes how zero is misapplied with respect to multiplication and division.
- Alfred Tarski 1941 (1995 Dover edition), Introduction to Logic and to the Methodology of Deductive Sciences, Dover Publications, Inc., Mineola, New York. ISBN 0-486-28462-X (pbk.). Tarski's §53 Definitions whose definiendum contains the identity sign discusses how mistakes are made (at least with respect to zero). He ends his chapter "(A discussion of this rather difficult problem [exactly one number satisfying a definiens] will be omitted here.*)" (p. 183). The * points to Exercise #24 (p. 189) wherein he asks for a proof of the following: "In section 53, the definition of the number '0' was stated by way of an example. In order to be certain that this definition does not lead to a contradiction, it should be preceded by the following theorem: There exists exactly one number x such that, for any number y, we have: y + x = y"

- Jakub Czajko (July 2004) "", Chaos, Solitons and Fractals, volume 21, number 2, pages 261–271.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday October 05, 2008 at 20:00:27 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday October 05, 2008 at 20:00:27 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2015 Dictionary.com, LLC. All rights reserved.