MA14 - Unidade 5 Mximo Divisor Comum Semana de 22/08 a 28/08

Os conceitos e resultados contidos nesta unidade encontram-se, em sua maioria, no Livro VII dos Elementos de Euclides. notvel a sua atualidade, apesar dos quase dois milnios e meio que nos separam de sua criao. Dados dois nmeros naturais a e b, no simultaneamente nulos, diremos que o nmero natural d N um divisor comum de a e b se d|a e d|b. Por exemplo, os nmeros 1, 2, 3 e 6 so os divisores comuns de 12 e 18. A denio que se segue exatamente a denio dada por Euclides nos Elementos e se constitui em um dos pilares da sua aritmtica. Diremos que d um mximo divisor comum (mdc) de a e b se possuir as seguintes propriedades: i) d um divisor comum de a e de b, e ii) d divisvel por todo divisor comum de a e b. A condio (ii) acima pode ser reenunciada como se segue:

2 MA 14 Unidade 5 ii ) Se c um divisor comum de a e b, ento c|d. Portanto, se d um mdc de a e b e c um divisor comum desses nmeros, ento c d. Isto nos mostra que o mximo divisor comum de dois nmeros efetivamente o maior dentre todos os divisores comuns desses nmeros. Em particular, isto nos mostra que, se d e d so dois mdc de um mesmo par de nmeros, ento d d e d d, e, conseqentemente, d = d . Ou seja, o mdc de dois nmeros, quando existe, nico. O mdc de a e b, quando existe (veremos mais adiante que sempre existe o mdc de dois nmeros naturais no simultaneamente nulos), ser denotado por (a, b). Como o mdc de a e b no depende da ordem em que a e b so tomados, temos que (a, b) = (b, a). Em alguns casos particulares, facil vericar a existncia do mdc. Por exemplo, se a e b so nmeros naturais, tem-se claramente que (0, a) = a, (1, a) = 1 e que (a, a) = a. Mais ainda, temos que a|b (a, b) = a. (1)

De fato, se a|b, temos que a um divisor comum de a e b, e, se c um divisor comum de a e b, ento c divide a, o que mostra que a = (a, b). Reciprocamente, se (a, b) = a, segue-se que a|b. A demonstrao da existncia do mdc de qualquer par de nmeros naturais, no ambos nulos, bem mais sutil. Poder-se-ia, como se faz usualmente no Ensino Fundamental, denir o mximo divisor comum de dois nmeros a e b como sendo o maior elemento do conjunto de todos os divisores comuns desses nmeros, o que de imediato garantiria a sua existncia. De qualquer modo, seria necessrio provar a propriedade (ii) da denio de mdc, pois ela que possibilita provar os resultados subseqentes, e no o fato do mdc ser o maior dos divisores comuns. Para provar a existncia do mximo divisor comum, Euclides utiliza, essencialmente, o resultado abaixo.

Mximo Divisor Comum

Lema 1 (Lema de Euclides). Sejam a, b, n N com a < na < b. Se existe (a, b na), ento (a, b) existe e (a, b) = (a, b na). Demonstrao Seja d = (a, b na). Como d|a e d|(b na), segue que d divide b = b na + na. Logo, d um divisor comum de a e b. Suponha agora que c seja um divisor comum de a e b; logo, c um divisor comum de a e b na e, portanto, c|d. Isso prova que d = (a, b). 2 Observao 1 Com a mesma tcnica usada na prova do Lema de Euclides, poder-se-ia provar que, para todos a, b, n N, (a, b) = (a, b + na), ou que, se na > b, ento (a, b) = (a, na b). O Lema de Euclides efetivo para calcular mdc, conforme veremos nos exemplos a seguir, e ser fundamental para estabelecermos o algoritmo de Euclides, que permitir, com muita ecincia, calcular o mdc de dois nmeros naturais quaisquer. Exemplo 1. Dados a, m N com a > 1, temos que am 1 ,a 1 a1 = (a 1, m).

De fato, chamando de d o primeiro membro da igualdade, temos, pelo Problema 8(a), Unidade 1, que d = (am1 + am2 + + a + 1, a 1) = (am1 1) + (am2 1) + + (a 1) + m, a 1 .

4 MA 14 Unidade 5 Como, pela Proposio 7, Unidade 1, temos que a 1|(am1 1) + (am2 1) + + (a 1), segue-se que (am1 1) + (am2 1) + + (a 1) = n(a 1) para algum n N, e, portanto, pela Observao 1, tem-se que d = (n(a 1) + m, a 1) = (a 1, n(a 1) + m) = (a 1, m). Exemplo 2. Vamos, neste exemplo, determinar os valores de a e n para os quais a + 1 divide a2n + 1. Note inicialmente que a + 1|a2n + 1 (a + 1, a2n + 1) = a + 1. Como a2n + 1 = (a2n 1) + 2, e a + 1|a2n 1 (veja Proposio 9, Unidade 1), segue-se, pela Observao 1, que para todo n, (a + 1, a2n + 1) = (a + 1, (a2n 1) + 2) = (a + 1, 2). Portanto, a + 1|a2n + 1, para algum n N, se, e somente se, a + 1 = (a + 1, 2), o que ocorre se, e somente se, a = 0 ou a = 1. Exemplo 3. Vamos, neste exemplo, determinar os valores de a e n para os quais a + 1 divide a2n+1 1. Note que (a + 1, a2n+1 1) = (a + 1, a(a2n 1) + a 1) = (a + 1, a 1). Portanto, a + 1|a2n+1 1, para algum n N, se, e somente se, a + 1 = (a + 1, a2n+1 1) = (a + 1, a 1), o que ocorre se, e somente se, a = 1.

