-----Mensagem Original-----
Enviada em: Segunda-feira, 19 de Junho de
2000 15:48
Assunto: Re: divisibilidade
Olá Marcelo!
Segue demonstrações para as
relações.
Sejam p e q
números inteiros quaisquer:
( i ) Se a|b, então a+c|b+c
a|b <=> b = ap.(I)
a+c|b+c <=> b+c = (a+c)q.(II)
substituindo b e ( I ) em ( II ), vem
ap + c = (a+c).q
; aqui a+c|ap+c e não b+c,como queríamos; a relação é falsa.
( ii ) Se a|b, então ac|bc
a|b <=> b = a.p. (I)
ac|bc
<=> bc = ac.q. (II)
substituindo (I) em (II),
vem
apc
= acq
daí, p = q e de (II) bc =
acp vemos que ac|bc, o que torna a relação verdadeira.
( iii ) Se a|b, então (-b)|(-a).
a|b<=> b =
ap(I)
(-b)|(-a)<=> -a = -bq => a = bq. (II)
substituindo (II) em (I),
vem
b =
bqp, aí pq = 1 e q inverso de p, como p é inteiro, a relação torna-se
falsa
( iv ) Se a|b+c, então a|b ou a|c
a|b <=> b =
ap. (I)
a|c<=> c = aq. (II)
somando (I) e (II), temos: b+c = ap +aq => b+c = a(p+q),
como p+q é inteiro, a|b+c, o que torna a relação verdadeira.
Até breve,