Apuntes de Matem atica Discreta 11.

Teorema Fundamental de la Aritm etica

Francisco Jos e Gonz alez Guti errez

C adiz, Octubre de 2004

Universidad de C adiz

Departamento de Matem aticas

ii

Lecci on 11

Teorema Fundamental de la Aritm etica

Contenido
11.1 N umeros Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.1 Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.2 N umeros Primos entre s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.3 Proposici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.4 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Criba de Erat ostenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 Teorema Fundamental de la Aritm etica . . . . . . . . . . . . . . . . . . . . . 11.3.1 Lema de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.2 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.3 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.4 Teorema Fundamental de la Aritm etica . . . . . . . . . . . . . . . . . . . . . . 11.3.5 Corolario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4 Divisores de un N umero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4.1 Criterio General de Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4.2 Obtenci on de todos los Divisores de un N umero . . . . . . . . . . . . . . . . . . 11.4.3 N umero de Divisores de un N umero Compuesto . . . . . . . . . . . . . . . . . . 11.4.4 Suma de los Divisores de un N umero Compuesto . . . . . . . . . . . . . . . . . 11.5 M etodo para el C alculo del M aximo Com un Divisor y el M nimo Com un M ultiplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 n umero primo se remonta a la antig uedad. Los griegos pose an dicho concepto, as como una larga lista de teoremas y propiedades relacionados con el. Los cuatro ejemplos siguientes aparecen en los Elementos de Euclides : Todo entero positivo distinto de 1 es un producto de n umeros primos. Teorema fundamental de la Aritm etica: Todo entero positivo puede descomponerse de manera u nica como un producto de n umeros primos. Existen infinitos n umeros primos. 315

Universidad de C adiz

Departamento de Matem aticas

Podemos obtener una lista de los n umeros primos por medio del m etodo conocido como la Criba de Erat ostenes.

11.1

N umeros Primos

Observemos que si a es cualquier n umero entero mayor que 1, entonces 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 n umero entero a > 1 tiene, al menos, dos divisores, el 1 y el propio a.

11.1.1

Denici on

Diremos que el n umero entero p > 1 es un n umero primo si los u nicos divisores positivos que tiene son 1 y p. Si un n umero entero no es primo, lo llamaremos compuesto. En el conjunto de los diez primeros n umeros enteros positivos son primos 2, 3, 5 y 7, siendo compuestos 4, 6, 8, 9 y 10. Nota 11.1 Obs ervese que de la denici on de n umero primo se sigue que p es primo si, y s olo si es imposible escribir p = ab con a, b Z y 1 < a, b < p.

11.1.2

N umeros Primos entre s

Dados dos n umeros enteros a y b, diremos que son primos entre s , cuando el m aximo com un divisor de ambos sea 1. La definici on anterior admite generalizaci on a una familia de n umeros enteros a1 , a2 , . . . , an . Dichos n umeros ser an primos entre s , cuando m.c.d.(a1 , a2 , . . . . . . , an ) = 1 Ejemplo 11.1 s . Soluci on 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 n umeros 3n + 11 y 2n + 7 son primos entre

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

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 n umeros son primos entre s .
d>0

11.1.3

Proposici on

Todo n umero compuesto posee, al menos, un divisor primo. Demostraci on Probaremos que Si un n umero entero a es compuesto, entonces tiene, al menos, un divisor primo Lo haremos por contradicci on, es decir supondremos que la proposici on anterior es falsa o lo que es igual que su negaci on es verdadera, o sea, El n umero entero a es compuesto y, sin embargo, no tiene divisores primos. Entonces, el conjunto C = n Z+ : n es no vac o ya que, al menos, a C . Pues bien, como C es un subconjunto no vac o de Z+ , por el principio de buena ordenaci on tendr a un 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 contradicci on ya que m C , es decir no tiene divisores primos. Consecuentemente, la suposici on hecha es falsa, y, por lo tanto, si un n umero es compuesto, entonces ha de tener, al menos, un divisor primo. Euclides demostr o en el libro IX de los Elementos que exist an infinitos n umeros primos. La argumentaci on que utiliz o ha sido considerada desde siempre como un modelo de elegancia matem atica. 317

Universidad de C adiz

Departamento de Matem aticas

11.1.4

Teorema

