You are on page 1of 30

Apuntes de Matemtica Discreta a 11.

Teorema Fundamental de la Aritmtica e

Francisco Jos Gonzlez Gutirrez e a e


Cdiz, Octubre de 2004 a

Universidad de Cdiz a

Departamento de Matemticas a

ii

Leccin 11 o

Teorema Fundamental de la Aritmtica e


Contenido
11.1 N meros Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 11.1.1 Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 11.1.2 Nmeros Primos entre s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 11.1.3 Proposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 11.1.4 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Criba de Eratstenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o 11.2.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 Teorema Fundamental de la Aritmtica . . . . . . . . . . . . . . . . . . . . . e 11.3.1 Lema de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.2 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.3 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.4 Teorema Fundamental de la Aritmtica . . . . . . . . . . . . . . . . . . . . . . e 11.3.5 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4 Divisores de un N mero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 11.4.1 Criterio General de Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4.2 Obtencin de todos los Divisores de un Nmero . . . . . . . . . . . . . . . . . . o u 11.4.3 Nmero de Divisores de un Nmero Compuesto . . . . . . . . . . . . . . . . . . u u 11.4.4 Suma de los Divisores de un Nmero Compuesto . . . . . . . . . . . . . . . . . u 11.5 Mtodo para el Clculo del Mximo Com n Divisor y el M e a a u nimo Com n u M ltiplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . u 11.5.1 Lema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.5.2 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.5.3 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316 316 316 317 318 323 323 325 325 325 326 329 331 332 332 332 333 335 339 340 340 341

El concepto de nmero primo se remonta a la antigedad. Los griegos pose dicho concepto, as como u u an una larga lista de teoremas y propiedades relacionados con l. Los cuatro ejemplos siguientes aparecen e en los Elementos de Euclides: Todo entero positivo distinto de 1 es un producto de nmeros primos. u Teorema fundamental de la Aritmtica: Todo entero positivo puede descomponerse de manera e unica como un producto de nmeros primos. u Existen infinitos nmeros primos. u 315

Universidad de Cdiz a

Departamento de Matemticas a

Podemos obtener una lista de los nmeros primos por medio del mtodo conocido como la Criba u e de Eratstenes. o

11.1

N meros Primos u

Observemos que si a es cualquier nmero entero mayor que 1, entonces u a = a 1, con 1 Z, es decir, a es un divisor de a. a = 1 a, con a Z, es decir, 1 es un divisor de a.

luego todo nmero entero a > 1 tiene, al menos, dos divisores, el 1 y el propio a. u

11.1.1

Denicin o

Diremos que el nmero entero p > 1 es un nmero primo si los unicos divisores positivos que tiene u u son 1 y p. Si un nmero entero no es primo, lo llamaremos compuesto. u En el conjunto de los diez primeros nmeros enteros positivos son primos 2, 3, 5 y 7, siendo compuestos u 4, 6, 8, 9 y 10. Nota 11.1 Obsrvese que de la denicin de nmero primo se sigue que e o u p es primo si, y slo si es imposible escribir p = ab con a, b Z y 1 < a, b < p. o

11.1.2

N meros Primos entre s u

Dados dos nmeros enteros a y b, diremos que son primos entre s cuando el mximo comn divisor u , a u de ambos sea 1. La definicin anterior admite generalizacin a una familia de nmeros enteros a1 , a2 , . . . , an . Dichos o o u nmeros sern primos entre s cuando u a , m.c.d.(a1 , a2 , . . . . . . , an ) = 1 Ejemplo 11.1 s . Solucin o Observemos lo siguiente: 2(3n + 11) + (3)(2n + 7) = 6n + 22 6n 21 = 1 luego por el corolario ??, se sigue que m.c.d. (3n + 11, 2n + 7) = 1 316 Demostrar que cualquiera que sea n Z, los nmeros 3n + 11 y 2n + 7 son primos entre u

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

Veamos otra forma de probar lo mismo. Si d = m.c.d.(3n + 11, 2n + 7), entonces d|3n + 11 y = d|2(3n + 11) 3(2n + 7) d|2n + 7 = d|6n + 22 6n 21 = d|1 = d = 1 Por lo tanto, ambos nmeros son primos entre s u .
d>0

11.1.3

Proposicin o

Todo nmero compuesto posee, al menos, un divisor primo. u Demostracin o Probaremos que Si un nmero entero a es compuesto, entonces tiene, al menos, un divisor primo u Lo haremos por contradiccin, es decir supondremos que la proposicin anterior es falsa o lo que es igual o o que su negacin es verdadera, o sea, o El nmero entero a es compuesto y, sin embargo, no tiene divisores primos. u Entonces, el conjunto C = n Z+ : n es no vac ya que, al menos, a C. o Pues bien, como C es un subconjunto no vac de Z+ , por el principio de buena ordenacin tendr un o o a primer elemento m. Entonces, m es compuesto y m C = m no tiene divisores primos m1 : m1 = 1, m1 = m y m1 |m y = m1 no es primo = m1 , compuesto m1 |m y 1 < m1 < m. Ahora bien, si m1 no tuviera divisores primos, entonces m1 C siendo m1 < m, lo cual es imposible ya que m es el m nimo de C, por lo tanto m1 ha de tener, al menos, un divisor primo p. Pero p|m1 m1 |m = p|m 2, compuesto y sin divisores primos

es decir m tiene un divisor primo lo cual es una contradiccin ya que m C, es decir no tiene divisores o primos. Consecuentemente, la suposicin hecha es falsa, y, por lo tanto, si un nmero es compuesto, entonces ha o u de tener, al menos, un divisor primo. Euclides demostr en el libro IX de los Elementos que exist infinitos nmeros primos. La arguo an u mentacin que utiliz ha sido considerada desde siempre como un modelo de elegancia matemtica. o o a 317

Universidad de Cdiz a

Departamento de Matemticas a

11.1.4

Teorema

Existen innitos nmeros primos. u Demostracin o Supongamos lo contrario, es decir la cantidad de nmeros primos existente es nita, pongamos, por u ejemplo, que slo hay k nmeros primos, o u p1 , p 2 , . . . . . . , p k . Pues bien, sea m el producto de todos ellos ms 1, es decir, a m = p1 p2 pk + 1 Entonces, m = pi , i = 1, 2, . . . , k es decir es distinto de todos los primos que existen, luego no puede ser primo, de aqu que sea compuesto y, por el teorema anterior, tendr, al menos, un divisor primo que tendr que ser uno de los existentes, a a o sea, existe pj con j {1, 2, . . . . . . , k} tal que pj |m y como pj |p1 p2 pk entonces dividir a la diferencia de ambos, a pj |m p1 p2 pk luego, pj |1 de aqu que pj = 1 pj = 1 y esto es imposible ya que pj es primo. o De la contradiccin a la que hemos llegado, se sigue que la suposicin hecha es falsa y, por tanto, existen o o infinitos nmeros primos. u Nota 11.2 Directamente de la demostracin del teorema anterior, puede deducirse que si p1 , p2 , . . . . . . , pn o son los n primeros nmeros primos, entonces el siguiente, pn+1 , ha de ser, a lo sumo, igual al producto u de los anteriores ms 1, es decir, a pn+1 (p1 p2 pn ) + 1 En efecto, sea m = p1 p2 pn + 1 Si m es primo, entonces pn < m y, por tanto, pn+1 m

