Disfruté especialmente leyendo la respuesta de John Calligy a ¿Cuál es el resto cuando [matemáticas] 11 ^ {2015} + 13 ^ {2015} + 17 ^ {2015} [/ matemáticas] se divide por [matemáticas] 29? [/ Matemáticas ] Observando que [matemáticas] 2015 + 1 [/ matemáticas] es un múltiplo de [matemáticas] 28 [/ matemáticas] hace que su respuesta sea la “correcta”. Déjame completar la tarea que le ha dejado al lector.
El teorema de Fermat dice que [math] a ^ {p-1} \ equiv 1 \ pmod {p} [/ math] siempre que [math] p [/ math] es primo y [math] p \ nmid a [/ math ]
Como [math] 29 [/ math] es primo y [math] 2016 = 28 \ cdot 72, [/ math]
[matemáticas] a \ cdot a ^ {2015} = \ left (a ^ {28} \ right) ^ {72} \ equiv 1 \ pmod {29} [/ math]
- Cómo enseñar aritmética modular
- ¡Cómo probar 200! / {(10! ^ 20) 19! } un entero
- Cómo resolver para n, es decir, numerador en UVa 11327
- Cómo demostrar la siguiente desigualdad
- ¿Cómo demostrar que [matemáticas] a ^ 3 + b ^ 3 + c ^ 3 = d ^ 3 [/ matemáticas] para algunos enteros positivos?
siempre que [math] 29 \ nmid a [/ math]. Por lo tanto
[matemáticas] a ^ {2015} \ equiv a ^ {- 1} \ pmod {29} [/ matemáticas]
if [math] 29 \ nmid a [/ math].
Aplicando esto a [matemáticas] a = 11 [/ matemáticas], [matemáticas] 13 [/ matemáticas] y [matemáticas] 17 [/ matemáticas], tenemos
[matemáticas] 11 ^ {2015} + 13 ^ {2015} + 17 ^ {2015} \ equiv 11 ^ {- 1} + 13 ^ {- 1} + 17 ^ {- 1} \ pmod {29} [/ matemáticas ]
[matemáticas] \ equiv \ big ((11 \ cdot 13) + (11 \ cdot 17) + (13 \ cdot 17) \ big) \ cdot 11 ^ {- 1} \ cdot 13 ^ {- 1} \ cdot 17 ^ {- 1} \ pmod {29} [/ matemáticas]
[matemáticas] \ equiv \ big (11 + (13 \ cdot 17) \ big) \ cdot 11 ^ {- 1} \ cdot 13 ^ {- 1} \ cdot 17 ^ {- 1} \ pmod {29} [/ matemáticas]
[matemáticas] \ equiv 0 \ pmod {29} [/ matemáticas].
El resto es [matemática] 0 [/ matemática]. [matemáticas] \ blacksquare [/ matemáticas]