Cómo encontrar el resto cuando [matemática] 3 ^ {12} + 5 ^ {12} [/ matemática] se divide por [matemática] 13 [/ matemática]

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

  • [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!

2

Rem [3 ^ 12/13] = Rem [27 ^ 4/13] = Rem [1 ^ 4/13] = 1
Rem [5 ^ 12/13] = Rem [25 ^ 6/13] = Rem [(-1) ^ 6/13] = 1

Rem [(3 ^ 12 + 5 ^ 12) / 13] = 1 + 1 = 2

El pequeño teorema de Fermat: Para cualquier primo [matemático] p [/ matemático], y un entero dado [matemático] a [/ matemático], tenemos

[matemáticas] a ^ {p-1} \ equiv 1 \ mod p \ tag {*} [/ matemáticas]


[matemáticas] (3 ^ {12} + 5 ^ {12}) \ mod 13 [/ matemáticas]

[matemáticas] = 3 ^ {13–1} (\ mod 13) + 5 ^ {13–1} (\ mod 13) [/ matemáticas]

[matemáticas] = 1 + 1 [/ matemáticas]

[matemáticas] = 2 [/ matemáticas]

Fácil lo hace.

Usa el pequeño teorema de Fermat, [1]

[matemática] \ Grande a ^ p \ equiv a \ mod p, \ text {para todos los principales p y enteros a} [/ matemática]


De eso podríamos obtener,

[math] \ Large a ^ {p-1} \ equiv 1 \ mod p, \ text {si p no divide a} [/ math]


[matemáticas] (3 ^ {12} + 5 ^ {12}) \ mod 13 [/ matemáticas]

[matemáticas] = 3 ^ {13-1} \ mod 13 + 5 ^ {13-1} \ mod 13 [/ matemáticas]

[matemáticas] = 1 + 1 = 2 [/ matemáticas]

Notas al pie

[1] El pequeño teorema de Fermat – Wikipedia

3 ^ 12 = 27 ^ 4 = (13 * 2 + 1) ^ 4 por lo tanto, el resto al dividir entre 13 es 1.
5 ^ 12 = 25 ^ 6 = (13 * 2-1) ^ 6. por lo tanto, el resto cuando se divide por 13 es 1.
Por lo tanto, el resto total es 2.

More Interesting

Cómo evaluar el límite [matemáticas] \ lim_ {x \ to \ infty} x (\ sqrt [n] {(x + 1) (x + 3) \ dots (x + 2n-1)} – xn) [/ matemáticas]

¿Cuánto mide la longitud del arco de una curva sinusoidal, de 0 a [matemáticas] 2 \ pi [/ matemáticas]?

¿Qué es la cohomología de Galois (o la cohomología en general) en términos simples para alguien con poca o ninguna formación en matemáticas?

Suponga que [math] X = \ {x_1, x_2, \ ldots, x_n \} [/ math] y [math] Y = \ {y_1, y_2, \ ldots, y_n \} [/ math] son ​​tales que [math] x_1 \ leq x_2 \ leq \ ldots \ leq x_n [/ math] y [math] y_1 \ geq y_2 \ geq \ ldots \ geq y_n [/ math]. Deje que [math] Z = \ {z_1, z_2, \ ldots, z_n \} [/ math] sea cualquier permutación de los elementos de [math] Y [/ math]. ¿Por qué es [math] \ sum_i (x_i-y_i) ^ 2 \ geq \ sum_i (x_i-z_i) ^ 2 [/ math]?

Cómo hacer que una computadora analice y resuelva una ecuación lineal

¿Por qué el cero se escribe como una palabra o un número, mientras que otros números se escriben solo como números?

Si [matemática] a, b, c [/ matemática] son ​​tres coeficientes consecutivos en la expansión de [matemática] (1 + x) ^ n [/ matemática] entonces, ¿cómo demuestro que [matemática] n = \ frac {2 ac + b (a + c)} {b ^ 2 – ac} [/ math]?

¿Cómo se relacionan el álgebra y la lógica?

¡Cómo demostrar por principio de inducción matemática que para todos los enteros [matemáticas] n \ ge 1 [/ matemáticas] [matemáticas] 1 \ cdot 1! +2 \ cdot 2! +3 \ cdot 3! + \ Ldots + n \ cdot n! = (n + 1)! – 1

¿Cómo se puede demostrar que una ecuación cuadrática ax ^ 2 + bx + c (a> 0) tiene un valor mínimo, siendo (4ac-b ^ 2) / 4a?