Si m no es primo, entonces es compuesto siendo sus factores primos diferentes de los p1 , p2 , . . . , pn , ya que como hemos visto en la demostracin del teorema, ninguno de los pi , 1 o i n, puede dividir a m. Supongamos que m1 es el menor factor primo de m, entonces pn < m1 . En efecto, si pn fuese mayor o igual que m1 , entonces m1 pn = j {1, 2, . . . . . . , n} : m1 = pj = pj |m

lo cual, hemos visto, es imposible, por tanto, pn < m 1 de aqu que pn+1 318 m1 < m

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

Ejemplo 11.2 por 10. Solucin o

Demostrar que si p = 5 es un nmero primo impar, entonces p2 1 p2 + 1 es divisible u o

Por el teorema de existencia y unicidad del cociente y resto, existen q y r, enteros y unicos tales que p = 5q + r, con 0 y como p es primo, r no puede ser cero, luego p = 5q + r, con r = 1, 2, 3 4 o Adems, por hiptesis p es impar. Entonces, a o p es impar = p + 1 es par = 2|p + 1 Antes que nada probaremos que r es impar q es par En efecto, r es impar
2|p+1

r<5

r + 1 es par 2|r + 1 2|p 5q + 1 2|5q 2|q q es par

Pues bien,

Si r es impar, entonces q es par. Tomando q = 2q1 con q1 Z+ , tendremos p2 = 25q 2 + 10qr + r2 q = 2q1
2 = p2 = 100q1 + 20q1 r + r2 2 = p2 r2 = 10(10q1 + 2q1 r)

= 10|p2 r2 y habr dos opciones, r = 1 r = 3. Entonces, a o r=1 10|p2 r2 o r=3 10|p r


2 2

10|p2 1

10|p2 9

10|10

10|p2 9 + 10

= 10|p2 + 1

Si r es par, entonces q ha de ser impar. Tomando q = 2q1 + 1 con q1 entero no negativo. p2 = 25q 2 + 10qr + r2 q = 2q1 + 1
2 = p2 = 100q1 + 100q1 + 25 + 20q1 r + 10r + r2 2 = p2 r2 25 = 10(10q1 + 10q1 + 2q1 r + r)

= 10|p2 r2 25 319

Universidad de Cdiz a y habr dos opciones, r = 2 r = 4. Entonces, a o r=2 10|p2 r2 25 o r=4 10|p r 25
2 2

Departamento de Matemticas a

= 10|p2 29

10|30

10|p2 29 + 30

= 10|p2 + 1

= 10|p2 41

10|40

10|p2 41 + 40

= 10|p2 1

luego en cualquier caso p2 1 p2 + 1 es divisible por 10. o Ejemplo 11.3 Demostrar:

(a) El cuadrado de todo nmero entero es de la forma 4k 4k + 1. u o (b) Si pn es el nsimo nmero primo, entonces ningn entero de la forma Pn = (p1 p2 pn ) + 1 e u u es un cuadrado. Solucin o (a) En efecto, por el teorema de existencia y unicidad de cociente y resto (??), cualquier nmero entero u n puede escribirse en la forma n = 4q + r, con 0 r < 4 de aqu que n2 = 16q 2 + 8q + r2 = 4(4q 2 + 2q) + r2 = 4k + r2 , con k Z y ahora pueden ocurrir cuatro casos: r=0 n = 4k + r o r=1 n2 = 4k + r2 o r=2 n2 = 4k + r2 o r=3 n2 = 4k + r2 = n2 = 4k + 9 = n2 = 4(k + 2) + 1 = n2 = 4k1 + 1, con k1 Z = n2 = 4k + 4 = n2 = 4(k + 1) = n2 = 4k1 , con k1 Z = n2 = 4k + 1
2 2

n2 = 4k

luego en cualquier caso n2 puede escribirse en la forma 4k 4k + 1. o (b) Los pi , para 1 i n, son nmeros primos, luego todos, excepto p1 , que es 2, son impares de aqu u que el producto p2 p3 pn sea impar. Por el teorema de existencia y unicidad de cociente y resto se podr escribir en la forma a p2 p3 pn = 4q + r, con 0 y como ha de ser impar, r slo puede ser 1 3. Pues bien, o o 320 r<4

Matemtica Discreta a Si r = 1, entonces p2 p3 pn = 4q + 1

Francisco Jos Gonzlez Gutirrez e a e

= p1 p2 p3 pn + 1 = 2(4q + 1) + 1 = Pn = 8q + 3 = Pn = 4(2q) + 3

Si r = 3, entonces p2 p3 pn = 4q + 3 = p1 p2 p3 pn + 1 = 2(4q + 3) + 1 = Pn = 8q + 7 = Pn = 4(2q + 1) + 3 luego en cualquier caso, Pn es de la forma 4k + 3, con k entero. Por lo tanto, segn el apartado u (a), no es un cuadrado. Ejemplo 11.4 En Z+ definimos la siguiente relacin: o aRb a y b son primos entre s Estudiar las propiedades de la relacin. o Solucin o 1. Reflexiva. Dado cualquier a Z+ , se verica que m.c.d. (a, a) = a luego R no es reexiva. 2. Simtrica. Sean a y b dos nmeros enteros positivos cualesquiera, entonces e u aRb luego R es simtrica. e 3. Transitiva. Dados tres enteros positivos cualesquiera a, b y c,si a y b son primos entre s y b y c tambin lo son, a y c no tienen porque serlo. En efecto, e 4 y 5 son primos entre s . 5 y 8 son primos entre s . sin embargo, m.c.d. (4, 8) = 4 luego 4 y 8 no son primos entre s y R no tiene la propiedad transitiva. a y b son primos entre s m.c.d.(a, b) = 1 b y a son primos entre s m.c.d.(b, a) = 1 bRa

Ejemplo 11.5

Estdiese u 321

Universidad de Cdiz a

Departamento de Matemticas a

(a) si los nmeros 2p y 4p + 3 son primos entre s cualquiera que sea p entero. u , (b) idem para los nmeros 2p + 1 y 3p + 2. u Solucin o

(a) En efecto, sea d = m.c.d.(2p, 4p + 3). Entonces, d |2p = d |(2)2p = d |4p y = d |4p + 4p + 3 = d |3 = d = 3 d |4p + 3 luego no son primos entre s . (b) Sea d = m.c.d. (2p + 1, 3p + 2). Entonces, d |2p + 1 = d |(3)(2p + 1) = d |6p 3 y = d |6p 3 + 6p + 4 = d |1 d |3p + 2 = d |2(3p + 2) = d |6p + 4 luego, m.c.d. (2p + 1, 3p + 2) = 1 es decir, son primos entre s .

