Inteiros e congruências

Divisibilidade, primos, Euclides, Bézout, inversos e equações modulares.

TLDR

Perguntar sobre esta página

ChatGPTClaudePerplexityGrokGeminiCopiar e abrirDeepSeekCopiar e abrir

Saber que 6∣426\mid42 significa que existe um inteiro qq com 42=6q42=6q; aqui, q=7q=7. 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 a,b∈Za,b\in\mathbb Z com b≠0b\ne0, existem inteiros únicos q,rq,r tais que:

a=bq+r,0≤r<∣b∣.a=bq+r,\qquad 0\le r<|b|.

O resto é não negativo, mesmo que o dividendo seja negativo. Por exemplo, −19=(−5)⋅4+1-19=(-5)\cdot4+1. Com divisor negativo, 19=(−4)⋅(−4)+319=(-4)\cdot(-4)+3.

A unicidade vem do limite do resto. Se a=bq+r=bs+ta=bq+r=bs+t, então b(q−s)=t−rb(q-s)=t-r. Como ∣t−r∣<∣b∣|t-r|<|b|, esse múltiplo de bb só pode ser zero. Assim, q=sq=s e r=tr=t.

Nesta cadeira, b∣ab\mid a usa um divisor b≠0b\ne0 e significa que a=bqa=bq para algum q∈Zq\in\mathbb Z. Não é uma fração. Todo o inteiro não nulo divide zero, pois 0=b⋅00=b\cdot0. Não usamos zero como divisor.

Se d∣ad\mid a e d∣bd\mid b, então dd divide qualquer combinação linear inteira ua+vbua+vb. De facto, para a=dka=dk e b=dℓb=d\ell:

ua+vb=d(uk+vℓ),ua+vb=d(uk+v\ell),

com uk+vℓ∈Zuk+v\ell\in\mathbb Z. Os coeficientes podem ser negativos. Exigir coeficientes naturais seria outra condição.

Primos e fatorização

Um inteiro positivo p>1p>1 é primo se os seus únicos divisores positivos são 11 e pp. 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:

180=22⋅32⋅5,168=23⋅3⋅7.180=2^2\cdot3^2\cdot5,\qquad 168=2^3\cdot3\cdot7.

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:

gcd⁡(180,168)=22⋅3=12,mmc⁡(180,168)=23⋅32⋅5⋅7=2520.\gcd(180,168)=2^2\cdot3=12, \qquad \operatorname{mmc}(180,168)=2^3\cdot3^2\cdot5\cdot7=2520.

Para a,b>0a,b>0, gcd⁡(a,b)mmc⁡(a,b)=ab\gcd(a,b)\operatorname{mmc}(a,b)=ab, porque somar o mínimo e o máximo dos dois expoentes dá a sua soma.

Há infinitos primos. Se houvesse só p1,…,pkp_1,\ldots,p_k, o número p1⋯pk+1>1p_1\cdots p_k+1>1 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 gcd⁡(a,b)\gcd(a,b) ou mdc⁡(a,b)\operatorname{mdc}(a,b). Para um dos valores zero, gcd⁡(a,0)=∣a∣\gcd(a,0)=|a| se a≠0a\ne0. Excluímos o par (0,0)(0,0) da definição como maior divisor, porque todos os inteiros positivos dividem ambos.

Se a=bq+ra=bq+r, os divisores comuns de a,ba,b são os mesmos de b,rb,r:

  • Quem divide aa e bb divide r=a−bqr=a-bq.
  • Quem divide bb e rr divide a=bq+ra=bq+r.

Logo, gcd⁡(a,b)=gcd⁡(b,r)\gcd(a,b)=\gcd(b,r). 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 gcd⁡(252,198)\gcd(252,198), registamos o par que fica para a divisão seguinte:

252=1⋅198+54,198=3⋅54+36,54=1⋅36+18,36=2⋅18+0.\begin{aligned} 252&=1\cdot198+54,\\ 198&=3\cdot54+36,\\ 54&=1\cdot36+18,\\ 36&=2\cdot18+0. \end{aligned}

O último resto não nulo é 1818, o mdc. Dois inteiros são primos entre si quando o seu mdc é 1.

Ao chegar a (18,0)(18,0), aplicamos gcd⁡(18,0)=18\gcd(18,0)=18. 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: (252,198)(252,198) passa a (198,54)(198,54), depois (54,36)(54,36), (36,18)(36,18) e (18,0)(18,0), sempre com o mesmo mdc.

Identidade de Bézout

Para inteiros a,ba,b não ambos zero, existem u,v∈Zu,v\in\mathbb Z com:

gcd⁡(a,b)=ua+vb.\gcd(a,b)=ua+vb.

