Inteiros e congruências
Divisibilidade, primos, Euclides, Bézout, inversos e equações modulares.
Saber que significa que existe um inteiro com ; aqui, . Escrever a igualdade torna o quociente disponível para as contas de uma prova. Este padrão de exibir a testemunha repete-se em Bézout e nas congruências abaixo.
Divisão e divisibilidade
Para com , existem inteiros únicos tais que:
O resto é não negativo, mesmo que o dividendo seja negativo. Por exemplo, . Com divisor negativo, .
A unicidade vem do limite do resto. Se , então . Como , esse múltiplo de só pode ser zero. Assim, e .
Nesta cadeira, usa um divisor e significa que para algum . Não é uma fração. Todo o inteiro não nulo divide zero, pois . Não usamos zero como divisor.
Se e , então divide qualquer combinação linear inteira . De facto, para e :
com . Os coeficientes podem ser negativos. Exigir coeficientes naturais seria outra condição.
Primos e fatorização
Um inteiro positivo é primo se os seus únicos divisores positivos são e . Um inteiro maior do que 1 que não é primo é composto. O 1 não é primo nem composto.
Todo o inteiro positivo maior do que 1 tem uma fatorização em primos, única salvo a ordem dos fatores. Por exemplo:
O mdc é o maior divisor positivo comum. O mínimo múltiplo comum, mmc, é o menor inteiro positivo múltiplo de ambos. Na fatorização dos dois números, o menor expoente de cada primo dá o mdc; o maior dá o mmc:
Para , , porque somar o mínimo e o máximo dos dois expoentes dá a sua soma.
Há infinitos primos. Se houvesse só , o número teria um divisor primo. Nenhum dos primos da lista o divide, porque deixaria resto 1. Não precisamos de afirmar que esse número é primo, apenas que tem um divisor primo fora da lista.
Máximo divisor comum e Euclides
O máximo divisor comum é o maior divisor positivo comum. Usamos a notação ou . Para um dos valores zero, se . Excluímos o par da definição como maior divisor, porque todos os inteiros positivos dividem ambos.
Se , os divisores comuns de são os mesmos de :
- Quem divide e divide .
- Quem divide e divide .
Logo, . O algoritmo de Euclides repete esta transformação até o resto ser zero. Os restos não negativos diminuem estritamente, por isso o processo termina.
Para , registamos o par que fica para a divisão seguinte:
O último resto não nulo é , o mdc. Dois inteiros são primos entre si quando o seu mdc é 1.
Ao chegar a , aplicamos . Os quocientes não são o resultado; servem para obter os restos e, a seguir, os coeficientes de Bézout. Cada linha acima já mostra o par seguinte: passa a , depois , e , sempre com o mesmo mdc.
Identidade de Bézout
Para inteiros não ambos zero, existem com:
Podemos encontrá-los retrocedendo nas divisões de Euclides:
Confere no fim: . Um erro de sinal num passo pode conservar o mdc e estragar os coeficientes.
Provar que dois valores são primos entre si
Considera e , com . Qualquer divisor comum divide:
Assim, o único divisor positivo comum é 1. Este argumento prova a afirmação para todos os , sem calcular um mdc para cada caso.
O lema de Euclides diz que, se é primo e , então ou . Se , temos . Por Bézout, ; multiplicando por , , que é divisível por . A hipótese “primo” é necessária: , mas não divide nenhum dos fatores.
Equações com soluções inteiras
Bézout também permite decidir se tem soluções inteiras. Para e , há solução se e só se . A necessidade vem de dividir qualquer combinação. Para a suficiência, multiplicamos uma identidade por .
Por exemplo, e . Logo resolve . Não há solução em naturais: com , a soma ou é zero ou vale pelo menos 18. Solução inteira não significa solução não negativa.
Para encontrar todas as soluções inteiras, comparamos uma solução qualquer com a conhecida:
Como 3 e 5 são primos entre si, . Escrevemos e obtemos , com . Substituir dá sempre 6, e a comparação mostra que nenhuma solução ficou de fora.
Em geral, a partir de uma solução , todas as soluções são
Uma restrição a naturais acrescenta a este parâmetro. Tem de ser conferida depois de resolver em inteiros.
Congruências e operações
Para um módulo :
Também se escreve . Isto equivale a ter o mesmo resto na divisão por . Por exemplo, .
Podemos somar, subtrair e multiplicar congruências do mesmo módulo. Se e , então:
Por isso, e implicam . Reduzir valores intermédios evita números grandes sem mudar o resto final.
pode representar-se por com as operações seguidas da redução módulo . Igualdade entre representantes e congruência entre inteiros são conceitos diferentes: , mas .
Cancelar e inverter
Não podemos cancelar um fator qualquer. , mas .
Se , Bézout dá , logo . O valor é um inverso multiplicativo de . Multiplicar por esse inverso permite cancelar .
Por exemplo, , por isso 5 é o inverso de 3 módulo 7. De obtemos . Confirmamos .
Mesmo sem inverso, podemos cancelar mudando o módulo. Se :
De , dividimos por . Como e são primos entre si, Bézout permite cancelar e concluir . A recíproca vem de multiplicar por .
No exemplo com fator 2 e módulo 6, obtemos , não uma congruência módulo 6.
Um inverso existe se e só se o número e o módulo são primos entre si. Em módulo primo , todos os representantes não nulos têm inverso. Para , o zero não tem inverso.
Resolver congruências lineares
Para , calcula . A congruência tem solução se e só se :
- Uma solução dá ; como divide e , tem de dividir .
- Se , escreve Bézout como . Multiplica por : . Os coeficientes são inteiros, logo é uma solução.
Se há solução, dividimos por . A congruência reduzida tem coeficiente invertível e uma classe de soluções módulo . No módulo original há classes distintas.
Para , temos , que divide 8. Reduzimos:
Em , as soluções são e . Conferindo, e deixam resto 8 módulo 14. Já não tem solução, porque 2 não divide 9.
Não mantenhas o módulo 14 depois de dividir os dois membros por 2. A redução também divide o módulo.
Pequeno teorema de Fermat
Se é primo e :
Multiplicar os representantes por permuta as classes não nulas, porque é invertível. O produto dessas classes é, portanto, o mesmo. Cancelando , que também é invertível, obtemos o resultado.
Para calcular , usamos e . Assim:
Fermat também dá quando não é múltiplo de . Não uses a fórmula num módulo composto sem outra justificação.
Exercícios
Euclides e Bézout
Calcula e escreve-o como combinação linear inteira dos dois números.
Pista
Começa por .
Mais uma pista
As divisões seguintes dão restos 28 e 7. Retrocede a partir de .
Solução
As divisões são:
O último resto não nulo é 7. Retrocedemos sem perder os sinais:
A verificação é . Os coeficientes são 8 e −63.
Confere a tua resposta:
- As divisões têm restos não negativos menores que os divisores.
- Identifiquei o último resto não nulo.
- Substituí os restos até ficar só com os números iniciais e conferi a combinação.
Erros frequentes
Não exijas coeficientes naturais. Bézout usa inteiros, e neste exemplo um dos coeficientes é negativo.
Todas as soluções no módulo original
Resolve e indica todos os representantes em .
Pista
, e 4 divide 12.
Mais uma pista
Reduz para . O inverso de 2 módulo 5 é 3.
Solução
A congruência reduzida dá . Os representantes módulo 20 são . Cada um dá múltiplo de 20. Há quatro classes, correspondentes ao mdc 4.
Confere a tua resposta:
- Verifiquei que o mdc divide o segundo membro.
- Dividi também o módulo por 4.
- Levantei a solução para os quatro representantes módulo 20.
Erros frequentes
não é a única solução módulo 20. Cancelar 4 sem reduzir o módulo mudaria o problema.
Uma potência grande
Calcula o representante entre 0 e 10 de módulo 11.
Pista
11 é primo e não divide 5, por isso podes usar Fermat.
Mais uma pista
. Reduz a potência a .
Solução
, logo .
Erros frequentes
Reduzir o expoente módulo 11, em vez de 10, não é a aplicação de Fermat.
Uma prova de coprimalidade
Prova que e são primos entre si para todo o .
Pista
Procura cancelar o termo em numa combinação linear.
Mais uma pista
Calcula .
Solução
. Qualquer divisor comum divide essa combinação, logo divide 1 e só pode ser 1 se for positivo.
Confere a tua resposta:
- Considerei um divisor comum positivo.
- Encontrei uma combinação linear igual a 1.
- Concluí que o mdc é 1 para todo o k.
Uma combinação inteira e as soluções naturais
Calcula e exprime-o como combinação linear inteira. Determina depois todas as soluções inteiras de e todas as soluções com , incluindo zero. Porque é que Bézout não garante, em geral, coeficientes naturais?
Pista
Distingue a equação com segundo membro 4 da equação com 400. Depois de reduzir por 4, olhar módulo 5 determina a forma de x.
Solução
Euclides dá , e . Portanto .
Para a equação com 400, uma solução é . Dividir por 4 dá , logo . Como 9 é invertível módulo 5, , isto é, . Substituindo, . Todas as soluções são
A substituição dá . Para naturais, e , logo . Obtemos , que dão respetivamente , e .
Bézout só garante coeficientes inteiros. Aqui, o próprio mdc 4 não pode ser com coeficientes naturais: uma soma não nula destas parcelas vale pelo menos 20.
Confere a tua resposta:
- Calculei o mdc e distingui a sua combinação de uma combinação igual a 400.
- Determinei todas as soluções inteiras com um parâmetro.
- Impus não negatividade aos dois coeficientes e conferi as três soluções.