Autor Tema: Congruencia (2) hallar el resto x

0 Usuarios y 1 Visitante están viendo este tema.

02 Marzo, 2017, 08:01 pm
Leído 2710 veces

Tenochtitlan

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 49
  • Karma: +0/-0
  • Sexo: Masculino
Hola. Okey, me pueden ayudar con este? es parecido pero ahora la incógnita es el resto.

_Hallar el resto de la división de \( 2004^{16949687} \) por \( 1373 \)

Les digo hasta donde yo hice..  :banghead:

De comienzo tenemos :

\( 2004^{16949687} \)\( \equiv{Xmod(1373)} \)

Usando el Teorema de Fermat:

\( a^{p-1}\equiv{1mod(p)} \) confirmando que \( MCD\longrightarrow{}(a:p)=1 \)

Nos quedaría así:

\( 2004^{1372\times{12353+1371}}\equiv{Xmod(1373)} \)

Aplicando el teorema sabemos que:

\( 2004^{1372\times{12353}}\equiv{1mod(1373)} \)

Por lo tanto me quedaría resolver esto:

\( 2004^{1371}\equiv{Xmod(1373)} \)

Y aquí nose como podría seguir resolviendo...

02 Marzo, 2017, 08:32 pm
Respuesta #1

robinlambada

  • Moderador Global
  • Mensajes: 4,129
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola. Okey, me pueden ayudar con este? es parecido pero ahora la incógnita es el resto.

_Hallar el resto de la división de \( 2004^{16949687} \) por \( 1373 \)

Les digo hasta donde yo hice..  :banghead:

De comienzo tenemos :

\( 2004^{16949687} \)\( \equiv{Xmod(1373)} \)

Usando el Teorema de Fermat:

\( a^{p-1}\equiv{1mod(p)} \) confirmando que \( MCD\longrightarrow{}(a:p)=1 \)

Nos quedaría así:

\( 2004^{1372\times{12353+1371}}\equiv{Xmod(1373)} \)

Aplicando el teorema sabemos que:

\( 2004^{1372\times{12353}}\equiv{1mod(1373)} \)

Por lo tanto me quedaría resolver esto:

\( 2004^{1371}\equiv{Xmod(1373)} \)

Y aquí nose como podría seguir resolviendo...



\( 2004^{1371}\equiv{Xmod(1373)} \) hasta aquí es correcto. como.

\( 2004\equiv{631\, mod(1373)} \), entonces
\( 2004^{1371}\equiv{}631^{1371}\equiv{X\, mod(1373)} \)

Por el pequeño teorema de Fermat \( 631^{1372}\equiv{1\, mod(1373)} \)

Por tanto \( 631^{1371+1}\equiv{}631X\, mod(1373) \)

\( 1\equiv{}631X\, mod(1373) \) ¿puedes terminarlo tú?

Saludos.
Envejecer es como escalar una gran montaña: mientras se sube las fuerzas disminuyen, pero la mirada es más libre, la vista más amplia y serena.

La verdadera juventud una vez alcanzada, nunca se pierde.

02 Marzo, 2017, 09:05 pm
Respuesta #2

Ignacio Larrosa

  • Moderador Global
  • Mensajes: 2,401
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Actividades con GeoGebra
_Hallar el resto de la división de \( 2004^{16949687} \) por \( 1373 \)

De comienzo tenemos :

\( 2004^{16949687} \)\( \equiv{Xmod(1373)} \)

Usando el Teorema de Fermat:

\( a^{p-1}\equiv{1mod(p)} \) confirmando que \( MCD\longrightarrow{}(a:p)=1 \)

Supongo que comprobaste que 1373 es primo.


Nos quedaría así:

\( 2004^{1372\times{12353+1371}}\equiv{Xmod(1373)} \)

Aplicando el teorema sabemos que:

\( 2004^{1372\times{12353}}\equiv{1mod(1373)} \)

Por lo tanto me quedaría resolver esto:

\( 2004^{1371}\equiv{Xmod(1373)} \)

Y aquí no se como podría seguir resolviendo...


Podemos reducir la base módulo \( 1373 \):

\( 2004^{1371}\equiv{631^{1371}}\equiv{X}\;(mod\;1373) \)

Aunque tampoco no es imprescindible, es más cómodo trabajar con un número más pequeño.

Tenemos ahora dos caminos:

i) \( 631^{1371}·631 = 631^{1372}\equiv{1}\,(mod\;1373) \)

Luego \( X \equiv{ 631}^{-1} (mod\; 1373) \)

\( 631·X \equiv{1}\; (mod\;1373) \Rightarrow{} 631·X - k·1373 = 1 \)

Entonces se puede calcular \( X \) resolviendo mediante el algoritmo de Euclides la ecuación diofántica lineal.

ii) Se puede calcular por sucesivas elevaciones al cuadrado. Para ello, se expresa 1372 como suma de potencias de 2,

\( 1372 = 1024 + 256 + 64 + 16 + 8 + 4  \Rightarrow{} 631^{1372} = 631^{1024}·631^{256}·631^{64}·631^{16}·631^{8}·631^4 \)

Estas potencias \( mod\; 1373 \) se calculan muy fácilmente elevando al cuadrado la anterior, y luego se multiplican reduciendo de cada vez \( mod \;1373 \).

Si necesitas que te desarrolle algo más cualquiera de los dos métodos, dímelo.

Saludos,



Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por muchísimo menos ...  (yo)

03 Marzo, 2017, 02:11 pm
Respuesta #3

Tenochtitlan

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 49
  • Karma: +0/-0
  • Sexo: Masculino

ii) Se puede calcular por sucesivas elevaciones al cuadrado. Para ello, se expresa 1372 como suma de potencias de 2,

\( 1372 = 1024 + 256 + 64 + 16 + 8 + 4  \Rightarrow{} 631^{1372} = 631^{1024}·631^{256}·631^{64}·631^{16}·631^{8}·631^4 \)

Estas potencias \( mod\; 1373 \) se calculan muy fácilmente elevando al cuadrado la anterior, y luego se multiplican reduciendo de cada vez \( mod \;1373 \).

Claro, pero en este caso tengo \( 1371 \) no puedo hacer potencias cuadradas, o si?

03 Marzo, 2017, 02:26 pm
Respuesta #4

Tenochtitlan

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 49
  • Karma: +0/-0
  • Sexo: Masculino
Se me ocurre que podría hacer esto?

\( (((((((631^4)^2)^2)^2)^2)^4)^3)\equiv{Xmod1373} \)

o..¿?

\( \displaystyle\frac{(((((((631^4)^2)^2)^2)^2)^4)^4)}{631}\equiv{Xmod1373} \)

Alguna esta bien?..

Saludos y gracias!!.

03 Marzo, 2017, 04:21 pm
Respuesta #5

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

Claro, pero en este caso tengo \( 1371 \) no puedo hacer potencias cuadradas, o si?

Si, si puedes. Básicamente se trata de poner el número en base 2 y luego escribir el significado de esa expresión.

Es decir.

\( 1371=10101011011_{2)}=1\cdot 2^{10}+0\cdot 2^9+1\cdot 2^8+0\cdot 2^7+1\cdot 2^6+0\cdot 2^5+1\cdot 2^4+1\cdot 2^3+0\cdot 2^2+1\cdot 2+1=\\=2^{10}+2^8+2^6+2^4+2^3+2^1+2^0 \)

Saludos.

03 Marzo, 2017, 06:31 pm
Respuesta #6

Tenochtitlan

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 49
  • Karma: +0/-0
  • Sexo: Masculino

Es decir.

