Está en la página 1de 22

Rafael Parra Macho ARITMTICA MODULAR

1
3. ARITMETICA MODULAR

3. 1. Algoritmo de Euclides

1.1 Demostrar el Algoritmo de Euclides.

Sean dos nmeros donde > y 0; sea q el cociente que se obtiene de dividir el
primero por el segundo y, sea r el residuo resultante.

Si = +, para = 0, entonces a b 6 . a q 6
Si = +, para 0, entonces ( ) a r b | ( ) . a r q |
Si =

con 0, entonces ( ') a r b | ( ') ', a r q | siendo y la cifra de


cociente y residuo resultantes en la divisin por exceso.

Haciendo operaciones, obtenemos

= +

. Cuando la diferencia entre

es
igual a la unidad = +, si es distinta, +

= + = donde, en funcin de
la suma de los residuos, se pueden determinar los valores de b k, siendo ste el incremento
de q.

1.2 En una bolsa hay 41 monedas que queremos repartir entre 5 cajas, pero,
a. Si colocamos 6 monedas en cada caja, nos sobran 7 monedas.
b. Si colocamos 7 sobran 11.
c. Si colocamos 8 sobran 6.
d. Si colocamos 9 faltan 4.
e. Si colocamos 10 faltan 9.
Qu consecuencias nos aportan estas distribuciones?

Las consecuencias son las siguientes:

41 = 5 6 +11 = 5 7 +6. El incremento en q es 1 luego, =

= 11 6 = 5.
41 = 5 6 +11 = 5 8 +1. El incremento en q es 2 luego, =

= 5.
41 = 5 6 +11 = 5 9 4. El incremento en q es 3 luego, = +

= 5.
41 = 5 6 +11 = 5 10 9. El incremento en q es 4 luego, = +

= 5.

Como podemos observar, en las dos ltimas igualdades, b ser igual a la suma de los residuos
si stos tienen signo contrario, o a su diferencia, si son de signos iguales.

1.3 Algunos supuestos de aplicacin del Algoritmo de Euclides.

3.1. Si 7 A Bq = y tambin ( 1) 3, A B q = para 100, Ac determinar los valores de
B y q.

Como 7 ( 1) 3 A Bq B q = = donde 7 ( 1) 3, Bq B q = haciendo operaciones resulta pa-
ra 10. B=

Si 10 7 100, q c 10 93 q c tenemos para 9 q c entonces
10 9 7 97 A= = 10(9 1) 3 10 10 3 97 A= = =

Rafael Parra Macho ARITMTICA MODULAR


2
3.2. Si 23 A Bq = y tambin ( 1) 16, A B q = para 150, Ac determinar los valores
de B y q.

Como 23 ( 1) 16 A Bq B q = = donde 23 ( 1) 16, Bq B q = haciendo operaciones resul-
ta para 7. B=

Si 7 23 150, q c 7 127 q c tenemos para 18 q c entonces
7 18 23 149 A= = 7(18 1) 16 7 19 16 97 A= = =

3.3. Si 37 A Bq = y ( 10) 13, A B q para = 200. Ac
Como = +37 = +10 13 donde +37 = +10 13, haciendo opera-
ciones, +10 13 = +37 resulta para = 5.
Si 5 +37 200, 5 163 resulta para 32 entonces
= 5 32 +37 = 197 = 532 +10 13 = 197.

3.4. Si 47 A Bq = y ( 3) 26, A B q para = 61. Ac
Sea = +47 = +3 +26 donde +47 = +3 +26, haciendo operaciones,
+3 +26 = +47 que resulta para = 7.

Si 7 +47 61, 7 14 resulta para = 2, entonces
= 7 2 +47 = 61 = 72 +3 +26 = 61.

3. 2. Congruencias lineales

2.1 Concepto de congruencia: Propiedades.

Si a, b y m son nmeros enteros tales que a b es un mltiplo de m, que es positivo, se dice
que a y b son congruentes respecto del mdulo m, si la diferencia dividida por l producen el
mismo resto.
La relacin de congruencia se expresa como . , relacin que fue ideada por
Gauss.
Cuando a y b no sean congruentes respecto del mdulo m, escribiremos . .
De la propia definicin se deduce que 0. . La congruencia puede expresarse
como = + con m r < 0 donde t es un nmero entero. A esta expresin se le llama
divisin euclidea en el conjunto de los nmeros naturales.
A partir de la definicin dada anteriormente, indicamos a continuacin las propiedades de las
congruencias:

I) Para todo . , es decir, todo nmero es congruente consigo mismo,
respecto a cualquier mdulo: propiedad reflexiva.
II) Si . entonces . : propiedad recproca.
III) Si . y . , entonces . : propiedad transiti-
va.
IV) Si un nmero a es primo con m, todo . ser tambin primo con m.
V) Si . y . , tambin + +. .
VI) Si . y c es distinto a cero, entonces . .
VII) Si . y d es un divisor cualquiera de . .
VIII) Si . y el ( , ) mcd c m d = entonces, ( . / ). a b md m d
IX) Si k es un nmero natural y . tambin

. .).
Rafael Parra Macho ARITMTICA MODULAR


3
X) Si b es 1 o b
2
entonces

. .
XI) Si p es un nmero primo entonces
2
( ) ( . ).
p p
m n m n md p
XII) Si p es un nmero primo,
2
1 2 1 2
( ... ) ... ( . ).
p p p
n n
m m m m m m md p


2.2 Calcular el resto de dividir 213 por 7.

Si tenemos en cuenta el , planteamos 213 = 7 + para co-
nocer el cociente q y el resto r. Si utilizamos congruencias, 213 . 7 para co-
nocer r, que es la solucin de la congruencia.
Por el la solucin es 213 = 7 30 +3. Aplicando congruen-
cias, 213 3. 7 que representamos como 213 3 0. 7 y como
213 3 = 210 = 7 30 la solucin modular resulta = 3 +7.
La solucin de este supuesto nos demuestra la estrecha relacin que existe entre el
y las congruencias.

2.3 Dividir el nmero 101 en dos partes tales que, una sea mltiplo de 11 y la otra
sea mltiplo de 17.

Sean los nmeros a buscar entonces, se trata de resolver 11 101. 17.
Observamos que 11 < 17 < 101 por tanto, necesitamos una herramienta que nos permita la
solucin de este supuesto.
Dado un nmero a, recibe el nombre de inverso de a mdulo m, otro nmero tal que
1. . La condicin necesaria y suficiente para que un entero a posea un inverso
mdulo m, con > 1, es que el , = 1. Adems, ese es .
Para determinar el inverso de un nmero aplicaremos la .
Si tenemos en cuenta que el 11,17 = 1 = 113 +172 resulta que los coeficientes
3 y 2 son los inversos de 11 respecto al mdulo 17 y de 17 respecto al mdulo 11 y tambin
conocidos como . Aplicando la propiedad recproca, tenemos.
Para 17 101. 11 donde 217 101. 17 = 34 202. 11.
Ahora, sacamos restos de 34 y 202 respecto al mdulo 11 4. 11 que es equivalente
a = 4 +11, donde t es un entero cualquiera.
En cuanto al valor de a, por sustitucin 101 17 4 = 101 68 = 33 que resulta para
= 3 17 luego, 113 17 +174 +11 = 101 es la solucin.

2.4 Calcular nmeros congruentes con 13 mdulo 7.

Como 13. 7 es equivalente a 6. 7, resulta para = 13 +7 o bien
= 6 +7. Dando valores a t, con 13 y 6

