Вы находитесь на странице: 1из 7

MA14 - Unidade 1 Divisibilidade Semana de 08/08 a 14/08

Neste curso, consideraremos o conjunto dos nmeros naturais como sendo o conjunto N = {0, 1, 2, 3, . . . }, denotando por N o conjunto N \ {0}. Como a diviso de um nmero natural por outro nem sempre possvel, expressa-se esta possibilidade atravs da relao de divisibilidade. Quando no existir uma relao de divisibilidade entre dois nmeros, veremos que, ainda assim, ser possvel efetuar uma diviso com resto pequeno, chamada de diviso euclidiana. O fato de sempre ser possvel efetuar tal diviso responsvel por inmeras propriedades dos naturais que exploraremos nesta e nas prximas unidades. Uma observao importante sobre este curso: trabalharemos exclusivamente com a aritmtica dos nmeros naturais, pois de certa forma isto simplicar algumas provas, sem perder nenhum fato relevante da teoria. Portanto, s consideraremos diferenas a b quando a b.

2 MA 14 Unidade 1

Divisibilidade
Dados dois nmeros naturais a e b com a = 0, diremos que a divide b, escrevendo a|b, quando existir c N tal que b = a c. Neste caso, diremos tambm que a um divisor ou um fator de b ou, ainda, que b um mltiplo de a. Observe que a notao a|b no representa nenhuma operao em N, nem representa uma frao. Trata-se de uma sentena que diz ser verdade que existe c tal que b = ac. A negao dessa sentena representada por a | b, sigicando que no existe nenhum nmero natural c tal que b = ac. Exemplo 1. 1|0, 2|0; 1|6, 2|6, 3|6, 6|6; 1|3, 3|3; 3 | 4; 2 | 5. Suponha que a|b e seja c N tal que b = ac. O nmero natural c b chamado de quociente de b por a e denotado por c = . a Por exemplo, 0 = 0, 1 0 = 0, 2 6 = 6, 1 6 = 3, 2 6 = 2, 3 6 = 1. 6

Estabeleceremos a seguir algumas propriedades da divisibilidade. Proposio 1. Sejam a, b N e c N. Tem-se que i) 1|c, a|a e a|0. ii) se a|b e b|c, ento a|c. Demonstrao (i) Isto decorre das igualdades c = 1 c, a = a 1 e a 0 = 0. (ii) a|b e b|c implica que existem f, g N, tais que b = a f e c = b g . Substituindo o valor de b da primeira equao na outra, obtemos c = b g = (a f ) g = a (f g ), o que nos mostra que a|c. 2

Divisibilidade

O item (i) da proposio acima nos diz que todo nmero natural divisvel por 1 e, se no nulo, por si mesmo. Proposio 2. Se a, b, c, d N, com a = 0 e c = 0, ento a|b e c|d = a c|b d. Demonstrao Se a|b e c|d, ento f, g N, b = a f e d = c g . Portanto, b d = (a c)(f g ), logo, a c|b d. 2 Em particular, se a|b, ento a c|b c, para todo c N . Proposio 3. Sejam a, b, c N, com a = 0, tais que a|(b + c). Ento a|b a|c. Demonstrao Como a|(b + c), existe f N tal que b + c = f a. Agora, se a|b, temos que existe g N tal que b = a g . Juntando as duas igualdades acima, temos a g + c = f a = a f, donde segue-se que a f > a g , e, consequentemente, f > g . Portanto, da igualdade acima, obtemos c = a f a g = a (f g ), o que implica que a|c, j que f g N. A prova da outra implicao totalmente anloga. 2 A proposio a seguir tem uma demonstrao muito semelhante da proposio anterior e ser deixada como exerccio.

4 MA 14 Unidade 1 Proposio 4. Sejam a, b, c N, com a = 0 e b c, tais que a|(b c). Ento a|b a|c. Proposio 5. Se a, b, c N, com a = 0, e x, y N so tais que a|b e a|c, ento a|(xb + yc); e se xb yc, ento a|(xb yc). Demonstrao a|b e a|c implicam que existem f, g N tais que b = af e c = ag . Logo, xb yc = x(af ) y (ag ) = a(xf yg ), o que prova o resultado, pois, nas condies dadas, xf yg N. 2 Proposio 6. Dados a, b N , temos que a|b = a b. Demonstrao De fato, se a|b, existe c N tal que b = ac. Como c 1, segue-se que a ac = b. 2 Em particular, se a|1, ento a 1 e, portanto, a = 1. Claramente, a recproca da Proposio 6 no vlida, pois, por exemplo, 3 2; e, no entanto, 2 no divide 3. Note que a relao de divisibilidade em N uma relao de ordem, pois i) reexiva: a N , a|a. (Proposio 1(i)), ii) transitiva: se a|b e b|c, ento a|c. (Proposio 1(ii)), iii) antissimtrica: se a|b e b|a, ento a = b. (Segue-se da Proposio 6). As proposies a seguir sero de grande utilidade. Proposio 7. Sejam a, b, n N, com a > b > 0. Temos que a b divide an b n .

