Está en la página 1de 21

INDICE.

ALGORITMO DE LA DIVISIN....................................................3

NUMEROS PRIMOS.....................................................................5

CRIBA DE ERATOSTENES.........................................................8

FACTORIZACION DE UN NUMERO.........................................10

MXIMO COMUN DIVISOR.......................................................11

MXIMO COMUN MLTIPLO...................................................12

ALGORITMO DE EUCLIDES.....................................................12

CONCLUSIONES.......................................................................14

ALGORITMO DE LA DIVISIN.

Comenzaremos esta seccin estudiando el algoritmo de la divisin que establece el siguiente teorema:

Teorema 1.4. [Algoritmo de la divisin] Si a y b son enteros con b > 0, existe un nico par de enteros q y r tales que

lgebra

Demostracin:

Existencia: Sea lgebra


. Este conjunto de enteros contiene elementos no negativos (por ejemplo, para n = - | a | ), por lo que S*= S lgebra
N es un subconjunto no vaco de N y, por tanto, de Z . El axioma de buena ordenacin de los nmeros enteros nos
asegura la existencia de un primer elemento de S* que ser de la forma r = a - qb lgebra

0 para algn entero q. Se tiene, por tanto, que a = qb+r con r lgebra
0. Si r lgebra
b, S* contendra al elemento no negativo a - (q+1)b = r - b < r que contradice el hecho de que r es el primer elemento del
conjunto S*. Por tanto, r < b.

Unicidad: Supongamos que existen dos parejas de enteros (q, r) y (q', r') tales que

lgebra

Se tiene entonces que

lgebra

lo que imposibilita el hecho de que | r - r' | < b. Por tanto, ha de ser q = q' y de ah que tambin sea r = r', lo que prueba
la unicidad.

Definicin 1.5. Con la notacin del Teorema 1.4 el entero q recibe el nombre de cociente entero o simplemente cociente
y el tambin entero r el de resto. Si dividimos por b obtenemos que a / b = q+ r / b con 0lgebra
r / b < 1 por lo que q viene dado por la parte entera por defecto o suelo de a / b (el mayor entero i con ilgebra
a / b) y que denotaremos por lgebra
. Esto facilita el clculo de q. El de r se realiza posteriormente mediante la igualdad r = a - qb.

Si consideramos ahora el caso b < 0, dado que -b > 0, el Teorema 1.4 nos garantiza la existencia de los enteros q* y r
tales que a = q* (-b) + r con 0 lgebra
r < - b, y haciendo q* = - q se obtiene que a= qb+ r. La prueba de la unicidad es similar a la anterior.

Teniendo en cuenta este resultado y el del Teorema 1.4, podemos establecer el siguiente corolario:

Corolario 1.6. Si a y b son dos enteros con b lgebra


0, existe un nico par de enteros q y r tales que

lgebra

Obsrvese que si b < 0 se tiene que a / b = q + r / b con 0 lgebra


r / b > -1 por lo que en este caso q es la parte entera por exceso o techo del cociente a / b que denotaremos por lgebra
, es decir, el menor entero i tal que i lgebra
a / b.

Definicin 1.7. Si a y b son enteros y a= qb para algn entero q, diremos que b divide a a, o bien que b es un factor o un
divisor de a, o tambin que a es mltiplo de b.

As, por ejemplo, los factores de 6 son 1, 2, 3 y 6. Cuando b divide a a lo denotaremos por b | a. Para evitar errores
obsrvese que cualquier entero divide a 0 (ya que 0 = 0 b para cualquiera que sea el entero b), 1 divide a cualquier
entero y cualquier entero se divide a si mismo. Debido a ello, dado un entero n, slo los divisores de n distintos de 1 y
del propio n se consideran divisores propios de dicho nmero.

Recordamos a continuacin algunas propiedades simples pero tiles de la divisibilidad, probando dos de ellas y dejando
la demostracin de las otras a modo de ejercicios para el alumno.

Teorema 1.8. Se verifican las siguientes propiedades:

a | b y b | c lgebra
a | c.

a | b y c | d lgebra
ac | bd.

Si m lgebra
0 lgebra
a | b si, y slo si, ma | mb.

Si a lgebra
0 y d | a lgebra
| d |lgebra

| a |.

Si c | a1, . . . , ak lgebra
c | a1u1+ lgebra
+ akuk cualesquiera que sean los enteros u1, . . . , uk.

a | b y b | a si, y slo si, a = b.

Demostracin: (Se demostrarn aqu, solamente las propiedades 5 y 6).