Ejemplo 11.6

Demostrar que todo nmero primo mayor que 3 puede escribirse en la forma u

(a) 4q + 1 4q + 3 para algn q Z+ . o u (b) 6q + 1 6q + 5 para algn q Z+ . o u Solucin o Sea p > 3 un nmero primo. u (a) Por el teorema de existencia y unicidad de cociente y resto, existen q y r tales que p = 4q + r : 0 r<4

Si r = 0 r = 2, entonces p ser divisible por 2 y no ser primo, luego r ha de ser 1 3 y, o a a o consecuentemente, p = 4q + 1 p = 4q + 3 o (b) Al igual que en el apartado (a), p = 6q + r : 0 r<6

y si r = 0 r = 2 r = 4, entonces p ser divisible por 2 y si r = 3 ser divisible por 3, luego r ha o o a a de ser 1 5, de aqu que o p = 6q + 1 p = 6q + 5 o

322

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

11.2

Criba de Eratstenes o

Una vez conocida la existencia de infinitos nmeros primos, se plantea un nuevo problema cual es la u forma en que dichos nmeros estn distribuidos en el conjunto de los nmeros naturales. Este problema u a u es complicado y se conocen slo resultados parciales. Un primer mtodo para resolver esta cuestin fue o e o establecido en el siglo III a.c. por Eratstenes1 ; recibe el nombre de Criba de Eratstenes en honor a su o o autor y es consecuencia del siguiente teorema cuya primera demostracin rigurosa se debe a Fermat. o

11.2.1

Teorema

Si un nmero entero mayor que 1 no tiene divisores primos menores o iguales que su ra entonces u z, es primo. Demostracin o Sea p entero estrictamente mayor que 1. Utilizamos el mtodo de demostracin por la contrarrec e o proca, es decir veremos que si p no es primo, entonces existe, al menos, un divisor primo de p menor o igual que su ra z. En efecto, si p no es primo, entonces es compuesto y por la proposicin 11.1.3 tendr, al menos, un o a divisor primo a. Veamos que es menor o igual que la ra de p. En efecto, z a|p = p = aq, con 1 < a < p, y q Z : 1 < q < p. Adems, si suponemos que a a q, entonces a q = a2 aq = a2 p = a p.

As pues, hemos encontrado un divisor primo de p menor o igual que la ra de p. z Ejemplo 11.7 Supongamos que queremos saber si el 9 es primo. Entonces, como 9 = 3, los nmeros u primos menores o iguales que 3 son el 2 y el propio 3. 2 no es divisor de 9, pero 3 si lo es, luego 9 no es primo. Obsrvese que al ser las ra e ces de 10, 11, 12, 13, 14 y 15 menores que 4, los nmeros primos menores o u iguales que ellas son, tambin, 2 y 3, luego el criterio anterior puede emplearse para ver si estos nmeros e u son o no primos. En efecto, El 10 no es primo ya que 2 es divisor de 10. 2 y 3 no son divisores de 11, luego el 11 es primo. El 12 no es primo ya que es mltiplo de 2. u
1 Astrnomo, gegrafo, matemtico y lsofo griego (Cirene 284 a.c.-Alejandr 192 a.c.). Vivi durante mucho tiempo o o a o a o en Atenas, antes de ser llamado a Alejandr (245 a.c.) por Tolomeo III, quien le con la educacin de sus hijos y luego a o o la direccin de la biblioteca. Sus aportaciones a los diversos campos de la ciencia fueron muy importantes, pero sobre todo o es conocido como matemtico, por su clebre criba -que conserva su nombre- para encontrar los nmeros primos, y por a e u el mesolabio, instrumento de clculo para resolver el problema de la media proporcional. Fue el primero en medir de un a modo exacto la longitud de la circunferencia de la Tierra. Para ello determin la amplitud del arco meridiano entre Siena o y Alejandr sabiendo que en el solsticio de verano el sol en Siena se hallaba en la vertical del lugar, ya que los rayos a: penetraban en los pozos ms profundos, midi, con la ayuda de la sombra proyectada por un gnomon, el ngulo formado, en a o a Alejandr por los rayos solares con la vertical. En razn de la propagacin rectil a, o o nea de los rayos solares y del paralelismo existente entre ellos, el ngulo as medido correspond al ngulo formado en el centro de la Tierra por el radio terrestre a a a de Siena y el de Alejandr obteniendo as la amplitud del arco interceptado por estas dos ciudades sobre el meridiano. a, Luego midi sobre el terreno la dimensin de este arco. Obtuvo para la circunferencia entera, es decir, para el meridiano, o o 252000 estadios, o sea, casi 40 millones de m. Luego repiti este clculo, basndose en la distancia de Siena a Mroe, que o a a e crey estaba tambin sobre el mismo meridiano, y obtuvo un resultado concorde. o e

323

Universidad de Cdiz a 13 no es mltiplo de 2 ni de 3 por lo tanto es primo. u El 14 no es primo ya que 2 es divisor de 14. El 15 no es primo ya que es mltiplo de 3. u Por tanto,

Departamento de Matemticas a

Nmeros primos entre 2 y 24. Aquellos que no sean mltiplos de 2, ni de 3. u u Nmeros primos entre 2 y 48. Aquellos que no sean mltiplos de 2, ni de 3, ni de 5. u u Nmeros primos entre 2 y 120. Aquellos que no sean mltiplos de 2, ni de 3, ni de 5, ni de 7. u u As sucesivamente, podr amos encontrar todos los nmeros primos. u Ejemplo 11.8 Solucin o Dado que la ra de 100 es 10 y los nmeros primos menores que 10 son 2, 3, 5 y 7, los nmeros buscados z u u son todos aquellos que no sean mltiplos de 2, ni de 3, ni de 5, ni de 7. u La Criba de Eratstenes consiste en eliminar el 1 y todos los mltiplos de estos nmeros. Los que quedan o u u son los nmeros primos entre 1 y 100. En la tabla siguiente dichos nmeros figuran con fondo blanco. u u Encontrar todos los nmeros primos que hay entre los 100 primeros nmeros naturales. u u

1 11 21 31 41 51 61 71 81 91

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

Ejemplo 11.9

Estdiese si el 811 es primo utilizando la Criba de Eratstenes. u o

Solucin o 811 = 28.5 y los nmeros primos menores o iguales que 28.5 son 2, 3, 5, 7, 11, 13, 17, 19 23 y dado u o que ninguno de estos nmeros divide a 811, concluimos que dicho nmero es primo. u u 324

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

11.3

Teorema Fundamental de la Aritmtica e