Mximo Divisor Comum

5 Algoritmo de Euclides

A seguir, apresentaremos a prova construtiva da existncia do mdc dada por Euclides (Os Elementos, Livro VII, Proposio 2). O mtodo, chamado de Algoritmo de Euclides, um primor do ponto de vista computacional e pouco conseguiu-se aperfeio-lo em mais de dois milnios. Dados a, b N, podemos supor a b. Se a = 1 ou a = b, ou ainda a|b, j vimos que (a, b) = a. Suponhamos, ento, que 1 < a < b e que a | b. Logo, pela diviso euclidiana, podemos escrever b = aq1 + r1 , com r1 < a.

Temos duas possibilidades: a) r1 |a, e, em tal caso, por (1) e pelo Lema 1, r1 = (a, r1 ) = (a, b q1 a) = (a, b), e termina o algoritmo, ou b) r1 | a, e, em tal caso, podemos efetuar a diviso de a por r1 , obtendo a = r 1 q2 + r 2 , com r2 < r1 .

Novamente, temos duas possibilidades: a ) r2 |r1 , e, em tal caso, novamente, por (1) e pelo Lema 1, r2 = (r1 , r2 ) = (r1 , a q2 r1 ) = (r1 , a) = (b q1 a, a) = (b, a) = (a, b), e paramos, pois termina o algoritmo, ou b ) r2 | r1 , e, em tal caso, podemos efetuar a diviso de r1 por r2 , obtendo r 1 = r 2 q3 + r 3 , com r3 < r2 .

Este procedimento no pode continuar indenidamente, pois teramos uma seqncia de nmeros naturais a > r1 > r2 > que no possui menor elemento, o que no possvel pela Propriedade da Boa Ordem. Logo, para algum n, temos que rn |rn1 , o que implica que (a, b) = rn .

6 MA 14 Unidade 5 O algoritmo acima pode ser sintetizado e realizado na prtica, como mostramos a seguir. Inicialmente, efetuamos a diviso b = aq1 + r1 e colocamos os nmeros envolvidos no seguinte diagrama: q1 a

b r1

A seguir, continuamos efetuando a diviso a = r1 q2 + r2 e colocamos os nmeros envolvidos no diagrama q1 q2 a r1 r2

b r1

Prosseguindo, enquanto for possvel, teremos q1 q2 q3 qn1 qn qn+1 a r1 r2 rn2 rn1 rn = (a, b) r2 r3 r 4 rn

b r1

Exemplo 4. Calculemos o mdc de 372 e 162: 2 3 2 1 2 372 162 48 18 12 6 48 18 12 6 Observe que, no exemplo acima, o Algoritmo de Euclides nos fornece: 6 = 18 1 12 12 = 48 2 18 18 = 162 3 48 48 = 372 2 162 Donde se segue que 6 = 18 1 12 = 18 1 (48 2 18) = 3 18 48 =

Mximo Divisor Comum

3 (162 3 48) 48 = 3 162 10 48 = 3 162 10 (372 2 162) = 23 162 10 372. Temos, ento, que (372, 162) = 6 = 23 162 10 372. Note que conseguimos, atravs do uso do Algoritmo de Euclides, de trs para frente, escrever 6 = (372, 162) como mltiplo de 162 menos um mltiplo de 372. O Algoritmo de Euclides nos fornece, portanto, um meio prtico de escrever o mdc de dois nmeros como diferena entre dois mltiplos dos nmeros em questo. Esta uma propriedade geral do mdc que redemonstraremos com todo rigor na prxima seo. Problemas 1 Para cada par de nmeros naturais a e b dados abaixo, ache (a, b) e determine nmeros naturais m e n tais que (a, b) = na mb ou (a, b) = mb na. a) 637 e 3887 d) 7325 e 8485 b) 648 e 1218 c) 551 e 874 e) 987654321 e 123456789 b) (n + 1, n2 + n + 1) = 1 d) (n! + 1, (n + 1)! + 1) = 1

2 Seja n N. Mostre que a) (n, 2n + 1) = 1 c) (2n + 1, 9n + 4) = 1

3 Mostre que (a, a + b)|b, quaisquer que sejam a, b N. 4 Dados a, m N com a 1, mostre que a)
a2m 1 ,a + 1 a+1 240 + 1 8 ,2 + 1 28 + 1 = (a + 1, 2m) b) a2m+1 + 1 ,a + 1 a+1 = (a + 1, 2m + 1)

5 Calcule a)
b) 250 + 1 10 ,2 + 1 210 + 1