| 
 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, 
 |