Divisibilidad

Divisin entera (definicin): Dados dos nmeros naturales a y b ( ) con , hacer la divisin entera de a entre b es hallar dos nmeros naturales q y r ( ) tales que: { En tal caso, anotaremos que , y a a lo llamaremos dividendo, a b

divisor, a q cociente y a r resto de la divisin. Observacin: Dados dos nmeros naturales a y b ( ) con resto y el cociente de la divisin entera entre ellos existen y son nicos. MXIMO COMUN DIVISOR (MCD) Divisor (definicin): Dados con , diremos que b divide a a si la divisin entera de a entre b tiene resto cero. En tal caso anotaremos que | Observacin: Dados dos dada se puede escribir como: | Teorema 1: | y Dem.: | | Teorema 2: | y Teorema 3: | y Teorema 4: | Teorema 5: Teorema 6: Teorema 7: Teorema 8: | | | | y | | (sin demostracin) ? | |( ) con , la definicin anteriormente , el

} |( | | | | )

|(

Para pensar Por qu en el Teorema 7 aclaramos que

Conjunto de divisores (definicin): Dado llamamos conjunto de divisores de a al conjunto de todos los divisores de a. ( ) * | +

Observacin: ( ) Observacin: ( )

* + * +

Teorema 9: (EXISTENCIA DEL MCD) Dados dos nmeros naturales no simultneamente nulos, existe el mximo de sus divisores comunes. , ( ) Dem.: Sea ( ) ( ) . . ( )-

1) . | | ( ) ( ) 2) : 3) . Sabemos que a y b no son simultneamente nulos. Tomemos ( ) | }

De 1), 2) y 3):

, ( )

( )-

Mximo comn divisor (definicin): Dados dos con , llamamos mximo comn divisor de a y b al mximo de sus divisores , ( ) ) comunes. ( ( )-. Observacin: ( Teorema 10: Teorema 11: Teorema 12: | ) ( ) ( )

( ( )

Algoritmo de Euclides Qu es un algoritmo? Un algoritmo es una secuencia de pasos que llevan a la solucin de un problema especfico. Quin es Euclides? Euclides era un matemtico griego que naci en el ao 365 a.C. en Egipto y muri cerca del ao 300 a.C. Probablemente estudi en Atenas con discpulos de Platn. Ense en Alejandra y all fund una escuela de matemtica. Su principal obra, Elementos de Geometra, se utiliz como texto durante ms de 2000 aos, e incluso hoy, una versin modificada constituye la base de la geometra plana en los liceos.

Teorema 13:

( )

( )

( )

( )

Dem.: Para demostrar la igualdad de ambos conjuntos de mostraremos que: ( ) ( ) 1) ( ) ( ) ( ) y 2) ( ) ( ) ( ). ) ( ) ( ) { ( ) ( ) | | } |( ) } ( ) ( ) { ( ) ( ) | | } |( ) } ( ) ( ) ( ) ( ) ( ) ( )

| ( ) ( ) )

( ) ( ) ( ) ( )

( ) ( )

| ( ) ( )

( ) ( ) ( ) ( )

( )

De 1) y 2): ( )

Corolario 14:

Algoritmo de Euclides: Para hallar el (

Consideremos que 1) Realizamos la divisin entera de a entre b. ) 2) a) Si el resto obtenido es 0: ( b) Si el resto obtenido no es 0: Se divide b por dicho resto, a continuacin ente resto por el segundo, y as sucesivamente hasta llegar a ) obtener un resto 0. El ltimo divisor empleado es el (
ANEXO: Redaccin original del algoritmo.

Para pensar... El algoritmo de Euclides no considera el caso en que a o b es ) en tal caso? cero. Cul es (

Analicemos ahora la validez del algoritmo. Consideremos y . El primer paso que plantea el algoritmo es realizar la divisin: Por el C.14, sabemos que: Segn el algoritmo: Si : ( Si ( ) ( ) ( )

)
( )

realizamos la divisin: ( ) ( ) ( )

Por el C.14, sabemos que: Segn el algoritmo: Si : ( Si

)
( )

)
( )

realizamos la divisin: ( ) ( ) ( )

Por el C.14, sabemos que: Segn el algoritmo: Si : ( Si

)
( )

)
( )

)
( )

