[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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,
aron@unincor.br