En este apartado veremos que cualquier entero n mayor que 1 es primo o puede escribirse como un producto de nmeros primos. u Este resultado, que tiene un equivalente en el libro IX de los Elementos de Euclides, se conoce con el nombre de Teorema fundamental de la aritmtica. e

11.3.1

Lema de Euclides

Si un nmero entero divide al producto de otros dos y es primo con uno de ellos, entonces divide al u tercero. Demostracin o En efecto, sean a, b y c tres nmeros enteros, tales que a divida a b c y sea primo con b. Como u m.c.d. (a, b) = 1, por el corolario ??, existirn dos nmeros enteros p y q tales que a u pa + qb = 1 Por otra parte, si a divide a bc, como a divide a a, dividir a cualquier combinacin lineal con coecientes a o enteros de a y bc. En particular, a|pac + qbc es decir, a|(pa + qb)c luego, a|c

11.3.2

Corolario

Sea p un nmero entero mayor que 1. Las siguientes armaciones son equivalentes: u (a) p es un nmero primo. u (b) Si p divide a un producto de dos nmeros enteros, entonces divide a uno de los dos. u Demostracin o (a) = (b). Probaremos que para cualquier par de enteros, a y b, p es primo = (p|ab = p|a p|b) o o lo que es igual, p es primo y p|ab = p|a p|b o Lo haremos por contradiccin. En efecto, supongamos que o p es primo y p|ab y p| y p| /a /b Pues bien, si p no es divisor de a, como p es primo, el unico divisor comn de a y de p es 1, luego a y p u son primos entre s es decir, , p|ab y m.c.d.(a, p) = 1. Aplicamos el lema de Euclides y p|b lo cual contradice la suposicin hecha. o 325

Universidad de Cdiz a Si p no divide a b se hace igual. (b) = (a). Probaremos que para cualquier par de enteros, a y b, (p|ab = p|a p|b) = p es primo. o

Departamento de Matemticas a

Utilizaremos el mtodo de demostracin por la contrarrec e o proca, es decir probaremos que pueden encontrarse dos enteros a y b tales que p no es primo = p|ab y p| y p| /a /b. En efecto, si p no es primo, entonces es compuesto luego tendr, adems de 1 y p, otro divisor a, a a es decir, existe a tal que a|p. Pues bien, a|p = b Z : p = ab siendo 1 < a < p y 1 < b < p. Adems, a p| En efecto, si p|a, entonces /a. p|a y = a = p a|p lo cual es imposible. p| Igual. /b. As pues, hemos encontrado dos enteros a y b tales que p|ab y p| y p| /a /b.

11.3.3

Corolario

Si un nmero primo divide al producto de varios nmeros enteros, entonces ha de dividir, al menos, u u a uno de ellos. Demostracin o En efecto, sea p un nmero primo y supongamos que u p |a1 a2 a3 an entonces, p |a1 (a2 a3 an ) y aplicando el corolario anterior p |a1 p |a2 a3 an o Si p |a1 , el corolario est demostrado, de lo contrario a p |a2 a3 an luego, p |a2 (a3 an ) y, nuevamente por el corolario anterior, p |a2 p |a3 a4 an o 326

Matemtica Discreta a Si p |a2 , el corolario est demostrado, de lo contrario a p |a3 a4 an luego, p |a3 (a4 an )

Francisco Jos Gonzlez Gutirrez e a e

Repitiendo el proceso un nmero finito de veces, encontraremos, al menos, un ai , 1 u p |ai .

n, tal que

Ejemplo 11.10 Demostrar que si p, q1 , q2 , . . . , qr son primos y p |q1 q2 qr , entonces existe algn u i = 1, 2, . . . , r tal que p = qi Solucin o En efecto, por el corolario 11.3.3 p divide a qi para algn i entre 1 y r. Ahora bien, como qi es primo, los u unicos divisores que tiene son el 1 y el mismo qi , y al ser p > 1, tendr que ser necesariamente p = qi . a Ejemplo 11.11 Demostrar que el nmero 2 es irracional. u Solucin o Si 2 fuese racional, entonces podr expresarse como un cociente de dos enteros a y b primos entre s a (fraccin irreducible), es decir, o a 2 = : m.c.d. (a, b) = 1 b Pues bien, elevando al cuadrado ambos miembros de esta igualdad, resulta: 2= a a2 = 2 = 2 = a2 = 2b2 = 2 |aa b b 2 |a y, consecuentemente, existe un entero q tal que a = 2q entonces, a = 2q = a2 = 4q 2 = 2b2 = 4q 2 = b2 = 2q 2 = 2 b2 = 2 |bb y, nuevamente por el corolario 11.3.3, se sigue que 2 |b As pues, 2 es un divisor comn de a y b, lo cual es una contradiccin ya que estos dos nmeros son u o u primos entre s luego la suposicin hecha es falsa y 2 es irracional. , o Ejemplo 11.12 Demostrar que la 3 5 es un nmero irracional. u Solucin o En efecto, supongamos que no lo fuese, entonces existirn dos nmeros enteros a y b primos entre s tales a u que a 3 5= b elevando al cubo ambos miembros de la igualdad, tendremos 5= a3 = a3 = 5b3 = 5 a3 b3 327

luego por el corolario 11.3.3

Universidad de Cdiz a de donde se sigue, al ser 5 un nmero primo, que u 5 |a luego existe un nmero entero q tal que u

Departamento de Matemticas a

a = 5q = a3 = 53 q 3 = 5b3 = 53 q 3 = b3 = 52 q 3 = 5 b3 por tanto, 5 |b Concluimos, pues, que 5 es un divisor comn de a y de b, lo cual u contradice el hecho de que estos dos nmeros sean primos entre s luego la suposicin hecha es falsa y 3 5 es un nmero irracional. u , o u Ejemplo 11.13 Probar que si n no es la k-sima potencia de ningn nmero entero, entonces k n es e u u irracional cualesquiera que sean n y k enteros positivos. Solucin o Sean n y k naturales cumpliendo las condiciones del enunciado y supongamos que racional. k n es un nmero u

Entonces, podr expresarse como un cociente de dos nmeros enteros primos entre s es decir, existirn a u , a a y b de Z, tales que a k n = , con m.c.d. (a, b) = 1 b elevando a k ambos miembros de esta igualdad, resulta k Si n = p1 p2 pt t 1 2 es la descomposicin de n en factores primos, ha de existir un i entre 1 y t tal que i no sea mltiplo de o u k ya que por hiptesis n no es la k-sima potencia de un nmero entero. o e u Pues bien, como n ak , ak ha de tener todos los factores primos de n con exponentes iguales o mayores, luego tendremos que pi ak i y pi debe aparecer en la descomposicin en factores primos de a, luego o a = ps q i donde q y pi son primos entre s y i < k s ya que como vimos anteriormente, i no es mltiplo de k, u por tanto, ak = pks q k i As pues, nbk = ak = p1 p2 pt bk = pks q k t i 1 2
ksi = p1 p2 pi 1 pi +1 pt bk = pi qk t 1 2 i1 i+1

