Criterios de Divisibilidad y Trucos Olímpicos

Domina los criterios de divisibilidad que te ahorran minutos en un examen.

Estudiar en la plataforma interactiva
Modulo 5 · Teoría de Números

Criterios Esenciales

En una olimpiada, cada segundo cuenta. Estos criterios permiten verificar divisibilidad mentalmente:

DivisorCriterioEjemplo
2Último dígito par1234 → 4 par ✓
3Suma de dígitos divisible por 3123 → 1+2+3=6, 3|6 ✓
4Últimos 2 dígitos div. por 41316 → 16, 4|16 ✓
5Termina en 0 o 52025 → 5 ✓
6Divisible por 2 Y por 3312 → par, 3+1+2=6 ✓
7Duplicar último, restar del resto371 → 37-2=35, 7|35 ✓
8Últimos 3 dígitos div. por 81024 → 024=24, 8|24 ✓
9Suma de dígitos divisible por 9729 → 7+2+9=18, 9|18 ✓
11Suma alternante div. por 11121 → 1-2+1=0, 11|0 ✓

Concepto Clave

"El criterio del 3 y del 9 funcionan porque 10 ≡ 1 (mod 3) y (mod 9). El del 11 funciona porque 10 ≡ -1 (mod 11)."

¿Por qué funcionan? — La explicación modular

Todos los criterios vienen de la aritmética modular. Un número N=an10n++a110+a0N = a_n \cdot 10^n + \cdots + a_1 \cdot 10 + a_0:

Mod 3 y Mod 9:

101(mod9)10 \equiv 1 \pmod{9}10k110^k \equiv 1Nan++a1+a0N \equiv a_n + \cdots + a_1 + a_0

Mod 11:

101(mod11)10 \equiv -1 \pmod{11}10k(1)k10^k \equiv (-1)^kNa0a1+a2N \equiv a_0 - a_1 + a_2 - \cdots

Mod 4 y Mod 8:

1000(mod4)100 \equiv 0 \pmod{4}, 10000(mod8)1000 \equiv 0 \pmod{8} → solo importan los últimos dígitos

Concepto Clave

"Entender POR QUÉ funciona cada criterio te permite inventar criterios nuevos para cualquier módulo."

Quiz Relámpago

Pregunta 1/6 — Puntos: 0

¿Es 31234567893 \mid 123456789?

¿3 divide a 123456789?

Problema de Olimpiada

Desafío

Demuestre que 10n+18n110^n + 18n - 1 es divisible por 27 para todo n1n \geq 1.

Ver Solución

Trabajamos mod 27. Como 10=271710 = 27 - 17, tenemos 1017(mod27)10 \equiv -17 \pmod{27}.

Mejor: 1010(mod27)10 \equiv 10 \pmod{27}. Veamos por inducción:

Base: n=1n=1: 10+181=2710 + 18 - 1 = 27. ✓

Paso: Si 2710n+18n127 \mid 10^n + 18n - 1, entonces:

10n+1+18(n+1)1=1010n+18n+1710^{n+1} + 18(n+1) - 1 = 10 \cdot 10^n + 18n + 17

=10(10n+18n1)162n+27=10(muˊlt. de 27)27(6n1)= 10(10^n + 18n - 1) - 162n + 27 = 10 \cdot (\text{múlt. de 27}) - 27(6n-1)

Ambos términos son múltiplos de 27. ∎