Existen innitos n umeros primos. Demostraci on Supongamos lo contrario, es decir la cantidad de n umeros primos existente es nita, pongamos, por ejemplo, que s olo hay k n umeros primos, p1 , p 2 , . . . . . . , p k . Pues bien, sea m el producto de todos ellos m as 1, es decir, 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 a, al menos, un divisor primo que tendr a que ser uno de los existentes, o sea, existe pj con j {1, 2, . . . . . . , k } tal que pj |m y como pj |p1 p2 pk entonces dividir a a la diferencia de ambos, pj |m p1 p2 pk luego, pj |1 de aqu que pj = 1 o pj = 1 y esto es imposible ya que pj es primo. De la contradicci on a la que hemos llegado, se sigue que la suposici on hecha es falsa y, por tanto, existen infinitos n umeros primos. Nota 11.2 Directamente de la demostraci on del teorema anterior, puede deducirse que si p1 , p2 , . . . . . . , pn son los n primeros n umeros primos, entonces el siguiente, pn+1 , ha de ser, a lo sumo, igual al producto de los anteriores m as 1, es decir, 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 demostraci on del teorema, ninguno de los pi , 1 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

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

Ejemplo 11.2 por 10. Soluci on

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

Por el teorema de existencia y unicidad del cociente y resto, existen q y r, enteros y u nicos 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 o4 Adem as, por hip otesis p es impar. Entonces, 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 a dos opciones, r = 1 o r = 3. Entonces, 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 C adiz y habr a dos opciones, r = 2 o r = 4. Entonces, r=2 10|p2 r2 25 o r=4 10|p r 25
2 2

Departamento de Matem aticas

= 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 o p2 + 1 es divisible por 10. Ejemplo 11.3 Demostrar:

(a) El cuadrado de todo n umero entero es de la forma 4k o 4k + 1. (b) Si pn es el n esimo n umero primo, entonces ning un entero de la forma Pn = (p1 p2 pn ) + 1 es un cuadrado. Soluci on (a) En efecto, por el teorema de existencia y unicidad de cociente y resto (??), cualquier n umero entero 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 = 4 k + r 2 o r=2 n2 = 4 k + r 2 o r=3 n2 = 4 k + r 2 = 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 o 4k + 1. (b) Los pi , para 1 i n, son n umeros primos, luego todos, excepto p1 , que es 2, son impares de aqu que el producto p2 p3 pn sea impar. Por el teorema de existencia y unicidad de cociente y resto se podr a escribir en la forma p2 p3 pn = 4q + r, con 0 y como ha de ser impar, r s olo puede ser 1 o 3. Pues bien, 320 r<4

Matem atica Discreta Si r = 1, entonces p2 p3 pn = 4q + 1

Francisco Jos e Gonz alez Guti errez

= 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, seg un el apartado (a), no es un cuadrado. Ejemplo 11.4 En Z+ definimos la siguiente relaci on: aR b a y b son primos entre s Estudiar las propiedades de la relaci on. Soluci on 1. Reflexiva. Dado cualquier a Z+ , se verica que m.c.d. (a, a) = a luego R no es reexiva. 2. Sim etrica. Sean a y b dos n umeros enteros positivos cualesquiera, entonces aR b luego R es sim etrica. 3. Transitiva. Dados tres enteros positivos cualesquiera a, b y c,si a y b son primos entre s ybyc tambi en lo son, a y c no tienen porque serlo. En efecto, 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 bR a

Ejemplo 11.5

Est udiese 321

Universidad de C adiz

Departamento de Matem aticas

(a) si los n umeros 2p y 4p + 3 son primos entre s , cualquiera que sea p entero. (b) idem para los n umeros 2p + 1 y 3p + 2. Soluci on

