MA14 - Unidade 10 Expresses Binmias Semana de 12/09 a 18/09

Nesta seo, mostraremos como calcular o mdc de pares de nmeros da forma an 1, mediante o uso do Algoritmo de Euclides. O resultado a seguir nos permitir calcular o mdc de elementos de sequncias de nmeros naturais cujos elementos possuem propriedades aritmticas especiais. Proposio 1. Dada uma sequncia (an )n tal que m n, (am , an ) = (an , ar ), onde r o resto da diviso de m por n, ento tem-se que (am , an ) = a(m,n) . Demonstrao Sejam r1 , r2 , . . . , rs , rs+1 = 0 os restos parciais no Algoritmo de Euclides; logo, rs = (m, n). Portanto, pela propriedade de (an )n , (am , an ) = (an , ar1 ) = = (ars , ars+1 ) = (ars , 0) = a(m,n) . 2

2 MA 14 Unidade 10 O uso da Proposio acima nos permitir provar o resultado a seguir. Proposio 2. Se n, m, a N , com a 2, ento (am 1, an 1) = ad 1, onde d = (m, n).

Demonstrao De fato, se m n, pela diviso euclidiana podemos escrever m = nq + r, onde r o resto da diviso de m por n. Como am 1 = anq+r 1 = ar (anq 1) + ar 1, e como an 1|anq 1 (Proposio 7, Unidade 1), segue-se, pelo Lema de Euclides, que (am 1, an 1) = (ar (anq 1) + ar 1, an 1) = (an 1, ar 1). O resultado segue-se, agora, da Proposio 1, pondo an = an 1. 2 Para calcular (am 1, an 1) nos outros casos, necessitaremos de alguns lemas. Lema 1. Sejam a, m, n, q, r N, com a 2, tais que n = mq + r; ento (an + 1, am 1) = (am 1, ar + 1) Demonstrao Como am 1|amq 1 (Proposio 7, Unidade 1), e como an + 1 = amq+r + 1 = ar (amq 1) + ar + 1, o resultado segue-se pelo Lema de Euclides. 2 Lema 2. Sejam a, m, n, q, r N, com a 2, tais que m = nq + r, ento n r se q par (a + 1, a 1), m n (a 1, a + 1) = n (a + 1, ar + 1), se q mpar

Expresses Binmias

Demonstrao Se q par, an + 1|anq 1 (Proposio 9, Unidade 1), e como am 1 = anq+r 1 = ar (anq 1) + ar 1, decorre do Lema de Euclides que (an + 1, am + 1) = (an + 1, ar 1). Se q mpar, temos que an + 1|anq + 1 (Proposio 8, Unidade 1), e como am 1 = anq+r 1 = ar (anq + 1) ar 1, segue-se da Observao 1, Unidade 5, que (an + 1, am + 1) = (an + 1, ar + 1). 2 Lema 3. Sejam a N e m, n, q, r N, tais que m = nq + r, ento n r se q par (a + 1, a + 1), m n (a + 1, a + 1) = n (a + 1, ar 1), se q mpar Demonstrao Se q par, an + 1|anq 1 (Proposio 9, Unidade 1), e como am + 1 = anq+r + 1 = ar (anq 1) + ar + 1, segue-se do Lema de Euclides que (an + 1, am + 1) = (an + 1, ar + 1). Se q mpar, an + 1|anq + 1 (Proposio 8, Unidade 1), e como am + 1 = anq+r + 1 = ar (anq + 1) ar + 1, decorre da Observao 1, Unidade 5, que (an + 1, am + 1) = (an + 1, ar 1).

4 MA 14 Unidade 10 2 Proposio 3. Sejam n, m N , com n|m e (am + 1, an + 1) = m par. Se a N , ento, n

1, se a par 2, se a mpar