Si c | ai se tiene que ai = qi c para algunos enteros qi (i=1,2, . . . , k). Entonces

a1u1+ lgebra
+akuk= q1cu1+ lgebra
+ qkcuk = (q1u1 + lgebra
+ qkuk) c

y dado que q1u1+ lgebra


+qkuk lgebra
Z , se tiene que c | (a1u1+ lgebra
+ akuk).

Si a = b se tiene que b = qa y a = q'b donde q = q' = 1, por lo que a | b y b | a.

Recprocamente, si a | b y b | a es b = qa y a = q'b para algunos enteros q y q'. Si b = 0, de la segunda igualdad se obtiene


que a = 0, por lo que a = b. Podemos suponer, por tanto, que b lgebra
0. Eliminando a de ambas expresiones, obtenemos que b = qq'b y como b no es nulo, por la propiedad cancelativa
podemos asegurar que qq' = 1, por lo que q = q' = 1 y, por tanto, a = b.

La forma ms usual del Teorema 1.8. (5) es el caso k = 2, que recordamos a continuacin con una notacin ms simple.

Corolario 1.9. Si c es un divisor de a y de b, divide a au+bv cualesquiera que sean los enteros u y v.

NUMEROS PRIMOS.

Una de las cuestiones bsicas en la teora de nmeros es la cuestin de la divisibilidad de un nmero por otro. Los
nmeros enteros que slo son divisibles por 1 y por si mismos, se llaman nmeros primos.

El nmero de nmeros primos es infinito. El primero que lo demostr fue Euclides, en el Libro IX de Elementos, despus
lo demostraron Euler y Chebichev. La demostracin es muy sencilla: Supongamos que tenemos un conjunto {p1, p2, p3,
...} que incluye todos los nmeros primos. Calculemos el nmero N = p1.p2.p3 ... + 1. Evidentemente este nmero es
primo porque no es divisible por ninguno de los nmeros primos que hemos considerado. Por lo tanto, el conjunto del
que hemos partido no incluye todos los nmeros primos.

Los nmeros primos son, en cierto modo, como los elementos qumicos. A partir de los elementos qumicos se forman
todos los compuestos qumicos y a partir de los nmeros primos podemos obtener el resto de los nmeros.

Sera fantstico que hubiese una frmula que produjese nmeros primos. Hasta 1536 se pens que los nmeros de la
forma 2n-1 eran todos primos, pero ese ao Hudalricus Regius, demostr que 211 - 1 = 2047 era el producto de 23 y 89.
Sin embargo, muchos (se supone que infinitos) nmeros primos cumplen esa condicin. A los nmeros primos que
cumplen esa condicin se les llama nmeros primos de Mersenne (Marin Mersenne (1588-1648) fue un monje francs,
muy famoso en su poca). Mersenne en su libro Cogitata Physica-Mathematica dijo que los nmeros de la forma 2n - 1
eran primos para n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 y 257 y compuestos para los restantes nmeros < 257.

Euler en 1750 lo demostr para n = 31, Lucas, en 1876 lo demostr para n = 127. Aos mas tarde Pervouchine encontr
que tambin era primo el nmero para n = 61 y en 1900 Powers descubri que tambin lo eran para n = 89 y n = 107.

Los nmeros primos de Mersenne y los nmeros perfectos estn relacionados. Los nmeros primos de Mersenne son de
la forma 2n - 1 y los perfectos son de la forma 2n - 1(2n - 1).

Hasta hoy (11-07-99) se han descubierto 38 nmeros de Mersenne, el ltimo es 26972593 - 1 descubierto por el GIMPS
(Great Internet Mersenne Prime Search).

Tabla de nmeros primos de Mersenne conocidos

Nmero de orden

Exponente

Ao descubrimiento

Descubridor

13

1456

Annimo

17

1588

Cataldi

19

1588

Cataldi

31

1772

Euler

61

1883

Pervushin

10

89

1911

Powers

11

107

1914

Powers

12

127

1876

Lucas

13

521

1952

Robinson

14

607

1952

Robinson

15

1279

1952

Robinson

16

2203

1952

Robinson

17

2281

1952

Robinson

18

3217

1937

Riesel

19

4253

1961

Hurwitz

20

4423

1961

Hurwitz

21

9689

1963

Gillies

22

9941

1963

Gillies

23

11213

1963

Gillies

24

19937

1971

Tickerman

25

21701

1978

Noll y Nickel

26

23209

1979

Noll

27

44497

1979

Nelson y Slowinski

28

86243

1982

Slowinski

29

110503

1988

Colquitt y Welsh

