Resumo
Esta aula converte a classificação dos inteiros segundo seu resto em um cálculo. Define a congruência módulo , demonstra que ela equivale a deixar o mesmo resto, que é uma relação de equivalência e que respeita a soma, o produto e as potências, e constrói com suas classes o conjunto dos restos, com suas tábuas de somar e de multiplicar. Com a identidade de Bézout decide quais restos têm inverso e resolve por completo as congruências lineares; demonstra o teorema chinês do resto e o pequeno teorema de Fermat, relê os critérios de divisibilidade como congruências, e aplica tudo isso aos dígitos verificadores, ao calendário e ao sistema criptográfico RSA, cuja correção fica demonstrada.
Objetivos de aprendizagem
- Demonstrar que a congruência módulo é uma relação de equivalência compatível com a soma, o produto e as potências, e usá-la para calcular restos de números grandes.
- Construir as tábuas de somar e de multiplicar de e decidir, por meio do máximo divisor comum, quais restos têm inverso.
- Decidir se uma congruência linear tem solução, calcular quantas soluções tem módulo e encontrá-las todas.
- Resolver sistemas de congruências com módulos primos entre si por meio do teorema chinês do resto, construindo a solução e demonstrando sua unicidade.
- Demonstrar o pequeno teorema de Fermat e aplicá-lo a restos de potências, a divisibilidades que valem para todo inteiro e à correção do sistema RSA.
- Analisar quais erros um dígito verificador detecta e calcular dias da semana por meio de congruências.
A relação de congruência
Se hoje é segunda-feira, daqui a dias será terça-feira, e daqui a dias será domingo: para sabê-lo não é preciso contar os dias um por um, porque basta o resto da divisão do número de dias por . Do mesmo modo, horas depois das são horas em um relógio de horas, e o último algarismo de um produto depende só dos últimos algarismos dos fatores. Nos três casos se calcula com restos e se esquece o quociente. A aula sobre divisibilidade e divisão com resto repartiu os inteiros em classes segundo o resto que deixam ao serem divididos por um natural, e demonstrou que o resto de uma soma, de um produto e de uma potência depende só dos restos dos dados. Esta aula dá a essas observações uma linguagem própria, a das congruências, que Gauss introduziu em 1801 em suas Disquisitiones Arithmeticae, e a converte em um instrumento de cálculo. Como naquela aula, os inteiros são usados antecipadamente, com as regras de sua aritmética e de sua ordem que se fundamentam na aula sobre os números inteiros.
Definição (congruência). Seja um natural. Dois inteiros e são congruentes módulo se divide sua diferença . Escreve-se e lê-se « é congruente a módulo »; o natural chama-se módulo da congruência.
Assim, , porque ; , porque ; e um inteiro é par exatamente quando é congruente a módulo . Que seja múltiplo de escreve-se agora . Com o módulo todos os inteiros são congruentes entre si, porque divide todo inteiro; esse caso carece de interesse, e nos exemplos o módulo será pelo menos . O sinal , de três traços, lembra o da igualdade porque, como se verá, a congruência se comporta em quase tudo como ela; a exceção, a divisão, ocupará a seção sobre os inversos.
A definição pela diferença é a mais cômoda para demonstrar, mas a intuição dos exemplos iniciais é a do resto. A proposição seguinte assegura que ambas dizem o mesmo; seu conteúdo já foi observado, de outra forma, na aula sobre a divisibilidade, ao fundamentar os critérios de divisibilidade, e aqui é demonstrado com todos os seus passos.
Dois inteiros são congruentes módulo se e somente se deixam o mesmo resto ao serem divididos por . Sejam e as divisões com resto de e de por , com e . A figura dispõe os inteiros desde até em filas de , de modo que cada coluna reúne os que deixam um mesmo resto.
Demonstração
Se os restos coincidem, , ao subtrair as duas divisões o resto se cancela, e a diferença é múltiplo de .
Reciprocamente, suponhamos que divide , isto é, que para algum inteiro . Substituímos a divisão de .
Como , esta igualdade é uma divisão de por com resto . Pela unicidade do quociente e do resto, é o resto de , isto é, .
Na figura, , , , , , e ocupam a mesma coluna: todos deixam resto , e suas diferenças são múltiplos de .
Em particular, todo inteiro é congruente módulo a seu resto, que é um dos inteiros , e a um só deles, porque dois desses inteiros são seus próprios restos e, se são distintos, deixam restos distintos. Calcular módulo consiste em substituir cada número por um representante cômodo de sua coluna: o resto, ou às vezes um número negativo pequeno, como em lugar de .
Carregando o conteúdo…