División por cero

Representación gráfica de la función y = 1/x. Cuando x «tiende» a 0⁺, y se «aproxima» a infinito.

En matemáticas, la división por cero es aquella división en la que el divisor es igual a cero. En aritmética y álgebra, es considerada una «indefinición» que puede originar paradojas matemáticas.

En los números naturales, enteros y reales, la división por cero no posee un valor definido, debido a que para todo número n, el producto n · 0 = 0, por lo que el 0 no tiene inverso multiplicativo.​ En otros cuerpos matemáticos, pueden existir divisores de cero, sin embargo, estos aparecen cuando el cero es el dividendo, no el divisor.

El problema surgió en los años 650, cuando en India se comenzó a popularizar el uso del cero y los números negativos. El primero en aproximarse al planteamiento de este problema fue el matemático indio Bhaskara I, quien escribió que ${n \over 0}=\infty$, en el siglo VII.​

Indefinición de la división por cero y su diferencia con una indeterminación

En análisis matemático

Desde el punto de vista del análisis matemático, la indefinición de una división por cero puede solventarse mediante el concepto de límite. Supongamos que tenemos la siguiente expresión:

$f(x)={n \over 0}$

donde n es un número natural (distinto de cero e infinito). Entonces, para calcular el valor de f(x), se puede utilizar una aproximación del límite, por la derecha o por la izquierda:

$f(x)\simeq \lim _{x\to 0^{+}}{n \over x}$

Cuando el valor de x «tiende» a cero, n/x alcanza un valor inmensamente grande (si n es distinto de cero o infinito).

Se suele expresar diciendo: cuando x «tiende» a cero, n/0 se «aproxima» a infinito:

$f(x)={n \over 0}\simeq \infty$

Sin embargo, aunque aparentemente aceptable en la práctica, esta solución puede generar paradojas matemáticas, conocidas como diferentes infinitos. Algunos intentos en análisis matemático por definir formalmente la división por cero son las extensiones a la recta de los reales y la Esfera de Riemann.

La expresión ${\frac {x}{0}}$ es una indefinición. Sin embargo, cuando x = 0, obtenemos la expresión ${\frac {0}{0}}$ que es una indeterminación.​

Informática

Una división por cero es, en informática, un clásico error lógico.

Puesto que muchos algoritmos informáticos clásicos de división usan el método de restas sucesivas, al ser el divisor cero, la resta como tal se ejecuta por siempre, ya que el dividendo nunca cambia. La aplicación en cuestión entra entonces en un bucle infinito.

Para prevenir esto, actualmente los procesadores matemáticos son capaces de detectar divisiones por cero en tiempo de ejecución, y llegado el caso, entregan informes de error distinguibles al sistema, para que éste termine el proceso que se está ejecutando.

Por su parte, los compiladores más modernos incorporan mensajes de error cuando una división por cero ocurre explícitamente, mientras que algunos incluso además intentan detectar divisiones por cero no explícitas. Aquellos lenguajes que incorporan manejo de excepciones pueden capturar este evento para que sea tratado apropiadamente, ejecutando un código especialmente dedicado a este caso.

En el caso particular de divisiones por cero en aritmética de números en punto flotante, el estándar IEEE indica que si el dividendo se hace cero en algún momento, tal operación deberá dar como resultado el valor Inf (infinito), o particularmente NaN (Not a Number, "No es un Número").

Enlaces externos

• Weisstein, Eric W. Division by Zero From MathWorld