Matemáticas · Glosario

¿Qué es Divisibilidad?

Definición 29.1 Matemáticas de secundaria · Capítulo 29 — Aritmética

Sean a,bZa, b \in \Z. Decimos que bb divide a aa, y escribimos bab \mid a, si existe kZk \in \Z con a=kba = kb. También decimos que aa es múltiplo de bb.

Leer en el capítulo →
Definición 6.1 Matemáticas universitarias — Grado 1 · Capítulo 6 — Aritmética de los enteros

Para a,bZa, b \in \Z, se dice que bb divide a aa (y se escribe bab \mid a) cuando a=bqa = bq para algún qZq \in \Z. Consecuencias básicas: si bab \mid a y bab \mid a', entonces b(ua+va)b \mid (ua + va') para todos u,vZu, v \in \Z; si bab \mid a y a0a \neq 0, entonces ba\abs b \leq \abs a; y aba \mid b junto con bab \mid a obligan a b=±ab = \pm a.

Ejemplos

Ejemplo 6.3 (Numeración posicional por divisiones sucesivas)

Escríbase 20262026 en base 77. Divídase repetidamente por 77, guardando los restos:

2026=7×289+3,289=7×41+2,41=7×5+6,5=7×0+5.2026 = 7 \times 289 + 3, \quad 289 = 7 \times 41 + 2, \quad 41 = 7 \times 5 + 6, \quad 5 = 7 \times 0 + 5 .

Leyendo los restos del último al primero: 2026=(5623)72026 = (5\,6\,2\,3)_7. Comprobación: 5×343+6×49+2×7+3=1715+294+14+3=20265 \times 343 + 6 \times 49 + 2 \times 7 + 3 = 1715 + 294 + 14 + 3 = 2026. La unicidad de la división euclídea es exactamente lo que hace que cada cifra quede forzada: en cada paso, el resto es el único entero de [ ⁣[0,6] ⁣]\intint06 congruente con el valor actual módulo 77, así que la escritura en base 77 es única — hecho que se usa en silencio siempre que el problema del fin de semana manipula «las cifras de nn en base pp».

Ejemplo 6.9 (Resolución de una ecuación diofántica lineal)

Hállense todos los (x,y)Z2(x, y) \in \Z^2 con 6x+10y=46x + 10y = 4. Primero, el test de existencia: gcd(6,10)=2\gcd(6, 10) = 2 divide a 44, luego hay soluciones (si el mcd no dividiese al miembro derecho, el izquierdo sería siempre múltiplo suyo y no habría ninguna). Divídase todo: 3x+5y=23x + 5y = 2. Se ve una solución particular: (x0,y0)=(1,1)(x_0, y_0) = (-1, 1). Para la general, réstese: 3(x+1)=5(y1)3(x + 1) = -5(y - 1), luego 35(y1)3 \mid 5(y-1), y el lema de Gauss (gcd(3,5)=1\gcd(3,5) = 1) da 3y13 \mid y - 1: y=13ky = 1 - 3k y después x=1+5kx = -1 + 5k. Recíprocamente, todo par así sirve:

(x,y)=(1+5k, 13k),kZ.(x, y) = (-1 + 5k,\ 1 - 3k), \qquad k \in \Z .

El patrón es general: una solución particular más los múltiplos enteros de (bgcd,agcd)\bigl(\frac b{\gcd}, -\frac a{\gcd}\bigr) — la misma estructura de «particular más homogénea» que en el Capítulo 5, con el lema de Gauss haciendo el papel de la unicidad.

Leer en el capítulo →