n=

a ak = n = k = ak = n bk = n ak . b b

luego, pi p1 p2 pi 1 pi +1 pt bk t 1 2 i1 i+1 y como pi no divide a p1 1 p2 2 pt , entonces t pi bk y al ser pi un nmero primo, se sigue que u pi |b y como pi |a tendremos que pi = 1 es un divisor comn de a y lo cual contradice el hecho de que a y b sean primos u b entre s por tanto la suposicin hecha es falsa y k n es irracional. , o 328

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

11.3.4

Teorema Fundamental de la Aritmtica e

Cualquier nmero entero n mayor que 1 puede escribirse de manera unica, salvo el orden, como un u producto de nmeros primos. u Demostracin o Sea a un nmero entero mayor que 1. Probaremos, primero, que a puede escribirse como un producto de u nmeros primos y, posteriormente, veremos que esa descomposicin es, salvo en el orden de los factores, u o unica. Descomposicin. o Si a es primo, consideramos el nmero como un producto de un slo factor y el teorema est u o a demostrado. Si a no es primo, entonces es compuesto, y la proposicin 11.1.3 asegura que tendr, al menos, o a un divisor primo. Sea p1 el menor divisor primo de a. Entonces existir un entero a1 tal que a a = p1 a1 Si a1 es primo, entonces el teorema est demostrado. a Si a1 no es primo, ser compuesto y aplicando de nuevo la proposicin 11.1.3 tendr, al menos, a o a un divisor primo. Sea p2 el menor divisor primo de a1 , entonces existir un entero a2 tal que a a1 = p2 a2 , con a1 > a2 sustituyendo esta igualdad en la anterior, tendremos que a = p1 p2 a2 Repitiendo el proceso un nmero nito de veces, obtendremos u a1 > a2 > a3 > > ak1 con a = p1 p2 p3 pk1 ak1 donde ak1 es primo o es la unidad, entonces tomando ak1 = pk , si es primo o ak1 = 1, se sigue que a = p1 p2 p3 pk1 o a = p1 p2 p3 pk1 pk y a est escrito como un producto de factores primos. a Unicidad. Supongamos lo contrario, es decir a puede descomponerse en producto de factores primos de dos formas distintas: a = p1 p2 p3 pk , siendo los pi primos para 1 y a = q1 q2 q3 qr , siendo los qj primos para 1 j r. i k

Supondremos, tambin, que el nmero de factores es distinto, o sea, k = r. Tomaremos, sin perder e u generalidad por ello, k < r. Pues bien, a = p1 (p2 p3 pk ) = p1 |a = p1 |q1 q2 q3 qr = p1 |qj para algn j entre 1 y r. {Corolario 11.3.3} u = p1 = qj , ya que qj es primo y p1 = 1. 329

Universidad de Cdiz a

Departamento de Matemticas a

Podemos suponer que j = 1. Si no lo fuese bastar con cambiar el orden de los factores. Tendremos, a pues, que p1 = q1 y p1 p2 p3 p k = p1 q 2 q 3 q r de donde, al ser p1 = 0, se sigue que p2 p3 p k = q 2 q 3 q r Sea ahora a1 = p2 p3 pk y a1 = q2 q3 qr . Entonces a1 < a, y a1 = p2 (p3 p4 pk ) = p2 |a1 = p2 |q2 q3 q4 qr = p2 |qj para algn j entre 2 y r. {Corolario 11.3.3} u = p2 = qj , ya que qj es primo y p2 = 1. Y, ahora, podemos suponer que j = 2. Bastar cambiar el orden de los factores si no fuese as a . Tendr amos que p2 = q2 y, por lo tanto, p2 p 3 pk = p2 q 3 q r y, al ser p2 = 0, tendremos que p3 p4 p k = q 3 q 4 q r y llamando a2 = p3 p4 pk y a2 = q3 q4 qr . se tiene que a2 < a1 < a. Como k < r, si repetimos el proceso k 1 veces, tendremos que ak1 = pk y ak1 = qk qk+1 qr . siendo ak1 < ak2 < < a2 < a1 < a. Entonces, ak1 = pk = pk |ak1 = pk |qk qk+1 qk+2 qr = pk |qj para algn j entre k y r. {Corolario 11.3.3} u = pk = qj , ya que qj es primo y pk = 1 y, razonando igual que en los pasos anteriores, podemos suponer que j = k, o sea, pk = qk y, pk = qk qk+1 qr y al ser pk = 0, tendremos 1 = qk+1 qk+2 qr de donde se sigue que qk+1 = qk+2 = = qr = 1 lo cual es imposible ya que estos nmeros son primos, por tanto, k = r y u a = p1 p 2 p 3 pk siendo, pues, la descomposicin unica. o 330

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

11.3.5

Corolario

Sea a un nmero entero tal que |a| > 1, entonces a tiene una factorizacin unica de la forma: u o a = p1 p2 pk 2 1 k siendo k 1, los pk primos distintos con p1 < p2 < < pk y i 1 para 1 i k.

Demostracin o

Si a > 1, por el Teorema fundamental de la aritmtica, a puede descomponerse en factores prie mos. Agrupamos todos los primos iguales a p1 en el factor p1 , hacemos igual con p2 , p3 , y as 1 sucesivamente hasta pk , obteniendo as la descomposicin pedida. o Si a es negativo, entonces a es positivo con lo cual bastar aplicar el razonamiento anterior a a. a

Ejemplo 11.14 Solucin o

Descomponer en factores primos el nmero 720. u

Obtendremos una descomposicin del tipo anterior. o Empezamos buscando el divisor ms pequeo de 720. a n Como 720 = 2 360 dicho divisor es, obviamente, el 2. Hacemos lo mismo con el 360. Dado que 360 = 2 180 el divisor ms pequeo de 360 es 2. a n Repetimos el proceso sucesivamente, y 180 = 2 90 90 = 2 45 45 = 3 15 15 = 3 5 5 = 15 Ahora bastar sustituir cada igualdad en la igualdad anterior, y resultar a a 720 = 2 2 2 2 3 3 5 = 24 32 5 En la prctica suelen disponerse los clculos en la forma siguiente: a a 331

Universidad de Cdiz a

Departamento de Matemticas a

720 360 180 90 45 15 5 1

2 2 2 2 3 3 5

Ahora slo habr que contar los nmeros que hay de cada factor, y o a u 720 = 24 32 5

11.4
11.4.1

Divisores de un N mero u
Criterio General de Divisibilidad

Sean a y b dos nmeros enteros tales que |a| , |b| > 1. Se verica que a es divisible por b si, y slo si u o a tiene, al menos, todos los factores primos de b con exponentes iguales o mayores. Demostracin o Slo si. En efecto, si a es divisible por b, entonces existir un nmero entero, q, tal que o a u a = bq por tanto, a tendr, al menos, todos los factores primos de b y sus exponentes sern mayores o a a iguales que los de a dependiendo de que los factores primos de q coincidan o no con los de b. Si. Si a tiene, al menos, todos los factores primos de b con exponentes iguales o mayores, entonces a Z b luego a es divisible por b.