30

132049

1983

Slowinski

31

216091

1985

Slowinski

32

756839

1992

Slowinski y Gage

33

859433

1994

Slowinski y Gage

34

1257787

1996

Slowinski y Gage

35

1398269

1996

GIMPS

36

2976221

1997

GIMPS

37

3021377

1998

GIMPS

38

6972593

1999

GIMPS

Pierre de Fermat (1601-1665) crey haber encontrado una frmula que produca nmeros primos Fi = 2n + 1 siendo n =
2i , esta frmula genera nmeros primos para i = 0, 1, 2, 3 y 4. Leonhard Euler (1707-1783) descubri que F5 no es
primo, en 1880 se demostr que F6 tampoco lo es, en 1970 se demostr que tampoco lo era F7, en 1980 se demostr
para F8 y en 1990 para F9.

Algunos nmeros primos estn separados slo por un nmero par (p.e. el 3 y el 5). A estos nmeros se les llama
nmeros primos gemelos. Por lo tanto la cantidad mnima de nmeros entre dos nmeros primos es uno. Cul ser la
cantidad mxima? La respuesta es la que queramos: Si nos piden construir 1000 nmeros consecutivos que no sean
primos, slo tenemos que hacer la siguiente operacin: 1001! + 2, 1001! + 3, 1001! + 4,... 1001! + 1001.

Slo hay tres nmeros primos contiguos: 3, 5 y 7.

Se dice que dos nmeros son primos entre s (tambin se llaman primos relativos) cuando no son divisibles entre si
(dicho ms matemticamente, cuando el mximo comn divisor de dichos nmeros es 1). Ejemplo, los nmeros 38 y 14
son primos entre s.

Dado un nmero a, se llama conjunto reducido de restos, al conjunto de nmeros menores que a, que son primos entre
s con el nmero a. Ejemplo: el conjunto reducido de restos de 14 es {1,3,4,5,6,8,9,10,11,12,13}.

CRIBA DE ERATOSTENES.

Desde los tiempos de los antiguos griegos, los nmeros primos han demostrado ser tanto fascinantes como evasivos. En
toda la historia, los matemticos han buscado distintas formas de encontrarlos, pero el nico mtodo realmente exitoso
descubierto hasta ahora es el del matemtico y astrnomo Eratstenes de Alejandra. Y esto fue hace cerca de 2000
aos !.

Se menciona que el nmero primo mas grande que se conoce est formado de 25962 cifras y se escribe en la forma
286243 -1. Para que te des una idea de que tan grande es este nmero resuelve la potenciacion de 210. Sin embargo, los
antiguos griegos demostraon que nunca se encontrara el primo mayor a todos los dems. Por eso hicieron la siguiente
demostracin.

Imagina que hay un nmero primo mas grande que todos los dems llamado P, multiplica todos los numeros primos
juntos, incluyendo a P: y sumale al resultado 1.

2x3x5x7x11x13x17x19x....x P.

El nuevo resultado no ser divisible entre ninguno de los nmeros primos usados para obtenerlo. Por Qu? Esto
significa que este nuevo nmero tambin es primo ( o bin, que tiene un factor primo mayor que P), pero esto es una
contradiccin puesto que dijimos que P era el primo ms grande, la contradiccin muestra que nuestra primera idea era
incorrecta, por lo que no puede haber un primo mayor que los dems.

Alguna vez se pens que la frmula siguiente era una forma de encontrar nmeros primos:

n2 - n + 41 = P

n2 = cualquier nmero multiplicado por si mismo.


n = se resta el nmero original.
41 = se suma 41
P = El resultado es igual a un nmero primo

Ejemplo:

22 - 2 + 41 = 43
por lo tanto el nmero 43 es un nmero primo.

Aunque funciona con algunos nmeros enteros, falla cuando n=41. Intentalo

Aun con la ayuda de computadoras modernas, la tarea de hallar nmeros primos cada vez mas grandes es lenta. Aun
cuando se puede eliminar todos los nmeros pares, as como todos los nmeros que terminan en 5, cualquiera de los
dems nmeros impares tiene las caractersticas necesarias para ser primo y por ello debe ser sometido a prueba.

La bsqueda de modelos en una serie de nmeros es una experiencia muy satisfactoria para los matemticos, ellos
pueden usar los modelos para predecir y probar demostraciones y formulas. Uno de los aspectos que ha fascinado a los
matematicos acerca de los numeros primos en la forma en que se resisten a caer en algn modelo reconocible. La nica
forma de saber si un nmero es primo o no, es usando el filtro laborioso de la CRIBA DE ERATOSTENES.

