Anahi Ayon Cisneros

Jessica Gonzalez Robles

Israel Garcia Xicotencatl

 Teora de nmeros
3.1 Divisibilidad, nmeros
primos y teorema
fundamental de la aritmtica
 Divisibilidad
Aunque
el conjunto de los nmeros
enteros reales no es cerrado para la
divisin, hay muchos casos en los que
un numero entero divide a otro. Cuando
un entero se divide por otro entero no
nulo, el cociente puede o no ser entero.
Por ejemplo, 12/3=4 es un entero,
mientras 11/4=2.75 no lo es. Esto
conduce a la siguiente definicin.
 Sea a y b dos nmeros enteros,
tales que a0, decimos que a divide
a b si existe un entero c tal que
b=a*c. Cuando a divide a b decimos
que a es un factor (o divisor) de b y
que b es un mltiplo de a. La
notacin a|b indica que a divide a b.
Escribimos que ab cuando a no
divide a b. Es decir

a|b

 Nota:

Obsrvese que si negamos ambos

miembros de la equivalencia
anterior, en virtud de la
equivalencia lgica entre una
proposicin y su contra recproca,
tendremos
 Ejemplos:
a) 2 divide a 6, ya que 6=2*3,con 3
b) 5 divide a -45, ya que -45=5(-9),con -9
c) -4 divide a 64, ya que 64=(-4)(-16),con
-16
d) -7 divide a -21,ya que -21= -7*3,con 3
e) 3 no divide a 5,ya que no existe ningn
numero entero c tal que 5=3*c.
 Recordemos que la suma y el producto de
nmeros enteros son operaciones asociativas y
conmutativas, que {} es un grupo abeliano y que
se satisface la propiedad distributiva del
producto respecto de la suma, por lo que {} es
un anillo conmutativo con elemento unidad (el 1)
y sin divisores de cero.
Propiedades
 Ejemplo
Probar que si a divide a dos enteros cualesquiera, entonces
divide a su suma y a su diferencia.

Utilizando la
propiedad (iv )
Otro ejemplo:

Prubese que si a y b son
nmeros enteros positivos e
impares, entonces 2 divide a +
pero 4 no divide a +
 Ejercicio
Sea a, b, c y d nmeros enteros con a 0
y c 0. Demostrar que

a) Si a|b y c|d, entonces ac|bd.

b) Si ac|bc si, y solo si a|b.

Algoritmo de la divisin


La divisin de un entero entre un entero

positivo da un cociente y resto, como se
muestra el algoritmo de la divisin.

TEOREMA:
EL ALGORITMO DE LA DIVISION Sean a
un numero entero y b un numero
entero positivo.
Existen dos nicos enteros q y r, 0 r <
d, tales que a=dq +r.
Definicin:
La igualdad dada por el algoritmo de la
divisin, d se llama divisor, a se llama
dividendo, q es el cociente y r se conoce
como resto. La siguiente notacin se utiliza
para expresar el cociente y el resto.

q= a div d, r=a mod d.

Ejemplo:

Cules son el cociente y el resto de dividir

101 entre 11?

Solucin:

Tenemos que 101=11*9+2

Por tanto, el cociente de dividir 101 entre
11 es 9=101 div 11, y el resto es 2=101
mod 11
Ejercicio:

Cules son el cociente y resto de dividir

-11 entre 3?
 Ejercicios
Sean a =10 y b = 17

Sean a = 61 y b =7

Sean a = 7 y b =61

Sean a =21 y b =1

Sean a =15 y b =21

Algoritmo de Euclides
 Algoritmo de Euclides
Es un procedimiento que usa cierto
nmero de veces el algoritmo de la
divisin para obtener el mximo
comn divisor de dos enteros. El
mximo comn divisor de a y b se
denota por MCD a ,b y es el mayor de
los divisores comunes de a y b .
 Algoritmo de Euclides
El algoritmo de Euclides se describe de la forma siguiente: Dados dos
enteros a y b cuyo mximo comn divisor se desea hallar, y
asumiendo que a y b son mayores que 0 , (sin prdida de generalidad,
funciona tambin si a o b son negativos), entonces se siguen los
siguientes pasos:

i. Se usa el algoritmo de la divisin para obtener a=bq1 + r1 con 0<r1

|b1|. Si r1=0 , entonces ba y MCD a ,b =b .

ii. Si r10 entonces se divide b por r1 y se producen enteros q2 y r2 que

satisfacen b=r1 q1 + r2 con 0r2,r1 . Si r2=0 el proceso termina y MCD
a ,b =r1.

iii. Si r 20 se procede como en ii. y el proceso contina hasta que

algn residuo cero aparece. Como a lo ms habr b residuos en este
procedimiento, entonces el proceso es finito y el MCD a ,b es el ltimo
residuo no cero del anterior proceso.
 Ejemplos
Calcular el mximo comn divisor de 80 y
1000, usando el algortimo de Euclides.

Primero se divide 1000 entre 80 y tenemos

que 1000= 80x12+40 , as MCD ( 1000,80)
=MCD ( 80,40).
Ahora, se divide 80 entre 40 y tenemos
que 80= 40 x2+0 . Finalmente, MCD
( 1000,80) =40 .
 Ejemplos
Calcular el mximo comn divisor de -27 y 5,
usando el algortimo de Euclides. Primero se divide
-27 entre 5 y tenemos que -27= 5x -6+3 , as
MCD -27,5 =MCD 5,3 .

Ahora, se divide 5 entre 3 y tenemos que 5= 3 x1

+2 , as MCD 5,3 =MCD 3,2 .

Enseguida, se divide 3 entre 2 y tenemos que 3

2 x 1+1 , as MCD 3,2 =MCD 2,1 . Por ltimo, 2
2x1+0 , para que finalmente, MCD -27,5 =1 .
 Ejercicios
Calcular el mximo comn divisor de
425 y 51, usando el algoritmo de
Euclides.

Calcular el mximo comn divisor de

256 y 186, usando el algoritmo de
Euclides.
 NUMEROS PRIMOS
Son todos aquellos nmeros que slo tienen como divisores a
ellos mismos y el 1
La lista de nmeros primos ms pequeos es: 1, 2, 3, 5, 7, 11, 13,
17, 19, 23, 29,...
hay infinitos y no existe ninguna regla que nos permita conocerlos
todos . Para
probar que un nmero es primo hay que ir haciendo divisiones y ver
que ninguna es exacta .
Los nmeros que no son primos se llaman compuestos y resulta
que cualquier
nmero compuesto se puede escribir como producto de nmeros
primos.

Ejemplo: El 6 no es primo ( porque tiene de divisores

a 2 y 3 ) y se
puede escribir como 6 = 23.
Otros ejemplos 9=33, 12=223, 15 =35, etc...
Mximo comn divisor
Mayor nmero que divide
exactamente dos o ms nmeros.
 Propiedades

Demostracin
 (II) m.c.d.(a,b) = m.c.d.(|a|,|b|).
En efecto, sea d un divisor de a y de b. Como a y b son distintos de cero,
pueden ocurrir cuatro casos:
1. a < 0 y b > 0. Entonces,
d|a y d|b = d|a y d|b = d||a| y d||b|
2. a > 0 y b < 0. Entonces,
d|a y d|b = d|a y d|b = d||a| y d||b|
3. a < 0 y b < 0. Entonces,
d|a y d|b = d|a y d|b = d||a| y d||b|
4. a > 0 y b > 0. Entonces,

d|a y d|b = d||a| y d||b| Luego en cualquier caso, el conjunto de los divisores
comunes a a y a b coincide con el de los divisores comunes a |a| y a |b|,
por lo tanto el m.c.d ser el mismo, es decir, m.c.d.(a,b) = m.c.d.(|a|,|b|)
Obsrvese que si a y b son enteros positivos, esto es lo mismo que decir
que:
m.c.d.(a,b) = m.c.d.(a,b) = m.c.d.(a,b) = m.c.d.(a,b).
 Divisor Comn
Dados dos nmeros enteros a y b, diremos que el entero d 0, es un divisor
comn de ambos, si divide a a y divide a b, es decir:
d 0, es divisor comn de a y b d|a y d|b

Obsrvese que es lo mismo que decir que a y b son divisibles por d o