Nota 11.3 Obsrvese que, segn este criterio, los divisores de un nmero tendrn los mismos factores e u u a primos que ste con exponentes iguales o menores. e

11.4.2

Obtencin de todos los Divisores de un N mero o u

Sea a es un nmero entero tal que |a| > 1 y sea a = p1 p2 pk su descomposicin en factores u o 1 2 k primos. Se verica que b es divisor de a si, y slo si b es uno de los trminos del producto o e (1 + p1 + p2 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + p2 + + pk ) 1 2 k 1 2 k Demostracin o 332

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

Slo si. En efecto, sea b un divisor de a. Entonces, segn la nota anterior, b ser de la forma o u a b = pi pj ps , con 0 1 2 k luego b es uno de los trminos del producto e (1 + p1 + p2 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + p2 + + pk ) 1 2 k 1 2 k Si. Rec procamente, cada trmino del producto e (1 + p1 + p2 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + p2 + + pk ) 1 2 k 1 2 k es de la forma: pi pj ps con 0 1 2 k i 1 , 0 j 2 0 s k luego, de nuevo por la nota anterior, es un divisor de a. i 1 , 0 j 2 0 s k

Ejemplo 11.15 Veamos una forma prctica y sencilla de calcular todos los divisores de un nmero. a u Calcularemos los de 720. Solucin o Segn un ejemplo anterior u 720 = 24 32 5 entonces los divisores de 720 sern los trminos del producto a e (1 + 2 + 22 + 23 + 24 )(1 + 3 + 32 )(1 + 5) = (1 + 2 + 4 + 8 + 16)(1 + 3 + 32 )(1 + 5) y una forma prctica de calcularlos todos es la siguiente tabla: a 1 3 9 5 15 45 2 6 18 10 30 90 4 12 36 20 60 180 8 24 72 40 120 360 16 48 144 80 240 720

3 32 5

donde en la primera fila hemos escrito todas las potencias de 2, desde 20 hasta 24 . En las filas siguientes hemos colocado ordenadamente todos los productos de la fila anterior por cada una de las potencias de 3, desde 3 hasta 32 , y as sucesivamente.

11.4.3

N mero de Divisores de un N mero Compuesto u u

Si a un nmero entero tal que |a| > 1 y a = p1 p2 pk es su descomposicin en factores primos, u o 1 2 k entonces el nmero de divisores de a es u Na = (1 + 1)(2 + 1) (k + 1) Demostracin o En efecto, segn el teorema anterior los divisores de a son los sumandos del producto u (1 + p1 + p2 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + p2 + + pk ) 1 2 k 1 2 k 333

Universidad de Cdiz a

Departamento de Matemticas a

que tienen a su vez 1 +1, 2 +1, . . . , k +1 factores, respectivamente, luego el nmero total de sumandos u posibles y, por tanto, el nmero de divisores de a es u Na = (1 + 1)(2 + 1) (k + 1)

Ejemplo 11.16

En un ejemplo anterior, 720 = 24 32 5

luego el nmero de divisores de 720 es u N720 = (4 + 1)(2 + 1)(1 + 1) = 30

Ejemplo 11.17 Determinar dos enteros positivos cuyo mximo comn divisor es 18, sabiendo que uno a u de ellos tiene 21 divisores y el otro tiene 10. Solucin o Sean a y b los nmeros que buscamos. Por el corolario 11.3.5, existirn p1 , p2 , . . . , pk y q1 , q2 , . . . , qm , u a primos distintos y i 1, 1 i k, j 1, 1 j m, enteros, con p1 < p2 < < pk y q1 < q2 < < qm tales que a = p1 p2 pk 1 2 k y
m b = q1 1 q2 2 qm

Supongamos que a es el que tiene 21 divisores y b el que tiene 10. Entonces, por 11.4.3, Na = 21 y Nb = 10 luego, los i + 1, 1 i k son divisores de 21 y su producto es 21. Como los divisores de 21 son 1, 3, 7 y 21, las opciones posibles son 1 y 21, 21 y 1, 3 y 7 y 7 y 3, es decir el producto anterior tiene, unicamente, dos factores. Si tenemos en cuenta que los i no pueden ser cero, las opciones vlidas a ser an (1 + 1)(2 + 1) = 3 7 = 1 = 2 y 2 = 6 o (1 + 1)(2 + 1) = 7 3 = 1 = 6 y 2 = 2. = (1 + 1)(2 + 1) (m + 1) = 10 = (1 + 1)(2 + 1) (k + 1) = 21

Razonando de la misma forma con los j + 1 y teniendo en cuenta que los divisores de 10 son 1, 2, 5 y 10, las opciones vlidas son a (1 + 1)(2 + 1) = 2 5 o (1 + 1)(2 + 1) = 5 2 Por lo tanto tenemos dos opciones posibles para a y b, a = p2 p6 1 2 y
4 b = q1 q2 4 o b = q1 q2

= 1 = 1 y 2 = 4

= 1 = 4 y 2 = 1.

o a = p 6 p2 1 2

334

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

Por otra parte, el mximo comn divisor de a y b es 18, luego a y b son divisibles por 18 y por 11.4.1 a u a y b han de tener, al menos, todos los factores primos de 18 con exponentes iguales o mayores y, dado que la descomposicin en factores primos de 18 es 2 32 , tendremos que p1 = q1 = 2, p2 = q2 = 3 y, por o tanto, a = 22 36 o a = 26 32 y b = 2 34 . Pues bien, sean Da y Db son los conjuntos de divisores de a y b, respectivamente: Si a = 22 36 y b = 2 34 , entonces Da = 2 3 : 0 y Db = 2 3 : 0 de aqu que m.c.d.(a, b) = max {Da Db } = max 2 3 : 0 luego esta opcin no es vlida. o a Si a = 26 32 y b = 2 34 , entonces Da = 2 3 : 0 y Db = 2 3 : 0 de aqu que m.c.d.(a, b) = max {Da Db } = max 2 3 : 0 y, consecuentemente, esta opcin es la solucin. o o As pues, los nmeros buscados son: u a = 26 32 = 576 y b = 2 34 = 162 1y0 2 = 2 32 1y0 4 6y0 2 1y0 4 = 2 34 = 2 32 1y0 4 2y0 6

11.4.4

Suma de los Divisores de un N mero Compuesto u

Si a un nmero entero de valor absoluto es mayor que 1 y a = p1 p2 pk es su descomposicin u o 1 2 k en factores primos, entonces la suma de todos sus divisores es S= Demostracin o Segn vimos en 11.4.3, los divisores de a son los sumandos del producto, u (1 + p1 + p2 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + p2 + + pk ) 1 2 k 1 2 k 335
pk +1 1 p1 +1 1 p2 2 +1 1 1 k p1 1 p2 1 pk 1