t= 0 1 2 3 4 -1 -2 -3 -4
x= 13 20 27 34 41 6 -1 -8 -15

t= 0 1 2 3 4 . -1 -2 -3 -4
x= 6 13 20 27 34 . -1 -8 -15 -22

obtenemos un conjunto de clases residuales

, 1. 8, 15, +6, +13, +20, +27, +34, +41,
, 1, 8, 15, 22, +6, +13, 20, +27, +34,

Rafael Parra Macho ARITMTICA MODULAR


4
todas de congruencias finitas.

2.5 Comprobar que los enteros menores de 11, excepto el 1 y el 10, pueden agru-
parse de dos en dos de manera que . .

Como 11 es un nmero primo, todos los elementos no nulos de
,
donde

es un anillo de
clases residuales respecto al mdulo m, son elementos inversibles.
Los inversos de cada uno quedan expresados en la siguiente lista:

1 1 1. 11: 1 es inverso de s mismo en

.
2 6 1. 11: 6 es inverso de 2 y 2 es inverso de 3 en

.
3 4 1. 11: 3 es inverso de 4 y 4 es inverso de 3 en

.
5 9 1. 11: 5 y 9 son inversos uno del otro en

.
7 8 1. 11: 7 y 8 son inversos uno del otro en

.
10 10 1. 11: 10 es inverso de s mismo en

.

2.6 Encontrar un nmero tal que si se divide por 3, el resto es 2; si se divide por 5,
el resto es 3 y, si se divide por 7, el resto es 2

Ya en el siglo III, el matemtico chino Sun-Tzi quiso saber este nmero. En atencin a l y otros
como Lin Hiu (siglo III), Yang Hui (siglo XI), Chon Huo (siglo XIII), matemticos chinos que apor-
taron soluciones a los sistemas de congruencias lineales, hay un teorema llamado
.
Este teorema afirma que, si

, ,

son enteros positivos, primos relativos dos a dos, el


sistema

tiene solucin nica


=

esto es, hay una solucin , 0 < , y todas las dems soluciones son
congruentes mdulo m con esta solucin.
Aplicado a nuestro supuesto, tenemos

Sea = 3 5 7 = 105.

= 35,

= 21 y

= 15.

Se puede observar que 2 es el inverso de 35 mdulo 3, 1 es inverso de 21 mdulo 5 y 1 es in-
verso de 15 mdulo 7 por tanto


2 35 2 +2 21 1 +2 15 1 = 233 23. 105

Donde el 23 es el nmero entero ms pequeo que al ser dividido por 3, 5 y 7 se obtienen res-
tos respectivos de 2, 3 y 2.

2.7 Resolver la congruencia . .

El coeficiente de 17x es mayor que el mdulo 13, el resto con ste es 17 = 13 1 +4 enton-
ces, 4 5. 13 es equivalente a 17 5. 13.
Si multiplicamos 4 5. 13 por 10, 10 4 10 5. 13 y sacamos restos res-
pecto al mdulo 13, 11. 13 es la solucin de la ecuacin, que podemos escribir co-
mo = 11 +13, donde t es un entero cualquiera.
Observar que 17 11 = 187 5. 13 o 187 5 0. 13 corresponden a la mis-
ma solucin de la congruencia.


Rafael Parra Macho ARITMTICA MODULAR


5
2.8 Resolver la congruencia ! . .

