Inteiros e congruências
Divisibilidade, primos, Euclides, Bézout, inversos e equações modulares.
Divisão e primos
Para , :
O resto é não negativo mesmo com dividendo negativo. A relação significa com . Todo o inteiro não nulo divide zero.
- Se e , então para quaisquer .
- Um primo é com divisores positivos só e . O número 1 não é primo nem composto.
- A fatorização de é única salvo a ordem. Os expoentes mínimos dão o mdc; os máximos dão o mmc.
- Para , .
- Se é primo e , então ou .
Há infinitos primos: qualquer divisor primo de fica fora da lista. O produto mais 1 não tem de ser primo.
Euclides
O mdc é o maior divisor positivo comum, para inteiros não ambos zero. quando .
- Divide .
- Substitui por , com o mesmo mdc.
- Repete até resto zero. O último resto não nulo é o mdc.
- Retrocede nas igualdades para Bézout: com .
Para 252 e 198, os restos são e .
Primos entre si têm mdc 1. Combinação linear igual a 1 prova coprimalidade, mesmo com parâmetro inteiro.
Para e , tem solução inteira se e só se . A partir de :
Bézout não garante coeficientes naturais. Para naturais impõe . tem , mas nenhuma não negativa.
Congruências
Para , significa , ou seja igual resto. Podes somar, subtrair e multiplicar no mesmo módulo.
- O inverso de módulo existe se e só se . Se , então é um inverso. Para , o zero não tem inverso.
- Para cancelar com : equivale a . Só com mantém o módulo original.
só autoriza depois de dividir o módulo.
Equações lineares
Para :
- Calcula . Há solução se e só se .
- Divide por .
- Inverte o coeficiente módulo e obtém .
- No módulo original lista as classes , com .
reduz a , logo . Em as soluções são 6 e 13. não tem solução.
Fermat
Se primo e , então e .
Para , reduz o expoente: , logo . Não uses estas fórmulas para módulo composto sem outra justificação.