Universidad de Cdiz a luego, la suma buscada viene dada por: S = S1 S2 Sk donde, Si = (1 + pi + p2 + + pi ), 1 i i i k

Departamento de Matemticas a

que es la suma de los trminos de una progresin geomtrica de razn pj . Entonces, e o e o Si = 1 + pi + p2 + + pi = i i pi pi 1 pi +1 1 i = i pi 1 pi 1

y lo mismo puede hacerse con todos los dems factores. a Ejemplo 11.18 Solucin o Como 720 = 24 32 5, la suma de todos sus divisores ser: a S= 24+1 1 32+1 1 51+1 1 = 31 13 6 = 2418 21 31 51 Calcular la suma de todos los divisores de 720.

Ejemplo 11.19 Hallar un nmero entero a que no tiene ms factores primos que 2, 5 y 7, sabiendo u a que 5a tiene 8 divisores ms que a y que 8a tiene 18 divisores ms que a. Calcular tambin la suma de a a e todos los divisores de a. Solucin o Sean 1 , 2 y 3 las veces que se repiten, respectivamente, los factores primos 2, 5 y 7 en la factorizacin o de a. Tendremos que a = 21 52 73 luego, 5a = 21 52 +1 73 8a = 21 +3 52 73 y de aqu se sigue que el nmero de divisores de a, 5a y 8a es, respectivamente, u Na N5a N8a y por los datos del enunciado, N5a N8a es decir, (1 + 1)(2 + 2)(3 + 1) (1 + 4)(2 + 1)(3 + 1) = (1 + 1)(2 + 1)(3 + 1) + 8 = (1 + 1)(2 + 1)(3 + 1) + 18. 336 = Na + 8 = Na + 18 = = = (1 + 1)(2 + 1)(3 + 1) (1 + 1)(2 + 2)(3 + 1) (1 + 4)(2 + 1)(3 + 1)

Matemtica Discreta a Entonces, (1 + 1)(3 + 1)(2 + 2 2 1) (2 + 1)(3 + 1)(1 + 4 1 1) = = 8 = 18 =

Francisco Jos Gonzlez Gutirrez e a e

(1 + 1)(3 + 1) (2 + 1)(3 + 1) 1 + 1 2 + 1 1 + 1 2 + 1 = = = 3 2 4 3 4 3

= 8 = 6

= y sustituyendo, 3 = 1. Consecuentemente, el nmero pedido es: u a = 23 52 7 = 8 25 7 = 1400 Veamos ahora la suma de todos sus divisores. Por 11.4.4, S=

1 2

= =

23+1 1 52+1 1 71+1 1 = 3720 21 51 71

Ejemplo 11.20 Un nmero entero positivo tiene 2 factores primos y 8 divisores. La suma de los u divisores es 320. Hallar el nmero. u Solucin o Sea a el nmero buscado, sean p1 y p2 sus factores primos y 1 , 2 el nmero de veces que se repiten. u u Entonces, a = p1 p2 1 2 y (1 + 1)(2 + 1) = 8 De la segunda ecuacin se sigue que 1 + 1 y 2 + 1 son dos divisores de 8 tales que su producto es 8. o Como los divisores de 8 son 1, 2, 4 y 8, las posibles parejas son 1 y 8, 2 y 4, 4 y 2 y 8 y 1. Teniendo en cuenta que 1 = 0 y 2 = 0, podemos eliminar la primera y la ultima. Las posibles opciones son, por tanto, 1 = 1 y 2 = 3 (1 + 1)(2 + 1) = 2 4 o o = (1 + 1)(2 + 1) = 4 2 1 = 3 y 2 = 1 1 = 1 y 2 = 3. En este caso, a = p1 p3 y al ser 320 la suma de sus divisores, tendr amos 2 (1 + p1 )(1 + p2 + p2 + p3 ) = 320 2 2 luego 1 + p1 y 1 + p2 + p2 + p3 son divisores de 320 cuyo producto es 320. Como los divisores de 320 2 2 son 1 5 2 10 4 20 8 40 16 80 32 160 64 320

las opciones posibles, emparejndolos para que su producto sea 320, ser a an 337

Universidad de Cdiz a 1 + p1 1 + p 2 + p 2 + p3 2 2 Ahora bien, p1 es primo = p1 2 = 1 + p1 3 1 320 2 160 4 80 8 40 16 20

Departamento de Matemticas a 32 10 64 5

luego las dos primeras columnas no pueden ser solucin del problema. Tambin, o e p2 es primo = p2 2 = 1 + p2 + p2 + p3 2 2 15

y, por tanto, las dos ultimas columnas tampoco son vlidas. Por otra parte a p1 + 1 = 16 = p1 = 15 lo cual es imposible ya que p1 es primo, luego podemos eliminar, tambin, la quinta columna. Adems, e a 1 + p2 + p2 + p3 = 80 = p2 (1 + p2 + p2 ) = 79 2 2 2 luego p2 ser un divisor de 79 que es primo. As pues, tambin podemos prescindir de la tercera a e columna y, consecuentemente, nos quedar como unica opcin posible a o 1 + p1 = 8 y 1 + p2 + p2 + p3 = 40 2 2 es decir, p1 = 7 y p2 = 3 y, en tal caso, la solucin ser o a a = 7 33 = 189 1 = 3 y 2 = 1. En este caso, a = p3 p2 y al ser 320 la suma de sus divisores, tendr amos 1 (1 + p1 + p2 + p3 )(1 + p2 ) = 320 1 1 luego 1 + p1 y 1 + p2 + p2 + p3 son divisores de 320 cuyo producto es 320. Procediendo de forma anloga a 2 2 al caso anterior: 1 + p2 1 + p 1 + p 2 + p3 1 1 1 320 2 160 4 80 8 40 16 20 32 10 64 5

y, consecuentemente, p1 = 3 y p2 = 7 y, en tal caso, la solucin ser o a a = 33 7 = 189

Ejemplo 11.21 Un nmero tiene 24 divisores, su mitad 18 divisores y su triple 28 divisores. Hallar el u nmero y sus divisores. u Solucin o Sea a el nmero buscado y supongamos que su descomposicin en factores primos es u o a = p1 p2 p3 pk . 1 2 3 k Como su mitad tiene 18 divisores, a ha de ser divisible por 2, luego uno de los factores primos, pongamos p1 , ha de ser 2, es decir, a = 21 p2 p3 pk 2 3 k y a = 21 1 p2 p3 pk . 2 3 k 2 338

Matemtica Discreta a Entonces, Na = 24 y

Francisco Jos Gonzlez Gutirrez e a e

= (1 + 1)(2 + 1)(3 + 1) (k + 1) = 24

