TEORA DE NMEROS

La parte de la matemtica discreta que trata de los nmeros enteros y sus propiedades recibe el nombre de Teora
de nmeros. El primer matemtico que se ocup en forma sistemtica del tema fue Gauss (1777-1855). Su obra
Disquisiciones aritmticas se public en Leipzig en 1801.
Los temas principales que abordaremos, la divisibilidad y la congruencia, son importantes en seguridad informtica.
Recordemos que el conjunto de los nmeros enteros es: = U {0} U {-x / x }
En el conjunto , la adicin y la multiplicacin son operaciones cerradas, es decir, siempre se pueden efectuar y
devuelven un resultado entero. Pero con la divisin no pasa lo mismo, pues por ejemplo, si queremos dividir 8 por
3 ningn nmero entero coincide.
Por ello es que definimos la divisin entera, tal cual la habas aprendido en la escuela primaria. Seguramente lo
records.

Divisin entera:

D
r

d
c

Dados dos nmeros enteros D y d, existen y son nicos otros dos enteros c y r tales que:

D = d c + r con 0 r < d

D se llama DIVIDENDO, d es el DIVISOR, c es el COCIENTE y r el RESTO de la divisin entera.

Esto se llama Algoritmo de la Divisin y se puede demostrar.

Ejemplos:
a) El cociente y el resto de la divisin entera de 17 por 3 son respectivamente:
c = 5 y r = 2 ya que 17 = 3 5 + 2 y 0 2 < 3
b) El cociente y el resto de la divisin entera de -8 por 5 son respectivamente:
c = -2 y r = 2 ya que -8 = 5 (-2) + 2 y 0 2 < 5
c) El cociente y el resto de la divisin entera de -13 por -4 son respectivamente:
c = 4 y r = 3 ya que -13 = (-4) 4 + 3 y 0 3 < 4
d) El cociente y el resto de la divisin entera de 15 por -6 son respectivamente:
c = -2 y r = 3 ya que 15 = (-6) (-2) + 3 y 0 2 < 3

Tratemos de generalizar un poco lo que hemos observado en los cuatro casos anteriores:
Si d 0 : c = ent(D/d) r = mant(D/d) d
Por ejemplo, en los casos a) y b) anteriores:
17
= 5.66666666666666
3
17
17
entonces: c = ent ( ) = 5 r = mant ( ) 3 = 0.66666666 3 = 2
3
3
-8
b) En reales:
= -1.6
5
-8
-8
entonces: c = ent ( ) = -2 r = mant ( ) 5 = 0.4 5 = 2
5
5

a) En reales:

Si d < 0: d = -d se resuelve esta divisin como en los casos anteriores obteniendo:

c = ent (D/d) r = mant (D/d) d Luego: c = - c r = r

Por ejemplo, en los casos c) y d) anteriores:

c) Resolvemos:
entonces:

-13
4

c = ent (

en reales:
-13
) = -4
4

-13
= -3.25
4
-13
r = mant (
) 4 = 0.75 4 = 3
4

Por lo tanto el cociente y resto de la divisin de -13 por -4 son: c = - c = 4 r = r = 3

d) Resolvemos:

entonces:

15
6

c = ent (

en reales:
15
)=2
6

15
= 2.5
6

r = mant (

15
) 6 = 0.5 6 = 3
6

Por lo tanto, el cociente y resto de la divisin de 15 por -6 son: c = - c = -2 r = r = 3

Divisibilidad
Sean a, b , con a 0: ab k / b = k a
Se lee:

a divide a b
a es divisor de b
b es mltiplo de a
b es divisible por a

Propiedades:
1) a , a 0: a a
2) a, b, c , a 0 b 0: a b
3) a, b, c , a 0: a b a c
4) a, b , a 0 :

b c entonces a c
entonces

a b k entonces

ab+c
akb

Los nmeros enteros n que slo son divisibles por 1, -1, n, -n se llaman PRIMOS.
Los primeros nmeros primos son: 2, 3, 5, 7, 11, 13, 17, 19, 23, ....y sus opuestos!!!!!
Los matemticos han demostrado que existen infinitos nmeros primos, pero an no encontraron una frmula
general para obtenerlos.
Por qu son importantes los nmeros primos?
Pues cumplen muchas propiedades que no cumplen los nmeros compuestos (los que no son primos ).
Los nmeros 1, -1, 0 no son primos pero tampoco compuestos, son casos particulares.
Por ejemplo, pensemos si el siguiente condicional es verdadero o falso:
Sean, n, a, b :

Si n a b entonces n a n b

Este condicional es FALSO, pues por ejemplo: 6 4 9 pero no es cierto que (6 4 6 9)

En cambio, si nos dijeran que el nmero n es primo, entonces s la propiedad es cierta y se puede demostrar
fcilmente. Es la que enunciamos a continuacin:
Propiedad:

Si p a b p: primo p a p b

Teorema fundamental de la aritmtica

Todo nmero entero distinto de 0, 1 y -1, es o bien primo o se puede escribir como
producto de factores primos de manera nica salvo el orden.

MCM (mnimo comn mltiplo) y MCD (mximo comn divisor)

Sean a, b , no simultneamente nulos, y sea m +, entonces m = m.c.m. (a,b) si y slo si se
cumplen las siguientes condiciones:
1) a | m
2) b | m
3) Si m 0: a | m b | m m | m
Sean a, b , no simultneamente nulos, y sea d +, entonces d = m.c.d. (a,b) si y slo si se cumplen
las siguientes condiciones:
1) d | a
2) d | b
3) Si d 0 : d | a d | b d | d

Notaciones:
m.c.m.(a,b) = [ a, b ]

m.c.d.(a,b) = ( a, b )

Tengamos en cuenta que:

Si a = 0 b = 0 entonces m.c.m.(a,b) = 0 = mcm(a,b)
Propiedad del MCD entre dos enteros: puede ser escrito como combinacin lineal entera de dichos enteros
Si d = m.c.d.(a,b) entonces k1, k2 tales que d = k1 a + k2 b
Propiedad del MCM y MCD: el producto de ambos es igual al mdulo de a b
( a,b ) [ a,b] = a b

Por ejemplo:
Dados los enteros: a = 64 y b = 48, vamos a calcular el m.c.d.(64,48) y el m.c.m.(64,48)
Primero factoreamos ambos nmeros: 64 = 26
48 = 24 3
Entonces: m.c.d.(64,48) = 24 = 16 y m.c.m.(64,48) = 26 3 = 192
El producto: 16 192 es 3072 que es igual al producto 64 48 = 3072
Podemos escribir al 16 como combinacin lineal entera de 64 y 48: 16 = 1 64 + (-1) 48
Cmo encontramos los dos enteros s y t para escribir al m.c.d.(a,b) como combinacin lineal entera de ambos
cuando no se ven a simple vista?
Una forma es utilizando el Algoritmo de Euclides para calcular el mximo comn divisor por sucesivas divisiones.
Veamos

Algoritmo de Euclides para calcular el mximo comn divisor

Dados dos enteros a y b, el m.c.d.(a,b) = m.c.d.(b,r) siendo r el resto de la divisin de a por b. Esta
propiedad puede demostrarse.
Volvemos a aplicar esta propiedad, es decir m.c.d.(b,r) = m.c.d.(r, r1) siendo r1 el resto de la divisin de b
por r. Luego m.c.d.(r, r1) = m.c.d.(r1,r2) siendo r2 el resto de la divisin de r por r1. Y as sucesivamente
hasta llegar a un resto igual a cero. De esta manera se puede encontrar el m.c.d. entre dos enteros dados, ya que
es el ltimo resto no nulo.
Por ejemplo:
Vamos a calcular el m.c.d.(720, 224). Para ello realizamos las siguientes divisiones enteras sucesivas:
1) 720 / 224 c = 3 r = 48
2) 224 / 48 c1 = 4 r1 = 32
3) 48 / 32 c2 = 1 r2 = 16
4) 32 / 16 c3 = 2 r3 = 0
Entonces m.c.d.(720,224) = 16
Tambin se puede hacer en forma matricial:
Primero se coloca la matriz identidad de orden 2, y en una tercer columna los dos nmeros enteros, siendo el
mayor el de la primera fila.
1
0

