Hola, Lorena:
En efecto, haces bien arrancando con Euler para tener que
. Recuerda que llegados a este punto, la idea es dividir el exponente original del problema, en este caso
entre 70 para poder encontrar el resto de dividir
entre 71. En otras palabras, la idea es hallar
entre 0 y 69 tal que
, ya que a partir de allí puedes elevar a la
la congruencia
y después multiplicar la congruencia resultante por
(fíjate que no importa cuánto vale
). Entonces, lo que importa hallar es tal
, es decir, resolver
.
Espero que lo anterior sea de utilidad.
Saludos,
Marco
En efecto, haces bien arrancando con Euler para tener que
![2^{70} \equiv 1 \ ({\rm mod} \ 71) 2^{70} \equiv 1 \ ({\rm mod} \ 71)](https://eva.fing.edu.uy/filter/tex/pix.php/25703417057d7cb7aec23b809054b97a.png)
![3^{242} 3^{242}](https://eva.fing.edu.uy/filter/tex/pix.php/e3fc25a1ee96a38f88d6ebab4085a5f1.png)
![2^{3^{242}} 2^{3^{242}}](https://eva.fing.edu.uy/filter/tex/pix.php/d4017a15566836f582cbcd81c57d7b7e.png)
![r r](https://eva.fing.edu.uy/filter/tex/pix.php/4b43b0aee35624cd95b910189b3dc231.png)
![3^{242} = 70q + r 3^{242} = 70q + r](https://eva.fing.edu.uy/filter/tex/pix.php/0261c769c2f752260a6217a07e836198.png)
![q q](https://eva.fing.edu.uy/filter/tex/pix.php/7694f4a66316e53c8cdd9d9954bd611d.png)
![2^{70} \equiv 1 \ ({\rm mod} \ 71) 2^{70} \equiv 1 \ ({\rm mod} \ 71)](https://eva.fing.edu.uy/filter/tex/pix.php/25703417057d7cb7aec23b809054b97a.png)
![2^{r} 2^{r}](https://eva.fing.edu.uy/filter/tex/pix.php/813b90acfe2d36d45b8a51893b557773.png)
![q q](https://eva.fing.edu.uy/filter/tex/pix.php/7694f4a66316e53c8cdd9d9954bd611d.png)
![r r](https://eva.fing.edu.uy/filter/tex/pix.php/4b43b0aee35624cd95b910189b3dc231.png)
![3^{242} \equiv r \ ({\rm mod} \ 70) 3^{242} \equiv r \ ({\rm mod} \ 70)](https://eva.fing.edu.uy/filter/tex/pix.php/567523d7b18626dd0b5747a8615320d4.png)
Espero que lo anterior sea de utilidad.
Saludos,
Marco