(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 n umero primo mayor que 3 puede escribirse en la forma

(a) 4q + 1 o 4q + 3 para alg un q Z+ . (b) 6q + 1 o 6q + 5 para alg un q Z+ . Soluci on Sea p > 3 un n umero primo. (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 o r = 2, entonces p ser a divisible por 2 y no ser a primo, luego r ha de ser 1 o 3 y, consecuentemente, p = 4q + 1 o p = 4q + 3 (b) Al igual que en el apartado (a), p = 6q + r : 0 r<6

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

322

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

11.2

Criba de Erat ostenes

Una vez conocida la existencia de infinitos n umeros primos, se plantea un nuevo problema cual es la forma en que dichos n umeros est an distribuidos en el conjunto de los n umeros naturales. Este problema es complicado y se conocen s olo resultados parciales. Un primer m etodo para resolver esta cuesti on fue establecido en el siglo III a.c. por Erat ostenes1 ; recibe el nombre de Criba de Erat ostenes en honor a su autor y es consecuencia del siguiente teorema cuya primera demostraci on rigurosa se debe a Fermat.

11.2.1

Teorema

Si un n umero entero mayor que 1 no tiene divisores primos menores o iguales que su ra z, entonces es primo. Demostraci on Sea p entero estrictamente mayor que 1. Utilizamos el m etodo de demostraci on por la contrarrec 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 proposici on 11.1.3 tendr a, al menos, un divisor primo a. Veamos que es menor o igual que la ra z de p. En efecto, a|p = p = aq, con 1 < a < p, y q Z : 1 < q < p. Adem as, si suponemos que 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 z de p. Ejemplo 11.7 Supongamos que queremos saber si el 9 es primo. Entonces, como 9 = 3, los n umeros 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. Obs ervese que al ser las ra ces de 10, 11, 12, 13, 14 y 15 menores que 4, los n umeros primos menores o iguales que ellas son, tambi en, 2 y 3, luego el criterio anterior puede emplearse para ver si estos n umeros 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 m ultiplo de 2.
1 Astr onomo, ge ografo, matem atico y l osofo griego (Cirene 284 a.c.-Alejandr a 192 a.c.). Vivi o durante mucho tiempo en Atenas, antes de ser llamado a Alejandr a (245 a.c.) por Tolomeo III, quien le con o la educaci on de sus hijos y luego la direcci on de la biblioteca. Sus aportaciones a los diversos campos de la ciencia fueron muy importantes, pero sobre todo es conocido como matem atico, por su c elebre criba -que conserva su nombre- para encontrar los n umeros primos, y por el mesolabio, instrumento de c alculo para resolver el problema de la media proporcional. Fue el primero en medir de un modo exacto la longitud de la circunferencia de la Tierra. Para ello determin o la amplitud del arco meridiano entre Siena y Alejandr a: sabiendo que en el solsticio de verano el sol en Siena se hallaba en la vertical del lugar, ya que los rayos penetraban en los pozos m as profundos, midi o, con la ayuda de la sombra proyectada por un gnomon, el angulo formado, en Alejandr a, por los rayos solares con la vertical. En raz on de la propagaci on rectil nea de los rayos solares y del paralelismo existente entre ellos, el angulo as medido correspond a al angulo formado en el centro de la Tierra por el radio terrestre de Siena y el de Alejandr a, obteniendo as la amplitud del arco interceptado por estas dos ciudades sobre el meridiano. Luego midi o sobre el terreno la dimensi on de este arco. Obtuvo para la circunferencia entera, es decir, para el meridiano, 252000 estadios, o sea, casi 40 millones de m. Luego repiti o este c alculo, bas andose en la distancia de Siena a M eroe, que crey o estaba tambi en sobre el mismo meridiano, y obtuvo un resultado concorde.

323

Universidad de C adiz 13 no es m ultiplo de 2 ni de 3 por lo tanto es primo. El 14 no es primo ya que 2 es divisor de 14. El 15 no es primo ya que es m ultiplo de 3. Por tanto,

Departamento de Matem aticas

N umeros primos entre 2 y 24. Aquellos que no sean m ultiplos de 2, ni de 3. N umeros primos entre 2 y 48. Aquellos que no sean m ultiplos de 2, ni de 3, ni de 5. N umeros primos entre 2 y 120. Aquellos que no sean m ultiplos de 2, ni de 3, ni de 5, ni de 7. As sucesivamente, podr amos encontrar todos los n umeros primos. Ejemplo 11.8 Soluci on Dado que la ra z de 100 es 10 y los n umeros primos menores que 10 son 2, 3, 5 y 7, los n umeros buscados son todos aquellos que no sean m ultiplos de 2, ni de 3, ni de 5, ni de 7. La Criba de Erat ostenes consiste en eliminar el 1 y todos los m ultiplos de estos n umeros. Los que quedan son los n umeros primos entre 1 y 100. En la tabla siguiente dichos n umeros figuran con fondo blanco. Encontrar todos los n umeros primos que hay entre los 100 primeros n umeros naturales.

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

Est udiese si el 811 es primo utilizando la Criba de Erat ostenes.

Soluci on 811 = 28.5 y los n umeros primos menores o iguales que 28.5 son 2, 3, 5, 7, 11, 13, 17, 19 o 23 y dado que ninguno de estos n umeros divide a 811, concluimos que dicho n umero es primo. 324

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

11.3

Teorema Fundamental de la Aritm etica

En este apartado veremos que cualquier entero n mayor que 1 es primo o puede escribirse como un producto de n umeros primos. 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 aritm etica.

11.3.1

Lema de Euclides

Si un n umero entero divide al producto de otros dos y es primo con uno de ellos, entonces divide al tercero. Demostraci on En efecto, sean a, b y c tres n umeros enteros, tales que a divida a b c y sea primo con b. Como m.c.d. (a, b) = 1, por el corolario ??, existir an dos n umeros enteros p y q tales que pa + qb = 1 Por otra parte, si a divide a bc, como a divide a a, dividir a a cualquier combinaci on lineal con coecientes 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 n umero entero mayor que 1. Las siguientes armaciones son equivalentes: (a) p es un n umero primo. (b) Si p divide a un producto de dos n umeros enteros, entonces divide a uno de los dos. Demostraci on (a) = (b). Probaremos que para cualquier par de enteros, a y b, p es primo = (p|ab = p|a o p|b) o lo que es igual, p es primo y p|ab = p|a o p|b Lo haremos por contradicci on. En efecto, supongamos que p es primo y p|ab y p/a | y p/b | Pues bien, si p no es divisor de a, como p es primo, el u nico divisor com un de a y de p es 1, luego a y p 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 suposici on hecha. 325

Universidad de C adiz 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 o p|b) = p es primo.

Departamento de Matem aticas

Utilizaremos el m etodo de demostraci on por la contrarrec proca, es decir probaremos que pueden encontrarse dos enteros a y b tales que p no es primo = p|ab y p/a | y p/b. | En efecto, si p no es primo, entonces es compuesto luego tendr a, adem as de 1 y p, otro divisor 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. Adem as, p/a | . En efecto, si p|a, entonces p|a y = a = p a|p lo cual es imposible. p/b | . Igual. As pues, hemos encontrado dos enteros a y b tales que p|ab y p/a | y p/b | .

11.3.3

Corolario

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

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

Francisco Jos e Gonz alez Guti errez

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

n, tal que

Ejemplo 11.10 Demostrar que si p, q1 , q2 , . . . , qr son primos y p |q1 q2 qr , entonces existe alg un i = 1, 2, . . . , r tal que p = qi Soluci on En efecto, por el corolario 11.3.3 p divide a qi para alg un i entre 1 y r. Ahora bien, como qi es primo, los u nicos divisores que tiene son el 1 y el mismo qi , y al ser p > 1, tendr a que ser necesariamente p = qi . Ejemplo 11.11 Demostrar que el n umero 2 es irracional. Soluci on Si 2 fuese racional, entonces podr a expresarse como un cociente de dos enteros a y b primos entre s (fracci on irreducible), es decir, 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 com un de a y b, lo cual es on ya que estos dos n umeros son una contradicci primos entre s , luego la suposici on hecha es falsa y 2 es irracional. Ejemplo 11.12 Demostrar que la 3 5 es un n umero irracional. Soluci on En efecto, supongamos que no lo fuese, entonces existir an dos n umeros enteros a y b primos entre s tales 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 C adiz de donde se sigue, al ser 5 un n umero primo, que 5 |a luego existe un n umero entero q tal que

Departamento de Matem aticas

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 com un de a y de b, lo cual contradice el hecho de que estos dos n umeros sean primos entre s , luego la suposici on hecha es falsa y 3 5 es un n umero irracional. Ejemplo 11.13 Probar que si n no es la k - esima potencia de ning un n umero entero, entonces k n es irracional cualesquiera que sean n y k enteros positivos. Soluci on Sean n y k naturales cumpliendo las condiciones del enunciado y supongamos que racional. k n es un n umero

Entonces, podr a expresarse como un cociente de dos n umeros enteros primos entre s , es decir, existir an 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
2 t 1 n = p 1 p2 p t

n=

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

es la descomposici on de n en factores primos, ha de existir un i entre 1 y t tal que i no sea m ultiplo de k ya que por hip otesis n no es la k - esima potencia de un n umero entero. Pues bien, como n ak , ak ha de tener todos los factores primos de n con exponentes iguales o mayores, luego tendremos que i p ak i y pi debe aparecer en la descomposici on en factores primos de a, luego a = ps iq donde q y pi son primos entre s y i < k s ya que como vimos anteriormente, i no es m ultiplo de k , por tanto, k ak = pks i q As pues, nbk = ak
2 t k ks k 1 = p 1 p2 pt b = pi q 2 i 1 i +1 t ksi k 1 = p qk 1 p2 pi1 pi+1 pt b = pi

luego,
2 i 1 i +1 t k 1 pi p 1 p2 pi1 pi+1 pt b

y como pi no divide a

1 p 1

2 p 2

t p t , entonces

pi bk y al ser pi un n umero primo, se sigue que pi |b y como pi |a tendremos que pi = 1 es un divisor com un de a y b lo cual contradice el hecho de que a y b sean primos entre s , por tanto la suposici on hecha es falsa y k n es irracional. 328

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

11.3.4

Teorema Fundamental de la Aritm etica

Cualquier n umero entero n mayor que 1 puede escribirse de manera u nica, salvo el orden, como un producto de n umeros primos. Demostraci on Sea a un n umero entero mayor que 1. Probaremos, primero, que a puede escribirse como un producto de n umeros primos y, posteriormente, veremos que esa descomposici on es, salvo en el orden de los factores, u nica. Descomposici on. Si a es primo, consideramos el n umero como un producto de un s olo factor y el teorema est a demostrado. Si a no es primo, entonces es compuesto, y la proposici on 11.1.3 asegura que tendr a, al menos, un divisor primo. Sea p1 el menor divisor primo de a. Entonces existir a un entero a1 tal que a = p1 a1 Si a1 es primo, entonces el teorema est a demostrado. Si a1 no es primo, ser a compuesto y aplicando de nuevo la proposici on 11.1.3 tendr a, al menos, un divisor primo. Sea p2 el menor divisor primo de a1 , entonces existir a un entero a2 tal que a1 = p2 a2 , con a1 > a2 sustituyendo esta igualdad en la anterior, tendremos que a = p1 p2 a2 Repitiendo el proceso un n umero nito de veces, obtendremos 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 a escrito como un producto de factores primos. 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, tambi en, que el n umero de factores es distinto, o sea, k = r. Tomaremos, sin perder generalidad por ello, k < r. Pues bien, a = p1 (p2 p3 pk ) = p1 |a = p1 |q1 q2 q3 qr = p1 |qj para alg un j entre 1 y r. {Corolario 11.3.3} = p1 = qj , ya que qj es primo y p1 = 1. 329

Universidad de C adiz

Departamento de Matem aticas

Podemos suponer que j = 1. Si no lo fuese bastar a con cambiar el orden de los factores. Tendremos, 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 alg un j entre 2 y r. {Corolario 11.3.3} = p2 = qj , ya que qj es primo y p2 = 1. Y, ahora, podemos suponer que j = 2. Bastar a cambiar el orden de los factores si no fuese as . 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 alg un j entre k y r. {Corolario 11.3.3} = 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 n umeros son primos, por tanto, k = r y a = p1 p 2 p 3 pk siendo, pues, la descomposici on u nica. 330

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

11.3.5

Corolario

Sea a un n umero entero tal que |a| > 1, entonces a tiene una factorizaci on u nica de la forma:
k 1 2 a = p 1 p2 pk

siendo k

1, los pk primos distintos con p1 < p2 < < pk y i

1 para 1

k.

Demostraci on

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

Ejemplo 11.14 Soluci on

Descomponer en factores primos el n umero 720.

Obtendremos una descomposici on del tipo anterior. Empezamos buscando el divisor m as peque no de 720. Como 720 = 2 360 dicho divisor es, obviamente, el 2. Hacemos lo mismo con el 360. Dado que 360 = 2 180 el divisor m as peque no de 360 es 2. Repetimos el proceso sucesivamente, y 180 = 2 90 90 = 2 45 45 = 3 15 15 = 3 5 5 = 15 Ahora bastar a sustituir cada igualdad en la igualdad anterior, y resultar a 720 = 2 2 2 2 3 3 5 = 24 32 5 En la pr actica suelen disponerse los c alculos en la forma siguiente: 331

Universidad de C adiz

Departamento de Matem aticas

720 360 180 90 45 15 5 1

2 2 2 2 3 3 5

Ahora s olo habr a que contar los n umeros que hay de cada factor, y 720 = 24 32 5

11.4
11.4.1

Divisores de un N umero
Criterio General de Divisibilidad

Sean a y b dos n umeros enteros tales que |a| , |b| > 1. Se verica que a es divisible por b si, y s olo si a tiene, al menos, todos los factores primos de b con exponentes iguales o mayores. Demostraci on S olo si. En efecto, si a es divisible por b, entonces existir a un n umero entero, q , tal que a = bq por tanto, a tendr a, al menos, todos los factores primos de b y sus exponentes ser an mayores o 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 Obs ervese que, seg un este criterio, los divisores de un n umero tendr an los mismos factores primos que este con exponentes iguales o menores.

11.4.2

Obtenci on de todos los Divisores de un N umero

k 1 2 Sea a es un n umero entero tal que |a| > 1 y sea a = p on en factores 1 p2 pk su descomposici primos. Se verica que b es divisor de a si, y s olo si b es uno de los t erminos del producto k 1 2 2 2 (1 + p1 + p2 1 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + pk + + pk )

Demostraci on 332

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

S olo si. En efecto, sea b un divisor de a. Entonces, seg un la nota anterior, b ser a de la forma
j s b = pi 1 p2 pk , con 0

1 , 0

2 0

luego b es uno de los t erminos del producto

k 1 2 2 2 (1 + p1 + p2 1 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + pk + + pk )

Si. Rec procamente, cada t ermino del producto

k 1 2 2 2 (1 + p1 + p2 1 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + pk + + pk )

es de la forma:
j s pi 1 p2 pk con 0

1 , 0

2 0

luego, de nuevo por la nota anterior, es un divisor de a.

Ejemplo 11.15 Veamos una forma pr actica y sencilla de calcular todos los divisores de un n umero. Calcularemos los de 720. Soluci on Seg un un ejemplo anterior 720 = 24 32 5 entonces los divisores de 720 ser an los t erminos del producto (1 + 2 + 22 + 23 + 24 )(1 + 3 + 32 )(1 + 5) = (1 + 2 + 4 + 8 + 16)(1 + 3 + 32 )(1 + 5) y una forma pr actica de calcularlos todos es la siguiente tabla: 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 umero de Divisores de un N umero Compuesto

k 1 2 Si a un n umero entero tal que |a| > 1 y a = p on en factores primos, 1 p2 pk es su descomposici entonces el n umero de divisores de a es

Na = (1 + 1)(2 + 1) (k + 1) Demostraci on En efecto, seg un el teorema anterior los divisores de a son los sumandos del producto
k 1 2 2 2 (1 + p1 + p2 1 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + pk + + pk )

333

Universidad de C adiz

Departamento de Matem aticas

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

Ejemplo 11.16

En un ejemplo anterior, 720 = 24 32 5

luego el n umero de divisores de 720 es N720 = (4 + 1)(2 + 1)(1 + 1) = 30

Ejemplo 11.17 Determinar dos enteros positivos cuyo m aximo com un divisor es 18, sabiendo que uno de ellos tiene 21 divisores y el otro tiene 10. Soluci on Sean a y b los n umeros que buscamos. Por el corolario 11.3.5, existir an p1 , p2 , . . . , pk y q1 , q2 , . . . , qm , primos distintos y i 1, 1 i k , j 1, 1 j m, enteros, con p1 < p2 < < pk y q1 < q2 < < qm tales que k 1 2 a = p 1 p2 pk y
1 2 m b = q1 q2 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, u nicamente, dos factores. Si tenemos en cuenta que los i no pueden ser cero, las opciones v alidas 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 v alidas son (1 + 1)(2 + 1) = 2 5 o (1 + 1)(2 + 1) = 5 2 Por lo tanto tenemos dos opciones posibles para a y b,
6 a = p2 1 p2 2 o a = p6 1 p2

= 1 = 1 y 2 = 4

= 1 = 4 y 2 = 1.

y
4 b = q1 q2 4 o b = q1 q2

334

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

Por otra parte, el m aximo com un divisor de a y b es 18, luego a y b son divisibles por 18 y por 11.4.1 a y b han de tener, al menos, todos los factores primos de 18 con exponentes iguales o mayores y, dado que la descomposici on en factores primos de 18 es 2 32 , tendremos que p1 = q1 = 2, p2 = q2 = 3 y, por 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 opci on no es v alida. 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 opci on es la soluci on. As pues, los n umeros buscados son: 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 umero Compuesto

k 1 2 Si a un n umero entero de valor absoluto es mayor que 1 y a = p on 1 p2 pk es su descomposici en factores primos, entonces la suma de todos sus divisores es 2 +1 1 +1 pk +1 1 p 1 p2 1 1 k p1 1 p2 1 pk 1

S= Demostraci on

Seg un vimos en 11.4.3, los divisores de a son los sumandos del producto,
k 1 2 2 2 (1 + p1 + p2 1 + + p1 )(1 + p2 + p2 + + p2 ) (1 + pk + pk + + pk )

335

Universidad de C adiz luego, la suma buscada viene dada por: S = S1 S2 Sk donde,

i Si = (1 + pi + p2 i + + pi ), 1

Departamento de Matem aticas

que es la suma de los t erminos de una progresi on geom etrica de raz on pj . Entonces,
i S i = 1 + p i + p2 i + + pi =
i p pi +1 1 i pi 1 = i pi 1 pi 1

y lo mismo puede hacerse con todos los dem as factores. Ejemplo 11.18 Soluci on 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 n umero entero a que no tiene m as factores primos que 2, 5 y 7, sabiendo que 5a tiene 8 divisores m as que a y que 8a tiene 18 divisores m as que a. Calcular tambi en la suma de todos los divisores de a. Soluci on Sean 1 , 2 y 3 las veces que se repiten, respectivamente, los factores primos 2, 5 y 7 en la factorizaci on 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 n umero de divisores de a, 5a y 8a es, respectivamente, Na N 5a N 8a y por los datos del enunciado, N 5a N 8a 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)