As, sucesivamente podemos observar que, si el proceso es finito, tal como lo dice el Algoritmo de Euclides suceder que el ltimo resto no nulo obtenido (que coincide con el ltimo dividendo de la secuencia de ). divisiones) es el ( Cabe ahora preguntarnos si esta secuencia siempre, por una cantidad finita de pasos, lograr conseguir un resto nulo. En efecto, s. Probmoslo: Consideremos H el conjunto de los restos obtenidos. * +

(Observemos primero las sucesivas divisiones planteadas y notemos que . Por lo tanto, de existir un resto nulo, ste ser el mnimo de H. Probaremos entonces que H tiene mnimo y ste es 0.)

1) H tiene mnimo: } Llamemos al mnimo de H. ) (Por absurdo) .

2) El mnimo de H es 0: ( Supongamos que Entonces: {

. Entonces realizamos la divisin (absurdo)

Por lo tanto , y entonces este mecanismo de divisiones sucesivas siempre nos conduce a un resto nulo. As, ( )
( )

)
( )

)
( )

, y

por ende, el sucesivas.

) es el ltimo resto no nulo obtenido en las divisiones

Representacin del algoritmo de Euclides: Se suele utilizar el siguiente esquema para plantear el algoritmo y las divisiones sucesivas. A b ) 0 Por lo tanto: (

Algunas propiedades del Mximo Comn Divisor Teorema 15: Teorema 16: | y ( ) | | ( { ) ) ) | | | | |

Teorema 17: Teorema 18: Teorema 19: | y | ( . ) / (

( )

Nmeros Primos entre s Nmeros primos entre s (definicin): Dados ) son primos entre s, si ( . Teorema 20: (TEOREMA DE EUCLIDES) | ) | y ( diremos que a y b

Teorema 21:

MNIMO COMN MLTIPLO (mcm) Mltiplo (definicin): Dados dos con mltiplo de b si | . En tal caso anotaremos que , diremos que a es

Ejercicio: Enuncia los teoremas 1 al 8 usando la definicin de mltiplo. Llmalos Teorema 22 al 29 respectivamente. Teorema 22: Teorema 23: Teorema 24: Teorema 25: Teorema 26: Teorema 27: Teorema 28: Teorema 29: y y y y (sin demostracin) ( ( ) )

Conjunto de mltiplos (definicin): Dado llamamos conjunto de mltiplos de a al conjunto de todos los mltiplos de a no nulos ( ) * + * + Observacin: ( )

Teorema 30: (EXISTENCIA DEL mcm) Dados dos nmeros naturales no nulos, existe el mnimo de sus mltiplos comunes no nulos. H) Dem.: Sea ( ) ( ) T) , ( ) ( )-

1) 2)

. : .

( ) ( )-

( )

De 1), 2):

, ( )

Mnimo comn mltiplo (definicin): Dados con , llamamos mnimo comn mltiplo de a y b al mnimo de sus mltiplos no , ( ) ( ) nulos comunes. ( )-. Observacin: Teorema 31: Teorema 32: | Teorema 33: ( ( ( Dem.: +, siendo ( ) * 1) Probaremos primero que: ( ) ( ) los definidos en el Teorema 20. Para ello trabajaremos con la doble inclusin. 1a) ( ) ( ) P T.21: tenemos: ( Sabamos que ( ) ( ) * { y ( ) ( ) , con ( | ) y que ) + } (i) ) ) ) ( ) ( ( con ) ( ) ( ) ( ) )

. Sustituyendo en (i)

. Sustituyendo obtenemos que: * + * +

De esta forma hemos probado que:

( )

( )

1b) * * ( ) ( )

+ +

( )

( ) { ( ) } ( ) + + ( ) ( ) . + ( ) ( )

De esta forma hemos probado que: * De 1a) y 1b): *

Si los conjuntos son iguales, entonces sus mnimos tambin. + se da cuando Es evidente que el mnimo de * ) Por lo tanto: ( . ) En definitiva: ( , ( ) ( ) ( ( | y | . ) / (
( )

( )-

Teorema 34: Teorema 35: Teorema 36:

con

) )

NMEROS PRIMOS Y COMPUESTOS Nmero primo (definicin): + primo si ( ) * con , decimos que p es un nmero

ANEXO: Cules son los nmeros primos?: La Criba de Eratstenes.

Observacin: p es un nmero primo si tiene 2 y solamente 2 divisores. Teorema 37: ( )

Nmero compuesto (definicin): decimos que c es un nmero compuesto si , y c no es un nmero primo. Observacin: Mediante estas definiciones los nmeros naturales quedan clasificados en 0, 1, primos y compuestos. Teorema 38: compuesto es El menor de los divisores distinto de 1 de un nmero . , ( ) * +- es primo c compuesto

, ( ) Dem.: Observemos primero que un conjunto de naturales no vaco (pues

* +- existe ya que ( ) ( ) * +).

* + es

Demostraremos que dicho mnimo es primo pensando por absurdo. , ( ) * +Llamemos Supongamos que k no es primo. Como no es ni 0 (porque 0 no divide a ningn natural por definicin) ni 1, entonces k debe ser compuesto. Si k es compuesto, entonces k acepta un divisor distinto de 1 y de k. Es decir: | . | | | | ( ) } , ( ) ( ) * +* +