Por tal motivo los nmeros naturales se clasifican en tres grupo:

a) Nmeros Primos: Son aquellos que tienen unicamente 2 divisores, la unidad y el mismo.
b) Nmeros Compuestos: Es aquel que tiene mas de 2 divisores.
c) Elemento Unitario: Al nmero 1 se le llama elemento unitario, por lo tanto no es numero primo, por que solo tiene un
divisor que es el mismo.

Existe una cantidad infinita de nmeros primos. Esto quiere decir que frente a un nmero primo cualquiera, siempre
habr otro nmero primo mayor.

En general el matemtico Griego Eratstenes ide un mtodo para encontrar nmeros primos. Este procedimiento se le
conoce como Criba de Eratstenes, para encontrar los nmeros primos menores que 100, se procede de la siguiente
manera.

1.- Se escriben todos los nmeros naturales del 1 al 100.


2.- Se encierra el 1 en un rombo por sel el ELEMENTO UNITARIO.
3.- El siguiente nmero sin encerrar, es el nmero 2, por lo tanto es nmero primo. Este se encierra en un cuadrado.
4.- Se encierran en un circulo todos los multiplos de 2 mayores que 2.
5.- El siguiente nmero sin encerrar es el nmero 3, por lo tanto es un nmero primo, este se encierra en un cuadrado.

6.- En seguida se encierran en un circulo todos los multiplos de 3 mayores que 3.


7.- El siguiente nmero sin encerra es el nmero 5, por lo tanto es un nmero primo, este se encierra en un cuadrado.
8.- A continuacin se encierran en un circulo todos los multiplos de 5 mayores que 5.
9.- El siguiente nmero sin encerrar es el nmero 7, por lo tanto es un nmero primo, este se encierra en un cuadrado.
10.- Luego, se encierran en un circulo todos los multiplos de 7 mayores que 7.
11.- El siguiente nmero sin encerrar es el nmero 11, por lo tanto es un nmero primo, este se encierra en un
cuadrado.

12.- Todos los multiplos de 11 ya estn encerrados. Por ltimo se deben encerrar en un cuadrado todos los numeros que
no esten encerrados en un circulo.

FACTORIZACION DE UN NUMERO.

lgebra

La factorizacin de los nmeros naturales consiste en descomponer un nmero entero cualquiera en producto de
nmeros primos.

La descomposicin de los nmeros de su factores primos facilita la determinacin de su m.c.d. y m.c.m. Ejemplo:

lgebra

Una vez realizada la factorizacin hemos calculado el mximo comn divisor (m.c.d.) y el mnimo comn mltiplo
(m.c.m.).

El m.c.d. es aquel nmero mayor y comn que divide a todos ellos.

El m.c.m. es aquel nmero menor y comn que es mltiplo a todos ellos.

Para calcular el m.c.d. se toman los factores comunes con el menor exponente y se multiplican.

Para calcular el m.c.m. se toman los factores comunes y no comunes con el mayor exponente y se multiplican. (La
solucin del m.c.d. y del m.c.m. est realizado en el ejemplo de arriba).

MXIMO COMUN DIVISOR.

Decimos que d es un divisor comn (o factor comn) de a y b; por ejemplo, 1 es un divisor comn a cualquier par de
enteros a y b. Si a y b son no nulos, el mximo comn divisor de a y b que denotaremos por mcd(a,b); siendo el nico
entero d que satisface

d | a y d | b (por ser d un divisor comn),

Si c | a y c | b lgebra
c | d (pues d es el mayor de los divisores comunes de a y b).

Sin embargo, el caso a = b = 0 debe ser excluido; cualquier entero divide a 0 y es, por tanto, un divisor comn de a y b,
por lo que, en este caso, no existe un mximo comn divisor. Esta definicin puede obviamente extenderse al mximo
comn divisor de cualquier conjunto de enteros (no todos nulos).

MINIMO COMUN MLTIPLO.

Si a y b son dos enteros, un mltiplo comn de a y b es un entero c tal que a | c y b | c. Si a y b son ambos no nulos,
existen mltiplos comunes positivos (por ejemplo | ab |), por lo que el axioma de buena ordenacin nos asegura la
existencia de un mnimo comn mltiplo, o ms concretamente, el menor mltiplo comn positivo. Este es el nico
entero positivo m que cumple:

a | m y b | m (ya que m es un mltiplo comn),

a | c y b | c con c > 0 lgebra


m lgebra
c (ya que ningn mltiplo comn puede ser menor que m).