Podemos encontrá-los retrocedendo nas divisões de Euclides:

18=54−36=54−(198−3⋅54)=4⋅54−198=4(252−198)−198=4⋅252−5⋅198.\begin{aligned} 18&=54-36\\ &=54-(198-3\cdot54)\\ &=4\cdot54-198\\ &=4(252-198)-198\\ &=4\cdot252-5\cdot198. \end{aligned}

Confere no fim: 1008−990=181008-990=18. Um erro de sinal num passo pode conservar o mdc e estragar os coeficientes.

Provar que dois valores são primos entre si

Considera 3k+23k+2 e 5k+35k+3, com k∈Zk\in\mathbb Z. Qualquer divisor comum divide:

5(3k+2)−3(5k+3)=1.5(3k+2)-3(5k+3)=1.

Assim, o único divisor positivo comum é 1. Este argumento prova a afirmação para todos os kk, sem calcular um mdc para cada caso.

O lema de Euclides diz que, se pp é primo e p∣abp\mid ab, então p∣ap\mid a ou p∣bp\mid b. Se p∤ap\nmid a, temos gcd⁡(p,a)=1\gcd(p,a)=1. Por Bézout, 1=up+va1=up+va; multiplicando por bb, b=upb+vabb=upb+vab, que é divisível por pp. A hipótese “primo” é necessária: 6∣2⋅36\mid2\cdot3, mas 66 não divide nenhum dos fatores.

Equações com soluções inteiras

Bézout também permite decidir se ax+by=cax+by=c tem soluções inteiras. Para a,b>0a,b>0 e d=gcd⁡(a,b)d=\gcd(a,b), há solução se e só se d∣cd\mid c. A necessidade vem de dd dividir qualquer combinação. Para a suficiência, multiplicamos uma identidade d=ua+vbd=ua+vb por c/dc/d.

Por exemplo, gcd⁡(18,30)=6\gcd(18,30)=6 e 6=2⋅18−306=2\cdot18-30. Logo (x,y)=(2,−1)(x,y)=(2,-1) resolve 18x+30y=618x+30y=6. Não há solução em naturais: com x,y≥0x,y\ge0, 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:

18(x−2)+30(y+1)=0⟺3(x−2)=−5(y+1).18(x-2)+30(y+1)=0 \quad\Longleftrightarrow\quad 3(x-2)=-5(y+1).

Como 3 e 5 são primos entre si, 5∣(x−2)5\mid(x-2). Escrevemos x=2+5tx=2+5t e obtemos y=−1−3ty=-1-3t, com t∈Zt\in\mathbb Z. Substituir dá sempre 6, e a comparação mostra que nenhuma solução ficou de fora.

Em geral, a partir de uma solução (x0,y0)(x_0,y_0), todas as soluções são

x=x0+bdt,y=y0−adt,t∈Z.x=x_0+\frac bd t,\qquad y=y_0-\frac ad t,\qquad t\in\mathbb Z.

Uma restrição a naturais acrescenta x≥0,y≥0x\ge0,y\ge0 a este parâmetro. Tem de ser conferida depois de resolver em inteiros.

Congruências e operações

Para um módulo m>0m>0:

a≡mb⟺m∣(a−b).a\equiv_m b \quad\Longleftrightarrow\quad m\mid(a-b).

Também se escreve a≡b(modm)a\equiv b\pmod m. Isto equivale a ter o mesmo resto na divisão por mm. Por exemplo, −1≡76-1\equiv_7 6.

Podemos somar, subtrair e multiplicar congruências do mesmo módulo. Se a−b=mka-b=mk e c−d=mℓc-d=m\ell, então:

ac−bd=(a−b)c+b(c−d)=m(kc+bℓ).ac-bd=(a-b)c+b(c-d)=m(kc+b\ell).

Por isso, a≡mba\equiv_m b e c≡mdc\equiv_m d implicam ac≡mbdac\equiv_m bd. Reduzir valores intermédios evita números grandes sem mudar o resto final.

Zm\mathbb Z_m pode representar-se por {0,1,…,m−1}\{0,1,\ldots,m-1\} com as operações seguidas da redução módulo mm. Igualdade entre representantes e congruência entre inteiros são conceitos diferentes: 8≠18\ne1, mas 8≡718\equiv_7 1.

Cancelar e inverter

Não podemos cancelar um fator qualquer. 2⋅2≡62⋅52\cdot2\equiv_6 2\cdot5, mas 2̸≡652\not\equiv_6 5.