Na/2 = 18 = (1 1 + 1)(2 + 1)(3 + 1) (k + 1) = 18. Dividiendo miembro a miembro, 1 + 1 24 1 + 1 4 = = = = 1 = 3. 1 18 1 3 As pues, a = 23 p2 p3 pk 3 2 k y si ninguno de los restantes factores primos es 3, entonces, a = 23 p2 p3 pk 3 2 3 k luego, N3a = 28 = (3 + 1)(2 + 1) (k + 1)(1 + 1) = 28 = 2(2 + 1) (k + 1)(1 + 1) = 7 y esto es imposible ya que 7 es primo. Por lo tanto uno de los factores primos de la descomposicin de o a, digamos p2 , ha de ser 3. Entonces, a = 23 32 p3 pk 3 k y 3a = 23 32 +1 p3 pk 3 k luego, N3a = 28 = (3 + 1)(2 + 2)(3 + 1) (k + 1) = 28 = (2 + 2)(3 + 1) (k + 1) = 7 y como 7 es primo, el producto anterior tiene un slo factor resultando, en consecuencia, o 2 + 2 = 7 = 2 = 5 es decir el nmero pedido es u a = 23 35 = 8 243 = 1944. Veamos cuales son los divisores de este nmero. u 1 3 9 27 81 243 2 6 18 54 162 486 4 12 36 108 324 972 8 24 72 216 648 1944

3 32 33 34 35

Los divisores de 1944 son todos los nmeros que aparecen en la tabla. u

11.5

Mtodo para el Clculo del Mximo Com n Divisor y el e a a u M nimo Com n M ltiplo u u

En este apartado estableceremos un mtodo alternativo al algoritmo de Euclides para el clculo del e a mximo comn divisor de dos nmeros. Est basado en el Teorema fundamental de la aritmtica. a u u a e 339

Universidad de Cdiz a

Departamento de Matemticas a

11.5.1

Lema
0

Dados dos nmeros enteros a y b, pueden encontrarse k nmeros primos p1 , p2 , . . . , pk y enteros i u u y i 0, 1 i k tales que a = p1 p2 pk 2 1 k y b = p1 p2 pk 1 2 k siendo p1 < p2 < < pk . Demostracin o La descomposicin de a y b se sigue directamente del corolario 11.3.5. o

Si hay algn factor primo de a que no lo sea de b se introduce en la factorizacin de ste con exponente u o e cero y anlogamente se hace con los factores de b que no lo sean de a. a Ejemplo 11.22 Solucin o Descomponer a = 270 y b = 368 en factores primos segn el lema anterior. u

270 135 45 15 5 1

2 3 3 3 5

= 270 = 2 33 5

368 184 92 46 23 1

2 2 2 2 23

= 368 = 24 23

Ahora bastar escribir, a 270 = 22 32 5 230 368 = 24 30 50 23 para tener los nmeros en la forma descrita en el lema. u

11.5.2

Teorema

Sean a y b dos enteros positivos. d es el mximo comn divisor de a y b si, y slo si d es igual al a u o producto de los factores primos de ambos elevados a los menores exponentes con que aparezcan en la descomposicin. o Demostracin o Por el lema anterior, pueden encontrarse nmeros primos pi y enteros i u 340 0, i 0, 1 i k tales

Matemtica Discreta a que a = p1 p2 pk 1 2 k y b = p1 p2 pk 1 2 k

Francisco Jos Gonzlez Gutirrez e a e

Slo si. En efecto, supongamos que d es el mximo comn de a y b. Entonces, d tendr que ser un o a u a divisor de a y b luego por el criterio general de divisibilidad (11.4.1) tendr todos los factores primos a de a y de b con exponentes iguales o menores, es decir, ser de la forma: a d = p1 p2 pk 1 2 k siendo i i y i i , para 1 i i k, es decir, min {i , i } , 1 i k

y como d ha de ser el mximo de los divisores comunes de a y de b, a i = min {i , i } , 1 Si. Supongamos ahora que d = p1 p2 pk 1 2 k con i = min {i , i } , 1 i k. Entonces, i k

1. d|a y d|b. En efecto, bastar observar que a y b tienen todos los factores primos de d con a exponentes iguales o mayores y aplicar el criterio general de divisibilidad (11.4.1). 2. d es el mximo. En efecto, si c es otro divisor de a y b, entonces por 11.4.1, tendr todos los a a factores primos de a y b con exponentes iguales o menores, es decir c tendr la forma: a c = p1 p2 pk 1 2 k con i i y i i , 1 i k, luego i consecuentemente, d es el mximo. a min {i , i }, o sea i i . Por lo tanto, c|d y,

11.5.3

Teorema

Sean a y b dos enteros positivos. m es el m nimo comn mltiplo de a y b si, y slo si m es igual al u u o producto de los factores primos de ambos elevados a los mayores exponentes con que aparezcan en la descomposicin. o Demostracin o De acuerdo con el lema 11.5.1, podremos encontrar nmeros primos pi y enteros i u tales que a = p1 p2 pk 1 2 k y b = p1 p2 pk 1 2 k 0, i 0, 1 i k

Slo si. En efecto, si m es el m o nimo comn mltiplo de a y b, entonces ser mltiplo de a y mltiplo u u a u u de b luego por el criterio general de divisibilidad (11.4.1) tendr todos los factores primos de a y a de b con exponentes iguales o mayores, es decir, ser de la forma: a m = p1 p2 pk 1 2 k 341

Universidad de Cdiz a siendo i i y i i para 1 i i k, o sea, max {i , i } , 1 i k

Departamento de Matemticas a

y como m ha de ser el m nimo de los mltiplos comunes de a y de b, u i = max {i , i } , 1 Si. Rec procamente, sea m = p1 p2 pk 1 2 k con i = max {i , i } , 1 i k. Entonces, i k

1. a|m y b|m. En efecto, bastar observar que a y b tienen todos los factores primos de m con a exponentes iguales o menores y aplicar el criterio general de divisibilidad (11.4.1). 2. m es el m nimo. En efecto, si c es otro mltiplo de a y b, entonces por 11.4.1, tendr todos u a los factores primos de a y b con exponentes iguales o mayores, es decir c tendr la forma: a c = p1 p2 pk 1 2 k con i i y i i , 1 i k, luego i consecuentemente, m es el m nimo. max {i , i }, o sea i i . Por lo tanto, m|c y,

Ejemplo 11.23 Solucin o

Calcular el mximo comn divisor de 2340 y 8248. a u

Descomponemos ambos nmeros en factores primos u 8428 4214 2107 301 43 1 2 2 7 7 43

= 8428 = 22 72 43

2340 1170 585 195 65 13 1 o lo que es igual

2 2 3 3 5 13

= 2340 = 22 32 5 13

2340 = 22 32 5 70 13 430 8428 = 22 30 50 72 130 43 y por el teorema anterior, m.c.d. (8428, 2340) = 22 30 50 70 130 430 = 4

342