Congruencia Definio : Seja m um numero inteiro positivo.

Dois inteiros a e b dizem-se congruentes quando a diferena entre os dois divisvel por m, isto se m|(b a). Daremos alguns exemplos para elucidar melhor a matria. 3 7 (mod4) 3 -1 (mod2) Uma regra vlida a seguinte se a e b, ambos forem pares ou ambos forem impares eles sero congruentes 2. Outra regra vlida a seguinte, seja a e 0 congruentes um k, necessariamente o a um mltiplo de k. Caracterizao Dois inteiros a e b sero congruente ao modulo m, se e somente se a e b tm o mesmo resto na diviso por m, como acontece no exemplo a seguir: 937 = 3x322 + 1 751= 3x250 + 1 logo, 937 751 (mod 3) Teorema para mostrar a relao de equivalencia Seja m um inteiro positivo fixo e sejam a, b e c inteiros quaisquer, tm-se que: a a (mod m) Se a b (mod m), ento b a (mod m) Se a b ( mod m) e b c ( mod m), logo a c (mod m) Outros teoremas 1-)Sejam m e n inteiros positivos e sejam a e b dois inteiros quaisquer Se a b (mod m) e se n|m, ento a b (mod n) Se a b (mod m) e se c > 0, ento ac bc (mod mc) Se a b (mod m) e se a, b e m so todos divisveis por um inteiro d > 0, ento a/d b/d (mod m/d) 2-)Seja m um inteiro fixo e a,b,c e d inteiros quaisquer a-)Se a b (mod m) e se c d (mod m), ento a + c b + d (mod m) e ac bd (mod m) b-)Se a b (mod m), ento a + c b + c (mod m) e ac bc (mod m) c-)Se a b (mod m), ento an bn (mod m), para todo o inteiro positivo n

Curiosidade Dentro da congruncia podemos destacar a congruncia de Zeller, pois um algoritmo de congruncia que serve para calcular determinado dia no calendrio Gregoriano, da seguinte forma:
Para um calendrio gregoriano, a congruncia de Zeller

em que

h o dia da semana (0 = sbado, 1 = domingo, 2 = segunda, ) q o dia do ms m o ms (3 = maro, 4 = abril, 5 = maio, ) K o ano do sculo ( )

J o sculo ( ) (por exemplo, para 1995 o sculo seria 19, ainda que na realidade o sculo seria XX)

Nota 1: neste algoritmo, janeiro e fevereiro so contados como os meses 13 e 14 do ano anterior. Nota 2: para o dia do ms em ISO (1 = segunda, ), use