Demonstrao De fato, basta aplicar o Lema 3, na situao em que q (= m ) par e r = 0. n 2 Corolrio. Se n = m, ento, (22 + 1, 22 + 1) = 1. Os resultados acima nos permitem deduzir o seguinte teorema: Teorema 1. Se a, n, m N , com a 2, ento, (am 1, an 1) = a(m,n) 1 e (am 1, an + 1) pode apenas assumir um dos seguintes valores: 1, 2 ou a(m,n) + 1. Demonstrao De fato, a primeira igualdade acima segue-se da Proposio 2. Por outro lado, segue-se dos lemas acima que (am 1, an + 1) s pode ser igual a um dos seguintes nmeros: (a(m,n) + 1, a0 + 1), (a(m,n) + 1, a0 1), ou (a(m,n) 1, a0 + 1). Portanto, (am 1, an + 1) s pode assumir os valores: 1, 2 ou a(m,n) + 1. 2 Exemplo 1. Note que 22 1|23 + 1. Vamos mostrar que, dados n, m N , com m > 2, ento, 2m 1 |2n + 1. Dado que 2n + 1 e 2m 1 so mpares, pelo Teorema 1 segue-se que (2n + 1, 2m 1) s pode assumir os valores 1 ou 2(n,m) + 1. Se 2m 1|2n + 1, teramos que 2m 1 = 1 ou 2m 1 = 2(n,m) + 1. A primeira possibilidade s ocorreria se m = 1, o que vedado pela hiptese. Se a segunda possibilidade ocorresse, teramos 2m1 = 2(n,m)1 + 1, o que implicaria que (n, m) = 1 e m = 2, tambm vedado por hiptese.
n m

Expresses Binmias

Os seguintes dois corolrio dos Teorema 1 nos permitiro determinar os nmeros (am 1, an + 1) em todos os casos Corolrio 1. Tem-se que
[m, n] mpar a(n,m) + 1, se (m, n) [m, n] m n 2, se par e a mpar (a + 1, a + 1) = (m, n) [m, n] e a so pares 1, se (m, n)

Demonstrao Note que o resultado trivialmente vericado se a = 0 ou a = 1. Assumiremos, portanto, a 2. Pelo Teorema 1 temos que (am + 1, an + 1) s pode assumir os valores 1, 2 e a(m,n) + 1; e, portanto, (am + 1, an + 1) = a(m,n) + 1, se, e somente se, a(m,n) + 1 divide am + 1 e an + 1. m n Escrevendo m = (m, n) e n = (m, n) , temos, pela Proposio (m, n) (m, n) 8, Unidade 1, e pelo Exemplo 2, Unidade 5, que a(m,n) +1 divide am +1 e an +1 m n se, e somente se, e so mpares, o que ocorre se, e somente se, (m, n) (m, n) o seu produto mpar; ou seja, se, e somente se, mpar o nmero n [m, n] m = . (m, n) (m, n) (m, n) O resultado segue-se, pois o restante da prova trivial. 2 Corolrio 2. Se a N , tem-se que
m n a(n,m) + 1, se par e mpar (m, n) (m, n) m n (a 1, a + 1) = 2, caso contrrio e a mpar 1, caso contrrio e a par

6 MA 14 Unidade 10

Demonstrao Note que o resultado trivialmente vericado se a = 1. Assumiremos, portanto, a 2. Pelo Teorema 1 temos que (am 1, an + 1) s pode assumir os valores 1, 2 e a(m,n) + 1; e, portanto, (am 1, an + 1) = a(m,n) + 1, se, e somente se, a(m,n) + 1 divide am 1 e an + 1. n m e n = (m, n) , temos, pela Proposio Escrevendo m = (m, n) (m, n) (m, n) 8, Unidade 1, e pelo Exemplo 2, Unidade 5, que a(m,n) + 1 divide an + 1 se, e n mpar. Por outro lado, pela Proposio 9, Unidade 1, e somente se, (m, n) pelo Exemplo 3, Unidade 5, tem-se que a(m,n) + 1 divide am 1 se, e somente m se, par. (m, n) O resultado segue-se, pois o restante da prova trivial. 2

Problemas 1. Sejam a, m, n N . Mostre que an 1|am 1 se, e somente se, n|m. m mpar. Se a N , mostre que 2. Sejam n, m N com n|m e n (am + 1, an + 1) = an + 1. 3. Sejam a, m, n N , com m > n. Mostre que a2 1, a2 + 1 = a2 + 1. 4. Calcule a) (5202 + 1, 574 + 1)
m n n

b) (36497 + 1, 36210 + 1)

c) (3144 1, 378 + 1)

5. Seja (Mn )n a sequncia denida por Mn = 2n 1. Mostre que 3|Mn se, e somente se, n par.