La división es una de las cuatro operaciones básicas de la aritmética . Las otras operaciones son suma , resta y multiplicación . Lo que se está dividiendo se llama dividendo , el cual se divide por el divisor , y el resultado se llama cociente .
A nivel elemental la división de dos números naturales es, entre otras posibles interpretaciones , el proceso de calcular el número de veces que un número está contenido dentro de otro. [1] : 7 Por ejemplo, si 20 manzanas se dividen en partes iguales entre 4 personas, cada uno recibe 5 manzanas (ver imagen). Sin embargo, no es necesario que este número de veces o el número contenido (divisor) sean números enteros .
La división con resto o división euclidiana de dos números naturales proporciona un cociente entero , que es el número de veces que el segundo número está completamente contenido en el primer número, y un resto , que es la parte del primer número que queda, cuando está en Durante el cálculo del cociente, no se puede asignar más porción completa del tamaño del segundo número. Por ejemplo, si se dividen 21 manzanas entre 4 personas, cada uno vuelve a recibir 5 manzanas y queda 1 manzana.
Para que la división siempre dé como resultado un número en lugar de un cociente entero más un resto, los números naturales deben extenderse 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, a = c / b significa a × b = c , siempre que b no sea cero. Si b = 0 , entonces se trata de una división por cero , que no está definida. [a] [4] : 246 En el ejemplo de las 21 manzanas, todos recibirían 5 manzanas y un cuarto de manzana, evitando así las sobras.
Ambas formas de división aparecen en diversas estructuras algebraicas , diferentes formas de definir la estructura matemática. Aquellos en los que se define una división euclidiana (con resto) se denominan dominios euclidianos e incluyen anillos polinómicos en un indeterminado (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) entre todos los elementos distintos de cero se denominan campos y anillos de división . En un anillo, los elementos por los que siempre es posible la división se denominan unidades (por ejemplo, 1 y −1 en el anillo de los números 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.
La forma más sencilla de ver la división es en términos de cotización y partición : desde la perspectiva de la cotización, 20/5 significa el número de 5 que se deben sumar para obtener 20. En términos de partición, 20/5 significa el tamaño de cada uno de los 5. Partes en las 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 20/5 = 4 , o20/5= 4 . [2] En el ejemplo, 20 es el dividendo, 5 es el divisor y 4 es el cociente.
A diferencia de otras operaciones básicas, al dividir números naturales a veces queda un resto que no se destina equitativamente al dividendo; por ejemplo, 10/3 deja un resto de 1, ya que 10 no es múltiplo de 3. A veces este resto se suma al cociente como parte fraccionaria , por lo que 10/3 es igual a 3+1/3o 3,33... , pero en el contexto de la división de enteros , donde los números no tienen parte fraccionaria, el resto se mantiene por separado (o excepcionalmente, se descarta o se redondea ). [5] Cuando el resto se mantiene como una fracción, se obtiene un número racional . El conjunto de todos los números racionales se crea extendiendo los números enteros con todos los resultados posibles de divisiones de números enteros.
A diferencia de la multiplicación y la suma, la división no es conmutativa , lo que significa que a / b no siempre es igual a b / a . [6] 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. [7] Por ejemplo, (24/6)/2 = 2 , pero 24/(6/2) = 8 (donde el uso de paréntesis indica que las operaciones dentro de paréntesis se realizan antes que las operaciones fuera de paréntesis).
La división se considera tradicionalmente asociativa de izquierda . Es decir, si hay varias divisiones seguidas, el orden de cálculo va de izquierda a derecha: [8] [9]
La división es distributiva por la derecha sobre la suma y la resta, en el sentido de que
Esto es lo mismo para la multiplicación , como . Sin embargo, la división no es distributiva por la izquierda , como
Esto es diferente al caso de la multiplicación, que es distributiva por la izquierda y por la derecha y, por tanto, distributiva .
La división a menudo se muestra en álgebra y ciencia colocando el dividendo sobre el divisor con una línea horizontal, también llamada barra de fracción , entre ellos. Por ejemplo, " a dividido por b " se puede escribir como:
que también se puede leer en voz alta como "dividir a entre b " o " a sobre b ". Una forma de expresar la división en una sola línea es escribir el dividendo (o numerador), luego una barra diagonal y luego el divisor (o denominador), de la siguiente manera:
Esta es la forma habitual de especificar la división en la mayoría de los lenguajes de programación de computadoras , ya que se puede escribir fácilmente como una secuencia simple de caracteres ASCII . (También es la única notación utilizada para objetos cocientes en álgebra abstracta ). Algunos programas matemáticos , como MATLAB y GNU Octave , permiten que los operandos se escriban en orden inverso utilizando la barra invertida como operador de división:
Una variación tipográfica a medio camino entre estas dos formas utiliza un solidus (barra de fracción), pero eleva el dividendo y reduce el divisor:
Cualquiera de estas formas se puede utilizar para mostrar una fracción . Una fracción es una expresión de división en la que tanto el dividendo como el divisor son números enteros (normalmente llamados numerador y denominador ), y no implica que la división deba evaluarse más a fondo. Una segunda forma de mostrar la división es utilizar el signo de división (÷, también conocido como obelus aunque el término tiene significados adicionales), común en aritmética, de esta manera:
Esta forma es poco frecuente excepto en aritmética elemental. ISO 80000-2 -9.6 establece que no debe utilizarse. Este signo de división también se utiliza solo para representar la operación de división en sí, como por ejemplo como etiqueta en una tecla de una calculadora . El obelus fue introducido por el matemático suizo Johann Rahn en 1659 en Teutsche Algebra . [10] : 211 El símbolo ÷ se utiliza para indicar resta en algunos países europeos, por lo que su uso puede malinterpretarse. [11]
En algunos países de habla no inglesa , se utilizan dos puntos para indicar división: [12]
Esta notación fue introducida por Gottfried Wilhelm Leibniz en su Acta eruditorum de 1684 . [10] : 295 A Leibniz no le gustaba tener símbolos separados para la razón y la división. Sin embargo, en el uso inglés los dos puntos se limitan a expresar el concepto relacionado de proporciones .
Desde el siglo XIX, los libros de texto estadounidenses han utilizado o para denotar a dividido por b , especialmente cuando se habla de división larga . La historia de esta notación no está del todo clara porque evolucionó con el tiempo. [13]
La división se introduce a menudo mediante la noción de "repartir" un conjunto de objetos, por ejemplo un montón de caramelos, en varias porciones iguales. Distribuir los objetos varios a la vez en cada ronda de reparto entre cada porción conduce a la idea de ' fragmentar ', una forma de división en la que se restan repetidamente múltiplos del divisor del dividendo mismo.
Al permitir restar más múltiplos de los que permite el resto parcial en una etapa determinada, también se pueden desarrollar métodos más flexibles, como la variante bidireccional de fragmentación.
De manera más sistemática y eficiente, se pueden dividir dos números enteros con lápiz y papel con el método de división corta , si el divisor es pequeño, o división larga , si el divisor es mayor. Si el dividendo tiene una parte fraccionaria (expresada como fracción decimal ), se puede continuar el procedimiento más allá de las unidades hasta donde se desee. Si el divisor tiene una parte fraccionaria, se puede reformular el problema moviendo el decimal hacia la derecha en ambos números hasta que el divisor no tenga fracción, lo que puede hacer que el problema sea más fácil de resolver (p. ej., 10/2,5 = 100/25 = 4 ).
La división se puede calcular con un ábaco . [14]
Las tablas de logaritmos se pueden usar para dividir dos números, restando los logaritmos de los dos números y luego buscando el antilogaritmo del resultado.
La división se puede calcular con una regla de cálculo alineando el divisor en la escala C con el dividendo en la escala D. El cociente se puede encontrar en la escala D donde está alineado con el índice izquierdo en la escala C. Sin embargo, el usuario es responsable de realizar un seguimiento mental del punto decimal.
Las calculadoras y computadoras modernas calculan la división mediante métodos similares a la división larga o mediante métodos más rápidos; ver Algoritmo de división .
En aritmética modular (módulo un número primo) y para números reales , los números distintos de cero tienen un inverso multiplicativo . En estos casos, una división por x se puede calcular como el producto del inverso multiplicativo de x . Este enfoque a menudo se asocia con los métodos más rápidos de la aritmética informática.
La división euclidiana es la formulación matemática del resultado del proceso habitual de división de números enteros. Afirma que, dados dos números enteros, a , el dividendo , y b , el divisor , tales que b ≠ 0, existen enteros únicos q , el cociente , y r , el resto, tales que a = bq + r y 0 ≤ r < | b |, donde | segundo | denota el valor absoluto de b .
Los números enteros no son cerrados bajo división. Aparte de que la división por cero no está definida, el cociente no es un número entero a menos que el dividendo sea un múltiplo entero del divisor. Por ejemplo, 26 no se puede dividir entre 11 para obtener un número entero. Un caso así utiliza uno de cinco enfoques:
Dividir números enteros en un programa de computadora requiere especial cuidado. 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 todos los sistemas de álgebra informática, 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 números enteros incluyen div, /, \ y %. Las definiciones varían con respecto a la división de enteros cuando el dividendo o el divisor es negativo: el redondeo puede ser hacia cero (la llamada división T) o hacia −∞ (división F); Pueden ocurrir estilos más raros; consulte la operación del módulo para obtener más detalles.
A veces se pueden utilizar reglas de divisibilidad para determinar rápidamente si un número entero se divide exactamente entre otro.
El resultado de dividir dos números racionales es otro número racional cuando el divisor no es 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 solo p puede ser 0. Esta definición asegura que la división es la operación inversa de la multiplicación .
La división de dos números reales da como resultado otro número real (cuando el divisor es distinto de cero). Se define tal que a / b = c si y sólo si a = cb y b ≠ 0.
Dividir dos números complejos (cuando el divisor es distinto de cero) da como resultado otro número complejo, que se encuentra usando el conjugado del denominador:
Este proceso de multiplicar y dividir por se llama "realización" o (por analogía) racionalización . Las cuatro cantidades p , q , r , s son números reales y es posible que r y s no sean ambos 0.
La división de números complejos expresados en forma polar es más sencilla que la definición anterior:
Nuevamente, las cuatro cantidades p , q , r , s son números reales y r puede no ser 0.
Se puede definir la operación de división de polinomios en una variable sobre un campo . Entonces, como en el caso de los números enteros, se tiene un resto. Véase División euclidiana de polinomios y, para cálculos escritos a mano, división larga de polinomios o división sintética .
Se puede definir una operación de división para matrices. La forma habitual de hacer esto es definir A / B = AB −1 , donde B −1 denota la inversa de B , pero es mucho más común escribir AB −1 explícitamente para evitar confusiones. Una división por elementos también se puede definir en términos del producto de Hadamard .
Debido a que la multiplicación de matrices no es conmutativa , también se puede definir una división por la izquierda o la llamada división de barra invertida como A \ B = A −1 B . Para que esto esté bien definido, no es necesario que exista B −1 , sin embargo , sí es necesario que exista A −1 . Para evitar confusiones, la división definida por A / B = AB −1 a veces se denomina división por la derecha o división con barra diagonal en este contexto.
Con la división izquierda y derecha definida de esta manera, A / ( BC ) en general no es lo mismo que ( A / B ) / C , ni ( AB ) \ C es lo mismo que A \ ( B \ C ) . Sin embargo, se cumple que A /( BC ) = ( A / C )/ B y ( AB )\ C = B \( A \ C ) .
Para evitar problemas cuando A −1 y/o B −1 no existen, la división también se puede definir como multiplicación por el pseudoinverso . Es decir, A / B = AB + y A \ B = A + B , donde A + y B + denotan las pseudoinversas de A y B.
En álgebra abstracta , dado un magma con operación binaria ∗ (que nominalmente podría denominarse multiplicación), la división por la izquierda de b por a (escrita a \ b ) generalmente se define como la solución x de la ecuación a ∗ x = b , si esto existe y es único. De manera similar, la división por la derecha de b por a (escrito b / a ) es la solución y de la ecuación y ∗ a = b . La división en este sentido no requiere que ∗ tenga propiedades particulares (como conmutatividad, asociatividad o un elemento de identidad). Un magma para el cual tanto a \ b como b / a existen y son únicos para todo a y todo b (la propiedad del cuadrado latino ) es un cuasigrupo . En un cuasigrupo, la división en este sentido siempre es posible, incluso sin un elemento de identidad y, por tanto, sin inversos.
La "división" en el sentido de "cancelación" se puede realizar en cualquier magma mediante un elemento con la propiedad de cancelación . Los ejemplos incluyen álgebras matriciales , álgebras de cuaterniones y cuasigrupos. En un dominio integral , donde no todos los elementos necesitan tener una inversa, la división por un elemento cancelador a aún se puede realizar en elementos de la forma ab o ca mediante cancelación izquierda o derecha, respectivamente. Si un anillo es finito y cada elemento distinto de cero es cancelable, entonces, mediante una aplicación del principio del casillero , cada elemento distinto de cero del anillo es invertible y es posible la división por cualquier elemento distinto de cero. Para saber cuándo las álgebras (en el sentido técnico) tienen una operación de división, consulta la página sobre álgebras de división . En particular, la periodicidad de Bott se puede utilizar para demostrar que cualquier álgebra de división normada real debe ser isomorfa a los números reales R , los números complejos C , los cuaterniones H o los octoniones O.
La derivada del cociente de dos funciones viene dada por la regla del cociente :
La división de cualquier número por cero en la mayoría de los sistemas matemáticos no está definida, porque cero multiplicado por cualquier número finito siempre da como resultado un producto cero. [15] La introducción de una expresión de este tipo en la mayoría de las calculadoras produce un mensaje de error. Sin embargo, en ciertos niveles matemáticos superiores, la división por cero es posible mediante el anillo cero y álgebras como las ruedas . [16] En estas álgebras, el significado de división es diferente de las definiciones tradicionales.
