Congruenze
Le congruenze sono un linguaggio alternativo per trattare la divisibilità fra interi:
Definizione. Siano a e b due interi e m un intero strettamente positivo, detto modulo.
Si dice che a e b sono congruenti modulo m, in simboli
a º b (mod m)
se m divide a-b .
In altre parole, possiamo dire che a è congruo a b modulo m se a e b differiscono per un multiplo di m, cioè
a º b (mod m) Û m|(a-b) Û esiste un kÎ Z tale che a-b = km Û
a = b +km, con kÎZ.
In particolare, affermare che m divide a è equivalente a dire che a è congruo a 0 modulo m (basta porre b=0 nelle equivalenze sopra).
Possiamo così riformulare il lemma di divisione studiato nella divisibilità fra interi per il caso delle congruenze:
Lemma di divisione. Dati due interi a,b con a positivo, esiste ed è unico un intero r con 0 £ r < a e tale che
b º r
(mod a)
ove r si dice resto di a modulo m (è l’equivalente di dire b=q×a+r).
Poiché la relazione di congruenza è una relazione di equivalenza, gode delle seguenti proprietà:
1) proprietà riflessiva: a º a (mod m) per ogni aÎZ;
2) proprietà simmetrica: se a º b (mod m), allora b º a (mod m);
3) proprietà transitiva: se a º b (mod m) e c º b (mod m), allora a º c (mod m).
Infatti è facile dimostrare che:
1) a-a=0 è sempre divisibile per ogni intero m diverso da zero;
2) se m|(a-b), allora m|(b-a) per le proprietà della divisibilità fra interi;
3) se m|(a-b) e m|(c-b), allora esistono due interi k.t tali che a-b = km e c-b = tm, quindi se consideriamo c-a = c-b-a+b = tm+km = (t+k)m abbiamo che m|(c-a).
Di seguito riporteremo altre facili proprietà della relazione di congruenza:
Proprietà i) Dati a,b interi, allora a º b (mod m) se e solo se a e b hanno lo stesso resto modulo m.
>Proprietà ii) Se a º b (mod m), per ogni intero k, avremo
ak º bk (mod m) e a+k º b+k (mod m).
In altre parole, moltiplicando o sommando ad entrambi i membri un numero intero, il risultato non cambia.
>Osservazione. In generale però non è sempre vera l’implicazione opposta, cioè
se ak º bk (mod m), allora non è detto che a º b (mod m);
questo viene verificato solo quando k e m sono relativamente primi fra loro.
Proprietà iii) Se ak º bk (mod m) e MCD(k,m)=1, allora a º b (mod m).
>Generalizzando la proprietà ii) possiamo concludere che la relazione di congruenza è chiusa rispetto alla moltiplicazione e alla somma:
Proprietà iv) Posto a º b (mod m) e a’ º b’ (mod m ), allora abbiamo
1)
(a+a’)
º (b+b’) (mod m),
2)
aa’ º bb’ (mod m).
Proprietà v) Se a º b (mod m), allora per ogni n naturale positivo, an º bn (mod m).
>Proprietà vi) Se a º b (mod m), allora (-a) º (-b) (mod m).
>Il teorema che segue dice che se a è un intero non divisibile per un primo p, allora c’è una periodicità nei resti delle potenze di a.
Teorema di Fermat.
Sia p un primo e a un intero relativamente primo con p, allora
ap-1 º 1 (mod p) I formulazione;
ap º a (mod p) II formulazione.
Le due formulazioni sono equivalenti.
>Osservazione. Se si omette la condizione che MCD(a,p)=1, cioè che a e p siano relativamente primi fra loro, la tesi del teorema di Fermat non è più verificata.
Esempio
All’interno delle congruenze, trovano una loro naturale collocazione i criteri di divisibilità per i numeri in rappresentazione decimale.
Definizione. Per convenzione, quando scriviamo un numero m= an..a0, sottintendiamo che le cifre an,..,a0 che lo compongono siano interi compresi fra 0 e 9 e la scrittura an..a0 indica in forma decimale l’intero
a0+10×a1+102×a2+..+10n×an , dove 0£ ai £ 9 per i =0,..n.
Ora, all’interno di questo paragrafo, indicheremo con an..a0 il numero intero a0+10×a1+102×a2+..+10n×an e non il suo prodotto an×..×a0.
I più noti criteri di divisibilità sono:
preso un numero m= an..a0, con 0£ ai £ 9 per i =0,..n, allora
a) 5 divide m se e solo se 5 divide a0, quindi se e solo se a0=0 oppure a0=5;
b)
4 divide m se e solo se 4 divide a0+10×a1,
quindi se e solo se 4 divide a1a0;
c)
3 divide m se e solo se 3 divide a0+
a1+…+ an;
d)
9 divide m se e solo se 9 divide a0+
a1+…+ an;
e)
11 divide m se e solo se 11 divide a0-
a1+a2+…+(-1)n an;
f)
7 divide m se e solo se 7 divide a0+3a1+2a2-a3-3a4-2a5+a6+3a7+…
.