Teorema 39: El conjunto de los nmeros primos no tiene mximo. Dem.: Haremos la demostracin por el absurdo. Sea el conjunto de todos los nmeros primos. Supongamos que H tiene mximo, al que llamaremos M. Consideremos ahora el nmero de todos los nmeros primos ms 1. Observemos que: ( ) 1) 2) 3) . Es decir, el producto

De 1), 2) y 3): p es un nmero compuesto. Entonces, por el teorema anterior , ( ) * +- es un nmero primo, por lo que existe un nmero (T.38), el primo j que divide a p. | . Sin embargo, por cmo hemos definido a p, sea j cualquier nmero primo tenemos que:

por lo que el resto no es 0, dndonos un absurdo.

DESCOMPOSICIN EN PRODUCTO DE FACTORES PRIMOS (DPFP) Descomposicin en productos de factores primos (definicin): Sea un nmero compuesto. Decimos que c admite una DPFP si se se puede escribir como el producto de factores primos. Es decir: si c se puede escribir de la forma nmeros primos distintos entre s, y naturales. , siendo nmeros

Teorema 40: Todo nmero compuesto admite una DPFP, y sta es nica. (Sin demostracin) Teorema 41: Sea un nmero compuesto cuya DPFP es | , con (Sin demostracin) Teorema 42: Sean Entonces: ( ) ( ) (Sin demostracin) , , con , con * * + + . Entonces: ,

. (DPFP)

Teorema 43: Sea un nmero compuesto cuya DPFP es cantidad de divisores de c se obtiene mediante la frmula: ( )( ) ( ) (Sin demostracin)

. Entonces la

ANEXO: Redaccin original del algoritmo. Para encontrar la mxima medida comn de dos nmeros que no sean primos entre s.

Sean AB y CD los dos nmeros que no son primos uno al otro. Se necesita entonces encontrar la mxima medida comn de AB y CD. Si CD mide AB entonces es una medida comn puesto que CD se mide a s mismo. Y es manifiesto que tambin es la mayor medida pues nada mayor a CD puede medir a CD. Pero si CD no mide a AB entonces algn nmero quedar de AB y CD, el menor siendo continuamente restado del mayor y que medir al nmero que le precede. Porque una unidad no quedar pues si no es as, AB y CD sern primos uno del otro [Prop. VII.1], lo cual es lo contrario de lo que se supuso. Por tanto, algn nmero queda que medir el nmero que le precede. Y sea CD midiendo BE dejando EA menor que s mismo y sea EA midiendo DF dejando FC menor que s mismo y sea FC medida de AE. Entonces, como FC mide AE y AE mide DF, FC ser entonces medida de DF. Y tambin se mide a s mismo. Por tanto tambin medir todo CD. Y CD mide a BE. Entonces CF mide a BE y tambin mide a EA. As mide a todo BA y tambin mide a CD. Esto es, CF mide tanto a AB y CD por lo que es una medida comn de AB y CD. Afirmo que tambin es la mayor medida comn posible porque si no lo fuera, entonces un nmero mayor que CF mide a los nmeros AB y CD, sea ste G. Dado que G mide a CD y CD mide a BE, G tambin mide a BE. Adems, mide a todo BA por lo que mide tambin al residuo AE. Y AE mide a DF por lo que G tambin mide a DF. Mide tambin a todo DC por lo que mide tambin al residuo CF, es decir el mayor mide al menor, lo cual es imposible. Por tanto, ningn nmero mayor a CF puede medir a los nmeros AB y CD. Entonces CF es la mayor medida comn de AB y CD, lo cual se quera demostrar. Euclides. Elementos de Geometra - VII.2

Material extrado de www.euclides.org