El teorema de 1741 1793 dice.
Para que n divida a (( 1)! 1) n , es necesario y suficiente que n sea primo. Para 0 n entero
primo, tenemos pues que ) . ( 1 )! 1 ( p md p .
Si multiplicamos la ecuacin ) 19 . ( ! 17 md r por 18 obtenemos ) 19 . ( 18 ! 18 md r y como
) 19 . ( 1 )! 1 19 ( md equivale a ) 19 . ( 1 18 md r esto es ) 19 . ( 18 18 md r luego,
) 19 . ( 1 md r y por tanto, 17! 1( .19). md
La solucin resulta r = 1.

2.9 Encontrar solucin para ( . ) x a md p y ( . ). ax b md p .

Para ) . ( p md a x . Si p es primo y a es un entero tal que el ( , ) 1 mcd a p = entonces,
2 p
a
es inverso de a tal que ) . (
2
p md b x a
p

. Por ejemplo, para ) 7 . ( 10 3 md x la solucin


sera ) 7 . ( 2430 729 3 243 3 3
5
md x x = = que equivale a 1( .7). x md

Para ( . ), ax b md p si a y b son enteros, p primo y ( , ) 1 mcd a p = entonces, la solucin
vendra determinada por ) . (
2
p md b a x
p


qu aplicada a nuestro ejemplo,
) 7 . ( 2430 10 3
5
md x y por tanto 1( .7). x md

2.10 Demostrar que ! . .

Tenemos que ) 11 . ( 1 2 3 4 6 7 8 10 1 2 3 4 5 6 7 8 9 10 ! 10 md = ya que
) 11 . ( 1 45 5 9 md = . Agrupando los factores por pares, 2 y 6, 3 y 4, 7 y 8, tendremos
) 11 . ( 10 ! 10 md y como ) 11 . ( 1 10 md entonces, 10! 1( .11). md

2.11
Resolver el siguiente sistema,
1
( .4), x b md
2
( .5) x b md

y
3
( .7) x b md y
obtener valores con 1,3,2 y 3,2,6 de
1 2 3
, . b b y b

Aqu 140 7 5 4 = es equivalente a 35 4 28 5 20 7 = = y, adems ) 4 . ( 1 3 35 md ,
) 5 . ( 1 2 28 md y ) 7 . ( 1 6 20 md siendo
3 2 1
6 20 2 28 3 35 b b b x
o
+ + = por consi-
guiente, el sistema puede expresarse como
1 2 3
105 56 120 ( .140). x b b b md
Para valores de 1, 3, 2 tenemos ) 140 . ( 93 2 120 3 56 1 105 md x + + y para valores de
3, 2, 6, ) 140 . ( 27 6 120 2 56 3 105 md x + + donde, para los distintos valores, la solu-
cin del sistema es de t x 140 93+ = y t x 140 27 + = .

2.12
Calcular los valores
1 2 3
, b b y b de la ecuacin . .

Como 1547 7 13 17, = la ecuacin propuesta tendr solucin si, y slo si, la tienen sus facto-
res 1000( .7), x md ) 13 . ( 1000 md x y ) 17 . ( 1000 md x que son equivalentes a
1000 7 6 7 , x t t = = t t x 13 12 13 1000 + = + = y 1000 17 14 17 . x t t = = Aplicando
el Teorema Chino de Restos, como 1547 7 221 13 119 17 19, = = = resulta
Rafael Parra Macho ARITMTICA MODULAR


6
1 1
2 1
3 1
221 1( .7) 4 1( .7) 221 2 1( .7)
119 1( .13) 2 1( .13) 119 7 1( .13)
91 1( .17) 6 1( .17) 91 3 1( .17)
a md a md md
a md a md md
a md a md md
' ' '
1 1 1
1 1 1
1 1 1
1 1 1

! ! !
1 1 1
1 1 1
1 1 1
1 1 + + 1+





y por tanto, sustituyendo coeficientes,
1 2 3
442 833 273 ( .1547) x b b b md que, dando valo-
res a b y, realizando productos

442 6 833 12 273 14 16470 1000( .1547). x md

3 3. Congruencias exponenciales

3.1 Calcular el resto de dividir

por 7.

El dice que, si p es un entero primo y a otro entero tal que el
, = 1 entonces,

1. . Esta herramienta nos permite dar solucin al su-


puesto planteado sin importar el grado de su raz ya que a recorre todo el conjunto de restos
respecto al mdulo utilizado.
Como

1. 7 donde puede ser cualquiera de los nmeros que conformar el


conjunto de restos 1,2,3,4,5,6 respecto al mdulo 7, o sea, 1

= 2

= 3

= 4

= 5

= 6


1. 7. Tenemos que

= 1. 7 de donde el resto de divi-


dir

7 puede ser 1, 2, 3, 4, 5 6, dependiendo del valor que demos a a.



3.2 Calcular el resto de dividir

por 23.

El sistema reducido de restos, respecto al mdulo , consta de

restos cuadrticos, los cua-


les son congruentes con los nmeros 1

, 2

, 3

, ,

y de

no restos cuadrticos. Si
es resto cuadrtico respecto al mdulo , se tiene

1. ; si no es resto cuadr
tico respecto al mdulo , entonces

1. . Esto se conoce como


. Segn el teorema de Fermat,

1. luego

( 1) /2 ( 1)/2
( 1)( 1) 0( . ).
p p
a a md p



Como

3

= 3

1. 23 y 101 = 11 9 +2 = 99 +2

la solucin pasa por resolver

3

. 23.

Por la propiedad reflexiva sabemos que todo nmero es congruente de s mismo ya que si
. y 0. entonces, 0. m| Aplicado al supuesto planteado, fcil
es deducir que = 9 y, por tanto 3

9. 23.
De haber utilizado la , donde

1. , esto es 3


1. 23 con 101 = 22 4 +13 = 88 +13, la solucin vendra dada por la resolucin de
3

. 23. Como 3

= 3

. 23, o sea
Rafael Parra Macho ARITMTICA MODULAR


7
4 4 4 4 3 = 768 0. 23 y si 768 = 23 33 +9 podemos comprobar que el
resto vuelve a ser 9.

3.3 Calcular el resto de dividir

por 77.

El mdulo es 11 7 77 = . Para ) 7 . ( 1 3
6
md y para ) 11 . ( 1 3
10
md . Resolvemos para el
mdulo 7,
25 24 1
3 3 3 3 3( .7) md = = equivalente a t x 7 3+ = . Para el mdulo 11,
) 11 . ( 1 1 3 3 3
5 20 25
md = = equivalente a 1 11 . x t = Como ) 11 . ( 1 7 3
1
md t + dnde
) 11 . ( 9 7
1
md t y ) 11 . ( 6
1
md t equivale a
1
6 11 , t t = aplicamos los resultados obteni-
dos para despejar t t x 77 45 ) 11 6 ( 7 3 + = + + = luego, la solucin del supuesto es
25
3 45( .77), md siendo 45 el resto buscado.
Notar el uso del .

3.4 Calcular el resto de dividir

por 35.

En la ecuacin ) 35 . ( 2
37
md r el mdulo es 7 5 35 = por tanto, la aplicacin del teorema
de Fermat no tendra validez para 35 sino para 5 y 7 entonces, ) 5 . ( 1 2
4
md y
) 7 . ( 1 2
6
md . Para ) 5 . ( 2 2 2 2 2
1 36 37
md = = que equivale a t x 5 2 + = y para
) 7 . ( 2 2 2 2 2
1 36 37
md = = que equivale a t x 7 2 + = . Como ) 7 . ( 2 5 2
1
md t + que
equivale a t t 5 0
1
+ = , sustituimos t t x 35 2 ) 7 0 ( 5 2 + = + + = con lo que la solucin al pro-
blema es ) 35 . ( 2 2
37
md o sea, el resto es 2.

3.5 Calcular el resto de dividir

por 13.

Tenemos que ) 13 . ( 1 125
4577
md y ) 13 . ( 1 125
12
md siendo 5 381 12 4577 + = . Para
4577 4572 5 5 3 5 15
125 125 125 125 (5 ) 5 . = = = = Aplicando Fermat, ) 13 . ( 1 5
12
md y, por tan-
to ) 13 . ( 8 5 5 5
3 12 15
md = luego, ) 13 . ( 8 125
4577
md siendo 8 el resto.

3.6 Probar si es divisible por 10.

Si p es un nmero primo distinto de 2 y 5
2
1, p es divisible por 10 resolviendo la congruen-
cia
2
1 0( .10). p md Para 19 , 13 , 11 , 7 = p resulta
2
7 1 50 0( .10), md =


2
11 1 120 0( .10), md = ) 10 . ( 0 170 1 13
2
md = + y
2
19 1 360 0( .10). md =

3.7 Probar que si , , son nmeros enteros positivos donde y > 1,
si . tambin

. .

Sea 2. 5. Como = 2 +5, para = 1 sera = 2 +5 = 7, esto es

. 5. Y como 7

. 5 es equivalente a 49 4 = 45 0. 5 que es la
solucin de ambas congruencias, queda probada la relacin entre ambas.
Sea

. 11. Como = 5 +11, para = 1 sera = 5 +11 = 16, 16

. 11 es equivalente a 16

= 16 5 = 11 0. 11 que es la solucin de
ambas congruencias.
Rafael Parra Macho ARITMTICA MODULAR


8
3.8 Probar que si para cualquier primo p se verifica que

. enton-
ces, tambin se verifica para

.

Sea 2. 7. Como = 2 +7 y para = 1 sera = 2 +7 = 9, si

. 7


como 9

. 7

es equivalente a 9

= 9 2 = 7 0. 7

que es la solu-
cin de ambas congruencias, queda probada la relacin entre ambas.

3.9 Si es primo y , son nmeros enteros entonces, probar que se cumple que
+

. .

Sea 4 +5

+5

. 7. Si 9

+5

. 7, haciendo traspasos 9

+
5

0. 7 que es equivalente a 4782969 94509 = 4688460 0. 7. Como


4688460 = 3

7 11 83 = 7 669780, queda probado que la solucin que satisface a


4 +5

+5

. 7 es 4 +5

2. 7.
Sea 2 +3 +4 +5

+3

+4

+5

. 5. Como 14

4424. 5, esto es
4

4. 5 entonces 1 1. 5 solucin que satisface al supuesto.



3.10 Demostrar que el 2821 es un nmero de Carmichael.

Un nmero de 1879 1967 es un nmero n compuesto tal, que
( . )
n
a a md m si mcd (a, n) = 1, o bien ) . ( 1
1
n md a
n

por similitud con el teorema de


Fermat, y tambin. ) . ( 2 2 n md
n
. Se conocen como pseudoprimos.
Debemos demostrar ) 2821 . ( 1
2820
md a para todo a primo relativo con 2821. Como
31 13 7 2821 = , y si mcd (a, 2821) = 1, entonces mcd (a, 7) = mcd (a, 13) = mcd (a, 31) = 1.
De acuerdo con Fermat ) 7 . ( 1
6
md a , ) 13 . ( 1
12
md a y ) 31 . ( 1
30
md a , luego, con
relacin al nmero propuesto, tenemos

) 7 . ( 1 ) (
470 6 2820
md a a , ) 13 . ( 1 ) (
235 12 2820
md a a y ) 31 . ( 1 ) (
94 30 2820
md a a .

Finalmente, utilizando el Teorema Chino de Restos, queda demostrado que

) 2821 . ( 1
2820
md a y por tanto, un nmero de Carmichael.

3.11 Demostrar que el 561 es un nmero de Carmichael.

Si tenemos en cuenta que 17 11 3 561 = , aplicando el mismo procedimiento del supuesto
anterior, conseguimos saber qu ) 561 . ( 1
560
md a y por tanto, es un pseudoprimo de Car-
michael.
Otros nmeros de Carmichael pueden ser

561,1105,1729,2465,2821,6601,8911,10585,15841,
29341, 41041,46657,52633,62745,63973,75361

3.12 Demostrar que el 2047 pasa el Test de Miller para la base 2.

Sea n un entero positivo y sea t n
s
2 1 = , donde s es un entero no negativo y t es un entero
positivo impar. Decimos que n pasa el Test de Miller para la base b, bien como 1( . )
t
b md m
Rafael Parra Macho ARITMTICA MODULAR


9
o como ) . ( 1
/ 2
n md b
t
. Se dice que un entero compuesto n pasa el Test de Miller para
menos de 4/n bases b, 1 < b < n, o tambin, si n es primo y b un entero positivo tal que . a b 6
Un entero positivo que pasa el Test de Miller para la base b se llama pseudoprimo fuerte para
la base b.
Para el nmero propuesto vemos que 89 23 2047 = , compuesto que podemos descomponer
en 1023 2 2046 1 2047 = = , por lo que 1 = s y 1023 = t . Aplicando congruencias

1023 11 93 93 93
2 (2 ) 2048 1 1( .2047) md = =

con lo que demostramos que el nmero 2047 pasa el Test de Miller y, por tanto, es un p seu-
doprimo fuerte para la base 2.

3.13 Demostrar el Teorema de Wolstenholme, para p=13.

El teorema demostrado por Joseph Wolstenholme en 1819 dice que, para cualquier nmero
primo 3, p > se cumple las siguientes congruencias

2
( 1)!(1 1 2 1 3 1 1) 0( . ) p p md p + + + +
2 2 2 2
( 1)! (1 1 2 1 3 1 ( 1) 0( . ) p p md p + + + + )

Para el caso de 13, p = obtenemos

(13 1)! 479.001.600, =
13 1
1
1 86021 27720
k
k

=
=

y
13 1
2
1
1 240505109 153679680
k
k

=
=



de donde

2
479001600 86021 21720 0( .13 ) md
y
2
(479001600) (240505109 153679680) 0( .13) md

Este teorema se ampla diciendo que, para todo primo 5 p > se cumple

1
1
( 1)!
0( . ).
p
k
p
md p
k



3.14 Calcular
19
1001 ( .301). r md

Para dar solucin a este supuesto vamos a utilizar el mtodo de los cuadrados repetidos. Em-
pezamos por escribir el exponente en la forma
4
19 2 2 1 = + + y operamos de la siguiente
forma:

2
1001 273( .301) md
4
1001 182( .301) md
2
= 273
8
1001 14( .301) md
2
=182
16
1001 196( .301) md
2
=14
Rafael Parra Macho ARITMTICA MODULAR


10
18 16 2
1001 1001 231( .301) md =1001 =196 273
19 18 1
1001 1001 231 98 63( .301) md =1001 =

La solucin es para 63. r =
Se poda haber reducido la base con 1001 98( .301) md pero seguiramos teniendo una
operacin de
19
98 63( .301), md que es difcil de manejar teniendo en cuenta el mdulo.
Este es un mtodo muy utilizado en criptografa.

3. 4. Funciones aritmeticas

4.1 Calcular los exponentes de los primos 2, 3 y 5 que figuran en 10!.

Se llama parte entera de un nmero real al nico entero racional denotado [x] tal que
1 ] [ ] [ + < x x x . Si x e y son reales y n un entero estrictamente positivo, se dan los siguientes
resultados.

) [ ] [ ] [ ] a x y x y e = con
0 = e

