Revision as of 12:55, 28 October 2007 editMeni Rosenfeld (talk | contribs)Extended confirmed users6,567 edits rv, please read the text more carefully← Previous edit | Latest revision as of 18:35, 23 December 2024 edit undoJacobolus (talk | contribs)Extended confirmed users35,824 edits Undid revision 1264775466 by Jmdidk (talk) – this is unsourced and out of context, and it's unclear what readers are supposed to get from the statement. how is this supposed meme status relevant to the topic? (perhaps try adding such a claim at an article about memes)Tag: Undo | ||
Line 1: | Line 1: | ||
{{Short description|Class of mathematical expression}} | |||
{{pp-semi-vandalism|expiry=November 1, 2007}} | |||
{{other uses}} | |||
{{For|the album by ]|Division by Zero (album)}} | |||
{{CS1 config |mode=cs2 }}{{use dmy dates |cs1-dates=sy |date=August 2024 }} | |||
] | |||
In ], '''division by zero''', ] where the divisor (denominator) is ], is a unique and problematic special case. Using ] notation, the general example can be written as <math>\tfrac a0</math>, where <math>a</math> is the dividend (numerator). | |||
{{redirect|Divide by zero|the game developer|Divide By Zero}} | |||
{{redirect|1/0|the web comic|1/0 (web comic)}} | |||
The usual definition of the ] in ] is the number which yields the dividend when ] by the divisor. That is, <math>c = \tfrac ab</math> is equivalent to <math>c \cdot b = a.</math> By this definition, the quotient <math>q = \tfrac{a}{0}</math> is nonsensical, as the product <math>q \cdot 0</math> is always <math>0</math> rather than some other number <math>a.</math> Following the ordinary rules of ] while allowing division by zero can create a ], a subtle mistake leading to absurd results. To prevent this, the arithmetic of ]s and more general numerical structures called ]s leaves division by zero ], 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. | |||
<!-- Markup note: See the discussion about how to properly format fractions --> | |||
In ], a ] is called a '''division by zero''' if the ] is ]. Such a division can be formally expressed as <math>\textstyle\frac{a}{0}</math> where ''a'' is the ]. Whether this ] can be assigned a ] value depends upon the mathematical setting. In ordinary (]) arithmetic, the expression has no meaning. | |||
] studies the behavior of ] in the ] as their input tends to some value. When a ] can be expressed as a fraction whose denominator tends to zero, the output of the function becomes arbitrarily large, and is said to "]", a type of ]. For example, the ], <math>f(x) = \tfrac 1x,</math> tends to infinity as <math>x</math> tends to <math>0.</math> When both the numerator and the denominator tend to zero at the same input, the expression is said to take an ], as the resulting limit depends on the specific functions forming the fraction and cannot be determined from their separate limits. | |||
In ], ] division by zero may cause a program to terminate or, as in the case of ] numbers, may result in a special ] value (see ]). | |||
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 <math>\tfrac{a}{0}</math> can be defined to equal zero; it can be defined to equal a new explicit ], sometimes denoted by the ] {{nobr|<math>\infty</math>;}} 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. | |||
==Interpretation in elementary arithmetic== | |||
When division is explained at the ] level, it is often considered as a description of dividing a ] of objects into equal parts. As an example, if you have 10 apples, and you want to distribute them evenly to five people, each person would receive <math>\textstyle\frac{10}{5}</math> = 2 apples. Similarly, if you have 10 apples to distribute to one person, each person would receive <math>\textstyle\frac{10}{1}</math> = 10 apples. | |||
In ], 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 ], return a special ] value, or ] the program, among other possibilities. | |||
We can use this to illustrate the problem of dividing by zero. Say you have 10 apples to distribute to zero people. How many apples does each "person" receive? An attempt to calculate <math>\textstyle\frac{10}{0}</math> becomes meaningless because the question itself is meaningless -- each "person" doesn'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. This is why as far as elementary arithmetic is concerned, division by zero is said to be meaningless, or undefined. | |||
==Elementary arithmetic== | |||
Another way to understand the undefined nature of division by zero is by looking at division as a repeated ], e.g., to divide 13 by 5, we can subtract 5 two times, which leaves a ] of 3. The divisor is subtracted until the remainder is less than the divisor. The result is often reported as <math>\textstyle\frac{13}{5}</math> = 2 remainder 3. But, in the case of zero, repeated subtraction of zero will never yield a remainder less than or equal to zero, so dividing by zero is not defined. Dividing by zero by repeated subtraction results in a series of subtractions that never ends. | |||
===The meaning of division=== | |||
{{also|Quotition and partition}} | |||
The ] <math>N/D = Q</math> can be conceptually interpreted in several ways.{{sfn|Cheng|2023|pp=75–83}} | |||
==Early attempts== | |||
In ''quotitive division'', the dividend <math>N</math> is imagined to be split up into parts of size <math>D</math> (the divisor), and the quotient <math>Q</math> is the number of resulting parts. For example, imagine ten slices of bread are to be made into sandwiches, each requiring two slices of bread. A total of five sandwiches can be made {{nobr|(<math>\tfrac{10}{2}=5</math>).}} Now imagine instead that zero slices of bread are required per sandwich (perhaps a ]). Arbitrarily many such sandwiches can be made from ten slices of bread, as the bread is irrelevant.{{sfn|Zazkis|Liljedahl|2009|page=52–53}} | |||
The ] of ] (]–]) is the earliest known text to treat ] 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."'' | |||
The quotitive concept of division lends itself to calculation by repeated ]: dividing entails counting how many times the divisor can be subtracted before the dividend runs out. Because no finite number of subtractions of zero will ever exhaust a non-zero dividend, calculating division by zero in this way ].{{sfn|Zazkis|Liljedahl|2009|page=55–56}} Such an interminable division-by-zero ] is physically exhibited by some ]s.<ref>{{citation|last1=Kochenburger |first1=Ralph J. |last2=Turcio |first2=Carolyn J. |year=1974 |title=Computers in Modern Society |place=Santa Barbara |publisher=Hamilton |url=https://archive.org/details/computersinmoder00koch/page/147/mode/1up?q=%22don%27t+try+to+divide+by+zero%22 |quote=Some other operations, including division, can also be performed by the desk calculator (but don't try to divide by zero; the calculator never will stop trying to divide until stopped manually).}} {{pb}} For a video demonstration, see: {{citation |title=What happens when you divide by zero on a mechanical calculator? | date=7 March 2021 |url=https://www.youtube.com/watch?v=s_hbvRTGcUI |access-date=2024-01-06 |language=en |via=YouTube }}</ref> | |||
In ], ] tried unsuccessfully to correct Brahmagupta's mistake in his book in ''Ganita Sara Samgraha'': | |||
:''"A number remains unchanged when divided by zero."'' | |||
In ''partitive division'', the dividend <math>N</math> is imagined to be split into <math>D</math> parts, and the quotient <math>Q</math> is the resulting size of each part. For example, imagine ten cookies are to be divided among two friends. Each friend will receive five cookies {{nobr|(<math>\tfrac{10}{2}=5</math>).}} Now imagine instead that the ten cookies are to be divided among zero friends. How many cookies will each friend receive? Since there are no friends, this is an absurdity.<ref>{{harvnb|Zazkis|Liljedahl|2009|pages=53–54}}, give an example of a king's heirs equally dividing their inheritance of 12 diamonds, and ask what would happen in the case that all of the heirs died before the king's will could be executed.</ref> | |||
] tried to solve the problem by defining <math>\textstyle\frac{n}{0}=\infty</math>. 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.<ref></ref> | |||
] | |||
==Algebraic interpretation== | |||
In another interpretation, the quotient <math>Q</math> represents the ] <math>N:D.</math><ref>In China, Taiwan, and Japan, school textbooks typically distinguish between the ''ratio'' <math>N:D</math> and the ''value of the ratio'' <math>\tfrac ND.</math> By contrast in the USA textbooks typically treat them as two notations for the same thing. {{pb}} {{citation |last1=Lo |first1=Jane-Jane |last2=Watanabe |first2=Tad |last3=Cai |first3=Jinfa |year=2004 |title=Developing Ratio Concepts: An Asian Perspective |journal=Mathematics Teaching in the Middle School |volume=9 |number=7 |pages=362–367 |doi=10.5951/MTMS.9.7.0362 |jstor=41181943 }}</ref> For example, a cake recipe might call for ten cups of flour and two cups of sugar, a ratio of <math>10:2</math> or, proportionally, <math>5:1.</math> To scale this recipe to larger or smaller quantities of cake, a ratio of flour to sugar proportional to <math>5:1</math> could be maintained, for instance one cup of flour and one-fifth cup of sugar, or fifty cups of flour and ten cups of sugar.<ref>{{citation |last1=Cengiz |first1=Nesrin |last2=Rathouz |first2=Margaret |year=2018 |title=Making Sense of Equivalent Ratios |journal=Mathematics Teaching in the Middle School |volume=24 |number=3 |pages=148–155 |doi=10.5951/mathteacmiddscho.24.3.0148 |jstor=10.5951/mathteacmiddscho.24.3.0148 |s2cid=188092067 }}</ref> Now imagine a sugar-free cake recipe calls for ten cups of flour and zero cups of sugar. The ratio <math>10:0,</math> or proportionally <math>1:0,</math> is perfectly sensible:<ref>{{citation |last1=Clark |first1=Matthew R. |last2=Berenson |first2=Sarah B. |last3=Cavey |first3=Laurie O. |year=2003 |title=A comparison of ratios and fractions and their roles as tools in proportional reasoning |journal=The Journal of Mathematical Behavior |volume=22 |number=3 |pages=297–317 |doi=10.1016/S0732-3123(03)00023-3 }}</ref> it just means that the cake has no sugar. However, the question "How many parts flour for each part sugar?" still has no meaningful numerical answer. | |||
A geometrical appearance of the division-as-ratio interpretation is the ] of a ] in the ].<ref>{{citation |last=Cheng |first=Ivan |title=Fractions: A New Slant on Slope |journal=Mathematics Teaching in the Middle School |year=2010 |volume=16 |number=1 |pages=34–41 |doi=10.5951/MTMS.16.1.0034 |jstor=41183440}}</ref> The slope is defined to be the "rise" (change in vertical coordinate) divided by the "run" (change in horizontal coordinate) along the line. When this is written using the symmetrical ratio notation, a horizontal line has slope <math>0:1</math> and a vertical line has slope <math>1:0.</math> However, if the slope is taken to be a single ] then a horizontal line has slope <math>\tfrac01 = 0</math> while a vertical line has an undefined slope, since in real-number arithmetic the quotient <math>\tfrac10</math> is undefined.<ref>{{citation |last1=Cavey |first1=Laurie O. |last2=Mahavier |first2=W. Ted |year=2010 |title=Seeing the potential in students' questions |journal=The Mathematics Teacher |volume=104 |number=2 |pages=133–137 |jstor=20876802 |doi=10.5951/MT.104.2.0133 }}</ref> The real-valued slope <math>\tfrac{y}{x}</math> of a line through the origin is the vertical coordinate of the ] between the line and a vertical line at horizontal coordinate <math>1,</math> dashed black in the figure. The vertical red and dashed black lines are ], so they have no intersection in the plane. Sometimes they are said to intersect at a ], and the ratio <math>1:0</math> is represented by a new number {{nobr|<math>\infty</math>;<ref>{{citation |last1=Wegman |first1=Edward J. |last2=Said |first2=Yasmin H. |year=2010 |title=Natural homogeneous coordinates |journal=Wiley Interdisciplinary Reviews: Computational Statistics |volume=2 |number=6 |pages=678–685 |doi=10.1002/wics.122 |s2cid=121947341 }}</ref>}} see {{slink|#Projectively extended real line}} below. Vertical lines are sometimes said to have an "infinitely steep" slope. | |||
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 ], ], ] and ], division by zero is undefined. Division by zero must be left undefined in any mathematical system that obeys the axioms of a ]. The reason is that ] is defined to be the inverse operation of ]. This means that the value of <math>\textstyle\frac{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. | |||
=== Inverse of multiplication === | |||
For ''b'' = 0, the equation ''bx'' = ''a'' can be rewritten as 0''x'' = ''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>\textstyle\frac{a}{b}</math> is undefined. Conversely, in a ], the expression <math>\textstyle\frac{a}{b}</math> is ''always'' defined if ''b'' is not equal to zero. | |||
Division is the inverse of ], meaning that multiplying and then dividing by the same non-zero quantity, or vice versa, leaves an original quantity unchanged; for example <math>(5 \times 3) / 3 = {}</math><math>(5 / 3) \times 3 = 5</math>.<ref>{{citation |last1=Robinson |first1=K. M. |last2=LeFevre |first2=J. A. |year=2012 |title=The inverse relation between multiplication and division: Concepts, procedures, and a cognitive framework |journal=] |volume=79 |issue=3 |pages=409–428 |doi=10.1007/s10649-011-9330-5 |jstor=41413121 }}</ref> Thus a division problem such as <math>\tfrac{6}{3} = {?}</math> can be solved by rewriting it as an equivalent equation involving multiplication, <math>{?}\times 3 = 6,</math> where <math>{?}</math> represents the same unknown quantity, and then finding the value for which the statement is true; in this case the unknown quantity is <math>2,</math> because <math>2\times 3 = 6,</math> so therefore <math>\tfrac63 = 2.</math><ref>{{harvnb|Cheng|2023|page=78}}; {{harvnb|Zazkis|Liljedahl|2009|page=55}}</ref> | |||
An analogous problem involving division by zero, <math>\tfrac{6}{0} = {?},</math> requires determining an unknown quantity satisfying <math>{?}\times 0 = 6.</math> However, any number multiplied by zero is zero rather than six, so there exists no number which can substitute for <math>{?}</math> to make a true statement.{{sfn|Zazkis|Liljedahl|2009|page=55}} | |||
===Fallacies based on division by zero=== | |||
When the problem is changed to <math>\tfrac{0}{0} = {?},</math> the equivalent multiplicative statement is {{nobr|<math>{?}\times 0 = 0</math>;}} in this case ''any'' value can be substituted for the unknown quantity to yield a true statement, so there is no single number which can be assigned as the quotient <math>\tfrac{0}{0}.</math> | |||
It is possible to disguise a special case of division by zero in an ]ic argument, leading to ]s that 2 = 1 such as the following: | |||
Because of these difficulties, quotients where the divisor is zero are traditionally taken to be ''undefined'', and division by zero is not allowed.{{sfn|Cheng|2023|pp=82–83}}<ref>{{harvnb|Bunch|1982|page=14}}</ref> | |||
With the following assumptions: | |||
===Fallacies=== | |||
:<math>0\times 1 = 0</math> | |||
{{further|Mathematical fallacy}} | |||
:<math>0\times 2 = 0</math> | |||
A compelling reason for not allowing division by zero is that allowing it leads to ]. | |||
When working with numbers, it is easy to identify an illegal division by zero. For example: | |||
The following must be true: | |||
:From <math>0\times 1 = 0</math> and <math>0\times 2 = 0</math> one gets <math>0\times 1 = 0\times 2.</math> Cancelling {{math|0}} from both sides yields <math>1 = 2</math>, a false statement. | |||
:<math>0\times 1 = 0\times 2</math> | |||
The fallacy here arises from the assumption that it is legitimate to cancel {{math|0}} like any other number, whereas, in fact, doing so is a form of division by {{math|0}}. | |||
Dividing by zero gives: | |||
Using ], it is possible to disguise a division by zero<ref name="Kaplan" /> to obtain an ]. For example:<ref>{{harvnb|Bunch|1982|page=15}}</ref> | |||
:<math>\textstyle \frac{0}{0}\times 1 = \frac{0}{0}\times 2</math> | |||
{{block indent|em=1.6|text=Let {{math|1= ''x'' = 1}}. Multiply both sides by {{mvar|x}} to get <math>x = x^2</math>. Subtract {{math|1}} from each side to get <math display=block>x - 1 = x^2 - 1.</math> The right side can be factored, <math display=block>x - 1 = (x + 1)(x - 1).</math> Dividing both sides by {{math|''x'' − 1}} yields <math display=block>1 = x + 1.</math> Substituting {{math|1=''x'' = 1}} yields <math display=block>1 = 2.</math> | |||
}} | |||
This is essentially the same fallacious computation as the previous numerical version, but the division by zero was obfuscated because we wrote {{math|0}} as {{math|1=''x'' − 1}}. | |||
==Early attempts== | |||
Simplified, yields: | |||
The '']'' of ] (c. 598–668) is the earliest text to treat ] as a number in its own right and to define operations involving zero.<ref name="Kaplan">{{citation |last=Kaplan |first=Robert |title=The Nothing That Is: A Natural History of Zero |url=https://archive.org/details/nothingthatisnat00kapl |url-access=registration |publisher=Oxford University Press |year=1999 |location=New York |pages= |isbn=978-0-19-514237-2}}</ref> According to Brahmagupta, | |||
<blockquote>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.</blockquote> | |||
:<math>1 = 2\,</math> | |||
In 830, ] unsuccessfully tried to correct the mistake Brahmagupta made in his book ''Ganita Sara Samgraha'': "A number remains unchanged when divided by zero."<ref name="Kaplan"/> | |||
The ] is the implicit assumption that dividing by 0 is a legitimate operation with <math>0/0=1</math>. | |||
]'s ''Līlāvatī'' (12th century) proposed that division by zero results in an infinite quantity,<ref>{{citation |last=Roy |first=Rahul |journal=Resonance |volume=8 |number=1 |date=January 2003 |title=Babylonian Pythagoras' Theorem, the Early History of Zero and a Polemic on the Study of the History of Science |pages=30–40 |url=https://www.ias.ac.in/describe/article/reso/008/01/0030-0040 |doi=10.1007/BF02834448 }}</ref> | |||
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 <math>x</math>, <math>0</math> can be hidden behind <math>x-x</math> and <math>2</math> behind <math>x+x</math>. The above mentioned proof can then be displayed as follows: | |||
<blockquote>A quantity divided by zero becomes a fraction the denominator of which is zero. This fraction is termed an infinite quantity. In this quantity consisting of that which has zero for its divisor, there is no alteration, though many may be inserted or extracted; as no change takes place in the infinite and immutable God when worlds are created or destroyed, though numerous orders of beings are absorbed or put forth.</blockquote> | |||
:<math>(x-x)x = x^2-x^2 = 0\,</math> | |||
:<math>(x-x)(x+x) = x^2-x^2 = 0\,</math> | |||
Historically, one of the earliest recorded references to the mathematical impossibility of assigning a value to <math display="inline">\tfrac{a}{0}</math> is contained in ] philosopher ]'s criticism of ] in 1734 in '']'' ("ghosts of departed quantities").<ref>{{citation | |||
hence: | |||
| last = Cajori | first = Florian | author-link = Florian Cajori | |||
| journal = The Mathematics Teacher | |||
| volume = 22 | issue = 6 | jstor = 27951153 | |||
| pages = 366–368 | |||
| title = Absurdities due to division by zero: An historical note| year = 1929 | doi = 10.5951/MT.22.6.0366 }}.</ref> | |||
== Calculus == | |||
:<math>(x-x)x = (x-x)(x+x)\,</math> | |||
] studies the behavior of ] using the concept of a ], the value to which a function's output tends as its input tends to some specific value. The notation <math display=inline> \lim_{x \to c} f(x) = L</math> means that the value of the function <math>f</math> can be made arbitrarily close to <math>L</math> by choosing <math>x</math> sufficiently close to <math>c.</math> | |||
Dividing by <math>x-x\,</math> gives: | |||
In the case where the limit of the ] <math>f</math> increases without bound as <math>x</math> tends to <math>c,</math> the function is not defined at <math>x,</math> a type of ]. Instead, the function is said to "]", denoted <math display=inline> \lim_{x \to c} f(x) = \infty,</math> and its ] has the line <math>x=c</math> as a vertical ]. While such a function is not formally defined for <math>x = c,</math> and the ] <math>\infty</math> in this case does not represent any specific ], 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", <math>-\infty.</math> In some cases a function tends to two different values when <math>x</math> tends to <math>c</math> from above {{nobr|(<math>x \to c^+</math>)}} and below {{nobr|(<math>x \to c^-</math>)}}; such a function has two distinct ]s.<ref>{{citation |last1=Herman |first1=Edwin |chapter-url=https://openstax.org/books/calculus-volume-1/pages/2-2-the-limit-of-a-function |title=Calculus |chapter=2.2 The Limit of a Function |volume=1 |last2=Strang |first2=Gilbert |year=2023 |publisher=OpenStax |isbn=978-1-947172-13-5 |location=Houston |oclc=1022848630 |display-authors=etal |author2-link=Gilbert Strang |page=454}}</ref> | |||
:<math>x = x+x\,</math> | |||
A basic example of an infinite singularity is the ], <math>f(x) = 1/x,</math> which tends to positive or negative infinity as <math>x</math> tends to {{nobr|<math>0</math>:}} | |||
and dividing by <math>x\,</math> gives: | |||
<math display=block> | |||
\lim_{x \to 0^+} \frac1x = +\infty,\qquad | |||
\lim_{x \to 0^-} \frac1x = -\infty. | |||
</math> | |||
In most cases, the limit of a quotient of functions is equal to the quotient of the limits of each function separately, | |||
===Abstract algebra=== | |||
<math display=block> | |||
The concepts applied to standard arithmetic are similar to those in more general algebraic structures, such as ]s and ]s. 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 ] (which for this reason is called a ]). However, in other rings, division by nonzero elements may also pose problems. Consider, for example, the ring '''Z'''/6'''Z''' of integers mod 6. What meaning should we give to the expression <math>\textstyle\frac{2}{2}</math>? This should be the solution ''x'' of the equation <math>2x = 2</math>. But in the ring '''Z'''/6'''Z''', 2 is not invertible under multiplication. This equation has two distinct solutions, ''x'' = 1 and ''x'' = 4, so the expression <math>\textstyle\frac{2}{2}</math> is undefined. | |||
\lim_{x \to c} \frac{f(x)}{g(x)} = \frac{\displaystyle \lim_{x \to c} f(x)}{\displaystyle \lim_{x \to c} g(x)}. | |||
</math> | |||
However, when a function is constructed by dividing two functions whose separate limits are both equal to <math>0,</math> then the limit of the result cannot be determined from the separate limits, so is said to take an ], informally written <math>\tfrac00.</math> (Another indeterminate form, <math>\tfrac \infty \infty,</math> 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 | |||
== Limits and division by zero == | |||
] | |||
<math display=block> \lim_{x \to 1} \dfrac{x^2 - 1}{x - 1},</math> | |||
At first glance it seems possible to define <math>\textstyle\frac{a}{0}</math> by considering the ] of <math>\textstyle\frac{a}{b}</math> as ''b'' approaches 0. | |||
the separate limits of the numerator and denominator are <math>0</math>, so we have the indeterminate form <math>\tfrac00</math>, but simplifying the quotient first shows that the limit exists: | |||
For any positive ''a'', it is known that | |||
:<math>\lim_{b \to 0^{+}} {a \over b} = {+}\infty</math> | |||
and for any ] a, | |||
:<math>\lim_{b \to 0^{+}} {a \over b} = {-}\infty.</math> | |||
Therefore, we might consider defining <math>\textstyle\frac{a}{0}</math> as +∞ for positive ''a'', and −∞ for negative ''a''. However, this definition can be inconvenient for two reasons. | |||
<math display=block> | |||
# Positive and negative ] are not ]s. 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. | |||
\lim_{x \to 1} \frac{x^2 - 1}{x - 1} = \lim_{x \to 1} \frac{(x - 1)(x + 1)}{x - 1} | |||
# Taking the limit from the right is arbitrary. We could just as well have taken limits from the left and defined <math>\textstyle\frac{a}{0}</math> to be −∞ for positive ''a'', and +∞ for negative ''a''. This can be further illustrated using the equation (assuming that several natural properties of reals extend to infinities) | |||
= \lim_{x \to 1} (x + 1) | |||
= 2. | |||
</math> | |||
== Alternative number systems == | |||
:<math>+\infty = \frac{1}{0} = \frac{1}{-0} = -\frac{1}{0} = -\infty</math> | |||
===Extended real line=== | |||
:which does not make much sense. This means that the only workable extension is introducing an ''unsigned infinity'', discussed below. | |||
The ] are obtained from the ]s <math>\R</math> by adding two new numbers <math>+\infty</math> and <math>-\infty,</math> read as "positive infinity" and "negative infinity" respectively, and representing ]. With the addition of <math>\pm \infty,</math> 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 <math>1/0</math> is usually left undefined. However, in contexts where only non-negative values are considered, it is often convenient to define <math>1/0 = +\infty</math>. | |||
===Projectively extended real line=== | |||
Furthermore, there is no obvious definition of <math>\textstyle\frac{0}{0}</math> that can be derived from considering the limit of a ratio. The limit | |||
The set <math>\mathbb{R}\cup\{\infty\}</math> is the ], which is a ] of the real line. Here <math>\infty</math> means an unsigned infinity or ], an infinite quantity that is neither positive nor negative. This quantity satisfies <math>-\infty = \infty</math>, which is necessary in this context. In this structure, <math>\frac{a}{0} = \infty</math> can be defined for nonzero {{math|''a''}}, and <math>\frac{a}{\infty} = 0</math> when {{math|''a''}} is not <math>\infty</math>. It is the natural way to view the range of the ] and cotangent functions of ]: {{math|tan(''x'')}} approaches the single point at infinity as {{math|''x''}} approaches either {{math|+{{sfrac|π|2}}}} or {{math|−{{sfrac|π|2}}}} from either direction. | |||
:<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 ] for discussion and examples of limits of ratios). So, this particular approach cannot lead us to a useful definition of <math>\textstyle\frac{0}{0}</math>. | |||
This definition leads to many interesting results. However, the resulting algebraic structure is not a ], and should not be expected to behave like one. For example, <math>\infty+\infty</math> is undefined in this extension of the real line. | |||
==Formal interpretation== | |||
A ] 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>\textstyle\frac{a}{0}</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: | |||
===Riemann sphere=== | |||
:<math>\lim\limits_{x \to 0} {\frac{1}{x^2} =\frac{\lim\limits_{x \to 0} {1}}{\lim\limits_{x \to 0} {x^2}}} = \frac{1}{+0} = +\infty.</math> | |||
The subject of ] applies the concepts of calculus in the ]. Of major importance in this subject is the ] <math>\C \cup\{\infty\},</math> the set of complex numbers with a single additional number appended, usually denoted by the ] <math>\infty</math> and representing a ], which is defined to be contained in every ], making those its ] ]. | |||
This can intuitively be thought of as wrapping up the infinite edges of the complex plane and pinning them together at the single point <math>\infty,</math> a ], making the extended complex numbers topologically equivalent to a ]. This equivalence can be extended to a metrical equivalence by mapping each complex number to a point on the sphere via inverse ], with the resulting ] 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 ]. The set is usually denoted by the symbol for the complex numbers decorated by an asterisk, overline, tilde, or circumflex, for example <math>\hat\C = \C \cup\{\infty\}.</math> | |||
As with any formal calculation, invalid results may be obtained. A logically rigorous as opposed to formal computation might say only | |||
In the extended complex numbers, for any nonzero complex number <math>z,</math> ordinary complex arithmetic is extended by the additional rules <math>\tfrac{z}{0}=\infty,</math> <math>\tfrac{z}{\infty} = 0,</math> <math>\infty + 0 = \infty,</math> <math>\infty + z = \infty,</math> <math>\infty \cdot z = \infty.</math> However, <math>\tfrac{0}{0}</math>, <math>\tfrac{\infty}{\infty}</math>, and <math>0\cdot\infty</math> are left undefined. | |||
:<math>\lim_{x \to 0} \frac{1}{x^2} = +\infty</math> | |||
==Higher mathematics== | |||
(+∞ is not a number but an object that may be approached from within the real line; those familiar with point-set ] may call it a member of a two-point compactification of the line). | |||
The four basic operations – addition, subtraction, multiplication and division – as applied to whole numbers (positive integers), with some restrictions, in elementary arithmetic are used as a framework to support the extension of the realm of numbers to which they apply. For instance, to make it possible to subtract any whole number from another, the realm of numbers must be expanded to the entire set of ]s in order to incorporate the negative integers. Similarly, to support division of any integer by any other, the realm of numbers must expand to the ]s. During this gradual expansion of the number system, care is taken to ensure that the "extended operations", when applied to the older numbers, do not produce different results. Loosely speaking, since division by zero has no meaning (is ''undefined'') in the whole number setting, this remains true as the setting expands to the ] or even ]s.<ref>{{harvnb|Klein|1925|page=63}}</ref> | |||
As the realm of numbers to which these operations can be applied expands there are also changes in how the operations are viewed. For instance, in the realm of integers, subtraction is no longer considered a basic operation since it can be replaced by addition of signed numbers.<ref>{{harvnb|Klein|1925|page=26}}</ref> Similarly, when the realm of numbers expands to include the rational numbers, division is replaced by multiplication by certain rational numbers. In keeping with this change of viewpoint, the question, "Why can't we divide by zero?", becomes "Why can't a rational number have a zero denominator?". Answering this revised question precisely requires close examination of the definition of rational numbers. | |||
==Pseudo-division by zero== | |||
In algebra for matrices (or linear algebra in general), one can define a pseudo-division, by setting <math>\textstyle\frac{a}{b}=a b^+</math>, in which ''b''<sup>+</sup> represents ''b'''s ]. It can be proven that if ''b''<sup>−1</sup> exists, then ''b''<sup>+</sup> = ''b''<sup>−1</sup>. If ''b'' equals 0, then 0<sup>+</sup> = 0, see ]. | |||
In the modern approach to constructing the field of real numbers, the rational numbers appear as an intermediate step in the development that is founded on set theory. First, the natural numbers (including zero) are established on an axiomatic basis such as ] and then this is expanded to the ]. The next step is to define the rational numbers keeping in mind that this must be done using only the sets and operations that have already been established, namely, addition, multiplication and the integers. Starting with the set of ]s of integers, {{math|{(''a'', ''b'')}<nowiki/>}} with {{math|''b'' ≠ 0}}, define a ] on this set by {{math|(''a'', ''b'') ≃ (''c'', ''d'')}} if and only if {{math|1=''ad'' = ''bc''}}. This relation is shown to be an ] and its ]es are then defined to be the rational numbers. It is in the formal proof that this relation is an equivalence relation that the requirement that the second coordinate is not zero is needed (for verifying ]).<ref>{{harvnb|Schumacher|1996|page=149}}</ref><ref>{{harvnb|Hamilton|1982|page=19}}</ref><ref>{{harvnb|Henkin|Smith|Varineau|Walsh|2012|page=292}}</ref> | |||
==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. | |||
Although division by zero cannot be sensibly defined with real numbers and integers, it is possible to consistently define it, or similar operations, in other mathematical structures. | |||
===Real projective line=== | |||
The set <math>\mathbb{R}\cup\{\infty\}</math> is the ], which is a ] of the real 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>\textstyle\frac{a}{0} = \infty</math> for nonzero ''a'', and <math>\textstyle\frac{a}{\infty} = 0</math>. These definitions lead to many interesting results. However, 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. | |||
===Non-standard analysis=== | |||
It is the natural way to view the range of the tangent and cotangent functions of ]: tan(''x'') approaches the single point at infinity as ''x'' approaches either <math>\textstyle+\frac{\pi}{2}</math> or <math>\textstyle-\frac{\pi}{2}</math> from either direction. | |||
In the ]s, division by zero is still impossible, but division by non-zero ]s is possible.<ref>{{citation|last=Keisler |first=H. Jerome |title=Elementary Calculus: An Infinitesimal Approach |url=https://people.math.wisc.edu/~hkeisler/calc.html |orig-year=1986 |year=2023 |publisher=Prindle, Weber & Schmidt |pages=29–30}}</ref> The same holds true in the ]s.<ref>{{citation |url=https://books.google.com/books?id=tXiVo8qA5PQC |title=On Numbers and Games |edition=2nd |last=Conway |first=John H. |date=2000 |orig-year=1976 |publisher=CRC Press |isbn=9781568811277 |page=20}}</ref> | |||
=== |
===Distribution theory=== | ||
In ] one can extend the function <math display="inline">\frac{1}{x}</math> to a distribution on the whole space of real numbers (in effect by using ]s). It does not, however, make sense to ask for a "value" of this distribution at ''x'' = 0; a sophisticated answer refers to the ] of the distribution. | |||
The set <math>\mathbb{C}\cup\{\infty\}</math> is the ], of major importance in ]. Here, too, <math>\infty</math> is an unsigned infinity, or, as it is often called in this context, ''the ]''. This set is analogous to the real projective line, except that it is based on the ] of ]s. This set is not a field. | |||
===Linear algebra=== | |||
===Extended non-negative real number line=== | |||
In ] algebra, square or rectangular blocks of numbers are manipulated as though they were numbers themselves: matrices can be ] and ], and in some cases, a version of division also exists. Dividing by a matrix means, more precisely, multiplying by its ]. Not all matrices have inverses.<ref>{{citation|last=Gbur |first=Greg |author-link=Greg Gbur |title=Mathematical Methods for Optical Physics and Engineering |pages=88–93 |year=2011 |isbn=978-0-521-51610-5 |publisher=Cambridge University Press|bibcode=2011mmop.book.....G }}</ref> For example, a ] is not invertible. | |||
The negative real numbers can be discarded, and infinity introduced, leading to the set <math></math>, where division by zero can be naturally defined as <math>\textstyle\frac{a}{0} = \infty</math> for positive ''a''. | |||
One can define a pseudo-division, by setting ''a''/''b'' = ''ab''<sup>+</sup>, in which ''b''<sup>+</sup> represents the ] of ''b''. It can be proven that if ''b''<sup>−1</sup> exists, then ''b''<sup>+</sup> = ''b''<sup>−1</sup>. If ''b'' equals 0, then b<sup>+</sup> = 0. | |||
===Non-standard analysis=== | |||
In the ]s and the ]s, division by zero is still impossible, but division by non-zero ]s is possible. | |||
===Abstract algebra=== | ===Abstract algebra=== | ||
In abstract algebra, the integers, the rational numbers, the real numbers, and the complex numbers can be abstracted to more general algebraic structures, such as a ], which is a mathematical structure where addition, subtraction, and multiplication behave as they do in the more familiar number systems, but division may not be defined. Adjoining a multiplicative inverses to a commutative ring is called ]. However, the localization of every commutative ring at zero is the ], where <math>0 = 1</math>, so nontrivial commutative rings do not have inverses at zero, and thus division by zero is undefined for nontrivial commutative rings. | |||
Any number system which forms a ], as do the integers, the real numbers, and the complex numbers, for instance, can be extended to a ] in which division by zero is always possible, but division has then a slightly different meaning. | |||
Nevertheless, any number system that forms a ] can be extended to a structure called a ] in which division by zero is always possible.<ref>{{citation |year=2004 |last=Carlström |first=Jesper |title=Wheels: On Division by Zero |journal=Mathematical Structures in Computer Science |doi=10.1017/S0960129503004110 |volume=14 |issue=1 |pages=143–184 |doi-broken-date=1 November 2024 |url=http://www2.math.su.se/reports/2001/11/ }}</ref> However, the resulting mathematical structure is no longer a commutative ring, as multiplication no longer distributes over addition. Furthermore, in a wheel, division of an element by itself no longer results in the multiplicative identity element <math>1</math>, and if the original system was an ], the multiplication in the wheel no longer results in a ]. | |||
==In mathematical analysis== | |||
The concepts applied to standard arithmetic are similar to those in more general algebraic structures, such as ] and ]. In a field, every nonzero element is invertible under multiplication; as above, division poses problems only when attempting to divide by zero. This is likewise true in a ] (which for this reason is called a ]). However, in other rings, division by nonzero elements may also pose problems. For example, the ring '''Z'''/6'''Z''' of integers mod 6. The meaning of the expression <math display="inline">\frac{2}{2}</math> should be the solution ''x'' of the equation <math>2x = 2</math>. But in the ring '''Z'''/6'''Z''', 2 is a ]. This equation has two distinct solutions, {{math|1=''x'' = 1}} and {{math|1=''x'' = 4}}, so the expression <math display="inline">\frac{2}{2}</math> is ]. | |||
In ] one can extend the function <math>\textstyle\frac{1}{x}</math> to a distribution on the whole space of real numbers (in effect by using ]s). 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 ] of the distribution. | |||
In field theory, the expression <math display="inline">\frac{a}{b}</math> is only shorthand for the formal expression ''ab''<sup>−1</sup>, where ''b''<sup>−1</sup> 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. Modern texts, that define fields as a special type of ring, include the axiom {{math|0 ≠ 1}} for fields (or its equivalent) so that the ] is excluded from being a field. In the zero ring, division by zero is possible, which shows that the other field axioms are not sufficient to exclude division by zero in a field. | |||
==Division by zero in computer arithmetic== | |||
The ], supported by almost all modern ]s, specifies that every ] 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 ] (''not a number'') when ''a'' = 0. The infinity signs change when dividing by ] instead. This is possible because in IEEE 754 there are two zero values, plus zero and ], and thus no ambiguity. | |||
==Computer arithmetic== | |||
Integer division by zero is usually handled differently from floating point since there is no integer representation for the result. Some processors generate an ] 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.) | |||
=== Floating-point arithmetic === | |||
Because of the improper algebraic results of assigning any value to division by zero, many computer ]s (including those used by ]s) 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 ] 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 ]. | |||
In computing, most numerical calculations are done with ], which since the 1980s has been standardized by the ] specification. In IEEE floating-point arithmetic, numbers are represented using a sign (positive or negative), a fixed-precision ] and an integer ]. Numbers whose exponent is too large to represent instead "overflow" to positive or negative ] (+∞ or −∞), while numbers whose exponent is too small to represent instead "]" to ] (+0 or −0). A ] (not a number) value represents undefined results. | |||
In ] arithmetic, attempts to divide the smallest signed integer by <math>-1</math> are attended by similar problems, and are handled with the same range of solutions, from explicit error conditions to ]. | |||
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 ] (−0) results in an infinity of the opposite sign as the dividend. This definition preserves the sign of the result in case of ].<ref>{{citation|last=Cody|first=W. J.|title=Analysis of Proposals for the Floating-Point Standard|journal=Computer|date=March 1981 |volume=14|issue=3|pages=65|doi=10.1109/C-M.1981.220379|s2cid=9923085|quote=With appropriate care to be certain that the algebraic signs are not determined by rounding error, the affine mode preserves order relations while fixing up overflow. Thus, for example, the reciprocal of a negative number which underflows is still negative.}}</ref> | |||
==Historical accidents== | |||
* On ], ], a divide by zero error in the ] ''Remote Data Base Manager'' brought down all the machines on the network, causing the ship's propulsion system to fail. <ref>{{cite news|url=http://www.wired.com/news/technology/0,1282,13987,00.html|title=Sunk by Windows NT | |||
|date=]|work=]}}</ref> | |||
For example, using single-precision IEEE arithmetic, if {{nowrap|1=''x'' = −2<sup>−149</sup>}}, then ''x''/2 underflows to −0, and dividing 1 by this result produces 1/(''x''/2) = −∞. The exact result −2<sup>150</sup> is too large to represent as a single-precision number, so an infinity of the same sign is used instead to indicate overflow. | |||
==In popular culture== | |||
=== Integer arithmetic === | |||
*E_DIV is an error code generated by some programming languages as a result of division by zero, and can be used in ] as an indication of confusion or impossibility. | |||
], typically halt and display an error message after an attempt to divide by zero.]] | |||
*As a result of the errors often seen in computers and calculators when an operator attempts to divide by zero, an ] has developed where dividing by zero is seen as synonymous with the ], ], forum, etc, sometimes preceded by a declaration of "OH SHI-". The meme inspired the short film , where a division by zero is followed by the sudden realization of what this means as the planet explodes. | |||
*The ] '']'' takes its title from equating division by zero (conceptually) with the ] idea of breaking the ]. | |||
*A short story by ] is titled ''Division by Zero''. | |||
*One of the satirical ] states that "] ''can'' divide by zero". | |||
*The ] on their first album ], the first song on the recording is "Two divided by zero" | |||
] division by zero is usually handled differently from floating point since there is no integer representation for the result. ] differ in behavior: for instance ] processors trigger a ], while ] processors silently generate an incorrect result for the division and continue, and ] processors can either cause a hardware exception or return zero.<ref>{{citation |title=Divide instructions |work=ARMv7-M Architecture Reference Manual |publisher=Arm Limited |url=https://developer.arm.com/documentation/ddi0403/d/Application-Level-Architecture/The-ARMv7-M-Instruction-Set/Data-processing-instructions/Divide-instructions |access-date=2024-06-12 |edition=Version D |year=2010 }}</ref> Because of this inconsistency between platforms, the ] and ] ]s consider the result of dividing by zero ].<ref> {{cite conference |mode=cs2 |last1=Wang |first1=Xi |last2=Chen |first2=Haogang |last3=Cheung |first3=Alvin |last4=Jia |first4=Zhihao |last5=Zeldovich |first5=Nickolai |last6=Kaashoek |first6=M. Frans |contribution=Undefined behavior: what happened to my code? |title=APSYS '12: Proceedings of the Asia-Pacific Workshop on Systems |conference=APSYS '12, Seoul, 23–24 July 2012 |location=New York |publisher=Association for Computing Machinery |isbn=978-1-4503-1669-9 |doi=10.1145/2349896.2349905 |doi-access=free |hdl=1721.1/86949|hdl-access=free }}</ref> In typical ], such as ],<ref>{{citation |title=Python 3 Library Reference |chapter=Built-in Exceptions |chapter-url=https://docs.python.org/3/library/exceptions.html#ZeroDivisionError |publisher=Python Software Foundation |at=§ "Concrete exceptions – exception <code>ZeroDivisionError</code>" |access-date=2024-01-22 }}</ref> an ] is raised for attempted division by zero, which can be handled in another part of the program. | |||
== References == | |||
<div class="references-small"> | |||
=== In proof assistants === | |||
<references/> | |||
</div> | |||
Many ]s, such as ] and ], define 1/0 = 0. This is due to the requirement that all functions are ]. Such a definition does not create contradictions, as further manipulations (such as ]) still require that the divisor is non-zero.<ref>{{cite conference |mode=cs2 |last1=Tanter |first1=Éric |last2=Tabareau |first2=Nicolas |title=Gradual certified programming in coq |year=2015 |publisher=Association for Computing Machinery |book-title=DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages |doi=10.1145/2816707.2816710 |quote=The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.|arxiv=1506.04205 }}</ref><ref>{{citation |last1=Buzzard |first1=Kevin |title=Division by zero in type theory: a FAQ |type=Blog |url=https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/ |website=Xena Project |date=5 July 2020 |access-date=2024-01-21}}</ref> | |||
== Historical accidents == | |||
* On 21 September 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.<ref>{{citation |last=Stutz |first=Michael |url=https://www.wired.com/1998/07/sunk-by-windows-nt/ |title=Sunk by Windows NT |date=1998-07-24 |work=] |url-status=live |url-access=subscription |archive-url=https://web.archive.org/web/19990429091432/http://www.wired.com/news/technology/story/13987.html |archive-date=1999-04-29}}</ref><ref>{{citation|url=http://www.cs.berkeley.edu/~wkahan/Boulder.pdf|title=Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering|author=William Kahan|date=14 October 2011}}</ref> | |||
{{clear}} | |||
== See also == | |||
* ] | |||
* ] | |||
* ] | |||
==Notes== | |||
{{reflist}} | |||
==Sources== | |||
* {{citation |first=Bryan |last=Bunch |title=Mathematical Fallacies and Paradoxes |year=1982 |url=https://archive.org/details/mathematicalfall0000bunc/ |url-access=limited |location=New York |publisher=Van Nostrand Reinhold |isbn=0-442-24905-5 }} (Dover reprint 1997) | |||
* {{citation|last=Cheng |first=Eugenia |author-link=Eugenia Cheng |title=Is Math(s) Real? How Simple Questions Lead Us to Mathematics' Deepest Truths |publisher=Basic Books |year=2023 |isbn=978-1-541-60182-6}} | |||
* {{citation|first=Felix|last=Klein|title=Elementary Mathematics from an Advanced Standpoint / Arithmetic, Algebra, Analysis|year=1925|edition=3rd|publisher=Dover|translator-first1=E. R.|translator-last1=Hedrick|translator-first2=C. A.|translator-last2=Noble}} | |||
* {{citation|first=A. G.|last=Hamilton|title=Numbers, Sets, and Axioms|year=1982|publisher=Cambridge University Press|isbn=978-0521287616}} | |||
* {{citation|first1=Leon|last1=Henkin|first2=Norman|last2=Smith|first3=Verne J.|last3=Varineau|first4=Michael J.|last4=Walsh|year=2012|title=Retracing Elementary Mathematics|publisher=Literary Licensing LLC|isbn=978-1258291488}} | |||
* {{citation|first=Carol|last=Schumacher|author-link= Carol Schumacher |title=Chapter Zero : Fundamental Notions of Abstract Mathematics|year=1996|publisher=Addison-Wesley|isbn=978-0-201-82653-1}} | |||
* {{citation|last1=Zazkis |first1=Rina |last2=Liljedahl |first2=Peter |year=2009 |title=Teaching Mathematics as Storytelling |chapter=Stories that explain |doi=10.1163/9789087907358_008 |pages=51–65 |publisher=Sense Publishers |isbn=978-90-8790-734-1 }} | |||
== Further reading == | == Further reading == | ||
* {{citation |last=Northrop |first=Eugene P. |year=1944 |title=Riddles in Mathematics: A Book of Paradoxes |location=New York |publisher=D. Van Nostrand |at=Ch. 5 "Thou Shalt Not Divide By Zero", {{pgs|77–96}} |url=https://archive.org/details/riddlesinmathema0000euge/ |url-access=limited}} | |||
* Jakub Czajko (July 2004) "{{doi-inline|10.1016/j.chaos.2003.12.046|On Cantorian spacetime over number systems with division by zero}}", ''Chaos, Solitons and Fractals'', volume 21, number 2, pages 261—271. | |||
* {{citation |last=Seife |first=Charles |author-link=Charles Seife |year=2000 |title=] |publisher=Penguin |location=New York |isbn=0-14-029647-6 }} | |||
{{wikinews|British computer scientist's new "nullity" idea provokes reaction from mathematicians}} | |||
* {{citation|last=Suppes |first=Patrick |author-link=Patrick Suppes |year=1957 |title=Introduction to Logic |location=Princeton |publisher=D. Van Nostrand |url=https://archive.org/details/introductiontolo0000supp/ |url-access=limited |at=§8.5 "The Problem of Division by Zero" and §8.7 "Five Approaches to Division by Zero"}} (Dover reprint, 1999) | |||
*{{cite web|url=http://www.badscience.net/?p=335|title=Maths Professor Divides By Zero, Says BBC|date=]|author=]}} | |||
* {{citation |last=Tarski |first=Alfred |author-link=Alfred Tarski |year=1941 |title=Introduction to Logic and to the Methodology of Deductive Sciences |publisher=Oxford University Press |url=https://archive.org/details/introductiontolo0000alfr |url-access=limited |at=§53 "Definitions whose definiendum contains the identity sign"}} | |||
==See also== | |||
* ] | |||
* ] | |||
* ] | |||
* ] | |||
{{DEFAULTSORT:Division by zero}} | |||
] | |||
] | |||
] | ] | ||
] | ] | ||
] | |||
] | |||
] | |||
] | ] | ||
] | ] | ||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] |
Latest revision as of 18:35, 23 December 2024
Class of mathematical expression For other uses, see Division by zero (disambiguation).
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).
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, return a special not-a-number value, or crash the program, among other possibilities.
Elementary arithmetic
The meaning of division
See also: Quotition and partitionThe division can be conceptually interpreted in several ways.
In quotitive division, the dividend is imagined to be split up into parts of size (the divisor), and the quotient is the number of resulting parts. For example, imagine ten slices of bread are to be made into sandwiches, each requiring two slices of bread. A total of five sandwiches can be made (). Now imagine instead that zero slices of bread are required per sandwich (perhaps a lettuce wrap). Arbitrarily many such sandwiches can be made from ten slices of bread, as the bread is irrelevant.
The quotitive concept of division lends itself to calculation by repeated subtraction: dividing entails counting how many times the divisor can be subtracted before the dividend runs out. Because no finite number of subtractions of zero will ever exhaust a non-zero dividend, calculating division by zero in this way never terminates. Such an interminable division-by-zero algorithm is physically exhibited by some mechanical calculators.
In partitive division, the dividend is imagined to be split into parts, and the quotient is the resulting size of each part. For example, imagine ten cookies are to be divided among two friends. Each friend will receive five cookies (). Now imagine instead that the ten cookies are to be divided among zero friends. How many cookies will each friend receive? Since there are no friends, this is an absurdity.
In another interpretation, the quotient represents the ratio For example, a cake recipe might call for ten cups of flour and two cups of sugar, a ratio of or, proportionally, To scale this recipe to larger or smaller quantities of cake, a ratio of flour to sugar proportional to could be maintained, for instance one cup of flour and one-fifth cup of sugar, or fifty cups of flour and ten cups of sugar. Now imagine a sugar-free cake recipe calls for ten cups of flour and zero cups of sugar. The ratio or proportionally is perfectly sensible: it just means that the cake has no sugar. However, the question "How many parts flour for each part sugar?" still has no meaningful numerical answer.
A geometrical appearance of the division-as-ratio interpretation is the slope of a straight line in the Cartesian plane. The slope is defined to be the "rise" (change in vertical coordinate) divided by the "run" (change in horizontal coordinate) along the line. When this is written using the symmetrical ratio notation, a horizontal line has slope and a vertical line has slope However, if the slope is taken to be a single real number then a horizontal line has slope while a vertical line has an undefined slope, since in real-number arithmetic the quotient is undefined. The real-valued slope of a line through the origin is the vertical coordinate of the intersection between the line and a vertical line at horizontal coordinate dashed black in the figure. The vertical red and dashed black lines are parallel, so they have no intersection in the plane. Sometimes they are said to intersect at a point at infinity, and the ratio is represented by a new number ; see § Projectively extended real line below. Vertical lines are sometimes said to have an "infinitely steep" slope.
Inverse of multiplication
Division is the inverse of multiplication, meaning that multiplying and then dividing by the same non-zero quantity, or vice versa, leaves an original quantity unchanged; for example . Thus a division problem such as can be solved by rewriting it as an equivalent equation involving multiplication, where represents the same unknown quantity, and then finding the value for which the statement is true; in this case the unknown quantity is because so therefore
An analogous problem involving division by zero, requires determining an unknown quantity satisfying However, any number multiplied by zero is zero rather than six, so there exists no number which can substitute for to make a true statement.
When the problem is changed to the equivalent multiplicative statement is ; in this case any value can be substituted for the unknown quantity to yield a true statement, so there is no single number which can be assigned as the quotient
Because of these difficulties, quotients where the divisor is zero are traditionally taken to be undefined, and division by zero is not allowed.
Fallacies
Further information: Mathematical fallacyA compelling reason for not allowing division by zero is that allowing it leads to fallacies.
When working with numbers, it is easy to identify an illegal division by zero. For example:
- From and one gets Cancelling 0 from both sides yields , a false statement.
The fallacy here arises from the assumption that it is legitimate to cancel 0 like any other number, whereas, in fact, doing so is a form of division by 0.
Using algebra, it is possible to disguise a division by zero to obtain an invalid proof. For example:
Let x = 1. Multiply both sides by x to get . Subtract 1 from each side to get The right side can be factored, Dividing both sides by x − 1 yields Substituting x = 1 yieldsThis is essentially the same fallacious computation as the previous numerical version, but the division by zero was obfuscated because we wrote 0 as x − 1.
Early attempts
The Brāhmasphuṭasiddhānta of Brahmagupta (c. 598–668) is the earliest text to treat zero as a number in its own right and to define operations involving zero. 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, Mahāvīra unsuccessfully tried to correct the mistake Brahmagupta made in his book Ganita Sara Samgraha: "A number remains unchanged when divided by zero."
Bhāskara II's Līlāvatī (12th century) proposed that division by zero results in an infinite quantity,
A quantity divided by zero becomes a fraction the denominator of which is zero. This fraction is termed an infinite quantity. In this quantity consisting of that which has zero for its divisor, there is no alteration, though many may be inserted or extracted; as no change takes place in the infinite and immutable God when worlds are created or destroyed, though numerous orders of beings are absorbed or put forth.
Historically, one of the earliest recorded references to the mathematical impossibility of assigning a value to is contained in Anglo-Irish philosopher George Berkeley's criticism of infinitesimal calculus in 1734 in The Analyst ("ghosts of departed quantities").
Calculus
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.
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
Extended real line
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
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
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.
Higher mathematics
The four basic operations – addition, subtraction, multiplication and division – as applied to whole numbers (positive integers), with some restrictions, in elementary arithmetic are used as a framework to support the extension of the realm of numbers to which they apply. For instance, to make it possible to subtract any whole number from another, the realm of numbers must be expanded to the entire set of integers in order to incorporate the negative integers. Similarly, to support division of any integer by any other, the realm of numbers must expand to the rational numbers. During this gradual expansion of the number system, care is taken to ensure that the "extended operations", when applied to the older numbers, do not produce different results. Loosely speaking, since division by zero has no meaning (is undefined) in the whole number setting, this remains true as the setting expands to the real or even complex numbers.
As the realm of numbers to which these operations can be applied expands there are also changes in how the operations are viewed. For instance, in the realm of integers, subtraction is no longer considered a basic operation since it can be replaced by addition of signed numbers. Similarly, when the realm of numbers expands to include the rational numbers, division is replaced by multiplication by certain rational numbers. In keeping with this change of viewpoint, the question, "Why can't we divide by zero?", becomes "Why can't a rational number have a zero denominator?". Answering this revised question precisely requires close examination of the definition of rational numbers.
In the modern approach to constructing the field of real numbers, the rational numbers appear as an intermediate step in the development that is founded on set theory. First, the natural numbers (including zero) are established on an axiomatic basis such as Peano's axiom system and then this is expanded to the ring of integers. The next step is to define the rational numbers keeping in mind that this must be done using only the sets and operations that have already been established, namely, addition, multiplication and the integers. Starting with the set of ordered pairs of integers, {(a, b)} with b ≠ 0, define a binary relation on this set by (a, b) ≃ (c, d) if and only if ad = bc. This relation is shown to be an equivalence relation and its equivalence classes are then defined to be the rational numbers. It is in the formal proof that this relation is an equivalence relation that the requirement that the second coordinate is not zero is needed (for verifying transitivity).
Although division by zero cannot be sensibly defined with real numbers and integers, it is possible to consistently define it, or similar operations, in other mathematical structures.
Non-standard analysis
In the hyperreal numbers, division by zero is still impossible, but division by non-zero infinitesimals is possible. The same holds true in the surreal numbers.
Distribution theory
In distribution theory one can extend the function 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.
Linear algebra
In matrix algebra, square or rectangular blocks of numbers are manipulated as though they were numbers themselves: matrices can be added and multiplied, and in some cases, a version of division also exists. Dividing by a matrix means, more precisely, multiplying by its inverse. Not all matrices have inverses. For example, a matrix containing only zeros is not invertible.
One can define a pseudo-division, by setting a/b = ab, in which b represents the pseudoinverse of b. It can be proven that if b exists, then b = b. If b equals 0, then b = 0.
Abstract algebra
In abstract algebra, the integers, the rational numbers, the real numbers, and the complex numbers can be abstracted to more general algebraic structures, such as a commutative ring, which is a mathematical structure where addition, subtraction, and multiplication behave as they do in the more familiar number systems, but division may not be defined. Adjoining a multiplicative inverses to a commutative ring is called localization. However, the localization of every commutative ring at zero is the trivial ring, where , so nontrivial commutative rings do not have inverses at zero, and thus division by zero is undefined for nontrivial commutative rings.
Nevertheless, any number system that forms a commutative ring can be extended to a structure called a wheel in which division by zero is always possible. However, the resulting mathematical structure is no longer a commutative ring, as multiplication no longer distributes over addition. Furthermore, in a wheel, division of an element by itself no longer results in the multiplicative identity element , and if the original system was an integral domain, the multiplication in the wheel no longer results in a cancellative semigroup.
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; 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 should be the solution x of the equation . But in the ring Z/6Z, 2 is a zero divisor. This equation has two distinct solutions, x = 1 and x = 4, so the expression is undefined.
In field theory, the expression is only shorthand for the formal expression ab, where b 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. Modern texts, that define fields as a special type of ring, include the axiom 0 ≠ 1 for fields (or its equivalent) so that the zero ring is excluded from being a field. In the zero ring, division by zero is possible, which shows that the other field axioms are not sufficient to exclude division by zero in a field.
Computer arithmetic
Floating-point arithmetic
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.
For example, using single-precision IEEE arithmetic, if x = −2, then x/2 underflows to −0, and dividing 1 by this result produces 1/(x/2) = −∞. The exact result −2 is too large to represent as a single-precision number, so an infinity of the same sign is used instead to indicate overflow.
Integer arithmetic
Integer division by zero is usually handled differently from floating point since there is no integer representation for the result. CPUs differ in behavior: for instance x86 processors trigger a hardware exception, while PowerPC processors silently generate an incorrect result for the division and continue, and ARM processors can either cause a hardware exception or return zero. Because of this inconsistency between platforms, the C and C++ programming languages consider the result of dividing by zero undefined behavior. In typical higher-level programming languages, such as Python, an exception is raised for attempted division by zero, which can be handled in another part of the program.
In proof assistants
Many proof assistants, such as Coq and Lean, define 1/0 = 0. This is due to the requirement that all functions are total. Such a definition does not create contradictions, as further manipulations (such as cancelling out) still require that the divisor is non-zero.
Historical accidents
- On 21 September 1997, a division by zero error in the "Remote Data Base Manager" aboard USS Yorktown (CG-48) brought down all the machines on the network, causing the ship's propulsion system to fail.
See also
Notes
- Cheng 2023, pp. 75–83.
- Zazkis & Liljedahl 2009, p. 52–53.
- Zazkis & Liljedahl 2009, p. 55–56.
- Kochenburger, Ralph J.; Turcio, Carolyn J. (1974), Computers in Modern Society, Santa Barbara: Hamilton,
Some other operations, including division, can also be performed by the desk calculator (but don't try to divide by zero; the calculator never will stop trying to divide until stopped manually).
For a video demonstration, see: What happens when you divide by zero on a mechanical calculator?, 7 Mar 2021, retrieved 2024-01-06 – via YouTube - Zazkis & Liljedahl 2009, pp. 53–54, give an example of a king's heirs equally dividing their inheritance of 12 diamonds, and ask what would happen in the case that all of the heirs died before the king's will could be executed.
- In China, Taiwan, and Japan, school textbooks typically distinguish between the ratio and the value of the ratio By contrast in the USA textbooks typically treat them as two notations for the same thing. Lo, Jane-Jane; Watanabe, Tad; Cai, Jinfa (2004), "Developing Ratio Concepts: An Asian Perspective", Mathematics Teaching in the Middle School, 9 (7): 362–367, doi:10.5951/MTMS.9.7.0362, JSTOR 41181943
- Cengiz, Nesrin; Rathouz, Margaret (2018), "Making Sense of Equivalent Ratios", Mathematics Teaching in the Middle School, 24 (3): 148–155, doi:10.5951/mathteacmiddscho.24.3.0148, JSTOR 10.5951/mathteacmiddscho.24.3.0148, S2CID 188092067
- Clark, Matthew R.; Berenson, Sarah B.; Cavey, Laurie O. (2003), "A comparison of ratios and fractions and their roles as tools in proportional reasoning", The Journal of Mathematical Behavior, 22 (3): 297–317, doi:10.1016/S0732-3123(03)00023-3
- Cheng, Ivan (2010), "Fractions: A New Slant on Slope", Mathematics Teaching in the Middle School, 16 (1): 34–41, doi:10.5951/MTMS.16.1.0034, JSTOR 41183440
- Cavey, Laurie O.; Mahavier, W. Ted (2010), "Seeing the potential in students' questions", The Mathematics Teacher, 104 (2): 133–137, doi:10.5951/MT.104.2.0133, JSTOR 20876802
- Wegman, Edward J.; Said, Yasmin H. (2010), "Natural homogeneous coordinates", Wiley Interdisciplinary Reviews: Computational Statistics, 2 (6): 678–685, doi:10.1002/wics.122, S2CID 121947341
- Robinson, K. M.; LeFevre, J. A. (2012), "The inverse relation between multiplication and division: Concepts, procedures, and a cognitive framework", Educational Studies in Mathematics, 79 (3): 409–428, doi:10.1007/s10649-011-9330-5, JSTOR 41413121
- Cheng 2023, p. 78; Zazkis & Liljedahl 2009, p. 55
- Zazkis & Liljedahl 2009, p. 55.
- Cheng 2023, pp. 82–83.
- Bunch 1982, p. 14
- ^ Kaplan, Robert (1999), The Nothing That Is: A Natural History of Zero, New York: Oxford University Press, pp. 68–75, ISBN 978-0-19-514237-2
- Bunch 1982, p. 15
- Roy, Rahul (Jan 2003), "Babylonian Pythagoras' Theorem, the Early History of Zero and a Polemic on the Study of the History of Science", Resonance, 8 (1): 30–40, doi:10.1007/BF02834448
- Cajori, Florian (1929), "Absurdities due to division by zero: An historical note", The Mathematics Teacher, 22 (6): 366–368, doi:10.5951/MT.22.6.0366, JSTOR 27951153.
- Herman, Edwin; Strang, Gilbert; et al. (2023), "2.2 The Limit of a Function", Calculus, vol. 1, Houston: OpenStax, p. 454, ISBN 978-1-947172-13-5, OCLC 1022848630
- Klein 1925, p. 63
- Klein 1925, p. 26
- Schumacher 1996, p. 149
- Hamilton 1982, p. 19
- Henkin et al. 2012, p. 292
- Keisler, H. Jerome (2023) , Elementary Calculus: An Infinitesimal Approach, Prindle, Weber & Schmidt, pp. 29–30
- Conway, John H. (2000) , On Numbers and Games (2nd ed.), CRC Press, p. 20, ISBN 9781568811277
- Gbur, Greg (2011), Mathematical Methods for Optical Physics and Engineering, Cambridge University Press, pp. 88–93, Bibcode:2011mmop.book.....G, ISBN 978-0-521-51610-5
- Carlström, Jesper (2004), "Wheels: On Division by Zero", Mathematical Structures in Computer Science, 14 (1): 143–184, doi:10.1017/S0960129503004110 (inactive 1 Nov 2024)
{{citation}}
: CS1 maint: DOI inactive as of November 2024 (link) - Cody, W. J. (Mar 1981), "Analysis of Proposals for the Floating-Point Standard", Computer, 14 (3): 65, doi:10.1109/C-M.1981.220379, S2CID 9923085,
With appropriate care to be certain that the algebraic signs are not determined by rounding error, the affine mode preserves order relations while fixing up overflow. Thus, for example, the reciprocal of a negative number which underflows is still negative.
- "Divide instructions", ARMv7-M Architecture Reference Manual (Version D ed.), Arm Limited, 2010, retrieved 2024-06-12
- Wang, Xi; Chen, Haogang; Cheung, Alvin; Jia, Zhihao; Zeldovich, Nickolai; Kaashoek, M. Frans, "Undefined behavior: what happened to my code?", APSYS '12: Proceedings of the Asia-Pacific Workshop on Systems, APSYS '12, Seoul, 23–24 July 2012, New York: Association for Computing Machinery, doi:10.1145/2349896.2349905, hdl:1721.1/86949, ISBN 978-1-4503-1669-9
{{cite conference}}
: CS1 maint: overridden setting (link) - "Built-in Exceptions", Python 3 Library Reference, Python Software Foundation, § "Concrete exceptions – exception
ZeroDivisionError
", retrieved 2024-01-22 - Tanter, Éric; Tabareau, Nicolas (2015), "Gradual certified programming in coq", DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, Association for Computing Machinery, arXiv:1506.04205, doi:10.1145/2816707.2816710,
The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
{{cite conference}}
: CS1 maint: overridden setting (link) - Buzzard, Kevin (5 Jul 2020), "Division by zero in type theory: a FAQ", Xena Project (Blog), retrieved 2024-01-21
- Stutz, Michael (24 Jul 1998), "Sunk by Windows NT", Wired News, archived from the original on 1999-04-29
- William Kahan (14 Oct 2011), Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering (PDF)
Sources
- Bunch, Bryan (1982), Mathematical Fallacies and Paradoxes, New York: Van Nostrand Reinhold, ISBN 0-442-24905-5 (Dover reprint 1997)
- Cheng, Eugenia (2023), Is Math(s) Real? How Simple Questions Lead Us to Mathematics' Deepest Truths, Basic Books, ISBN 978-1-541-60182-6
- 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, ISBN 978-0521287616
- Henkin, Leon; Smith, Norman; Varineau, Verne J.; Walsh, Michael J. (2012), Retracing Elementary Mathematics, Literary Licensing LLC, ISBN 978-1258291488
- Schumacher, Carol (1996), Chapter Zero : Fundamental Notions of Abstract Mathematics, Addison-Wesley, ISBN 978-0-201-82653-1
- Zazkis, Rina; Liljedahl, Peter (2009), "Stories that explain", Teaching Mathematics as Storytelling, Sense Publishers, pp. 51–65, doi:10.1163/9789087907358_008, ISBN 978-90-8790-734-1
Further reading
- Northrop, Eugene P. (1944), Riddles in Mathematics: A Book of Paradoxes, New York: D. Van Nostrand, Ch. 5 "Thou Shalt Not Divide By Zero", pp. 77–96
- Seife, Charles (2000), Zero: The Biography of a Dangerous Idea, New York: Penguin, ISBN 0-14-029647-6
- Suppes, Patrick (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)
- Tarski, Alfred (1941), Introduction to Logic and to the Methodology of Deductive Sciences, Oxford University Press, §53 "Definitions whose definiendum contains the identity sign"