División (matemática)

En la matemática, la división es una operación parcialmente definida en el conjunto de  los números enteros; en cambio, en el caso de los números racionales, reales y complejos es siempre posible efectuar la división, exigiendo que el divisor sea distinto de cero, sea cual fuera la naturaleza de los números por dividir. En el caso de que sea posible efectuar la división, esta  consiste en indagar cuántas veces un número (divisor) está «contenido» en otro número (dividendo). El resultado de una división recibe el nombre de «cociente». De manera general puede decirse que la división es la operación inversa de la multiplicación, siempre y cuando se realice en un campo.

Debe distinguirse la división «exacta» (sujeto principal de este artículo) de la «división con resto» o residuo (la división euclídea). A diferencia de la suma, la resta o la multiplicación, la división entre números enteros no está siempre definida; en efecto: 4 dividido 2 es igual a 2 (un número entero), pero 2 entre 4 es igual a ²⁄₄ (un medio), que ya no es un número entero. La definición formal de «división» , «divisibilidad» y «conmensurabilidad», dependerá luego del conjunto de definición.

Como cualquier operación, en el resultado de una división tiene que ser único, por eso existe una definición para cociente y resto.

Para que la división produzca siempre un número en lugar de un cociente más un resto, los números naturales deben ampliarse a números racionales o números reales. En estos  sistemas numéricos ampliados, la división es la operación inversa a la multiplicación, es decir  significa , siempre que  no sea cero. Si , entonces se trata de una división por cero, que no está definida. En el ejemplo de las 21 manzanas, cada uno recibiría 5 manzanas y un cuarto de manzana, con lo que se evitaría cualquier sobrante.

Ambas formas de división aparecen en diversas estructura algebraicas, diferentes formas de definir la estructura matemática. Aquellas en las que se define una división euclídea (con resto) se denominan dominio euclídeos e incluyen anillo polinómicos en una indeterminada (que definen la multiplicación y la suma sobre fórmulas de una sola variable). Aquellos en los que se define una división (con un único resultado) por todos los elementos distintos de cero se denominan campos y anillo de división. En un anillo los elementos por los que siempre es posible la división se llaman unidades (por ejemplo, 1 y -1 en el anillo de los enteros). Otra generalización de la división a estructuras algebraicas es el grupo cociente, en el que el resultado de la "división" es un grupo en lugar de un número.

Introducción 
La forma más sencilla de ver la división es en términos de «cociente y partición»: desde el punto de vista del cociente,  significa el número de 5s que hay que sumar para obtener 20. Desde el punto de vista de la partición,  significa el tamaño de cada una de las 5 partes en que se divide un conjunto de tamaño 20. Por ejemplo, 20 manzanas se dividen en cinco grupos de cuatro manzanas, lo que significa que veinte dividido por cinco es igual a cuatro. Esto se denota como , o . Lo que se divide se llama el dividendo, que se divide por el divisor, y el resultado se llama el cociente. En el ejemplo, 20 es el dividendo, 5 es el divisor y 4 es el cociente.

A diferencia de las otras operaciones básicas, al dividir números naturales a veces hay un resto que no va uniformemente al dividendo; por ejemplo,  deja un resto de 1, ya que 10 no es múltiplo de 3. A veces este resto se añade al cociente como una parte fraccionaria, por lo que  es igual a }} o , pero en el contexto de la división entera, donde los números no tienen parte fraccionaria, el resto se guarda por separado (o excepcionalmente, se descarta o se redondea). Cuando el resto se guarda como fracción, da lugar a un número racional. El conjunto de todos los números racionales se crea ampliando los enteros con todos los posibles resultados de divisiones de enteros.

A diferencia de la multiplicación y la suma, la división no es conmutativa, lo que significa que  no siempre es igual a . La división tampoco es, en general, asociativa, lo que significa que al dividir varias veces, el orden de la división puede cambiar el resultado. Por ejemplo, , pero  (donde el uso del paréntesis indica que las operaciones dentro del paréntesis se realizan antes que las operaciones fuera del paréntesis).

