Cociente (aritmética)

En la matemática, la división es una operación parcialmente definida en el conjunto de los números naturales y 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.^[1]​

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.

Conceptualmente, la división describe dos nociones relacionadas, aunque diferentes, la de «separar» y la de «repartir».^[2]​^[3]​ 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 ${displaystyle a }$ dividido ${displaystyle b }$ se interpreta como el producto ${displaystyle a}$ por ${displaystyle { frac {1}{b}}}$.

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.

En álgebra y ciencias, la división se denota generalmente a modo de fracción, con el dividendo escrito sobre el divisor. Por ejemplo ${displaystyle { frac {3}{4}}}$ se lee: tres dividido cuatro. También puede emplearse una barra oblicua: ${displaystyle 3/4,}$; este es el modo más corriente en los lenguajes de programación por computadora, 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 (${displaystyle div }$) (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 (;).

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.

Hasta el siglo XVI 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:

${displaystyle { m {Dividendo,}}}$

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

${displaystyle { m {Dividendo,}}}$

Y también se usa otro diagrama equivalente

${displaystyle { m {Divisor,}}}$

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

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.^[4]​

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 ${displaystyle a=bcdot q+r,0leq r<b}$.

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

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.

La división en ℚ siempre es posible, toda vez que el divisor no sea nulo. Pues el cociente ${displaystyle xdiv y}$, no es sino el producto ${displaystyle xcdot y^{-1}}$

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:^[6]​ dados p/q y r/s,

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

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.

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.

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 ${displaystyle r(cos a+isin a)div s(cos b+isin b)=(rdiv s)(cos(a-b)+isin(a-b))}$^[8]​

En forma exponencial:

---