1 = e

) [ ] [ ] [ ] b x y x y e = con
0 = e

1 = e

1 1
) [ ] ... [ ]
n
c x x x nx
n n
l l

l l =
l l
l l

[ ]
) [ ]
nx
d x
n
l
l =
l
l


Aplicado a la solucin del supuesto planteado,
(

+ +
(

+
(

=
n
n
p
x
p
x
p
x
e ...
2
por tanto

2 2 3
10 10 10
5 2 1 8,
2
2 2
e
l l l
l l l = = =
l l l
l l l

3 2
10 10
3 1 4,
3
3
e
l l
l l = = =
l l
l l
2
5
10
5
=
(

= e

entonces,
8 4 8 4 2
10! 3628800 2 3 175 2 3 5 7. = = =
Como queda demostrado, los exponentes de los primos 2, 3 y 5 que figuran en ! 10 son el 8, 4 y
2.

4.2 Calcular los exponentes de los primos mayores a 10 que dividen a 500!.

Para las potencias del primo nmero 2, aplicando la funcin de parte entera, tenemos

2 2 3 4 5 6 7 8
500 500 500 500 500 500 500 500
2
2 2 2 2 2 2 2
e
l l l l l l l l
l l l l l l l l =
l l l l l l l l
l l l l l l l l
250 125 = 62 31 15 7 3 1 494. =

Para las potencias del primo nmero 3

3
2 3 4 5
500 500 500 500 500
166 55 18 6 2 247
3 3 3 3 3
e
l l l l l
l l l l l = = =
l l l l l
l l l l l
.
Rafael Parra Macho ARITMTICA MODULAR


11
Para el nmero 5 tenemos

124 4 20 100
5
500
5
500
5
500
3 2 5
= + + =
(

+
(

+
(

= e

y as, siguiendo el mismo procedimiento, obtendremos las del
7
82, e =
11
49, e =
13
40, e =
17
30, e =
19
29, e = etc., hasta conseguir las mximas potencias de 500! mayores a 10, y que
son

494 247 124 82 49 40 30 27 21 17 16 13 12 10
500! 2 3 5 7 11 13 17 19 23 29 31 37 41 47 s =

siendo s el resto de potencias.

4.3 Definir la Frmula de Polignac.

La descomposicin de una factorial en nmeros primos se conoce como Frmula de Polignac,
que recibe su nombre del matemtico francs de Alphonse Polignac (1817-189), aunque dicha
frmula se le atribuye a Adrien Marie Legendre (1752-1833). Esta frmula se denota como
( )
!
p
e n
n p =

que es fcil de demostrar, ya que



2 3
( )
p
n n n
e n
p p p
= + + +

de hecho
n
p
es un nmero de mltiplos de p en !. n El trmino
2
n
p
se aade a la contribu-
cin adicional de los mltiplos de
2
, p y as sucesivamente.
Por ejemplo, para determinar en cuntos ceros termina 300!, podemos razonar como sigue:
El nmero de ceros queda determinado por la potencia mayor de 10 que divida a 300! Ya que
abundan ms los mltiplos de 2 en 300! que los mltiplos de 5, el nmero de ceros queda de-
terminado por la potencia mayor de 5 que divida a 300! En este caso,

2 3
1
300 300 300 300
60 12 2 12 5 382 5 74
5 5 5 5
k
k

=
= + + + = + + + =



determina que 300! termina con 74 ceros. Fcilmente se puede demostrar el resultado ante-
rior ya que
74
300! 0( .5 ) md y
175
300! 0( .5 ) md T son distintos.

4.4 Definir las funciones aritmticas.

Hablar de en general, no es decir demasiado ya que se conoce bajo
esta denominacin cualquier funcin cuyo dominio son los naturales de siempre, : . La
mayor parte de las veces la imagen tambin estar dentro de o de .
Entre las tienen especial inters las que dependen de la factorizacin
en primos.
Se dice que una funcin aritmtica es si = siempre que n
y m sean coprimos.
Rafael Parra Macho ARITMTICA MODULAR


12
El teorema fundamental de la aritmtica dice que, cada entero > 1 se puede representar
como un producto de factores primos de forma nica, salvo el orden de sus factores. Si n se
descompone en
1 2
1 2
...
r
e e e
r
n p p p = entonces cualquier multiplicativa verifica

1
( ) ( ).
i
e
e
i
i
f n f p
=
=



4.5 Definir las funciones divisor.

La funcin ( ) n es la suma de todos los nmeros naturales divisores de . Si es primo, en-
tonces
( 1)
1
( ) .
1
e
e
p
p
p

Esto es as porque los nicos divisores de

son las potencias de


con 0 . En consecuencia

( 1)
2
1
( ) 1
1
e
e e
p
p p p p
p

= =



Para todo nmero real o complejo y todo entero 1 definimos ( )
d n
n d

[
=

como la
suma de las potencias simas de los divisores de n. Las funciones as definidas se llaman
.
Para el caso particular de ( )
e
p

si observamos que los divisores de una potencia de un primo


e
p son
2
1, , , ,
e
p p p luego,

( 1)
2
1
( ) 1
1
e
e e
p
p p p p
p

= =



Que la funcin ( ) n

es multiplicativa lo podemos demostrar por medio de un ejemplo:


Si p y q son nmeros primos entre s, entonces

( ) ( ) ( ). pq p q

=

Si tenemos en cuenta que los nicos divisores de son 1, , , , desarrollando

( ) 1 (1 ) (1 ) (1 )(1 ) pq p p pq p q p p q

= = =

de donde

(1 )(1 ) ( ) ( ) p q p q

=

Si
1 1 1
(3 7) (3) (7) = entonces,
1
(3 7) 1 3 7 21 32 4 8 (3) (7),
1 1
= = = = con lo que
queda demostrado que ( ) n

es multiplicativa.







Rafael Parra Macho ARITMTICA MODULAR


13
4.6 Calcular la suma de los cuadrados del nmero 1000.

Como la factorizacin de 1000 = 2

, aplicando la funcin divisor, se trata de resolver


3 3 3 3
2 1 1
(2 5 ) (2 ) (5 ). = La solucin la encontramos en

2(3 1) 2(3 1)
3 3
2 2 2
2 1 5 1
(2 5 ) 85 16276 1.383.460
2 1 5 1



= = =



Si recordamos que el nmero de divisores es ( ) (1 ), n e = que para nuestro supuesto seran
3 3
(2 5 ) (1 3)(1 3) 16, = = sumando los cuadrados de todos ellos obtenemos

2 2 2 2 2 2 2 2 2 2
2
2 2 2 2 2 2
(1000) 1 2 4 5 8 10 20 25 40 50
100 125 200 250 500 1000 1.383.460
=
=


4.7 Resolver la funcin .

La funcin de 1790 1868 destaca en que 0 ) ( = n si, y
slo si, n es divisible por un cuadrado distinto de 1. Las propiedades son que si n = 1 entonces
(1) 1, = si
r
p p p n = ...
2 1
con p
i
primos distintos, entonces
r
n ) 1 ( ) ( = y, si
2
| , a n
para algn 1 > n entonces, ( ) 0. n =

El supuesto planteado 0
3
45
) 45 (
2
= = . Si ahora consideramos que 9 5 45 = , entonces
0 ) 9 ( ) 5 ( ) 45 ( = = ya que para 1 ) 1 ( ) 5 (
1
= = y para 0 ) 9 ( = luego
0 0 ) 1 ( ) 9 ( ) 5 ( ) 45 ( = = = . Con lo que demostramos que la funcin ) (n no slo es
multiplicativa, si no que
2
es la funcin caracterstica de los libres de cuadrados, esto es, los
no divisibles por ningn cuadrado mayor que 1.

4.8 Resolver por la funcin los nmeros 1,3,8,15,21,33,98,101,125,301

Aplicando los criterios de la funcin ( ) n tenemos,

Nmero 1 3 8 15 21 33 98 101 125 301 1001
( ) n

1 -1 0 1 1 1 0 -1 0 1 -1

Hacer notar que, si el nmero es primo, la funcin da como resultado -1.

4.9 Resolver la funcin

La funcin de 1707 1783 ( ) n se define para todos los enteros positi-
vos n y representa la cantidad de nmeros de la sucesin 1, 2, 3, . . . , 1 que son coprimos
con n. Si la descomposicin factorial de n es ... ,
a b r
n p p p = para la funcin

|
|

\
|

|
|

\
|

|
|

\
|
=
r
p p p
n n
1
1 ...
1
1
1
1 ) (
2 1
o ) 1 ( .. ) 1 ( ) (
1
1
1
1
=
er
r
er
r
e e
p p p p n

Rafael Parra Macho ARITMTICA MODULAR


14
y en particular, 1 ) ( =
e e e
p p n 1 ) ( = p p .
Para el supuesto planteado, sabemos que su descomposicin factorial es 5 3 2 720
2 4
= en-
tonces,

|

\
|
|

\
|
|

\
|
= |

\
|
|

\
|
|

\
|
=
5
4
3
2
2
1
720
5
1
1
3
1
1
2
1
1 720 ) 720 (

que es igual a

192
30
5760
30
8
720
5
4
3
2
2
1
720 ) 720 ( = = |

\
|
= |

\
|
|

\
|
|

\
|
= .

Este resultado podemos expresarlo como

192 4 6 8 ) 5 / 4 ( 5 ) 3 / 2 ( 9 ) 2 / 1 ( 16 ) 5 ( ) 9 ( ) 16 ( ) 720 ( = = = =

Demostrndose que la funcin ) (n es multiplicativa.

4.10 Resolver las funciones y y

La descomposicin factorial de 17 13 221 = luego, ) 17 / 16 )( 13 / 12 ( 221 ) 221 ( = que es
igual a 192 ) 221 / 192 ( 221 ) 221 ( = = ) 17 ( ) 13 ( ) 221 ( = pero, como los nmeros son
primos, individualmente 192 16 12 ) 1 17 )( 1 13 ( ) 221 ( = = = .
Para la segunda funcin, como 3 2 192
6
= tenemos que ) 3 / 2 )( 2 / 1 ( 192 ) 192 ( = esto es
64 ) 6 / 2 ( 192 ) 192 ( = = .
Una de las propiedades de la funcin ) (n es que si n > 1 entonces, la suma de los enteros
positivos menores o iguales a n y relativamente primos con n es ) (
2
1
) ( n n p =
A modo de ampliacin, utilizamos los nmeros 12 y 16 para demostrar esta propiedad. Para
4 ) 3 / 2 )( 2 / 1 ( 12 ) 12 ( = = y para 8 ) 2 / 1 ( 16 ) 16 ( = = . La suma de los nmeros primos con n
ser (12) 1 2(12 4) 24 = = y (16) 1 2(16 8) 64. = = Estos nmeros son el {1, 5, 7, 11} y
{1, 3, 5, 7, 9, 11, 13, 15} que, como fcilmente se puede comprobar, suman 24 y 64, respecti-
vamente.

4.11 Resolver la ecuacin
50
1( .35) x md aplicando la funcin

La solucin de
50
1( .35) x md pasa por que la tengan tambin

50 50
50 50
1( .5) 1( .5)
1( .7) 1( .7)
x md x md
x md x md
' '
1 1
1 1

! !
1 1

1 1 + +


Sabemos que
(5 1)
1( .5) x md

luego,
50 48 2 48 2 2
1( .5), x x x x x md

= = = que admite como


soluciones, 1,4( .5), x md o sea,
1 2
1 5 4 5 . x t y x t = =
Para
50
1( .7) x md tenemos
(7 1)
1( .7) , x md luego

50 48 2 48 2 2
1( .7), x x x x x md

= = = que
admite como soluciones,
1 2
1,6( .7), , 1 7 6 7 . x md esto es x t y x t = =
Aplicando el Teorema Chino de Restos
Rafael Parra Macho ARITMTICA MODULAR


15
1 +5 1. 7. Como 5 0. 7, resulta para 0. 7 y el valor de x
vendr determinado por = 1 +50 +7 = 1 +35.

1 +5 6. 7. Como 5 5. 7, resulta para 1. 7 y el valor de x
vendr determinado por = 1 +51 +7 = 6 +35.

4 +5 1. 7. Como 5 4. 7, resulta para 5. 7 y el valor de x
vendr determinado por = 4 +55 +7 = 29 +35.

4 +5 6. 7. Como 5 2. 7, resulta para 6. 7 y el valor de x
vendr determinado por = 4 +56 +7 = 34 +35.

La solucin a la ecuacin plateada es 1,6,29,34. 35.
El teorema de Euler dice que, si 1 m y el ( , ) 1, mcd a m =
( )
1( . ).
m
a md m


Como 35 5 7 = y (35) 35(4 5 6 7) 24, = = resulta
(35)
1( .35) a md

que podemos escribir


como
(24)
1( .35) a md

donde a recorre todo el sistema completo de restos respecto al


mdulo 35.
Se plantea
50
1( .35) a md pero,
50 2(24) 2 2 48 2
1 1( .35). a a a a md

= = = La propiedad X de las
congruencias dice, que si b es 1
2
b entonces,
2 2
( ) ( . ). m b b md m

35 1

1. 35 donde, 1,34. 35.



35 6

1. 35 donde, 6,29. 35.



Soluciones que son idnticas a las obtenidas utilizando la funcin de Fermat.

4.12 Demostrar la relacin entre ( ) n y ( ). n

Si 1, ns tenemos ( ) ( ) ,
d n
n
n d
d
=

6
funcin de Euler que podemos escribir como
1
1
( )
( , )
n
k
n
n k

=
l
= l
l
l



donde k recorre todos los enteros . n c
Si 1, ns tenemos

1 si n 1
1
( ) ,
0 si n 1
d n
d
n

' =
1 l
1
= = l !
1 l
l
1+

6


frmula de la funcin de Mbius claramente cierta 1. n= En la suma ( )
d n
d

6
los nicos
trminos no nulos proceden de 1 d = y de los divisores de n que son producto de primos dis-
tintos.
Para un divisor d de n fijo podemos sumar respecto de todos los k tales que 1 k n c c si, y slo
si, 1 , q n d c c 6 por lo tanto,

1 1
( ) ( ) ( ) 1 ( ) .
n d n d
d n q d n q d n
n
n d d d
d

= =
= = =

6 6
6 6 6


Rafael Parra Macho ARITMTICA MODULAR


16
4.13 Demostrar la relacin entre ( ) n y ( ). n

La notacin ( ) n se conoce como funcin de Mangoldt en honor a Hans C.F. von Mangoldt
(1854-1925), matemtico alemn que la adapt de otra descubierta por Nikolay Bugiev
(1837-1903), matemtico ruso que la descubri. La funcin Mangoldt se expresa como
( ) ln( ) n p = si ,
k
n p = con p primo y 1, k s o ( ) 0, n = en caso contrario. La funcin Mangoldt
cumple la siguiente identidad donde log ( )
d n
n d =

|
que es la suma los d que dividen a . n
La notacin ( ) n se conoce como la segunda funcin de Chebyshev en honor a Pafnuy L. Che-
vyshev (1821-1894), matemtico ruso que la descubri. Se denota como ( ) log( )
n x
n k p =

c
y
su relacin con la funcin de Mangoldt ( ) n es que ( ) ( ).
n x
n n =

c

Estas funciones se usan frecuentemente en pruebas relacionadas con los nmeros primos.

4.14
Demostrar la solucin para log18 ( ).
d
d =

|18


Como los divisores de 18 son 1, 2, 3, 6, 9 y 18, tenemos que

log18 ( ) (1) (2) (3) (6) (9) (18)
d
d = = + + + + +

|18


que es equivalente a

log ( ) 0, log 2, log3, 0, log3, 0 log(2 3 3) log18
d
n d = = = =

|18


4.15 Demostrar la relacin entre ( ), ( n n y ( ). n

Sea
1
i
k
i
i
n p

=
=

con nmeros primos distintos


1
, , ,
r
p p entonces se define
1
( )
r
i
i
n
=
=

como
la funcin cuenta factores primos, distintos o iguales, en la que se descompone un nmero
como producto. Dado que (1) 0, = esta funcin no es multiplicativa pero, como los factores
primos que aparecen en un producto de dos nmeros, m y n, son los que aparecen en m ms
los que aparecen en n, se tiene ( ) ( ) ( ) m n m n = luego,
( ) ( ) ( ) ( ) ( )
,
m n m n m n
a a a a

= =
que s es completamente multiplicativa.
Sea
( )
1
i
n
i
i
n p

=
=

y
( )
1
( )
n
i
i
n

=
=

como la funcin que es igual a la cantidad de factores primos


diferentes que dividen a n. La funcin
( ) n
a

es multiplicativa. Si m y n no tienen factores co-


munes, los factores primos que los dividen son distintos y entonces ( ) ( ) ( ) m n m n = y
por tanto
( ) ( ) ( ) ( ) ( )
.
m n m n m n
a a a a

= =

Por ejemplo,
2
18 2 3 = tiene como solucin (18) 3 = y (18) 2 = ya que en el primero son
3 factores, uno repetido y en el segundo son dos factores primos, sin repeticin.
Se denota como
( )
( ) ( 1)
n
n

= la funcin Liouville en honor a 1809
1882, matemtico francs que la descubri. La funcin
( )
( ) ( 1)
n
n

= es completamente
multiplicativa. Para cada 1 ns tenemos

Rafael Parra Macho ARITMTICA MODULAR


17
1 si n
( ) ,
0 si n
d n
es un cuadrado
d
no es cuadrado

'
1
1
=
!
1
1+

6


adems,

1
( ) ( ) n n

= para todo n.

Para
618
( ) (1,2,3,6,9,18 {1, 1, 1,1,1, ) 1} 1
d
d = = =



4.16 Funcin L de Dirichlet.

Se llama Serie L de Dirichlet a la funcin de la forma
1
( )
( , ) ,
s
n
n
L s
n

=
=

en honor de Johann Pe-


ter Gustav Lejeune Dirichlet (1805-1859), matemtico alemn, donde es un carcter de Di-
richlet y s una variable compleja cuyo componente real es 1. > Esta funcin tiene como iden-
tidad

1
( )
( , ) 1
s
p
p
L s
p

| |

|
\



donde se demuestra que existen un nmero infinito de nmeros primos en cualquier progre-
sin aritmtica de la forma ax b + con ( , ) 1. a b =
Un carcter de Dirichlet es una funcin aritmtica completamente multiplicativa ( ), n tal que
existe un entero positivo k con ( ) ( ) n k n = para todo n y ( ) 0, n = siempre que el
( , ) 1. mcd n k Para el caso particular de la progresin 4 1, k donde

( 1)/2
( 1)
( )
0
n
para n impar
n
para n par

'
1
1
=
!
1
1+


Es decir, ( ) 1 n = si 4 1, k y ( ) 1 n = si 4 3. k

Es fcil comprobar que ( ) ( ) ( ). m n m n =
La funcin ( , ) L s se define como

1
( ) 1 1 1
( , ) 1 .
3 5 7
s s s s
n
n
L s
n

=
= =




La Identidad de Dirichlet toma la forma de


1 1 1 1 1
1 1 1
3 5 7
i j
s s s s s
p p
i j
p p

1
1


=




( )
( )




Donde
i
p son nmeros de la forma 4 1 k y

j
p son nmeros de la forma 4 3. k


Rafael Parra Macho ARITMTICA MODULAR


18
3. 5. Algunas aplicaciones

5.1 Aplicando la funcin ( ) ( . ), h k k md m = para 111, m = asignar posicin de me-
moria ( ) h k a los nmeros 064212848, 037149212 y 038423721 de un fichero de per-
sonal que tiene k como clave.

La funcin ) . ( ) ( m md k k h = es utilizada por el ordenador central para asignar posiciones de
memoria para facilitar accesos o dar informacin de ficheros.
Para el supuesto planteado, los nmeros asignados sern el 14, 65 y 72.

14 ) 111 . ( 064212848 ) 064212848 ( = = md h 65 ) 111 . ( 037149212 ) 037149212 ( = = md h

72 ) 111 . ( 038423721 ) 038423721 ( = = md h

5.2 Aplicando la funcin
1
( )( . ),
n n
x ax c md m
+
= + para 9, 4 m c = = y 3,
o
x = calcular
una sucesin de nmeros aleatorios.

La funcin ) . )( (
1
m md c ax x
n n
+ =
+
se utiliza en informtica para generar nmeros pseudoa-
leatorios. Los cuatro elementos que intervienen son: el mdulo m, el multiplicador a, el incre-
mento c y la semilla
o
x , con , 2 m a < m c < 0 y m x
o
< 2 para todo . n El supuesto
planteado es muy sencillo. Los ordenadores utilizan los llamados multiplicadores puros, con
mdulo de 1 2
31
y multiplicador de
5
7 16807. = Estos valores generan un cantidad de nme-
ros aleatorios de 648 . 483 . 147 . 2 1 2
31
= antes de que aparezcan repeticiones.
En nuestro caso:

, 7 ) 9 . ( 25 4 3 7 4 7
1
= = + = + = md x x
o

, 8 ) 9 . ( 53 4 7 7 4
1 2
= = + = + = md x x

, 6 ) 9 . ( 60 4 8 7 4 7
2 3
= = + = + = md x x

, 1 ) 9 . ( 46 4 6 7 4 7
3 4
= = + = + = md x x

, 2 ) 9 . ( 11 4 1 7 4 7
4 5
= = + = + = md x x

, 0 ) 9 . ( 18 4 2 7 4 7
5 6
= = + = + = md x x

, 4 ) 9 . ( 4 4 0 7 4 7
6 7
= = + = + = md x x

, 5 ) 9 . ( 32 4 4 7 4 7
7 8
= = + = + = md x x

, 3 ) 9 . ( 39 4 5 7 4 7
8 9
= = + = + = md x x


Como
9
,
o
x x = y puesto que cada trmino slo depende del anterior, esta es la sucesin ge-
nerada: {3, 7, 8, 6, 1, 2, 0, 4, 5, 3, 7, 8, 6, 1, 2, 0, 4, 5, 3, ....}.
Nota: Este supuestos aparece en la pgina 151 de Matemtica Discreta del doctor Kenneth H. Rosen.

5.3 Aplicando la funcin ( ) ( ) .27), f p p k md + con clave 3, cifre el siguiente men-
saje: ME GUSTARA ESTUDIAR ALGO.

La funcin ( ) ( ) .27), f p p k md donde p es el nmero posicional de la letra en el con-
junto del alfabeto de un pas (caso de Espaa 27) y k la clave de traslacin, se utiliza en cripto-
loga para codificar o cifrar mensajes. Es necesario que el receptor conozca el nmero clave.
Los primeros usos de la criptologa se deben a Julio Csar, que cifraba sus mensajes secretos
Rafael Parra Macho ARITMTICA MODULAR


19
moviendo la posicin de cada letra tres posiciones hacia delante, enviando las tres ltimas del
alfabeto a las tres primeras. Para expresar matemticamente el proceso de cifrado de Csar,
reemplazamos cada letra p por un entero positivo, 27 p que, en relacin con la clave de
traslacin k, se obtiene el entero ) ( p f del conjunto {0, 1, 2, 3,..., 27}, la letra cifrada.
Para cifrar nuestro mensaje, primero confeccionaremos una tabla de valores para el alfabeto
espaol, asignando 0, 10 y 20 a las letras A, K y T.

p 0 1 2 3 4 5 6 7 8 9
0 A B C D E F G H I J
1 K L M N O P Q R S
2 T U V W X Y Z

Para cifrar la letra M, ( ) (12 3) 15( .27). f m md = Para cifrar la letra E

( ) (4 3) 7( .27) f e md = y as sucesivamente para todas las letras del mensaje:

M E G U S T A R I A E S T U D I A R A L G O
12 4 6 21 19 20 0 18 8 0 4 19 20 21 3 8 0 18 0 11 6 15
15 7 9 24 22 23 3 21 11 3 7 22 23 24 6 11 3 21 3 14 9 18
O H J X V W D U L D H V W X G L D U D J R

El mensaje cifrado ser, OH JXVWDULD HVWXGLDU DJR.

5.4
Con la funcin
1
( ) ( ) .27) f p p k md

y utilizando clave 3, desciframos el


mensaje anterior OH JXVWDULD HVWXGLDU DJR.

La funcin ) 27 . )( ( ) (
1
md k p p f

es inversa a ) 27 . ) ( ) ( md k p p f + y por tanto, tie-


ne las mismas caractersticas, slo que se opera al revs.
En nuestro caso, el descifrado resulta:

O H J X V W D U L D H V W X G L D U D J R
15 7 9 24 22 23 3 21 11 3 7 22 23 24 6 11 3 21 3 14 9 18
12 4 6 21 19 20 0 18 8 0 4 19 20 21 3 8 0 18 0 11 6 15
M E G U S T A R I A E S T U D I A R A L G O

5.5 Contestamos al mensaje anterior, clave 7, LZBCKOKH SHBOJHA SHKBRHILA.

Como ), 27 . ( 4 ) 7 11 ( ) (
1
md l f

) 27 . ( 19 ) 7 26 ( ) (
1
md z f

y LZBCKOKH es equi-
valente a ESTUDIA..., sigue descifrando y encontrars en el mensaje un buen consejo.

5.6 Sistema de codificacin RSA.

Uno de los sistemas de codificacin asimtricos ms conocido en todo el mundo es el denomi-
nado RSA (iniciales de los creadores Rivest, Shamir y Adelman) y que fue creado en 1977. El
RSA consta de dos claves: una pblica, que todo el mundo conoce y otra privada. La base del
sistema utilizado por sus creadores son los nmeros primos y la dificultad para encontrar la
descomposicin factorial de un nmero cualquiera.
Tomando dos nmeros primos, p y , q se genera . n p q = Usando la funcin de Euler ( ), n
que nos da el nmero de nmeros primos con , n obtenemos . z
Rafael Parra Macho ARITMTICA MODULAR


20
( ) ( ) ( 1)( 1) n p q p q z = = =

Para generar la clave pblica buscamos un nmero primo e tal que z e > y ( , ) 1. mcd e z = El
siguiente paso es encontrar un nmero d tal que su producto con e se pueda dividir entre z
dando como resto 1, es decir, que 1 d e sea divisible por . z Como resultado obtenemos
dos nmeros e y d que nos permitirn crear nuestro sistema de encriptacin. A partir de
aqu, el proceso de codificacin y decodificacin es el siguiente:
El emisor toma un texto normal P y lo convierte en un texto cifrado C mediante la siguiente
frmula:

( . )
e
C P md n

El receptor toma el texto C y lo convierte en un texto P mediante la frmula:

( . )
d
P C md n

Ejemplo: para 3, p = 11 q = y 3 11 33 n p q = = = (33) 2 10 20 z = = = y por tanto un
nmero tal que (20, ) 1, mcd e = puede ser 7 as, 7. e = Buscamos ahora un nmero tal que
7 1 20, d = de donde 3. d =
Ya estamos en disposicin de criptografiar el mensaje HOLA:

Letra P
3
( .33) C P md
7
( .33) P C md Mensaje
H 08 17 08 H
O 15 09 12 O
L 12 12 12 L
A 01 01 01 A

5.7 Calcular la letra de un D.N.I.

Para calcular la letra que corresponde a un D.N.I. se divide el nmero por 23 y el resto resul-
tante se busca en la siguiente tabla:

Resto 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
Letra T R W A G M Y F P D X B N J Z S Q V H L C K E

Si llamamos N al nmero del D.N.I. y L a la letra, podemos plantear la siguiente ecuacin mo-
dular.

( .23) N L md

Por ejemplo, para un documento nmero 37345806, le corresponde la letra
37345806 ( .23). md 16 Ahora buscamos el nmero 16 en la tabla y resulta Q por tanto, el
documento queda identificado como 37.345.806 . Q

5.8
Un restaurador necesita adquirir una partida de vinos para su restaurante. Su propsito
es hacerse con un lote que incluya vinos de 5, 7, 11 y 17 euros la botella por un coste to-
tal de 375 euros. Nos pide consejo para conocer las distintas combinaciones que puede
realizar, dando preferencia a cada uno de los vinos seleccionados. Le ayudamos?

Rafael Parra Macho ARITMTICA MODULAR


21
Sean , , x y z y s los tipos de vinos de 5,7,11 y 17 euros la botella con lo que podemos estable-
cer la siguiente ecuacin, 5 7 11 17 375. x y z s + + + = Como (5, 7,11,17) 1 mcd = y 1|375, la ecua-
cin tiene solucin en la forma 5 7 375 11 17 , x y z s + = donde hemos tomado x, y como va-
riables principales y s, z como variables libres. Operamos sobre la ecuacin general

5(3 7 ) 3(375 11 17 ) 7 x t x z s t = + = +

7( 2 5 ) 2(375 11 17 ) 5 y t y z s t = =


Hacemos operaciones

3(375 11 17 ) 7 5 33 51 7 x z s t z s t = + = +

2(375 11 17 ) 5 50 22 34 5 y z s t z s t = = + +


Ajustamos coeficientes

5 33 51 7 5 2 2 7 x z s t z s t = + = + +

50 22 34 5 50 3 5 y z s t z s t = + + =


Y finalmente obtenemos la solucin paramtrica al sistema planteado

5 2 2 7 x z s t = + +
50 3 5 y z s t =
z z =
s s =

Para determinar el peso especfico que puede ejercer en los lotes cada uno de los precios que
lo componen, procedemos a calcular sus clases, dando valores a las distintas variables que nos
han servido como parmetro:

: , , Parmetros z s t

Botellas Importe
5 2 2 7 x z s t = + +

68 5 38 42 340 25 190 210
50 3 5 y z s t =

1 46 2 5 7 322 14 35
z z =

1 1 14 1 11 11 154 11
s s =

1 1 1 7 17 17 17 119
Botellas/importe 71 53 55 55 375 375 375 375

5.9
Resolver la ecuacin ( . )
n
x a md m teniendo en cuenta que: , m x n
30 m n x y 100, m n x siendo todos ellos primos. Tomar los valores de
2
a
y buscar un nmero que al ser dividido por x d cmo resto los valores de
2
. a

Empecemos por calcular cules sern los valores de , m x y z que tengan las caractersticas
requeridas en el enunciado:

m 23 19 19 19 19 19 17 17 17 17 13 13 13 13 13
x 5 7 7 5 5 3 11 7 7 7 11 11 11 7 7
n 2 2 3 2 3 2 2 2 3 5 2 3 5 2 5
S 30 28 29 26 27 24 30 26 27 29 26 27 29 22 25
P 230 266 399 190 285 114 374 238 357 595 285 429 715 182 455
a 2 11 1 6 11 9 2 15 3 11 4 5 7 10 11

Rafael Parra Macho ARITMTICA MODULAR


22
Hay tres combinaciones ms, pero no se ajustan a lo que demanda el enunciado.
Como podemos comprobar, los restos 9 y son cuadrados perfectos que corresponden a

2
3 9( .19) md y
2
11 4( .13). md

Calculamos las x finales

2 2
(19 3) 16 9( .19) md = y
2 2
(13 2) 11 4( .13) md =

que son equivalentes a

9 19 x t = y 4 13 . x t =

Aplicando el Teorema Chino de Restos obtenemos 199 247 x t = que como se puede com-
probar, si lo dividimos por 19 o por 13 da como restos 9 y 4, respectivamente.




BIBLIOGRAFIA
BIRKOHFF, G. y MACLANE, S., lgebra Moderna, ISBN: 84-316-1226-6
CLAPHAM, Christopher, Oxford Dictionary of Mathematics, ISBN: 84-89784-56-6
KOBLITZ, Neal, A Course in Number Theory and Cryptography, ISBN: 0-387-94293-9
MUOZ, Jos Lus, Riemann una visin nueva de la geometra ISBN: 10-84-96566-27-7
ROSEN, Kenneth H. Matemtica Discreta, ISBN: 84-481-4073-7
TATTERSALL, James J. Elementary Number Theory in Nine Chapters, ISBN: 0-521-61524-0
VINOGRADOV, Ivn M., Fundamentos de la Teora de los Nmeros

APOYO INTERNET
http://hojamat.es/sindecimales/congruencias/inicongruencias.htm
http://es.wikipedia.org/wiki/Aritm%C3%A9tica_modular
http://mathworld.wolfram.com/ModularArithmetic.html
http://mathworld.wolfram.com/Congruence.html
http://mathworld.wolfram.com/Residue.html
http://mathworld.wolfram.com/DivisorFunction.html
http://es.wikipedia.org/wiki/Funci%C3%B3n_L_de_Dirichlet
http://wims.unice.fr/wims/wims.cgi?module=tool/arithmetic/bezout.en (Programa matemti-
co)
http://www.wolframalpha.com/examples/ (Programa matemtico)
http://www.vitutor.com/index.html

También podría gustarte