La división se considera tradicionalmente como asociativo izquierdo. Es decir, si hay varias divisiones seguidas, el orden de cálculo va de izquierda a derecha:

 
La división es  derecho-distributiva sobre la suma y la resta, en el sentido de que 

 

Lo mismo ocurre con la multiplicación, ya que . Sin embargo, la división no es  distributiva por la izquierda, ya que

    
Por ejemplo   but 

A diferencia de la multiplicación, que es a la vez distributiva por la izquierda y por la derecha y, por tanto, distributiva.

Definición 
Conceptualmente, la división describe uno o dos nociones relacionadas, aunque diferentes, la de «separar» y la de «repartir». De manera formal, la división es una operación binaria que a dos números asocia el producto del primero por el inverso del segundo. Para un número no nulo, la función «división por ese número» es el recíproco de «multiplicación por ese número». De este modo, el cociente  dividido  se interpreta como el producto  por .

Si la división no es exacta, es decir, el divisor no está contenido un número exacto de veces en el dividendo, la operación tendrá un resto o residuo, donde:
 

Etimología: la palabra deriva del latín dividere: partir, separar.

Notación 
En álgebra y ciencias, la división se denota generalmente a modo de fracción, con el dividendo escrito sobre el divisor. Por ejemplo  se lee: tres dividido cuatro. También puede emplearse una barra oblicua: ; este es el modo más corriente en los lenguajes de programación por computadora u ordenador, puesto que puede ser fácilmente inscrito como secuencia simple del código ASCII. 

Otro modo de indicar una división es por medio del símbolo óbelo () (también llamado «signo de la división»). Este símbolo también se usa para representar la operación de división en sí, como es de uso frecuente en las calculadoras. Otras variantes son los dos puntos (:) o el punto y coma (;).

Propiedades 
La división no es propiamente dicho una «operación» (es decir, una ley de composición interna definida por todas partes), sus «propiedades» no tienen implicaciones estructurales sobre el conjunto de números, y deben ser comprendidas dentro del contexto de los números fraccionarios.

 no-conmutativa, contraejemplo: ;
 no-asociativa, contra

 pseudoelemento neutro a la derecha: 1
 ;
 pseudoelemento absorbente a la izquierda: 0
 ;
 fracciones equivalentes:
.

Algoritmos para la división 

Hasta el  fue muy común el algoritmo de la división por galera, muy similar a la división larga y a la postre (sustituido por ésta como método predilecto de división). El proceso usual de división (división larga) suele representarse bajo el diagrama:

También se usa un diagrama equivalente con la línea debajo del dividendo

Y también se usa otro diagrama equivalente 

Otro método consiste en la utilización de una «tabla elemental», similar a las tablas de multiplicar, con los resultados preestablecidos.

División de números

División de números naturales
Consideremos el conjunto ℕ = {0, 1, 2, ...n, ...} de los números naturales  y sean a,b no nulo, c números naturales, diremos que 

si 

Si es así se dirá que a es el dividendo; b, el divisor; y c, el cociente si existe.

Sin embargo, dados dos números naturales a y b ≠ 0, existen dos únicos números naturales q y r tal que se cumplen las relaciones . 

El algoritmo que permite encontrar q y r, conociendo a y b, se denomina división entera, entre otros nombres.

División de números enteros 
La división no es una operación cerrada, lo cual quiere decir que, en general, el resultado de dividir dos números enteros no será otro número entero, a menos que el dividendo sea un múltiplo entero del divisor. 

Existen criterios de divisibilidad para números enteros (por ejemplo, todo número terminado en 0,2,4,6 u 8 será divisible entre 2), utilizados particularmente para descomponer los enteros en factores primos, lo que se usa en cálculos como el mínimo común múltiplo o el máximo común divisor.

División de números racionales 
La división en ℚ siempre es posible, toda vez que el divisor no sea nulo. Pues el cociente , no es sino el producto 

En los racionales, el resultado de dividir dos números racionales (a condición de que  el divisor no sea 0) puede calcularse con cualesquiera de las fracciones representativas. Se puede definir de la manera siguiente: dados p/q y r/s,

 

Esta definición demuestra que la división funciona como la operación inversa de la multiplicación.

