Mapa Mental: Divisibilidad
La divisibilidad en los números enteros (Z) estudia cuándo un número está contenido un número exacto de veces en otro sin dejar residuo. Formalmente, decimos que a divide a b (denotado a | b) si existe un entero k tal que b = a·k; en ese caso a es divisor, b es múltiplo y k es el cociente exacto. Por ejemplo, 3 | 12 porque 12 = 3·4, mientras que 7 no divide a 15 porque no existe tal entero. Es importante notar que a | b no es una fracción, sino una afirmación lógica que es verdadera o falsa, y que la divisibilidad solo tiene sentido con divisor distinto de cero.
Existen casos especiales clave: todo entero distinto de cero divide a 0 (pues 0 = a·0), el 0 no divide a ningún número, y 1 y -1 dividen a todos los enteros. Además, la divisibilidad se relaciona con la división euclidiana: a divide a b si y solo si el residuo de dividir b entre a es cero.
La divisibilidad cumple propiedades fundamentales muy útiles para resolver problemas: reflexividad (a | a), transitividad (si a | b y b | c, entonces a | c), combinación lineal (si a divide a b y a c, entonces a divide a cualquier combinación m·b + n·c), multiplicación por constante, comparación de valores absolutos (si a | b y b ≠ 0, entonces |a| ≤ |b|), divisibilidad mutua y la propiedad del divisor de un producto.
En la práctica, los criterios de divisibilidad permiten saber si un número es divisible por 2, 3, 4, 5, 6, 8, 9, 10 u 11 sin efectuar la división completa, usando reglas como la suma de cifras (para 3 y 9) o las últimas cifras del número (para 4, 8 y 10). Dominar estos conceptos es la base para factorizar, simplificar fracciones y resolver problemas de MCD, MCM y congruencias en el nivel preuniversitario.