\( 1371=10101011011_{2)}=1\cdot 2^{10}+0\cdot 2^9+1\cdot 2^8+0\cdot 2^7+1\cdot 2^6+0\cdot 2^5+1\cdot 2^4+1\cdot 2^3+0\cdot 2^2+1\cdot 2+1=\\=2^{10}+2^8+2^6+2^4+2^3+2^1+2^0 \)


Ah okey. Pero de toda manera sigue estando elevado a un numero grande.

\( 631^{2^{10}+2^8+2^6+2^4+2^3+2^1+2^0}\equiv{X mod1373} \)

03 Marzo, 2017, 06:43 pm
Respuesta #7

Ignacio Larrosa

  • Moderador Global
  • Mensajes: 2,401
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Actividades con GeoGebra
Cierto, me confundí, se trata de hallar \( 631^{1371} (mod 1373) \)

Para ello expresamos el exponente en base 2, como bien dice el_manco:

\( 1371=10101011011_{2)}=1\cdot 2^{10}+0\cdot 2^9+1\cdot 2^8+0\cdot 2^7+1\cdot 2^6+0\cdot 2^5+1\cdot 2^4+1\cdot 2^3+0\cdot 2^2+1\cdot 2+1=\\=2^{10}+2^8+2^6+2^4+2^3+2^1+2^0 = 1024 + 256 + 64 + 16 + 8 + 2 + 1 \)

Por tanto,

\( 631^{1371} = 631^{1024 + 256 + 64 + 16 + 8 + 2 + 1} = 631^{1024}·631^{256}·631^{64}·631^{16}·631^{8}· 631^{2}·631^{1}(mod 1373) \)

Entonces calculamos las potencias por sucesivas elevaciones al cuadrado:

\( 631^1 \equiv{} 631\; (mod\; 1373) \)
\( 631^{2} = 398161\equiv{}1364\equiv{}-9 \;(mod \;1373) \)
\( 631^{4} \equiv{} (-9)^2 \equiv{}81\; (mod \;1373) \)
\( 631^{8} \equiv{} 81^2 \equiv{}6561\equiv{}1069\equiv{}-304\; (mod \;1373)  \)
\( 631^{16} \equiv{} (-304)^2 \equiv{}92416\equiv{}425\; (mod\; 1373) \)
\( 631^{32} \equiv{} 425^2 \equiv{}180625\equiv{}762\; (mod\; 1373) \)
\( 631^{64} \equiv{} 762^2 \equiv{}580644\equiv{}1238\equiv{}-135\; (mod\; 1373) \)
\( 631^{128} \equiv{} (-135)^2 \equiv{}18225\equiv{}376\; (mod\; 1373) \)
\( 631^{256} \equiv{} 376^2 \equiv{}141376\equiv{}1330\equiv{-43}\; (mod \;1373) \)
\( 631^{512} \equiv{} (-43)^2 \equiv{}1849\equiv{}476\; (mod\; 1373) \)
\( 631^{1024} \equiv{} 476^2 \equiv{}226576\equiv{}31\; (mod \;1373) \)

Entonces

\( 631^{1371} \equiv{}31·(-43)·(-135)·425·(-304)·(-9)·631 \equiv{}31·43·135·425·304·9·631 \)
\( \;\;\;\;\;\;\;\;\;\;\;\equiv{}(-40)·135·425·304·9·631\equiv{}92·425·304·9·631\equiv{}656·304·9·631 \)
\( \;\;\;\;\;\;\;\;\;\;\;\equiv{}339·9·631\equiv{}305·631\equiv{}235\; (mod \;1373) \)

Claramente este método no compensa en este caso, es mucho más breve hallar \( 631^{-1} \; (mod \;1373) \). Incluso para una potencia de exponente negativo pequeño, tampoco. Pero en otros casos si.

Saludos,

Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por muchísimo menos ...  (yo)

03 Marzo, 2017, 07:39 pm
Respuesta #8

Tenochtitlan

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 49
  • Karma: +0/-0
  • Sexo: Masculino
Muchas gracias me ah servido de mucho!!  ;)  :aplauso: