Congruências
Referência : Tavares, J., Geraldo, A., (2017) Congruências, Rev. Ciência Elem., V5(1):070
Autor: João Nuno Tavares e Ângela Geraldo
Editor: José Ferreira Gomes
DOI: [https://doi.org/10.24927/rce2017.070]
Índice[esconder] |
Definição
Seja m um inteiro positivo. Dois inteiros a,b∈Z dizem-se congruentes módulo m se a diferença a−b é um múltiplo inteiro de m:
a−b=km, para algum inteiro k∈Z
Nesse caso escreve-se
a≡b (mod m)
Por exemplo
19≡5 (mod 7), porque 19−5=14 é múltiplo inteiro de 7.
31≡−2 (mod 3), porque 31−(−2)=33 é múltiplo inteiro de 11.
12≡39 (mod 9), porque 12−39=−27 é múltiplo inteiro de 9.
16≡−9 (mod 5), porque 16−(−9)=25 é múltiplo inteiro de 5.
Mas, por exemplo, 3 não é congruente com 11 (mod 7), porque 3−11=−8 não é múltiplo inteiro de 7.
Propriedades
A propriedade seguinte será usada na dedução dos chamados critérios de divisibilidade.
- Teorema
- Dois inteiros a,b∈Z são congruentes módulo m se e só se produzem o mesmo resto quando divididos por m.
- Demonstração
- Suponhamos que a≡b (mod m), e que a=qm+r, com q,r∈Z e 0≤r<m. Então a−b=km,k∈Z. Substituindo a=qm+r, vem que b=a−km=qm+r−km=(q−k)m+r, com q−k∈Z e 0≤r<m, o que significa que o resto da divisão de b por m também é r.
- Reciprocamente, se a=qm+r e b=q′m+r com q,q′,r∈Z, 0≤r<m, então b−a=q′m+r−qm−r=(q´−q)m, o que significa que a≡b (mod m), CQD.
Mais propriedades
- Sejam d, n∈N e a, b∈Z. Temos que:
- (i) a≡a(mod n);
- (ii) se a≡b(mod n), então b≡a(mod n);
- (iii) se a≡b(mod n) e b≡c(mod n), então a≡c(mod n);
- (iv) se a≡b(mod n) e d|n então a≡b(mod d).
Demonstração
(ii) Se a≡b(mod n) então a−b=kn⇔a=b+kn com k∈Z. Ora então b−a=b−(b+kn)=−kn, ou seja, b−a é um mútiplo inteiro de n e portanto b≡a(mod n).
(iii) Se a≡b(mod n) então a−b=kn⇔a=b+kn com k∈Z. Se b≡c(mod n) então b−c=tn⇔c=b−tn com t∈Z. Ora, a−c=(b+kn)−(b−tn)=kn+tn=(k+t)n, ou seja, a−c é um múltiplo inteiro de n, isto é, a≡c(mod n).
(iv) Se a≡b(mod n) então a−b=kn com k∈Z. Ora, se d|n podemos escrever n=td com t∈Z. Temos então que a−b=kn=k(td)=(kt)d, como kt é um número inteiro, concluímos que a−b é um múltiplo inteiro de d, ou seja, a≡b(mod d).
- Seja n∈N e sejam a, b, c e d∈Z. Temos que:
- (v) se a≡b(mod n) e c≡d(mod n), então a+c≡b+d(mod n);
- (vi) se a≡b(mod n) e c≡d(mod n), então ac≡bd(mod n).
Demonstração
(v) Sejam r e s inteiros tais que, a−b=rn e c−d=sn. Então, (a+c)−(b+d)=(a−b)+(c−d)=rn+sn=(r+s)n, isto é, (a+c)−(b+d) é um múltiplo inteiro de n e portanto a+c≡b+d(mod n).
(vi) Observemos que ac−bd=ac−bc+bc−bd=(a−b)c+(c−d)b=rnc+snb=(rc+sb)n, ou seja, ac−bd é um múltiplo inteiro de n e então ac≡bd(mod n).
Criada em 12 de Janeiro de 2013
Revista em 17 de Julho de 2013
Aceite pelo editor em 31 de Março de 2017