ANEXO: La Criba de Eratstenes. Eratstenes naci en Cyrene (Libia) en el ao 276 a.C. Fue astrnomo, historiador, gegrafo, filsofo, poeta, crtico teatral y matemtico. Estudi en Alejandra y Atenas. Trabaj con problemas de matemtica, como la duplicacin del cubo y los nmeros primos. Escribi muchos libros, de los cuales slo se tiene noticias por referencias bibliogrficas de otros autores. Al final de su vida fue afectado por la ceguera y muri de hambre por su propia voluntad en 194 a.C. en Alejandra. La criba de Eratstenes es un algoritmo que permite hallar todos los nmeros primos menores que un nmero natural dado N. Se forma una tabla con todos los nmeros naturales comprendidos entre 1 y N y se van tachando los nmeros no primos de la siguiente manera: cuando se encuentra un natural que no ha sido tachado, ese nmero se declara primo, y se procede a tachar todos sus mltiplos. El proceso termina cuando el cuadrado del mayor nmero confirmado como primo es mayor que N. Intentemos plantear la criba de Eratstenes para los nmeros menores a 100. Para eso trabaja sobre la tabla y sigue los pasos indicados: 1. 2. 3. 4. 5. 6. 7. 1 11 21 31 41 51 61 71 81 91 Tacha el nmero 1, ya que no se considera primo ni compuesto. Encierra el nmero 2 y tacha sus mltiplos. O sea, el 4, el 6, el 8, etc. Empezando a contar desde 2, encierra el nmero siguiente an no eliminado, es decir: el 3, y tacha todos sus mltiplos. Empezando a contar desde 3, encierra el nmero siguiente an no eliminado, es decir: el 5, y tacha todos sus mltiplos. Encierra el nmero siguiente an no eliminado y tacha todos sus mltiplos. Repite el paso anterior hasta terminar con todos los nmeros. Los nmeros encerrados son los nmeros primos. 2 12 22 32 42 52 62 72 82 92 3 13 23 33 43 53 63 73 83 93 4 14 24 34 44 54 64 74 84 94 5 15 25 35 45 55 65 75 85 95 6 16 26 36 46 56 66 76 86 96 7 17 27 37 47 57 67 77 87 97 8 18 28 38 48 58 68 78 88 98 9 19 29 39 49 59 69 79 89 99 10 20 30 40 50 60 70 80 90 100

ANEXO: Algo interesante sobre los nmeros primos. Los nmero primos y sus propiedades fueros estudiadas de manera exhaustiva por los matemticos de la antigua Grecia. En la Escuela Pitagrica (500 a 300 a.C) se interesaban en los nmeros por su misticismo y sus propiedades numerolgicas. Entre ellos, estaban interesados en lo que llamaban nmeros perfectos y amigables. Un nmero perfecto es aquel que la suma de sus divisores propios da como resultado el nmero en s mismo. + y 1+2+3=6; el 28, que ( ) (Por ejemplo el 6, donde ( ) * * + y 1+2+4+7+14=28) Un par de nmeros amigables es un par, como 220 y 284, tal que los divisores propios de uno de ellos suman el otro y viceversa. Para el momento en que los Elementos de Euclides aparecieron por el 300 a.C., ya haban sido probados varios resultados importantes acerca de los nmeros primos. En el libro IX de los Elementos, Euclides prueba que hay infinidad de nmeros primos (teorema que hemos demostrado). Esta es una de las primeras demostraciones conocidas en las que se utiliza el mtodo del absurdo para establecer el resultado. Euclides tambin demuestra el Teorema Fundamental de la Aritmtica: Todo nmero natural puede escribirse como un producto nico de primos (lo que en clase hemos estudiado como D.P.F.P.) Los nmeros de la forma tambin atrajeron la atencin porque es muy fcil demostrar que a menso que n sea primo, este nmero ser compuesto. A menudo, estos son llamados Nmeros primos de Mersenne (ya que fue Mersenne quien los estudi) y se anotan como . Para el ao 2005 haban sido encontrados un total de 42 primos de Mersenne, de los cuales uno de ellos, el , es el mayor nmero primo conocido hasta el momento y tiene ms de 9 millones de dgitos. En matemtica se suele llamar Problema Abierto a los problemas o resultados planteado que no han sido todava demostrados. Muchos de los resultados enunciados sobre primos que no han sido demostrados an son conjeturas, afirmaciones de las cuales se est convencido de su validez pero no se ha conseguido demostrar. Algunas de ellas son:
Existe un nmero infinito de nmeros primos que se diferencian en 2 (como el 3 y 5, el 17 y 19) Conjetura de Goldbach: Todo nmero par mayor que dos puede escribirse como suma de dos primos (como 8=5+3) Existe un nmero infinito de nmeros primos que responden a la forma de un nmero al cuadrado ms uno (como ; ) Siempre existe un nmero primo entre dos nmeros cuadrados consecutivos (por ejemplo, entre 9=32 y 16=42 existe el nmero primo 13)

Informacin extrada de MacTutor History of Mathematics Autores: J. J. OConnor y E. F. Robertson