La solución de Nikhil Tilak está perfectamente bien para este problema; sin embargo, para números más grandes, la aritmética modular y el pequeño teorema de Fermat se vuelven útiles.
La aritmética modular se ocupa de los restos. Escribir [matemáticas] 7 \ equiv 2 \ pmod 5 [/ matemáticas] (léase “7 es congruente con 2 módulo 5”) significa que 7 tiene el mismo resto que 2 cuando se divide entre 5. Entonces, en general, [matemáticas] a \ equiv b \ pmod {n} [/ math] para enteros [math] a [/ math] y [math] b [/ math] y un entero positivo [math] n [/ math] significa que [math] ab [/ math] es divisible por [matemáticas] n [/ matemáticas]. El residuo de [math] a [/ math] modulo [math] n [/ math] es el más pequeño positivo [math] b [/ math] que aún satisface la congruencia.
(Nota al margen: la función restante en ciencias de la computación se denota por “%”, y a% b devuelve el residuo de un mod b.)
Hay algunas cosas convenientes sobre aritmética modular:
Suma, resta, multiplicación:
Si [matemática] a_1 \ equiv b_1 \ pmod {n} [/ matemática] y [matemática] a_2 \ equiv b_2 \ pmod {n} [/ matemática] entonces
- ¿Cuál es la raíz cuadrada de 69?
- ¿Debería leer ‘Elementos de topología algebraica’ de Munkres o ‘Topología algebraica’ de Hatcher?
- Cómo simplificar [matemáticas] \ frac {(n + 1) ^ {n + 1}} {n ^ n} [/ matemáticas]
- Cómo encontrar una raíz cúbica usando las matemáticas védicas
- ¿Qué es [matemáticas] 1- \ frac {1} {4} + \ frac {1} {9} – \ frac {1} {16} + \ frac {1} {25} – \ frac {1} {36} + \ ldots- \ frac {1} {n ^ 2} [/ math]?
- [matemáticas] a_1 + a_2 \ equiv b_1 + b_2 \ pmod {n} [/ matemáticas]
- [matemáticas] a_1-a_2 \ equiv b_1-b_2 \ pmod {n} [/ matemáticas] [matemáticas] [/ matemáticas]
- [matemáticas] a_ {1} a_ {2} \ equiv b_ {1} b_ {2} \ pmod {n} [/ matemáticas]
(Pruebe algunos ejemplos por sí mismo si no lo cree)
El pequeño teorema de Fermat establece que si [matemática] p [/ matemática] es un número primo y para cualquier número entero [matemática] a [/ matemática] no divisible por [matemática] p [/ matemática], [matemática] a ^ {p- 1} \ equiv 1 \ pmod {p} [/ math]. (Este teorema, que no debe confundirse con el último teorema de Fermat, es bastante fácil de probar. Búscalo, tiene bastantes argumentos claros).
Entonces, notamos que hey, [matemáticas] 13 [/ matemáticas] es primo, [matemáticas] 12 = 13-1 [/ matemáticas], y ni [matemáticas] 3 [/ matemáticas] ni [matemáticas] 5 [/ matemáticas] son divisible por [matemáticas] p [/ matemáticas]. Y usando el pequeño teorema de Fermat, obtenemos [matemáticas] 3 ^ {12} \ equiv 1 \ pmod {13} [/ matemáticas] y [matemáticas] 5 ^ {12} \ equiv 1 \ pmod {13} [/ matemáticas]. Usando nuestras viejas reglas de aritmética modular obtenemos [matemáticas] 2 ^ {12} + 5 ^ {12} \ equiv 1 + 1 \ equiv 2 \ pmod {13} [/ matemáticas]. ¡Hurra!