que a y b son mltiplos de d.

Ejemplo:
2|4 y 2|8, luego 2 es un divisor comn de 4 y 8.
3|9 y 3|27, luego 3 es un divisor comn de 9 y 27.
 Sean a y b dos nmeros enteros. Diremos que d es el mximo comn
divisor de a y b, si d es el mximo del conjunto de los divisores positivos
comunes a ambos, ordenado por la relacin de divisibilidad. Lo notaremos
m.c.d.(a,b).
Teniendo en cuenta la denticin de mximo de un conjunto ordenado, si
llamamos D al conjunto de todos los divisores positivos comunes a a y a b,
tendremos

Si a = b = 0, entonces m.c.d.(a,b) = 0
Calcular el m.c.d de 180 y 144.
(Solucin)
Aplicaremos la definicin.
Los conjuntos de divisores positivos de 180 y 144 son:

D180 = {1,2,4,3,6,12,9,18,36,5,10,20,15,30,60,45,90,180} y
D144 = {1,2,4,8,16,3,6,12,24,48,9,18,36,72,144}.

Por lo tanto, el conjunto de los divisores comunes ser

D180 D144 ={1,2,4,3,6,12,9,18,36}

El siguiente diagrama de Hasse representa la ordenacin
de este conjunto por la relacin de divisibilidad.

y como puede apreciarse claramente el mximo es el 36, por lo

tanto, m.c.d.(144,180) = 36
 Mximo Comn Divisor de Varios Nmeros

Sean a1,a2,...,an nmeros enteros. Llamaremos mximo comn divisor de

a1,a2,...,an al divisor comn d > 0 tal que cualquier otro divisor comn de
a1,a2,......,an divide tambin a d. Se designara mediante m.c.d.
(a1,a2,......,an).
 UNICIDAD:
 Mnimo comn mltiplo:

El mnimo comn mltiplo de dos nmeros enteros es el mnimo del

conjunto de los mltiplos positivos comunes a ambos ordenado por la
relacin de divisibilidad. Notaremos por m.c.m.(a,b) al mnimo comn
mltiplo de los enteros a y b.
Teniendo en cuenta la definicin de mnimo de un conjunto ordenado, si
llamamos M al conjunto de todos los mltiplos positivos comunes a a y b,
tendremos
 Mnimo Comn Mltiplo de Varios Nmeros
Sean a1,a2,...,an nmeros enteros.
Llamaremos mnimo comn mltiplo de ellos al mltiplo comn m > 0 tal
que cualquier otro mltiplo comn de dichos nmeros es tambin mltiplo de
m. Se designara por m.c.m.(a1,a2,...,an).
Obsrvese que la definicin dada equivale a decir que es el entero positivo
ms pequeo que sea mltiplo de todos ellos.
 Sean a y b dos nmeros enteros positivos. Se verica que m.c.m.(ka,kb) = k
m.c.m.(a,b), k Z+ Demostracin
Sea m = m.c.m.(a,b). Entonces,
 Ejemplo
Calcular el mnimo comn mltiplo de 12 y 15.
Solucin
Aplicaremos la definicin directamente.
Los conjuntos de mltiplos positivos de 12 y 15 son,
respectivamente,
M12 = {12,24,36,48,60,72,84,96,108,120,...} y
M15 = {15,30,45,60,75,90,105,120,...}
luego el conjunto de todos los mltiplos comunes a ambos es M12
M15 ={60,120,180,240,...} y el mnimo de este conjunto es para
la relacin de divisibilidad es 60, luego
m.c.m.(12,15) = 60
 Ejemplo: para calcular el mximo
comn divisor de 48 y de 60 se
obtiene de su factorizacin en factores
primos.

El MCD son los factores comunes con su menor exponente, esto es:
mcd(48;60)= 2*2*3=12
 Ejemplo 1: encuentra el mnimo
comn mltiplo de 3 y 5:
Los mltiplos de 3 son3, 6, 9, 15,
..., y los mltiplos de 5 son5, 10,
15, 20, ..., as:
Como puedes ver en esta lnea
de nmeros, el primer mltiplo
que coincide es el
15.Respuesta: 15