0
1

720
224

F1
F2

La idea es ir obteniendo nuevas filas, siempre operando con las ltimas dos anteriores, de modo de restar de la
anteltima la mayor cantidad de veces que entra el trmino independiente de la ltima. En realidad es hacer la
divisin entera y restar el cociente por el elemento de la ltima fila.
Por ejemplo, en este caso, al dividir 720 por 224, se obtiene cociente 3, entonces vamos a restar 3 veces la fila
2 de la fila 1, la resta se hace en toda la fila:
1
0
1

0
1
-3

720
224
48

F1
F2
F3 = F1 3 F2

Y luego seguimos este procedimiento hasta llegar a un valor nulo. El anterior al nulo es el mximo comn divisor.

1
0
1
-4
5

0 720
F1
1 224
F2
-3 48 F3 = F1 3 F2
13 32 F4 = F2 4 F3
-16 16
F5 = F3 F4
0 F6 = F4 2 F5

Obtenemos que m.c.d.(720,224) = 16

y adems: 16 = 5 720 + (-16) 16

TEOREMA DE BEZAUT
Este Teorema enuncia que:
Dados dos enteros a y b, entonces m.c.d.(a,b) = 1 1 = s a + t b con s,t
Este teorema nos sirve para demostrar que dos enteros son coprimos, o sea que su m.c.d. es 1 solamente
demostrando que 1 es combinacin lineal entera de ambos.
Ejemplo 1:
Como 1 = 3 8541 + (-2) 12811 entonces podemos asegurar que m.c.d.(8541, 12811) = 1
Ejemplo 2:
Dos enteros consecutivos siempre son coprimos. ( m.c.d.(x, x+1) = 1 )
Ya que 1 (x+1) + (-1) x = 1
Ejemplo 3:
Sabiendo que a y b son coprimos, podemos demostrar que a y a+b tambin lo son.
Podemos demostrarlo:

1 = s a + t b con s, t Z 1 = s a + t (b+a-a) 1 = s a + t (b+a) t a

1 = (s-t) a + t (b+a) 1 = k a + t (b+a) con k Z pues es resta de dos enteros.
m.c.d.(a, a+b) = 1
Te sugerimos que resuelvas los ejercicios 1.1 hasta 1.10 de la prctica 3 de Teora de Nmeros.

CONGRUENCIAS
Consideremos el conjunto Z, de los nmeros enteros, n un nmero natural y la siguiente relacin
R: a R b na-b

A continuacin demostraremos que es una relacin de equivalencia

Reflexiva:

x Z : x - x = 0 x - x = 0 n n x - x x x (n)
Simtrica:

x, y Z : x R y x y (n) n x - y x - y = n k k Z - ( x - y) = - n k
y - x = n (-k) -k Z n y - x y x (n) y R x
Transitiva:

x , y , z Z : x R y y R z x y (n) y z (n) n x - y n y - z
x - y = n k k Z y - z = n t t Z sumando miembro a miembro
x - y + y - z = n k + n t x - z = n (k + t) k+t Z
n x - z x z (n) x R z
Consider el caso particular de n=3 (Congruencia mdulo 3) y calcul las clases de equivalencia y el conjunto
cociente.

cl(0) = { x Z / x = 3 k con k Z }
O sea que en la clase del cero estn todos los mltiplos de 3.

cl(1) = = { x Z / x = 3 k + 1 con k Z }
O sea que en la clase del uno estn todos los enteros que al dividir por 3 dan resto 1.

cl(2) = = { x Z / x = 3 k + 2

con k Z }

O sea que en la clase del dos estn todos los enteros que al dividir por 3 dan resto 2.
Nos qued algn entero sin saber en qu clase est? No. Por lo tanto, podemos escribir el conjunto cociente:

Z
Z
=
= { cl(0), cl(1), cl(2) }
R
(3)
Es decir, que solamente hay 3 clases pero con infinitos elementos dentro de cada una.

Nota: en vez de escribir el conjunto cociente

Z
se escribe Z3
(3)

A las clases de equivalencia de esta relacin se les suele decir clases residuales, ya que son los restos posibles
al dividir por 3.

Propiedad
Una propiedad que resulta muy til para buscar las clases de equivalencia que determina la congruencia
mdulo n es la siguiente:
Dos nmeros son congruentes mdulo n si y slo si tienen el mismo resto en la divisin por n.
Simblicamente podemos escribirla as:
ab (n) ra(n) = rb(n)
Ahora antes probarla entendamos de qu se trata.
Consideremos n=5, a=12, b=13 como primer caso y como segundo caso n=5, a=33, b=28
Tomemos lo nmeros del primer caso: a=12 y b=13.
Dividamos a cada uno por 5. Para 12 podemos poner 12= 2.5 + 2 y para 13 = 2.5 + 3.
Los nmeros en negrita son los restos respectivos.
Por otro lado veamos si los nmeros dados son congruentes mdulo5. En ese caso 5 debe dividir a
(a b) = 13 -12 = 1. No lo divide. No son congruentes.
Tengamos en cuenta que tienen resto distinto en la divisin por 5 y no son congruentes.
Veamos que pasa en el segundo caso, a= 33, b = 28.
Si cada nmero lo dividimos por 5 queda:
28 = 5.5 + 3 y 33= 6.5 + 3. Como en el caso anterior los nmeros en negrita son los restos
respectivos.
Por otro lado veamos si los nmeros dados son congruentes mdulo5. En ese caso 5 debe dividir a
(a b) = 33 -28 = 5. Como 5 divide a 5, son congruentes!
Se observa que:
Nmeros congruentes mdulo n tienen el mismo resto en la divisin por n.

La congruencia es una relacin de equivalencia y toda relacin de equivalencia clasifica, a los elementos
del conjunto donde est definida, por un determinado atributo. En este caso, el atributo es el resto en la
divisin por n y el conjunto son los nmeros enteros.
Luego si dividimos por n, hay n restos distintos y por lo tanto n clases de equivalencia!
Probemos ahora la propiedad que habamos enunciado y entendido
ab (n) ra(n) = rb(n)
Prueba
Aplicando el concepto de congruencia ab (n) n/(a b) a b = n.t con t entero.
Debemos ver que a y b tienen el mismo resto en la divisin por n.
Dividimos a cada nmero por n y obtenemos:
a =n.q + ra , donde q es el cociente y ra es el resto para a, 0 ra a (I)
b= n .t + rb, donde q es el cociente y rb es el resto para b, 0 rb b (II)
La hiptesis nos informa que n divide a (a b), por ser congruentes.
Vemos el resultado de (a b), usando (I) y (II)
Queda: a b = n.(q-t) + (ra - rb).
Por ser congruentes por la hiptesis deber (ra - rb), por lo tanto ra = rb
Y la propiedad quedo probada!.
Veamos ahora que si tienen el mismo resto en la divisin por n entonces son congruentes!
Si a y b se divide por n y se obtiene el mismo resto se tiene:
a = n.q + ra
b = n .t + ra,
Operando: a b = n.(q t). Por lo tanto (a-b) es mltiplo de n y entonces n lo divide.
La demostracin quedo completa!.
La propiedad que hemos demostrado es una gran ayuda para encontrar las clases de equivalencia
mdulo n.
Veamos un caso cercano y muy concreto donde se utiliza la congruencia mdulo n:
Cada alumno de la Facultad tiene un nmero de legajo que lo identifica, por ejemplo, 117234-7. El
ltimo dgito, es decir el que se escribe despus del guin, se llama dgito verificador.

Tambin el CUIL, CUIT, nmero de empleado, cliente, etc. tienen dgitos verificadores.
Pero para qu sirven?
Por ejemplo, volviendo al del nmero de legajo de la facultad, en las inscripciones, los finales o cuando se
necesita informacin de un alumno en particular, se ingresa su nmero de legajo en una computadora
para obtenerla. Si no existiera ese dgito verificador el programa ira directamente a buscarlo a la base de
datos y si hubiera un error en el nmero ingresado, este se detectara luego de haberlo buscado en la
base, es decir se perdera tiempo intilmente para acceder a los datos. En cambio, si primero se controla
que el nmero ingresado sea correcto, se evita el acceso innecesario a la base de datos, a la que
solamente se accede cuando el nmero de legajo ingresado es correcto.
Cmo se hace esa verificacin?
Es un clculo de congruencia mdulo 7 para los legajos menores a 100000 y mdulo 11 para los
legajos mayores o iguales a 100000.
Para los legajos inferiores a 100000, supongamos 82165-3, se hace un clculo con unos coeficientes
enteros de ponderacin fijos: a, b, c, d, e (no damos ac sus valores explcitos) y se obtiene un nmero
x; en este caso ser:
x=a8+b2+c1+d6+e5
Luego hay que considerar la clase de x mdulo 7 -es decir se divide x por 7- y se mira el resto. Dicho
resto es el dgito verificador.
Es decir que los legajos inferiores a 100000 solo tienen dgitos verificadores de 0 a 6. En cambio, para
los legajos a partir del 100000, se hace lo mismo pero mdulo 11.
Ustedes se preguntarn acaso algunos legajos tienen doble dgito verificador?, ya que un resto posible en
la divisin por 11 es 10. Pues los que dan resto 10 llevan como dgito verificador al 0.
Es importante tener en cuenta esto cuando, por ejemplo, se planifican los das de inscripcin, ya que se
separan a los alumnos segn su dgito verificador. Hay que considerar que los de dgito 0 son
aproximadamente el doble de alumnos que de los otros dgitos. Si no se tiene en cuenta esto, algunos
alumnos tendrn que prepararse para hacer una larga cola el da que les toque inscribirse.
Recordemos algunas cuestiones respecto de la relacin R:
1. La relacin R es la congruencia mdulo n
2. La indicamos: a b(n)
3. Es una relacin de equivalencia que clasifica a los nmeros enteros segn su resto en la divisin por n
(determina n restos {0,1, .., (n-1)}
Ahora daremos algunos ejemplos nuevos
1. Cada n determina un sistema completo de restos mdulo n. Por ejemplo, si n= 5, el sistema
completo de restos mdulo 5 es {0, 1, 2, 3, 4}.
Es decir que el sistema completo de restos de mdulo n est formado por los restos posibles al
dividir por n!.
2.

Un sistema completo de restos mdulo n constituye un sistema completo de enteros incongruentes

mdulo n.

10

Por ejemplo:
El conjunto {10, 21, 32, 63, 84} son un sistema incongruente mdulo 5 porque al dividirlos por 5 el
resto es, respectivamente {0, 1, 2, 3, 4}. Todos restos distintos.
3. Si el conjunto de enteros que se elige son enteros primos con n se obtiene un sistema reducido
de restos mdulo n.
Por lo tanto la totalidad de restos r tales que 1 r n, coprimos con n, forma un sistema
reducido de restos mdulo n.
En el caso anterior {0, 1, 2, 3, 4} si excluimos el 0 cumple la condicin.
La importancia de este concepto es que dado un n determinado, cualquier otro sistema reducido de
restos mdulo n tiene el mismo nmero de elementos. Ese nmero se denota (n) y origina la funcin
de Euler.
Sean n, k dos nmeros enteros positivos. Sea (n, k) =1 y k n
Llamaremos funcin de Euler de n, lo indicamos (n) = {k N / k n (k, n)=1}.
Nos indica la cantidad de enteros que cumplen con la condicin pedida.

Ejemplos:
1.
2.
3.
4.
5.
6.

(1)=1
(2) = 1
(3) = { xN / x3 (x,3)=1} = {1, 2} = 2
(4)= { xN / x4 (x,4)=1} = {1, 3} = 2
(15)= { xN / x 15 (x,15)=1} = {1, 2, 4, 7, 8, 11, 13, 14} = 8
(12)= { xN / x12 (x,12)=1} = {1, 5, 7, 11} = 4

Algunas propiedades y ejemplos:

1. Si p es un nmero primo, (p) = p-1, por ejemplo 2, 3 son primos y en ambos casos se verifica la
propiedad ya que (2) = 1 y (3) = 2
1
2. Si n es un nmero natural (pn ) = (p - 1)pn-1 = p pn-1 - pn-1 =p n - pn-1= p n (1- )
p
Por ejemplo, para p =7, n = 3, se tiene:
1
6
(73 ) 73.(1 ) 73. 72.6
7
7
3. Si n, m son nmeros naturales y (n, m) = 1 se tiene que (n. m) = (n). (m)

11

Por ejemplo, si n=5, m=4, resulta (4.5)= (4). (5)= 2. 4 = 8 tengamos en cuenta que se calcul
(4) y que como 5 es primo, (5)= 5-1 = 4 (por propiedad 1).
4. Vamos a usar la propiedad 2 y el Teorema fundamental de la aritmtica para calcular (n) si

n = p1k1 p2k2 ....prkr

Consideremos un nmero natural n, por el Teorema fundamental de la Aritmtica existe una secuencia
finita de nmeros primos que nos permite escribir al nmero n, de la forma que se da a continuacin:
Si usamos la propiedad anterior (la 4) se tiene:
(n) = (p1k1 ).(p2k2 ).....(prkr ) usando la propiedad 2 obtenemos:

(n) = (p1 - 1)(p1k1 -1 ).(p2 - 1)(p2k2 -1 ).....(pr - 1)(prkr ) , la expresin obtenida puede expresarse de

la siguiente forma:

1
p

(n) n (1 )
p n

Veamos un ejemplo:

Calculemos (48) 48 (1
p n

1
1
1
1 2
) 48.(1 ).(1 ) 48. . 16
p
2
3
2 3

Qu significa esto?
Significa que los nmeros coprimos con 48 que no son divisibles ni por 2 ni por 3 son 16, veamos:
{1, 5, 7, 11, 13, 17,19, 23, 25, 29, 31, 35, 37, 41, 43, 47}, por lo tanto la propiedad se verifica.
Tener en cuenta que 48= 24.3
Hay por lo tanto 16 nmeros que en ninguno de sus factores est ni el 2 ni el 3.
Pequeo Teorema de Fermat
Sea p un nmero primo y a un nmero entero tal que (a, p) =1. Entonces ap-1 1(p)
Ejemplo:
(2, 17) = 1 entonces 216 1(17)
Si en la expresin ap-1 1(p) se multiplica miembro a miembro por p, queda ap a(p)

12

Un ejemplo donde se aplica:

Calcular el resto en la divisin de 7122 por 11
Como 122= 10.12 +2, se tiene que 7122= 710.12 +2 = 710.12.72 = 7(10.12)
72 que se puede escribir de la forma que se da a continuacin 7122= (710)12. 72
Como ap-1 1(p) se tiene que (710) 1(11) y por lo tanto queda 7122 72 (11) de donde el resto
buscado es 5.
Teorema de Euler-Fermat
Si n es un nmero natural, a es un entero y (a, n) = 1, entonces: a(n) 1(n).
Si n es primo se tiene el pequeo teorema de Fermat.
Ecuacin lineal de congruencia
Una expresin de la forma: a.x b(n) se denomina ecuacin lineal de congruencia.
Muchas veces esa ecuacin no tiene solucin, en efecto alcanza con observar el caso que se da a
continuacin.
Ejemplo:
2x 3(2), la primera de las cosas que hay que tener en cuenta es que la solucin se debe encontrar en
Z2, eso nos indica que los valores posibles son 0, 1.
Si x = 0, debe ser 0 3(2) cosa que no es posible ya que 2 no es divisor de -3.
Si x = 1, debera pasar que 2 3(2) lo cual significa que 2 divide a (-1) lo cual tampoco es verdadero.
Por lo tanto tal ecuacin no tiene solucin en Z2
Otro ejemplo
3x 7(11), la debemos resolver en Z11 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Si x = 0 se tiene 0 7(11), falso
Si x = 1 se tiene 3 7(11), falso
Si x = 2 se tiene 6 7(11), falso
Si x = 3 se tiene 9 7(11), falso

13

Si x = 4 se tiene 12 7(11), falso

Si x = 4 se tiene 16 7(11), falso
Si x = 5 se tiene 15 7(11), falso
Si x = 6 se tiene 18 7(11), verdadero
Si x = 7 se tiene 21 7(11), falso
Si x = 8 se tiene 24 7(11), falso
Si x = 9 se tiene 27 7(11), falso
Si x = 10 se tiene 3x 7(11), falso
Por lo tanto la solucin es x0 = 6
Veamos, adems, que x = 6 +k. 11 es tambin solucin, es decir debemos reemplazar en la ecuacin y
ver que se satisface la igualdad, en efecto:

3.(6 k.11) 7(11) ya que 113.(6 k.11) , en efecto:

3.(6 k.11) 7 18 33.k 7 11 33.k 11.(1 3.k )

En general, si x0 es una solucin entonces x0 k.n tambin es una solucin.

Como son infinitas las soluciones consideraremos 0 x n y las llamaremos soluciones principales.
En nuestro caso x0 = 6 es la nica solucin principal.
Condicin suficiente para que una ecuacin de congruencia tenga solucin
Si en a. x b(n) el mximo comn divisor entre a y n, que indicamos (a,n) = 1 hay solucin.
Sabemos que si (a,n) = 1, por el teorema de Bezaut existen dos nmeros enteros, x , y de manera que:
1 = x.a + n.y, por lo tanto, b = b.x.a + b.n.y
Como n 0(n) se tiene que b b.x.a(n) y b.x es la solucin de a. x b(n)
La condicin no es necesaria
Veamos el caso siguiente:
2x 2(4), las soluciones estarn en Z4= { 0, 1, 2, 3}
x = 0 se tiene: 0 2(4) que es falso porque 4 no es divisor de -2
x = 1 se tiene: 2.1 2(4) que es verdadero ya que 4 es divisor de 0
x = 2 se tiene: 2.2 2(4) que es falso ya que 4 no es divisor de 2
x = 3 se tiene: 2.3 2(4) que es verdadero porque 4 es divisor de 4

14

tengamos en cuenta que en el caso anterior (a, n) = ( 2, 4) = 2 1 y sin embargo tuvimos una solucin.
Veamos ahora una condicin ms fuerte:
La condicin necesaria y suficiente para que la ecuacin a.x b(n) admita
una solucin es que (a,n)b

Algunas propiedades
1. En a.x b (n) si (a, n) = d y d es divisor de b entonces hay d soluciones.
Es decir que el mximo comn divisor d el nmero de soluciones principales de la ecuacin

Veamos un ejemplo: 4x 10(30).

Como (4, 30) = 2

2/10, hay 2 soluciones principales x = 10, x = 25.

2. Si x es la solucin de a.x b(n) entonces x es tambin solucin de a.x b(

n
)
( a, n)

Veamos el siguiente ejemplo:

42. x 50(76), como (42,76)= 2 y 250, tiene solucin.
Divido, entonces por el mximo comn divisor 2, queda:
21.x 25(38), como (21, 38 ) = 1 hay solucin
Como 42 4 (38) y 50 12(38) se tiene que para x = 3 hay solucin pues 4. x 12(38)
porque 38 es divisor de 0.
Se ha encontrado una solucin de la forma 3 + k.38
Si se vuelve a la original se ve que 3 y 3 + 38 la satisfacen.
3. Una forma interesante de expresar la solucin, en el caso de que exista es:
(n)-1

x=a

.b

Veamos el siguiente ejemplo:

5.x 14(8), como (5,8) = 1 hay solucin en Z8
(8) = 8. (1-1/2)= 4, reemplazando se tiene:

15

x = 54-1.14 = 53.14 = 125.14

14 6(8) y 125 - 64 = 61, y 61 5(8) resulta que la solucin x = 5. 6(8) = 6

Sintetizando, en esta unidad estudiamos:

1. La teora de nmeros que es un tema muy importante para ciencias de la computacin.
2. El concepto de divisibilidad y congruencia.
3. La funcin de Euler, funcin
4. Los teoremas de Euler Fermat y pequeo teorema de Fermat.
5. La resolucin de ecuaciones en congruencias.

16