Matem atica Discreta Entonces, (1 + 1)(3 + 1)(2 + 2 2 1) (2 + 1)(3 + 1)(1 + 4 1 1) = = 8 18 = =

Francisco Jos e Gonz alez Guti errez

(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 n umero pedido es: 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 n umero entero positivo tiene 2 factores primos y 8 divisores. La suma de los divisores es 320. Hallar el n umero. Soluci on Sea a el n umero buscado, sean p1 y p2 sus factores primos y 1 , 2 el n umero de veces que se repiten. Entonces, 1 2 a = p 1 p2 y (1 + 1)(2 + 1) = 8 De la segunda ecuaci on se sigue que 1 + 1 y 2 + 1 son dos divisores de 8 tales que su producto es 8. 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 u ltima. 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 amos 2 y al ser 320 la suma de sus divisores, tendr
3 (1 + p1 )(1 + p2 + p2 2 + p2 ) = 320 3 luego 1 + p1 y 1 + p2 + p2 2 + p2 son divisores de 320 cuyo producto es 320. Como los divisores de 320 son

1 5

2 10

4 20

8 40

16 80

32 160

64 320

las opciones posibles, emparej andolos para que su producto sea 320, ser an 337

Universidad de C adiz 1 + p1
3 1 + p2 + p2 2 + p2

Departamento de Matem aticas 1 320 2 160 4 80 8 40 16 20 3 32 10 64 5

Ahora bien, p1 es primo = p1 2 = 1 + p1 luego las dos primeras columnas no pueden ser soluci on del problema. Tambi en, p2 es primo = p2
3 2 = 1 + p2 + p2 2 + p2

15

y, por tanto, las dos u ltimas columnas tampoco son v alidas. Por otra parte p1 + 1 = 16 = p1 = 15 lo cual es imposible ya que p1 es primo, luego podemos eliminar, tambi en, la quinta columna. Adem as,
3 1 + p 2 + p2 p2 (1 + p2 + p2 2 + p2 = 80 = 2 ) = 79

luego p2 ser a un divisor de 79 que es primo. As pues, tambi en podemos prescindir de la tercera columna y, consecuentemente, nos quedar a como u nica opci on posible 1 + p1 = 8 y
3 1 + p2 + p2 2 + p2 = 40

es decir, p1 = 7 y p2 = 3 y, en tal caso, la soluci on ser a a = 7 33 = 189 1 = 3 y 2 = 1. En este caso, a = p3 amos 1 p2 y al ser 320 la suma de sus divisores, tendr
3 (1 + p1 + p2 1 + p1 )(1 + p2 ) = 320 3 luego 1 + p1 y 1 + p2 + p2 aloga 2 + p2 son divisores de 320 cuyo producto es 320. Procediendo de forma an al caso anterior:

1 + p2
3 1 + p1 + p2 1 + p1

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 soluci on ser a a = 33 7 = 189

Ejemplo 11.21 Un n umero tiene 24 divisores, su mitad 18 divisores y su triple 28 divisores. Hallar el n umero y sus divisores. Soluci on Sea a el n umero buscado y supongamos que su descomposici on en factores primos es
k 1 2 3 a = p 1 p2 p3 pk .

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, k 2 3 a = 21 p 2 p3 pk y a k 2 3 = 21 1 p 2 p3 pk . 2 338

Matem atica Discreta Entonces, Na = 24 y

Francisco Jos e Gonz alez Guti errez

= (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,

k 2 3 a = 23 p 2 p3 pk

y si ninguno de los restantes factores primos es 3, entonces,

k 2 3 a = 2 3 p 2 p3 pk 3

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 descomposici on de a, digamos p2 , ha de ser 3. Entonces,
k 3 a = 23 32 p 3 pk

y
k 3 3a = 23 32 +1 p 3 pk

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 s olo factor resultando, en consecuencia, 2 + 2 = 7 = 2 = 5 es decir el n umero pedido es a = 23 35 = 8 243 = 1944. Veamos cuales son los divisores de este n umero. 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 n umeros que aparecen en la tabla.

11.5

M etodo para el C alculo del M aximo Com un Divisor y el M nimo Com un M ultiplo

En este apartado estableceremos un m etodo alternativo al algoritmo de Euclides para el c alculo del m aximo com un divisor de dos n umeros. Est a basado en el Teorema fundamental de la aritm etica. 339

Universidad de C adiz

Departamento de Matem aticas

11.5.1

Lema
0

Dados dos n umeros enteros a y b, pueden encontrarse k n umeros primos p1 , p2 , . . . , pk y enteros i y i 0, 1 i k tales que k 1 2 a = p 1 p2 pk y k 1 2 b = p 1 p2 pk siendo p1 < p2 < < pk . Demostraci on La descomposici on de a y b se sigue directamente del corolario 11.3.5.

Si hay alg un factor primo de a que no lo sea de b se introduce en la factorizaci on de este con exponente cero y an alogamente se hace con los factores de b que no lo sean de a. Ejemplo 11.22 Soluci on Descomponer a = 270 y b = 368 en factores primos seg un el lema anterior.

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 a escribir, 270 = 22 32 5 230 368 = 24 30 50 23 para tener los n umeros en la forma descrita en el lema.

11.5.2

Teorema

Sean a y b dos enteros positivos. d es el m aximo com un divisor de a y b si, y s olo si d es igual al producto de los factores primos de ambos elevados a los menores exponentes con que aparezcan en la descomposici on. Demostraci on Por el lema anterior, pueden encontrarse n umeros primos pi y enteros i 340 0, i 0, 1 i k tales

Matem atica Discreta que

k 1 2 a = p 1 p2 pk y k 1 2 b = p 1 p2 pk

Francisco Jos e Gonz alez Guti errez

S olo si. En efecto, supongamos que d es el m aximo com un de a y b. Entonces, d tendr a que ser un divisor de a y b luego por el criterio general de divisibilidad (11.4.1) tendr a todos los factores primos de a y de b con exponentes iguales o menores, es decir, ser a de la forma:
k 1 2 d = p 1 p2 p 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 m aximo de los divisores comunes de a y de b, i = min {i , i } , 1 Si. Supongamos ahora que
k 1 2 d = p 1 p2 p k

con i = min {i , i } , 1

k . Entonces,

1. d|a y d|b. En efecto, bastar a observar que a y b tienen todos los factores primos de d con exponentes iguales o mayores y aplicar el criterio general de divisibilidad (11.4.1). 2. d es el m aximo. En efecto, si c es otro divisor de a y b, entonces por 11.4.1, tendr a todos los factores primos de a y b con exponentes iguales o menores, es decir c tendr a la forma:
k 1 2 c = p 1 p2 pk

con i i y i i , 1 i k , luego i consecuentemente, d es el m aximo.

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 com un m ultiplo de a y b si, y s olo si m es igual al producto de los factores primos de ambos elevados a los mayores exponentes con que aparezcan en la descomposici on. Demostraci on De acuerdo con el lema 11.5.1, podremos encontrar n umeros primos pi y enteros i tales que k 1 2 a = p 1 p2 pk y k 1 2 b = p 1 p2 pk 0, i 0, 1 i k

S olo si. En efecto, si m es el m nimo com un m ultiplo de a y b, entonces ser a m ultiplo de a y m ultiplo de b luego por el criterio general de divisibilidad (11.4.1) tendr a todos los factores primos de a y de b con exponentes iguales o mayores, es decir, ser a de la forma:
k 1 2 m = p 1 p2 p k

341

Universidad de C adiz siendo i i y i i para 1 i i k , o sea, max {i , i } , 1 i k

Departamento de Matem aticas

y como m ha de ser el m nimo de los m ultiplos comunes de a y de b, i = max {i , i } , 1 Si. Rec procamente, sea
k 1 2 m = p 1 p2 p k

con i = max {i , i } , 1

k . Entonces,

1. a|m y b|m. En efecto, bastar a observar que a y b tienen todos los factores primos de m con 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 m ultiplo de a y b, entonces por 11.4.1, tendr a todos los factores primos de a y b con exponentes iguales o mayores, es decir c tendr a la forma:
k 1 2 c = p 1 p2 pk

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 Soluci on

Calcular el m aximo com un divisor de 2340 y 8248.

Descomponemos ambos n umeros en factores primos 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