Divisibilidade

Demonstrao Vamos provar isto por induo sobre n. bvio que a armao verdade para n = 0, pois a b divide a0 b0 = 0. Suponhamos, agora, que a b|an bn . Escrevamos an+1 bn+1 = aan ban + ban bbn = (a b)an + b(an bn ). Como a b|a b e, por hiptese, a b|an bn , decorre da igualdade acima e da Proposio 5 que a b|an+1 bn+1 . Estabelecendo o resultado para todo n N. 2 Proposio 8. Sejam a, b, n N, com a + b = 0. Temos que a + b divide a2n+1 + b2n+1 . Demonstrao Vamos provar isto tambm por induo sobre n. A armao , obviamente, verdade para n = 0, pois a + b divide a1 + b1 = a + b. Suponhamos, agora, que a + b|a2n+1 + b2n+1 . Escrevamos a2(n+1)+1 + b2(n+1)+1 = a2 a2n+1 b2 a2n+1 + b2 a2n+1 + b2 b2n+1 = (a2 b2 )a2n+1 + b2 (a2n+1 + b2n+1 ). Como a + b|a2 b2 e, por hiptese, a + b|a2n+1 + b2n+1 , decorre das igualdades acima e da Proposio 5 que a + b|a2(n+1)+1 + b2(n+1)+1 . Estabelecendo, assim, o resultado para todo n N. 2 Proposio 9. Sejam a, b, n N, com a b > 0. Temos que a + b divide a2 n b 2 n . Demonstrao Novamente usaremos induo sobre n. A armao verdade para n = 0, pois a + b divide a0 b0 = 0. Suponhamos, agora, que a + b|a2n b2n . Escrevamos a2(n+1) b2(n+1) = a2 a2n b2 a2n + b2 a2n b2 b2n =

6 MA 14 Unidade 1 (a2 b2 )a2n + b2 (a2n b2n ). Como a + b|a2 b2 e, por hiptese, a + b|a2n b2n , decorre das igualdades acima e da Proposio 5 que a + b|a2(n+1) + b2(n+1) . Estabelecendo, desse modo, o resultado para todo n N. 2 Problemas 1. Sejam a, c N e b N. Mostre que ac|bc a|b. 2. (ENC-98)1 A soma de todos os mltiplos de 6 que se escrevem (no sistema decimal) com dois algarismos : (A) 612 (B) 648 (C) 756 (D) 810 (E) 864 3. Com quanto zeros termina o nmero 100!? 4. a) Mostre que o produto de i nmeros naturais consecutivos divisvel por i!. b) Mostre que 6|n(n + 1)(2n + 1), para todo n N. 5. Mostre, por induo matemtica, que, para todo n N, a) 8|32n + 7 c) 9|n4n+1 (n + 1)4n + 1 6. Mostre que 13|270 + 370 . 7. Mostre que, para todo n, a) 9|10n 1 d) 3|10n 7n g) 19|32n+1 + 44n+2 b) 8|32n 1 e) 13|92n 24n h) 17|102n+1 + 72n+1 c) 53|74n 24n f) 6|52n+1 + 1 i) 14|34n+2 + 52n+1 b) 9|10n + 3.4n+2 + 5 d) 169|33n+3 26n 27

8. Sejam a > b 0 nmeros naturais.


1

Exame Nacional de Cursos, MEC/INEP.

Divisibilidade

a) Mostre que, para todo n N, n 2, an b n = an1 + an2 b + + a bn2 + bn1 . ab b) Mostre que, para todo n N , a2n+1 + b2n+1 = a2n a2n1 b + a b2n1 + b2n . a+b c) Mostre que, para todo n N , a2 n b 2 n = a2n1 a2n2 b + + a b2n2 b2n1 . a+b 9. Para quais valores de a N a) a 2|a3 + 4? b) a + 3|a3 3? c) a + 2|a4 + 2? d) a + 2|a4 + 2a3 + a2 + 1? 10. Mostre que, para todos a, m, n N, m > n = a2 + 1|a2 1. 11. Mostre, para todo n N , que n2 |(n + 1)n 1. 12. Mostre, para todo a N, que a) 2|a2 a b) 3|a3 a c) 5|a5 a d) 7|a7 a 13. Mostre que existem innitos valores de n em N para os quais 8n2 + 5 divisvel por 7 e por 11.
n m

Вам также может понравиться