lgebra I Divisibilidade

20

Problema. O conjunto dos nmeros primos infinito? A resposta a essa pergunta aparece na obra de Euclides, num teorema cuja demonstrao considerada at hoje, como um modelo de raciocnio matemtico. Teorema. O conjunto dos nmeros primos infinito. Demonstrao. Suponhamos que o conjunto dos primos seja finito e sejam p1, p2 , p3, ...,pn esses primos. Consideremos ento o seguinte nmero: P = p1.p2.p3...pn + 1. Pelo lema anterior segue que P possui um divisor primo pi, e como o conjunto dos primos finito, segue que pi um dos elementos do conjunto {p1, p2 , p3, ...,pn}. Assim, segue que pi divide o produto p1.p2.p3...pn . Ento temos que pi |(p1.p2.p3...pn) e pi | P pi | (P p1.p2.p3...pn), mas P p1.p2.p3...pn = 1, assim segue que pi | 1 pi = 1, o que um absurdo, pois pi primo. (c.q.d) 3.6 Mximo divisor comum Sendo a um nmero inteiro, denotaremos por D(a) o conjunto dos divisores positivos de a. Exemplo: D(12) = {1 , 2, 3, 4, 6, 12} e D(15) = {1,3, 5, 15} Definio. Chama-se mximo divisor comum de a e b, o maior de seus divisores comuns. O mximo divisor comum de a e b ser denotado por mdc(a,b). Exemplo: D(12) D(15) = {1,3}, logo mdc(12,15) = 3. 3.6.1 Algoritmo de Euclides O algoritmo de Euclides um dispositivo prtico para determinar o mdc de dois inteiros. Esse dispositivo aparece no stimo livro dos Elementos de Euclides e baseado no seguinte teorema: Teorema. Sejam a, b inteiros, b 0, e sejam q e r o quociente e o resto da diviso de a por b. Ento, mdc(a,b) = mdc(b,r). Demonstrao. Sejam x = mdc(a,b) e y = mdc(b,r). Vamos mostrar que x = y. Lembrando que a = bq + r temos: x = mdc(a,b) x | a e x |b x | (a bq) x | r . Logo, x | b e x | r. Agora, como y = mdc(b,r) segue que x y. (1) Por outro lado, se y = mdc(b,r) temos: y|b e y|r y | (bq + r) y | a. Assim, y | a e y | b. Agora,como x = mdc(a,b) segue que y x. (2) De (1) e (2) segue que x = y. (c.q.d)

Prof. Robson Rodrigues da Silva

21

Observao. Utilizando o resultado anterior podemos determinar mdc(a,b) fazendo divises sucessivas. Exemplo: Calcule mdc(336, 120) = 24 quociente 336 resto 2 120 96 1 96 24 4 24 0

Definio. Sejam a e b dois inteiros. Dizemos que a e b so primos entre si, se e somente se, mdc(a,b) = 1. 3.6.2 Resoluo de problemas envolvendo mdc. Um lojista dispe de trs peas de um mesmo tecido, cujos comprimentos so 48 m, 60 m e 80 m. Nas trs peas o tecido tem a mesma largura. Deseja-se vender o tecido em retalhos iguais, cada um tendo a largura das peas e o maior comprimento possvel, de modo a utilizar todo o tecido das peas. Quantos retalhos ele dever obter? 3.7 Mnimo mltiplo comum Sendo a um inteiro, denotaremos por M(a) o conjunto dos mltiplos positivos de a. Exemplo. M(3) = {3,6,9,12,15,...} M(4) = {4,8,12,16, ...} Definio. Chama-se mnimo mltiplo comum de a e b, ao menor dos seus mltiplos comuns. O mnimo mltiplo comum de a e b ser denotado por mmc(a,b). Exemplo. M(3)M(4) = {12, 24,...}, logo mmc(3,4) = 12. Observao. O mmc de dois inteiros pode ser calculado atravs da decomposio em fatores primos. Exemplo. Calcule o mmc(24,60) 3.7.1 Resoluo de problemas envolvendo o mmc. Os planetas Jpiter, Saturno e Urano tm perodos de revoluo em torno do Sol de aproximadamente 12, 30 e 84 anos, respectivamente. Quanto tempo decorrer, depois de uma observao, para que eles voltem a ocupar simultaneamente as mesmas posies em que se encontravam no momento da observao?