Escolar Documentos
Profissional Documentos
Cultura Documentos
Divisibilidade: Sumário
Divisibilidade: Sumário
Divisibilidade
Sumrio
1.1 1.2 Divisibilidade . . . . . . . . . . . . . . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . . . . 2 7
Unidade 1
Divisibilidade
Como a diviso de um nmero inteiro por outro nem sempre possvel, expressa-se esta possibilidade atravs da relao de divisibilidade. Quando no existir uma relao de divisibilidade entre dois nmeros inteiros, veremos que, ainda assim, ser possvel efetuar uma diviso com resto pequeno, chamada de
diviso euclidiana.
diviso responsvel por inmeras propriedades dos inteiros que exploraremos neste e nos prximos captulos.
1.1
Divisibilidade
a e b, diremos que a divide b, escrevendo a|b, quando existir c Z tal que b = c a. Neste caso, diremos tambm que a um divisor ou um fator de b ou, ainda, que b um mltiplo de a.
Dados dois nmeros inteiros Observe que a notao
a|b
Z,
nem
representa uma frao. Trata-se de uma sentena que diz ser verdade que existe
a | b, sigicando
tal que
b = ca.
a = 0.
Exemplo 1
1|0, 1|0, 2|0, 2|0; 1|6, 1|6, 1| 6, 1| 6, 2|6, 2|6, 2| 6, 2| 6, 3|6, 3|6, 3| 6, 3| 6, 6|6, 6|6, 6| 6, 6| 6; 3 | 4; 2 | 5.
Suponha que de
quociente de
0 = 0, 1
O nmero inteiro
c chamado
Por exemplo,
0 = 0, 2
6 = 3, 2 a| b
6 = 2, 3
(verique).
6 = 2, 3
6 = 1. 6
Divisibilidade
Unidade 1
i) ii)
que
Proposio 1
a|b e b|c
a = a 1, a = 1 a e 0 = 0 a. f, g Z, tais que b = f a e c = g b.
Demonstrao
Substituindo o valor de
c = g b = g (f a) = (g f ) a,
o que nos mostra que
a|c.
O item (i) da proposio acima nos diz que todo nmero inteiro divisvel por 1 e por si mesmo.
Se
a, b, c, d Z,
ento
Proposio 2
Portanto,
Demonstrao
a|b,
ento
para todo
c Z.
Sejam
a, b, c Z,
tais que
Ento
Proposio 3
a|b a|c.
a|(b + c).
Logo, existe
a|b,
Demonstrao
g a + c = f a,
donde segue-se que
c = (f g)a,
logo
a|c.
Unidade 1
Divisibilidade
A prova da implicao contrria totalmente anloga. Por outro lado, se implica que
a|(b c)
a|b,
a| c,
o que
a|c.
Proposio 4
Se
Demonstrao
a|b
Logo,
a|c
f, g Z
tais que
b = fa
c = ga.
cZ
tal que
c > 0,
ento
c
se
1.
Da propriedade acima decorre a
Propriedade Arquimediana de Z,
nZ |b|
tal que
ou seja,
a, b Z,
com
b = 0,
ento existe
nb > a.
De fato, como
|b| > 0,
temos que
1,
logo
(|a| + 1) |b|
a. n = |a| + 1,
se
b>0
n = (|a| + 1),
se
b < 0.
temos que
Proposio 5
Dados
a, b N,
a|b = a
b.
Demonstrao
De fato, se
c N.
Como
que
b = ca. ac = b. 0<a
Como
a, b > 0,
segue-se que
Em particular, se
a|1,
ento
e, portanto,
a = 1.
2;
e, no entanto, 2 no divide 3.
Divisibilidade
Unidade 1
a N, a|a. a|b
e
transitiva: se
b|c,
e
a|c.
(Proposio 1(ii)),
anti-simtrica: se
a|b
b|a,
ento
a = b.
Sejam
a, b Z
n N.
Temos que
ab
divide
an b n .
Proposio 6 Demonstrao
n. n = 1,
pois
ab
divide
a b =
a b.
Suponhamos, agora, que
a b|an bn .
Escrevamos
an+1 bn+1 = aan ban + ban bbn = (a b)an + b(an bn ). a b|a b e, por hiptese, a b|an bn , decorre da igualdade acima n+1 e da Proposio 4 que a b|a bn+1 . Estabelecendo o resultado para todo n N.
Como
Sejam
a, b Z
n N.
Temos que
a+b
divide
a2n+1 + b2n+1 .
Proposio 7 Demonstrao
a + b.
Suponhamos, agora, que
a + b|a2n+1 + b2n+1 .
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 ). a+b divide a2 b2 = (a+b)(ab) e, por hiptese, a+b|a2n+1 +b2n+1 , 2(n+1)+1 decorre das igualdades acima e da Proposio 4 que a + b|a + b2(n+1)+1 . Estabelecendo, assim, o resultado para todo n N.
Como
Unidade 1
Divisibilidade
Proposio 8
Sejam
a, b Z
n N.
Temos que
a+b
divide
a2n b2n .
Demonstrao
n. n = 1,
pois claramente
para
a+b
Escrevamos
a2(n+1) b2(n+1) = a2 a2n b2 a2n + b2 a2n b2 b2n = (a2 b2 )a2n + b2 (a2n b2n ).
Como acima e modo, o
a + b|a2n b2n , 2(n+1) da Proposio 4 que a + b|a + b2(n+1) . resultado para todo n N.
e, por hiptese,
a + b|a2 b2
Divisibilidade
1.2 Problemas
Unidade 1
1. Sejam
a, b, c Z
c = 0.
Mostre que
ac|bc a|b.
2. (ENC-98)
(no sistema decimal) com dois algarismos : (A) 612 (B) 648 (C) 756 (D) 810 (E) 864
100!?
4.
(a) (b)
(c) (d)
6. Mostre que
8. Sejam
a)
Se
n N, n
2,
Unidade 1
Problemas
b)
Se
a + b = 0,
n N,
n N,
aN
a) b) c) d)
n N, a Z,
que
n2 |(n + 1)n 1.
que c)
a)
2|a2 a
b)
3|a3 a
5|a5 a n
em
d)
7|a7 a
para os quais
8n2 + 5