Katana VentraIP

Division by zero

In mathematics, division by zero, division where the divisor (denominator) is zero, is a unique and problematic special case. Using fraction notation, the general example can be written as , where is the dividend (numerator).

For other uses, see Division by zero (disambiguation).

The usual definition of the quotient in elementary arithmetic is the number which yields the dividend when multiplied by the divisor. That is, is equivalent to By this definition, the quotient is nonsensical, as the product is always rather than some other number Following the ordinary rules of elementary algebra while allowing division by zero can create a mathematical fallacy, a subtle mistake leading to absurd results. To prevent this, the arithmetic of real numbers and more general numerical structures called fields leaves division by zero undefined, and situations where division by zero might occur must be treated with care. Since any number multiplied by zero is zero, the expression is also undefined.


Calculus studies the behavior of functions in the limit as their input tends to some value. When a real function can be expressed as a fraction whose denominator tends to zero, the output of the function becomes arbitrarily large, and is said to "tend to infinity", a type of mathematical singularity. For example, the reciprocal function, tends to infinity as tends to When both the numerator and the denominator tend to zero at the same input, the expression is said to take an indeterminate form, as the resulting limit depends on the specific functions forming the fraction and cannot be determined from their separate limits.


As an alternative to the common convention of working with fields such as the real numbers and leaving division by zero undefined, it is possible to define the result of division by zero in other ways, resulting in different number systems. For example, the quotient can be defined to equal zero; it can be defined to equal a new explicit point at infinity, sometimes denoted by the infinity symbol ; or it can be defined to result in signed infinity, with positive or negative sign depending on the sign of the dividend. In these number systems division by zero is no longer a special exception per se, but the point or points at infinity involve their own new types of exceptional behavior.


In computing, an error may result from an attempt to divide by zero. Depending on the context and the type of number involved, dividing by zero may evaluate to positive or negative infinity, a special not-a-number value,[1] zero,[2] generate an exception, display an error message, or crash or hang the program.

Calculus[edit]

Calculus studies the behavior of functions using the concept of a limit, the value to which a function's output tends as its input tends to some specific value. The notation means that the value of the function can be made arbitrarily close to by choosing sufficiently close to


In the case where the limit of the real function increases without bound as tends to the function is not defined at a type of mathematical singularity. Instead, the function is said to "tend to infinity", denoted and its graph has the line as a vertical asymptote. While such a function is not formally defined for and the infinity symbol in this case does not represent any specific real number, such limits are informally said to "equal infinity". If the value of the function decreases without bound, the function is said to "tend to negative infinity", In some cases a function tends to two different values when tends to from above () and below (); such a function has two distinct one-sided limits.[23]


A basic example of an infinite singularity is the reciprocal function, which tends to positive or negative infinity as tends to :





In most cases, the limit of a quotient of functions is equal to the quotient of the limits of each function separately,





However, when a function is constructed by dividing two functions whose separate limits are both equal to then the limit of the result cannot be determined from the separate limits, so is said to take an indeterminate form, informally written (Another indeterminate form, results from dividing two functions whose limits both tend to infinity.) Such a limit may equal any real value, may tend to infinity, or may not converge at all, depending on the particular functions. For example, in





the separate limits of the numerator and denominator are , so we have the indeterminate form , but simplifying the quotient first shows that the limit exists:


Alternative number systems[edit]

Extended real line[edit]

The affinely extended real numbers are obtained from the real numbers by adding two new numbers and read as "positive infinity" and "negative infinity" respectively, and representing points at infinity. With the addition of the concept of a "limit at infinity" can be made to work like a finite limit. When dealing with both positive and negative extended real numbers, the expression is usually left undefined. However, in contexts where only non-negative values are considered, it is often convenient to define .

Projectively extended real line[edit]

The set is the projectively extended real line, which is a one-point compactification of the real line. Here means an unsigned infinity or point at infinity, an infinite quantity that is neither positive nor negative. This quantity satisfies , which is necessary in this context. In this structure, can be defined for nonzero a, and when a is not . It is the natural way to view the range of the tangent function and cotangent functions of trigonometry: tan(x) approaches the single point at infinity as x approaches either +π/2 or π/2 from either direction.


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, is undefined in this extension of the real line.

Riemann sphere[edit]

The subject of complex analysis applies the concepts of calculus in the complex numbers. Of major importance in this subject is the extended complex numbers the set of complex numbers with a single additional number appended, usually denoted by the infinity symbol and representing a point at infinity, which is defined to be contained in every exterior domain, making those its topological neighborhoods.