División de números reales 
El resultado de dividir dos números reales es otro número real (siempre y cuando el divisor no sea 0). Se define como a/b = c si y solo si a = cb y b ≠ 0.

División de formas binómicas cuadráticas

División entre cero 

La división de cualquier número entre cero es una «indefinición». Esto resulta del hecho que cero multiplicado por cualquier cantidad finita es otra vez cero, es decir que el cero no posee un inverso multiplicativo.

División de números complejos 
El resultado de dividir dos números complejos es otro número complejo (siempre y cuando el divisor no sea 0). Se define como

en donde r y s no son ambos iguales a 0.

En la forma trigonométrica 

En forma exponencial:

División en diferentes contextos

División euclídea 

La división euclídea es la formulación matemática del resultado del proceso habitual de división de números enteros. Afirma que, dados dos enteros, a, el dividendo, y b, el divisor, tales que b ≠ 0, existen unos únicos enteros q, el cociente, y r, el resto, tales que a = bq + r y 0 ≤ r < |b|, donde |b| denota el valor absoluto de b.

De los números enteros 
Los números enteros no son cerrados bajo división. Aparte de que la división por cero es indefinida, el cociente no es un entero a menos que el dividendo sea un múltiplo entero del divisor. Por ejemplo, 26 no puede dividirse por 11 para obtener un número entero. En tal caso se utiliza uno de los cinco enfoques siguientes:
 Decir que 26 no se puede dividir por 11; la división se convierte en una función parcial.
 Dar una respuesta aproximada como  número de coma flotante. Este es el enfoque que se suele adoptar en cálculo numérico.
 Dar la respuesta como una fracción que representa un número racional, por lo que el resultado de la división de 26 entre 11 es  (o como un número mixto, por lo que ) Normalmente, la fracción resultante debe simplificarse: el resultado de la división de 52 por 22 es también . Esta simplificación puede hacerse factorizando el máximo común divisor.
 Dar la respuesta como un entero cociente y un resto, por lo que  Para hacer la distinción con el caso anterior, esta división, con dos enteros como resultado, se llama a veces división euclídea, porque es la base del algoritmo de Euclides.
 Da como respuesta el cociente de enteros, por lo que  Esta es la función suelo aplicada al caso 2 ó 3. A veces se llama división entera''', y se denota por "//".

La división de enteros en un programa de ordenador requiere un cuidado especial. Algunos lenguajes de programación tratan la división de enteros como en el caso 5 anterior, por lo que la respuesta es un número entero. Otros lenguajes, como MATLAB y cualquier sistema de álgebra computacional devuelven un número racional como respuesta, como en el caso 3 anterior. Estos lenguajes también proporcionan funciones para obtener los resultados de los otros casos, ya sea directamente o a partir del resultado del caso 3.

Los nombres y símbolos utilizados para la división de enteros incluyen div, /, \ y %. Las definiciones varían con respecto a la división de enteros cuando el dividendo o el divisor es negativo: redondeo puede ser hacia cero (la llamada división T) o hacia -∞ (división F); pueden ocurrir estilos más raros - véase operación módulo para los detalles.

Las reglas de divisibilidad pueden usarse a veces para determinar rápidamente si un entero divide exactamente a otro.
 De números racionales 
El resultado de dividir dos números racionaless es otro número racional cuando el divisor es distinto de 0. La división de dos números racionales p'/q y r'/s se puede calcular como

Las cuatro cantidades son números enteros, y sólo p puede ser 0. Esta definición asegura que la división es la operación inversa de la multiplicación.

 Véase también 
 Algoritmo de la división
 División larga
 División por galera
 Divisibilidad
 División por cero
 División polinomial
 Algoritmo divide y vencerás
 Razón (matemática)

 Notas y referencias 

 Bibliografía 
 
 
 Diccionario Jurídico Mexicano'', México, Instituto de Investigaciones jurídicas, 2011, Editorial Porrúa, p. 1382.

Enlaces externos 
 Ejemplos de divisiones (Álgebra)

Operaciones básicas de la aritmética
Álgebra
Algoritmos de precisión arbitraria