División

Aritmética

La división es la operación aritmética de repartir una cantidad en grupos iguales o de hallar cuántas veces cabe un número en otro.

Formula

\text{dividend} / \text{divisor} = \text{quotient} \ (+ \text{remainder})
Visualization

Definition

La división significa repartir un número en partes iguales, o averiguar cuántas veces cabe un número en otro, escrita con el signo de división (/ o el símbolo de división). Dividir $a$ entre $b$ ($b \neq 0$) da un cociente $q$ (y un residuo $r$ para enteros) tales que $a = b \times q + r$ con $0 \le r < b$; para números reales, $a / b = a \times (1/b)$, y la división entre cero no está definida. En un cuerpo $F$, la división se define como la multiplicación por el inverso multiplicativo, $a / b = a \cdot b^{-1}$ para $b \neq 0$: los cuerpos son precisamente los anillos donde todo elemento distinto de cero tiene un inverso multiplicativo, razón por la cual $\mathbb{Z}$ es un anillo pero no un cuerpo (ya que $1/2$ no es un entero), mientras que $\mathbb{Q}$, $\mathbb{R}$, y $\mathbb{C}$ sí son cuerpos.

Example

$12 / 4 = 3$ significa que $12$ repartido en partes iguales entre $4$ grupos da $3$ en cada uno, o que $4$ cabe en $12$ exactamente $3$ veces; la división es la operación opuesta a la multiplicación, así que si $3 \times 4 = 12$, entonces $12 / 4 = 3$ y $12 / 3 = 4$. $23 / 5 = 4$ residuo $3$ como división entera ($23 = 5 \times 4 + 3$), o $23 / 5 = 4.6$ como división real; nótese que la división no es conmutativa ni asociativa. En $\mathbb{Z}_7$ (enteros módulo $7$): dado que $5 \cdot 3 = 15 \equiv 1 \pmod 7$, el inverso de $5$ es $3$, así que $3 / 5 = 3 \cdot 3 = 9 \equiv 2 \pmod 7$.

Key Insight

La división larga es una aplicación directa del algoritmo de la división: en cada paso hallas cuántas veces cabe el divisor en el dividendo parcial actual, registras el dígito del cociente, y hallas el nuevo residuo. El algoritmo de Euclides para el máximo común divisor se basa enteramente en este proceso repetido de hallar residuos, y porque todo dominio euclidiano lo admite, todos comparten la propiedad clave de que todo ideal es principal.