Se gcd⁡(c,m)=1\gcd(c,m)=1, Bézout dá uc+vm=1uc+vm=1, logo uc≡m1uc\equiv_m1. O valor uu é um inverso multiplicativo de cc. Multiplicar por esse inverso permite cancelar cc.

Por exemplo, 3⋅5=15≡713\cdot5=15\equiv_7 1, por isso 5 é o inverso de 3 módulo 7. De 3x≡743x\equiv_7 4 obtemos x≡75⋅4≡76x\equiv_7 5\cdot4\equiv_7 6. Confirmamos 3⋅6=18≡743\cdot6=18\equiv_7 4.

Mesmo sem inverso, podemos cancelar mudando o módulo. Se d=gcd⁡(c,m)d=\gcd(c,m):

ca≡mcb⟺a≡m/db.ca\equiv_m cb\quad\Longleftrightarrow\quad a\equiv_{m/d}b.

De m∣c(a−b)m\mid c(a-b), dividimos por dd. Como c/dc/d e m/dm/d são primos entre si, Bézout permite cancelar c/dc/d e concluir (m/d)∣(a−b)(m/d)\mid(a-b). A recíproca vem de multiplicar por cc.

No exemplo com fator 2 e módulo 6, obtemos 2≡352\equiv_3 5, 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 pp, todos os representantes não nulos têm inverso. Para m>1m>1, o zero não tem inverso.

Resolver congruências lineares

Para ax≡mbax\equiv_m b, calcula d=gcd⁡(a,m)d=\gcd(a,m). A congruência tem solução se e só se d∣bd\mid b:

  • Uma solução dá ax−mq=bax-mq=b; como dd divide aa e mm, tem de dividir bb.
  • Se d∣bd\mid b, escreve Bézout como d=ua+vmd=ua+vm. Multiplica por b/db/d: b=a(ub/d)+m(vb/d)b=a(u b/d)+m(v b/d). Os coeficientes são inteiros, logo x=ub/dx=u b/d é uma solução.

Se há solução, dividimos a,b,ma,b,m por dd. A congruência reduzida tem coeficiente invertível e uma classe de soluções módulo m/dm/d. No módulo original há dd classes distintas.

Para 6x≡1486x\equiv_{14}8, temos d=2d=2, que divide 8. Reduzimos:

3x≡74⟹x≡76.3x\equiv_7 4\quad\Longrightarrow\quad x\equiv_7 6.

Em Z14\mathbb Z_{14}, as soluções são 66 e 1313. Conferindo, 3636 e 7878 deixam resto 8 módulo 14. Já 6x≡1496x\equiv_{14}9 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 pp é primo e p∤ap\nmid a:

ap−1≡p1.a^{p-1}\equiv_p1.

Multiplicar os representantes 1,…,p−11,\ldots,p-1 por aa permuta as classes não nulas, porque aa é invertível. O produto dessas classes é, portanto, o mesmo. Cancelando (p−1)!(p-1)!, que também é invertível, obtemos o resultado.

Para calcular 3100 mod 73^{100}\bmod7, usamos 36≡713^6\equiv_7 1 e 100=16⋅6+4100=16\cdot6+4. Assim:

3100≡734=81≡74.3^{100}\equiv_7 3^4=81\equiv_7 4.

Fermat também dá a−1≡pap−2a^{-1}\equiv_p a^{p-2} quando aa não é múltiplo de pp. Não uses a fórmula num módulo composto sem outra justificação.

Exercícios

Euclides e Bézout

Calcula gcd⁡(1820,231)\gcd(1820,231) e escreve-o como combinação linear inteira dos dois números.

Pista

Começa por 1820=7⋅231+2031820=7\cdot231+203.

Mais uma pista

As divisões seguintes dão restos 28 e 7. Retrocede a partir de 7=203−7⋅287=203-7\cdot28.

Solução

As divisões são:

1820=7⋅231+203,231=203+28,203=7⋅28+7,28=4⋅7+0.\begin{aligned} 1820&=7\cdot231+203,\\ 231&=203+28,\\ 203&=7\cdot28+7,\\ 28&=4\cdot7+0. \end{aligned}

O último resto não nulo é 7. Retrocedemos sem perder os sinais:

7=203−7⋅28=203−7(231−203)=8⋅203−7⋅231=8(1820−7⋅231)−7⋅231=8⋅1820−63⋅231.\begin{aligned} 7&=203-7\cdot28\\ &=203-7(231-203)\\ &=8\cdot203-7\cdot231\\ &=8(1820-7\cdot231)-7\cdot231\\ &=8\cdot1820-63\cdot231. \end{aligned}

A verificação é 14560−14553=714560-14553=7. 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.

Voltar à explicação
Todas as soluções no módulo original

