Propriedades

A propriedade seguinte será usada na dedução dos chamados critérios de divisibilidade.

Teorema
Dois inteiros \(a,b\in\mathbb{Z}\) são congruentes módulo \(m\) se e só se produzem o mesmo resto quando divididos por \(m\).
Demonstração
Suponhamos que \(a\equiv b \ \ (\mbox{mod}\ m)\), e que \(a=qm+r\), com \(q,r\in \mathbb{Z}\) e \(0\leq r < m\). Então \(a-b=km,\, k\in \mathbb{Z}\). Substituindo \(a=qm+r\), vem que \(b=a-km=qm+r-km=(q-k)m+r\), com \(q-k\in \mathbb{Z}\) e \(0\leq 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\in \mathbb{Z},\ 0\leq r < m\), então \(b-a=q'm+r-qm-r=(q´-q)m\), o que significa que \(a\equiv b \ \ (\mbox{mod}\ m)\), CQD.

Mais propriedades

  • Sejam \(d\), \(n \in \mathbb{N}\) e \(a\), \(b \in \mathbb{Z}\). Temos que:
(i) \(a \equiv a \quad (\mbox{mod} \ n)\);
(ii) se \(a \equiv b \quad (\mbox{mod} \ n)\), então \(b \equiv a \quad (\mbox{mod} \ n)\);
(iii) se \(a \equiv b \quad (\mbox{mod} \ n)\) e \(b \equiv c \quad (\mbox{mod} \ n)\), então \(a \equiv c \quad (\mbox{mod} \ n)\);
(iv) se \(a \equiv b \quad (\mbox{mod} \ n)\) e \(d|n\) então \(a \equiv b \quad (\mbox{mod} \ d)\).

Demonstração

(ii) Se \(a \equiv b \quad (\mbox{mod} \ n)\) então \(a-b=kn \, \Leftrightarrow \, a=b+kn\) com \(k \in \mathbb{Z}\). Ora então \(b-a=b-(b+kn)=-kn\), ou seja, \(b-a\) é um mútiplo inteiro de \(n\) e portanto \(b \equiv a \quad (\mbox{mod} \ n)\).

(iii) Se \(a \equiv b \quad (\mbox{mod} \ n)\) então \(a-b=kn \, \Leftrightarrow \, a=b+kn\) com \(k \in \mathbb{Z}\). Se \(b \equiv c \quad (\mbox{mod} \ n)\) então \(b-c=tn \, \Leftrightarrow \, c=b-tn\) com \(t \in \mathbb{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 \equiv c \quad (\mbox{mod} \ n)\).

(iv) Se \(a \equiv b \quad (\mbox{mod} \ n)\) então \(a-b=kn\) com \(k \in \mathbb{Z}\). Ora, se \(d|n\) podemos escrever \(n=td\) com \(t \in \mathbb{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 \equiv b \quad (\mbox{mod} \ d)\).

  • Seja \(n \in \mathbb{N}\) e sejam \(a\), \(b\), \(c\) e \(d \in \mathbb{Z}\). Temos que:
(v) se \(a \equiv b \quad (\mbox{mod} \ n)\) e \(c \equiv d \quad (\mbox{mod} \ n)\), então \(a+c \equiv b+d \quad (\mbox{mod} \ n)\);
(vi) se \(a \equiv b \quad (\mbox{mod} \ n)\) e \(c \equiv d \quad (\mbox{mod} \ n)\), então \(ac \equiv bd \quad (\mbox{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 \equiv b+d \quad (\mbox{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 \equiv bd \quad (\mbox{mod} \ n)\).