Usualmente se denota a m como mcm(a,b). Las propiedades del mnimo comn mltiplo pueden deducirse a partir de
las del mximo comn divisor a travs del siguiente resultado.

(Como mcd(a,b) = mcd( | a | , | b | ) y mcm(a,b) = mcm( | a | , | b | ), no supone restriccin alguna el suponer a , b > 0).

Demostracin: Sean a' = a/d y b' = b/d y consideremos ab/d = (da' db') / d = da'b'. Evidentemente da'b' es positivo, por lo
que debemos probar que es igual a m probando que satisface las dos condiciones de la definicin de mcm(a,b).

En primer lugar, da'b' = (da')b' = ab' y da'b' = (db')a' = ba'; por lo que a | da'b' y b | da'b', es decir, se satisface la primera
de las condiciones.

En segundo lugar, supongamos que a | c y b | c con c > 0; debemos probar que da'b' lgebra
6 c. Por la identidad de Bezout existen enteros u y v tales que d= au+bv. Entonces

lgebra

ALGORITMO DE EUCLIDES.

el Algoritmo de Euclides que es un mtodo muy astuto para calcular el divisor comn entre dos nmeros. Una de sus
principales ventajas es que es necesario calcular los divisores ni los factores de los nmeros, por lo que anda muy muy
rpido, incluso cuando alguno de los nmeros es un primo o tiene algn factor primo grande.

Este mtodo se basa en la siguiente propiedad:

si A y B son enteros entonces DCM(A,B) = DCM(A-B,B)

La idea es ir achicando los nmeros tanto como se pueda hasta que el DCM sea obvio, por ejemplo que sean ambos
nmeros iguales, o que uno de los dos sea cero.

Por ejemplo: para calcular el DCM(8069,5209)

DCM(8069,5209) =DCM(8069-5209,5209) =DCM(2860,5209) =DCM(5209-2860,2860) =DCM(2349,2860) =DCM(28602349,2349) =DCM(511,2349) =DCM(2349-511,511) =DCM(1838,511) =DCM(1838-511,511) =DCM(1327,511)
=DCM(1327-511,511) =DCM(816,511) =DCM(816-511,511) =DCM(305,511) =DCM(511-305,305) =DCM(206,305)
=DCM(305-206,206) =DCM(99,206) =DCM(206-99,99) =DCM(107,99) =DCM(107-99,99) =DCM(8,99) =DCM(99-8,8)
=DCM(91,8) =DCM(91-8,8) =DCM(83,8) =DCM(83-8,8) =DCM(75,8) =DCM(75-8,8) =DCM(67,8) =DCM(67-8,8) =DCM(59,8)
=DCM(59-8,8) =DCM(51,8) =DCM(51-8,8) =DCM(43,8) =DCM(43-8,8) =DCM(35,8) =DCM(35-8,8) =DCM(27,8) =DCM(278,8) =DCM(19,8) =DCM(19-8,8) =DCM(11,8) =DCM(11-8,8) =DCM(3,8) =DCM(8-3,3) =DCM(5,3) =DCM(5-3,3) =DCM(2,3)
=DCM(3-2,2) =DCM(1,2)= DCM(2-1,1) =DCM(1,1) =DCM(1-1,1) =DCM(0,1) =1

Si revisan con cuidado, van a ver que a pesar de que son muchas cuentas, todas son muy simples (solo hay que restar y
restar y restar). En cambio si uno trata de calcular el divisor comn mayor de la manera usual, puede pasarse bastante
tiempo buscando cuales son los divisores de 8069 y 5209.

CONCLUSIONES.

Yo creo que los nmeros primos son una parte importante en las matemticas ya que muchas operaciones bsicas como
las que vimos anteriormente dependen de ellos

Las matemticas podrn parecer muy difciles pero uno las tiene que aprender ya que son una parte importante en
nuestras vidas, y no hay profesin que no necesites de ellas.

Gracias a gente como Euclides y los grandes matemticos, las enseanzas que han dejado a travs de los aos han hecho
que hoy en da se hayan hecho muchos avances en la ciencia como son las computadoras, pero no solo las
computadoras sino tambin, el hombre no hubiera podido llegar al espacio sin ellas o tener la tecnologa que tenemos
hoy en da.

Para facilitar la vida de las matemticas existe la factorizacin de la cual sacamos el mnimo comn mltiplo y el mximo
comn divisor qque ayuda a hacer de las matemticas una ciencia mas fcil de responder.

Yo creo que todo los que nos rodea tiene una razn de ser y todo se puede responder gracias a las matemticas.