Resolve 8x≡20128x\equiv_{20}12 e indica todos os representantes em Z20\mathbb Z_{20}.

Pista

gcd⁡(8,20)=4\gcd(8,20)=4, e 4 divide 12.

Mais uma pista

Reduz para 2x≡532x\equiv_5 3. O inverso de 2 módulo 5 é 3.

Solução

A congruência reduzida dá x≡59≡54x\equiv_5 9\equiv_5 4. Os representantes módulo 20 são 4,9,14,194,9,14,19. Cada um dá 8x−128x-12 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

x=4x=4 não é a única solução módulo 20. Cancelar 4 sem reduzir o módulo mudaria o problema.

Voltar à explicação
Uma potência grande

Calcula o representante entre 0 e 10 de 51235^{123} módulo 11.

Pista

11 é primo e não divide 5, por isso podes usar Fermat.

Mais uma pista

123=12⋅10+3123=12\cdot10+3. Reduz a potência a 535^3.

Solução

510≡1115^{10}\equiv_{11}1, logo 5123≡11125≡1145^{123}\equiv_{11}125\equiv_{11}4.

Erros frequentes

Reduzir o expoente módulo 11, em vez de 10, não é a aplicação de Fermat.

Voltar à explicação
Uma prova de coprimalidade

Prova que 8k+38k+3 e 5k+25k+2 são primos entre si para todo o k∈Zk\in\mathbb Z.

Pista

Procura cancelar o termo em kk numa combinação linear.

Mais uma pista

Calcula 8(5k+2)−5(8k+3)8(5k+2)-5(8k+3).

Solução

8(5k+2)−5(8k+3)=18(5k+2)-5(8k+3)=1. 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.
Voltar à explicação
Uma combinação inteira e as soluções naturais

Calcula d=gcd⁡(36,20)d=\gcd(36,20) e exprime-o como combinação linear inteira. Determina depois todas as soluções inteiras de 36x+20y=40036x+20y=400 e todas as soluções com x,y∈Nx,y\in\mathbb N, 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á 36=20+1636=20+16, 20=16+420=16+4 e 16=4⋅416=4\cdot4. Portanto d=4=20−(36−20)=−36+2⋅20d=4=20-(36-20)=-36+2\cdot20.

Para a equação com 400, uma solução é (0,20)(0,20). Dividir por 4 dá 9x+5y=1009x+5y=100, logo 9x≡509x\equiv_5 0. Como 9 é invertível módulo 5, x≡50x\equiv_5 0, isto é, x=5tx=5t. Substituindo, y=20−9ty=20-9t. Todas as soluções são

(x,y)=(5t,20−9t),t∈Z.(x,y)=(5t,20-9t),\qquad t\in\mathbb Z.

A substituição dá 180t+400−180t=400180t+400-180t=400. Para naturais, t≥0t\ge0 e t≤20/9t\le20/9, logo t=0,1,2t=0,1,2. Obtemos (0,20),(5,11),(10,2)(0,20),(5,11),(10,2), que dão respetivamente 0+4000+400, 180+220180+220 e 360+40360+40.

Bézout só garante coeficientes inteiros. Aqui, o próprio mdc 4 não pode ser 36x+20y36x+20y 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.
Voltar à explicação

À tua maneira

Aparência

Modo de cor
Tema
Cor de destaque

Leitura

Fonte de leitura

Álgebra, lógica e uma ideia de cada vez.

Código

Fonte do código

Navegação

Cursor de leitura, sem edição. h, j, k, l movem; / pesquisa nesta página. v seleciona caracteres; V seleciona linhas; y copia. Tab permite destacar ou comentar. Espaço ou Enter abre blocos recolhíveis. Nos cartões, h, j, k, l mudam o foco.

CSS personalizado

Ativa uma sugestão ou guarda o teu CSS. Só muda este navegador.

Usa --page, --text e --accent para acompanhar o tema.

Seletores e recuperação

.site-header, .prose, .course-card, [data-reading-history], [data-playground] e .page-actions.

Abre a aparência com a tecla vírgula ou no rodapé. Se o CSS esconder os controlos, abre esta página sem CSS personalizado.

Pesquisar

Escreve para pesquisar em todo o site.

para escolher · Enter para abrir · Esc para fechar

Copiar fórmula

A cópia automática não está disponível. Copia o LaTeX abaixo.

Pesquisar nesta página

Enter procura · n / N repetem · Esc cancela. Ctrl / Cmd K pesquisa todo o site.

Atalhos de teclado

Clica numa tecla para a mudar. Esc cancela. Backspace desativa.

PesquisarCtrl / Cmd K

Os atalhos não interferem enquanto escreves. Tab e Enter funcionam sempre.