This can intuitively be thought of as wrapping up the infinite edges of the complex plane and pinning them together at the single point a one-point compactification, making the extended complex numbers topologically equivalent to a sphere. This equivalence can be extended to a metrical equivalence by mapping each complex number to a point on the sphere via inverse stereographic projection, with the resulting spherical distance applied as a new definition of distance between complex numbers; and in general the geometry of the sphere can be studied using complex arithmetic, and conversely complex arithmetic can be interpreted in terms of spherical geometry. As a consequence, the set of extended complex numbers is often called the Riemann sphere. The set is usually denoted by the symbol for the complex numbers decorated by an asterisk, overline, tilde, or circumflex, for example


In the extended complex numbers, for any nonzero complex number ordinary complex arithmetic is extended by the additional rules However, , , and are left undefined.

Computer arithmetic[edit]

Floating-point arithmetic[edit]

In computing, most numerical calculations are done with floating-point arithmetic, which since the 1980s has been standardized by the IEEE 754 specification. In IEEE floating-point arithmetic, numbers are represented using a sign (positive or negative), a fixed-precision significand and an integer exponent. Numbers whose exponent is too large to represent instead "overflow" to positive or negative infinity (+∞ or −∞), while numbers whose exponent is too small to represent instead "underflow" to positive or negative zero (+0 or −0). A NaN (not a number) value represents undefined results.


In IEEE arithmetic, division of 0/0 or ∞/∞ results in NaN, but otherwise division always produces a well-defined result. Dividing any non-zero number by positive zero (+0) results in an infinity of the same sign as the dividend. Dividing any non-zero number by negative zero (−0) results in an infinity of the opposite sign as the dividend. This definition preserves the sign of the result in case of arithmetic underflow.[33]


For example, using single-precision IEEE arithmetic, if x = −2−149, then x/2 underflows to −0, and dividing 1 by this result produces 1/(x/2) = −∞. The exact result −2150 is too large to represent as a single-precision number, so an infinity of the same sign is used instead to indicate overflow.

On September 21, 1997, a division by zero error in the "Remote Data Base Manager" aboard brought down all the machines on the network, causing the ship's propulsion system to fail.[38][39]

USS Yorktown (CG-48)

Zero divisor

Zero to the power of zero

L'Hôpital's rule

Bunch, Bryan (1982), , New York: Van Nostrand Reinhold, ISBN 0-442-24905-5 (Dover reprint 1997)

Mathematical Fallacies and Paradoxes

(2023), Is Math(s) Real? How Simple Questions Lead Us to Mathematics' Deepest Truths, Basic Books, ISBN 978-1-541-60182-6

Cheng, Eugenia

Klein, Felix (1925), Elementary Mathematics from an Advanced Standpoint / Arithmetic, Algebra, Analysis, translated by Hedrick, E. R.; Noble, C. A. (3rd ed.), Dover

Hamilton, A. G. (1982), Numbers, Sets, and Axioms, Cambridge University Press,  978-0521287616

ISBN

Henkin, Leon; Smith, Norman; Varineau, Verne J.; Walsh, Michael J. (2012), Retracing Elementary Mathematics, Literary Licensing LLC,  978-1258291488

ISBN

(1996), Chapter Zero : Fundamental Notions of Abstract Mathematics, Addison-Wesley, ISBN 978-0-201-82653-1

Schumacher, Carol

Zazkis, Rina; Liljedahl, Peter (2009), "Stories that explain", Teaching Mathematics as Storytelling, Sense Publishers, pp. 51–65, :10.1163/9789087907358_008, ISBN 978-90-8790-734-1

doi

Northrop, Eugene P. (1944), , New York: D. Van Nostrand, Ch. 5 "Thou Shalt Not Divide By Zero", pp. 77–96

Riddles in Mathematics: A Book of Paradoxes

(2000), Zero: The Biography of a Dangerous Idea, New York: Penguin, ISBN 0-14-029647-6

Seife, Charles

(1957), Introduction to Logic, Princeton: D. Van Nostrand, §8.5 "The Problem of Division by Zero" and §8.7 "Five Approaches to Division by Zero" (Dover reprint, 1999)

Suppes, Patrick

(1941), Introduction to Logic and to the Methodology of Deductive Sciences, Oxford University Press, §53 "Definitions whose definiendum contains the identity sign"

Tarski, Alfred