Un entero es divisible por 9 cuando su cociente entre 9 es entero. Para reconocerlo en base diez, suma sus cifras: si la suma es múltiplo de 9, el número también lo es. Por ejemplo, 189 tiene suma 18 y 189 / 9 = 21.
No hace falta que la primera suma sea 9: también sirven 18, 27, 36 y los demás múltiplos de 9. Puedes repetir la suma hasta una sola cifra. Para un entero positivo, obtener 9 al final de esa repetición confirma divisibilidad; 0 se trata aparte y también es divisible. En negativos, suma las cifras del valor absoluto.
Estos 22 ejemplos reúnen sumas de varios tamaños, contraejemplos, cifras faltantes, restos y aplicaciones. Usamos coma decimal y espacios para agrupar miles.
Sumas de 9, 18, 27 y 36
EJEMPLO 01
18 y 27: una suma de cifras igual a 9
Comprueba si 18 y 27 son divisibles por 9.
18: 1 + 8 = 9; 18 / 9 = 2
27: 2 + 7 = 9; 27 / 9 = 3
En ambos casos, la suma de las cifras es 9. Los cocientes 2 y 3 son enteros, por lo que ambos números son múltiplos de 9.
EJEMPLO 02
189 y 783: la suma puede ser 18
Aplica el criterio sin exigir que la primera suma sea exactamente 9.
189: 1 + 8 + 9 = 18
189 / 9 = 21
783: 7 + 8 + 3 = 18
783 / 9 = 87
18 = 9·2
18 es múltiplo de 9, así que los dos números son divisibles por 9. También podrías repetir el proceso: 1 + 8 = 9. Esa repetición confirma lo mismo; no cambia el criterio.
EJEMPLO 03
540: los ceros también son cifras
Suma las cifras de 540.
5 + 4 + 0 = 9
540 / 9 = 60
540 = 9·60
El cero aporta 0 a la suma. No importa que el número termine en 0: para este criterio debes sumar todas las cifras.
EJEMPLO 04
18 837: una suma de 27
Comprueba el criterio con cinco cifras.
1 + 8 + 8 + 3 + 7 = 27
27 = 9·3
18 837 / 9 = 2 093
27 es otro múltiplo de 9 válido. La suma de cifras no es el cociente: el cociente de 18 837 entre 9 es 2 093, no 27.
EJEMPLO 05
8 487: 27 es múltiplo de 9
Verifica el resultado con un producto.
8 + 4 + 8 + 7 = 27
27 = 9·3
8 487 = 9·943
8 487 / 9 = 943
La suma 27 es divisible por 9 y el número también. Multiplicar 943 por 9 recupera 8 487. La comprobación depende de ser múltiplo de 9.
EJEMPLO 06
1 897 254: una suma de 36
Comprueba un entero de siete cifras.
1 + 8 + 9 + 7 + 2 + 5 + 4 = 36
36 = 9·4
1 897 254 / 9 = 210 806
No hay que detenerse solo en 9, 18 o 27: cualquier múltiplo de 9 sirve. Si no recuerdas que 36 es múltiplo de 9, suma otra vez: 3 + 6 = 9.
Contraejemplos y repetición de la suma
EJEMPLO 07
919: contener nueves no basta
Decide si 919 es divisible por 9.
9 + 1 + 9 = 19
1 + 9 = 10; 1 + 0 = 1
919 = 9·102 + 1
19 no es múltiplo de 9. Al repetir la suma se llega a 1, y la división del número original deja resto 1. La presencia de dos cifras 9 no garantiza divisibilidad.
EJEMPLO 08
926: otro resto distinto de cero
Comprueba 926 sumando sus cifras.
9 + 2 + 6 = 17
1 + 7 = 8
926 = 9·102 + 8
La suma 17 no es divisible por 9. El resto es 8, tanto al dividir 17 como al dividir 926 entre 9. Para este entero positivo, la cifra final 8 de la suma repetida coincide con ese resto.
EJEMPLO 09
Una suma superior a 90
Comprueba el número formado por doce nueves.
999 999 999 999: doce cifras iguales a 9
12·9 = 108
1 + 0 + 8 = 9
999 999 999 999 / 9 = 111 111 111 111
108 ya es múltiplo de 9. Puedes reconocerlo directamente o repetir la suma hasta una sola cifra. No existe un requisito especial de que la primera suma sea menor que 90.
Cero, negativos y límites del criterio
EJEMPLO 10
0: la excepción al resultado final 9
Comprueba si el cero es múltiplo de 9.
Suma de cifras de 0: 0
0 = 9·0
0 / 9 = 0
0 es divisible por 9. Para un entero positivo, la suma repetida hasta una cifra acaba en 9 si es múltiplo de 9; el número 0 acaba en 0. La cifra 9 obtenida al reducir un múltiplo positivo representa resto 0, no resto 9.
EJEMPLO 11
Negativos: suma las cifras del valor absoluto
Compara −81 con −82.
81: 8 + 1 = 9
−81 = 9·(−9)
82: 8 + 2 = 10; 1 + 0 = 1
−82 / 9 = −9 − 1/9
Condición: Se incluyen enteros negativos; el signo no se suma.
−81 es divisible por 9 porque el cociente −9 es entero. −82 no lo es: 82 no es múltiplo de 9 y cambiar el signo no lo convierte en uno. La suma del valor absoluto conserva la decisión de divisibilidad; no debe confundirse con el resto no negativo de un dividendo negativo.
EJEMPLO 12
8,1 no se clasifica como el entero 81
Distingue el valor decimal de sus cifras escritas.
81 / 9 = 9
8,1 / 9 = 0,9
81 = 9·9; 8,1 = 9·0,9
Condición: Coma decimal; criterio para enteros escritos en base diez.
81 es un entero y un múltiplo de 9. El valor 8,1 no es entero: queda fuera del criterio de divisibilidad entre enteros usado aquí. No se puede borrar la coma y aplicar la regla como si el valor no cambiara.
EJEMPLO 13
Divisible por 3 no implica divisible por 9
Compara 123 y 18.
123: 1 + 2 + 3 = 6
123 / 3 = 41
123 = 9·13 + 6
18 / 9 = 2; 18 / 3 = 6
6 es múltiplo de 3, pero no de 9. Por eso 123 pasa el criterio del 3 y falla el del 9. Todo múltiplo de 9 es múltiplo de 3, porque 9 = 3·3; el recíproco no siempre se cumple.
EJEMPLO 14
Divisible por 9 no implica divisible por 27
Comprueba el alcance de la suma de cifras.
18 / 9 = 2
18 / 27 = 2/3
27 / 9 = 3; 27 / 27 = 1
18 es divisible por 9, pero no por 27. La regla de sumar cifras no se traslada automáticamente a 27, aunque 27 sea múltiplo de 9. Todo múltiplo de 27 sí es múltiplo de 9.
EJEMPLO 15
La última cifra no decide
Compara 19, 72 y 90.
19: 1 + 9 = 10; 19 = 9·2 + 1
72: 7 + 2 = 9; 72 = 9·8
90: 9 + 0 = 9; 90 = 9·10
19 termina en 9 y no es divisible por 9. 72 termina en 2 y sí lo es; 90 termina en 0 y también. Suma todas las cifras, cualquiera que sea la última.
Cifras faltantes, cambios de orden y restos
EJEMPLO 16
Una cifra faltante con una sola solución
Sustituye la casilla de 4□7 por una cifra para obtener un múltiplo de 9.
4 + d + 7 = 11 + d
Con d de 0 a 9, la suma va de 11 a 20
11 + 7 = 18
477 / 9 = 53
Condición: d es una cifra entre 0 y 9.
El único múltiplo de 9 entre 11 y 20 es 18. Por tanto, d debe ser 7. La casilla representa una sola cifra, no un número de varias cifras.
EJEMPLO 17
Una cifra faltante con dos soluciones
Completa 5□4 para que sea divisible por 9.
5 + d + 4 = 9 + d
Con d de 0 a 9, la suma va de 9 a 18
d = 0: 504 / 9 = 56
d = 9: 594 / 9 = 66
Condición: d es una cifra entre 0 y 9.
Ahora hay dos múltiplos de 9 posibles: 9 y 18. Las dos cifras válidas son 0 y 9. Buscar solo una solución dejaría el ejercicio incompleto.
EJEMPLO 18
Cambiar el orden de las cifras
Compara 189, 198 y 819.
1 + 8 + 9 = 1 + 9 + 8 = 8 + 1 + 9 = 18
189 / 9 = 21
198 / 9 = 22
819 / 9 = 91
Reordenar las mismas cifras conserva su suma y, por tanto, la divisibilidad por 9. Los valores y los cocientes sí cambian. Esto explica también por qué ciertos errores de transposición no se detectan con una comprobación basada solo en el 9.
EJEMPLO 19
Usar el resto para llegar a un múltiplo
Encuentra los múltiplos de 9 inmediatamente inferior y superior a 347.
3 + 4 + 7 = 14
14 = 9 + 5
347 = 9·38 + 5
347 − 5 = 342 = 9·38
347 + 4 = 351 = 9·39
El resto es 5: resta 5 para llegar al múltiplo inferior o suma 9 − 5 = 4 para llegar al superior. 351 es el más cercano porque está a 4 unidades, frente a las 5 de 342.
Comprobaciones, repartos y explicación de la regla
EJEMPLO 20
La prueba del 9 no certifica una multiplicación
Compara el resultado correcto 322 con el resultado incorrecto 331 para 23·14.
23·14 = 322
3 + 2 + 2 = 7
3 + 3 + 1 = 7
331 − 322 = 9
322 y 331 dejan el mismo resto al dividir entre 9. Una comprobación que solo compare esos restos no distinguiría el resultado correcto del incorrecto. Sirve para detectar algunos fallos, pero una coincidencia no demuestra que la operación esté bien.
EJEMPLO 21
Paquetes de nueve piezas
Compara 126 y 128 piezas para llenar paquetes de 9.
126 = 9·14
128 = 9·14 + 2
128 − 2 = 126
128 + 7 = 135 = 9·15
Condición: Piezas indivisibles y nueve piezas por paquete.
Con 126 piezas se forman 14 paquetes completos. Con 128, sobran 2 después de llenar esos paquetes. Quitar 2 o añadir 7 permite obtener una cantidad divisible por 9.
EJEMPLO 22
Por qué sumar cifras conserva la divisibilidad
Descompón 783 en centenas, decenas y unidades.
783 = 7·100 + 8·10 + 3
783 = 7·99 + 8·9 + (7 + 8 + 3)
783 = 765 + 18
765 = 9·85; 18 = 9·2
Condición: Escritura posicional en base diez.
Al sustituir 100 por 99 + 1 y 10 por 9 + 1, queda un múltiplo de 9 más la suma de cifras. En cualquier posición ocurre lo mismo: 10k − 1 es múltiplo de 9 para k entero no negativo. Por eso un entero no negativo y su suma de cifras dejan el mismo resto entre 9. Para negativos, aplicar la regla al valor absoluto conserva la decisión de divisibilidad.