Divisibilidad y el Algoritmo de la División

Modulo 5 · Teoría de Números

Álgebra de la Paridad

En las olimpiadas de matemáticas, el concepto de Paridad es una de las herramientas más simples pero destructivas para resolver problemas complejos o demostrar que algo es imposible. Un número entero es Par si es divisible por 2, e Impar si no lo es.

Notación Algebraica

Par
$n = 2k$ para algún entero $k$ .
Impar
$n = 2k + 1$ (o $2k - 1$ ) para algún entero $k$ .

Reglas de Operación

Suma y Resta

Par ± Par = Par
Impar ± Impar = Par
Par ± Impar = Impar

Multiplicación

Par × Cualquier Entero = Par
Impar × Impar = Impar

El producto de enteros es impar si y solo si TODOS sus factores son impares.

Concepto Clave

"La paridad siempre se conserva bajo operaciones de suma y multiplicación según reglas predecibles."

El Algoritmo de la División

Cuando divides caramelos entre un número de niños, a menudo sobran algunos que no se pueden repartir equitativamente. Esta idea cotidiana es el corazón de la Divisibilidad.

Teorema de la División (División Euclídea)

Dados dos números enteros $a$ y $b$ (con $b > 0$ ), existen enteros únicos $q$ (cociente) y $r$ (residuo) tales que:

a = bq + r \quad \text{donde} \quad 0 \le r < b

• Si $r = 0$ , decimos que $b$ divide a $a$ , y se denota como $b \mid a$ .

• El residuo $r$ NUNCA puede ser mayor o igual que el divisor $b$ .

Visualizador: El Algoritmo de la División

Dividendo (Total de elementos): 17

Divisor (Tamaño del grupo): 5

La Ecuación Fundamental

17=5×3+2

a

(Dividendo)

b

(Divisor)

q

(Cociente)

r

(Residuo)

Representación Visual de los Grupos

Grupos Completos: 3

Elementos Sueltos (Residuo): 2

Propiedad clave:

0 \le r < b

(2 es menor que 5)

Concepto Clave

"Todo número entero 'a' puede expresarse de la forma bq+r. El residuo 'r' está estrictamente limitado entre 0 y b-1."

Divisibilidad en Factoriales

En las olimpiadas, es muy común encontrarse con factoriales: $n! = 1 \times 2 \times 3 \times \dots \times n$ . Una pregunta clásica es: ¿Es $n!$ divisible por un cierto número compuesto $k$ ?

La clave NO es calcular el factorial enorme. La clave es descomponer el divisor $k$ en sus factores primos y preguntarse:
"¿Es la red del factorial $n!$ lo suficientemente grande como para atrapar a todos estos factores primos?"

El Efecto Cuello de Botella

Generalmente, el factor primo más grande de tu divisor será el "cuello de botella" que determina cuán grande debe ser $n$ .

Ejemplo rápido

¿Cuál es el menor n tal que n! es divisible por 77?

k = 77

Factorizamos 77 en primos.

77 = 7 \times 11

Para tener el factor 11 en nuestro producto, el factorial debe llegar al menos al número 11.

n \ge 11

El 11! incluirá al 11 y también incluirá al 7. Por lo tanto, el menor es 11.

11! = 1 \times 2 \dots \times 7 \dots \times 11

Problemas de Nivel Olimpiada

Problema 1Nivel Medio

Paridades de expresiones algebraicas

Si $n$ es un entero par, ¿cuál de los siguientes números es obligatoriamente impar?

n^2

\frac{n+1}{2}

\sqrt{n^2+2}

2n^2-1

Ver Solución

Dado que $n = 2k$ :

A) $n^2 = (2k)^2 = 4k^2$ (Par).

B) $\frac{n+1}{2} = \frac{2k+1}{2} = k + 0.5$ (No es un número entero, no tiene paridad).

C) Para $n=2$ , es $\sqrt{6}$ (No es entero).

D) $2n^2 - 1$ . Como $2n^2$ es siempre par (es múltiplo de 2), restarle 1 siempre resulta en un número impar.

Respuesta Correcta: D

Problema 2Nivel Medio

Divisibilidad Extrema

Dado $n$ un entero positivo, ¿cuál es el menor número entero $n$ tal que $n!$ es divisible por 2730?

A) 2730

B) 273

C) 13

D) 130

Ver Solución

Evaluemos el divisor descomponiéndolo en primos:

2730 = 273 \times 10 = (3 \times 91) \times (2 \times 5)

2730 = 2 \times 3 \times 5 \times 7 \times 13

Para que $n!$ contenga todos estos factores, mínimamente debe llegar al primo más grande, 13. Esto establece $n \ge 13$ .

Observamos $13!$ : 13! ya contiene a: 2, 3, 5, 7 y 13. Funciona perfectamente sin depender de exponentes complejos.

Respuesta Correcta: C