Calculadora do Teorema Chinês do Resto
| Resíduo a | Módulo m |
|---|
Use a janela de importação para colar várias congruências de uma vez.
Use esta calculadora para informar valores, ajustar as opções e analisar os resultados em uma área de trabalho compacta e responsiva.
Os resultados são calculados automaticamente conforme você informa os dados.
| Resíduo a | Módulo m |
|---|
Use a janela de importação para colar várias congruências de uma vez.
▼ Veja explicações e dicas abaixo ▼
O Teorema Chinês do Resto é um resultado da aritmética modular. Ele ajuda a resolver sistemas em que o mesmo número inteiro deixa restos diferentes quando dividido por módulos diferentes.
Um sistema típico tem a seguinte forma:
Cada linha informa algo sobre o resto de \(x\). Por exemplo, \(x \equiv 2 \pmod{3}\) significa que \(x\) deixa resto \(2\) quando dividido por \(3\).
Em sua forma padrão, o teorema afirma que, se os módulos \(m_1, m_2, \ldots, m_n\) são coprimos dois a dois, então o sistema tem uma solução módulo o produto \(m_1m_2\cdots m_n\). Em outras palavras, existe uma classe de resíduos que satisfaz todas as congruências, e cada solução difere desse resíduo por um múltiplo do módulo combinado.
A versão generalizada amplia essa ideia para alguns sistemas em que os módulos não são coprimos dois a dois. Nesse caso, o sistema ainda pode ter uma solução, mas somente quando os resíduos são compatíveis com os fatores comuns dos módulos.
O teorema é útil porque transforma várias condições sobre restos em uma única resposta compacta. Em vez de listar várias congruências separadamente, você pode combiná-las em uma única congruência:
Essa forma é mais fácil de interpretar, comparar e reutilizar.
O Teorema Chinês do Resto é comum na teoria elementar dos números, na matemática discreta e em problemas de aritmética modular. Ele também aparece em contextos computacionais nos quais um cálculo pode ser dividido em cálculos modulares menores e depois recombinado.
Mesmo em problemas simples, o teorema oferece uma maneira clara de lidar com ciclos repetidos. Se um número precisa se ajustar a vários padrões que se repetem ao mesmo tempo, um sistema de congruências no estilo do TCR costuma ser o modelo matemático natural.
O TCR padrão começa com módulos coprimos dois a dois. Por exemplo, \(3\), \(5\) e \(7\) são coprimos dois a dois porque cada par tem máximo divisor comum \(1\).
Para módulos coprimos dois a dois, o módulo combinado é o produto:
O resultado é único módulo \(M\). Isso não significa que exista apenas uma solução inteira. Significa que existe uma classe de soluções:
em que \(k\) pode ser qualquer número inteiro.
Para duas congruências, o método generalizado pode ser entendido por meio de uma redução simples. Suponha que você queira resolver:
A primeira congruência significa que \(x\) pode ser escrito como:
Substitua isso na segunda congruência:
Em seguida, subtraia \(a\):
Esta é uma congruência linear. Defina:
Existe uma solução somente quando \(b-a\) é divisível por \(g\):
Se essa condição não for satisfeita, as duas congruências são contraditórias. Se for satisfeita, o par pode ser combinado em uma única congruência módulo:
Depois de combinar um par, a mesma ideia pode ser repetida com a próxima congruência, até que o sistema seja reduzido a uma congruência final.
Resolva:
Os módulos \(3\), \(5\) e \(7\) são coprimos dois a dois, portanto o módulo combinado é:
Aplicando o TCR, obtemos:
Confira o resultado:
Portanto, toda solução tem a forma:
em que \(k\) é qualquer número inteiro.
Módulos não coprimos não significam automaticamente que não há solução. Considere:
Os módulos não são coprimos porque:
Agora compare os resíduos:
Como \(6\) é divisível por \(2\), as congruências são compatíveis.
Comece com \(x = 2 + 6t\) e substitua na segunda congruência:
Divida pelo fator comum \(2\):
O inverso de \(3\) módulo \(5\) é \(2\), então:
Usando \(t=1\), obtemos:
O módulo combinado é:
Portanto, a solução é:
Agora considere:
O máximo divisor comum é:
A diferença entre os resíduos é:
Como \(1\) não é divisível por \(2\), as duas condições são incompatíveis. Não existe número inteiro que seja congruente a \(1\) módulo \(4\) e congruente a \(2\) módulo \(6\) ao mesmo tempo.
Um resultado como:
significa que \(r\) é o menor resíduo não negativo da classe de soluções e \(M\) é o módulo combinado. Toda solução inteira é obtida somando ou subtraindo múltiplos de \(M\):
em que \(k\) é qualquer número inteiro.
O módulo combinado é o período da resposta. Depois que uma solução é conhecida, a próxima solução maior está a \(M\) unidades de distância, e a próxima solução menor também está a \(M\) unidades.
A menor solução positiva geralmente é \(r\), mas há uma exceção importante. Se o menor resíduo não negativo for \(0\), então a menor solução positiva será \(M\), e não \(0\), pois \(0\) não é positivo.
Se o resultado informar que os módulos são coprimos dois a dois, o Teorema Chinês do Resto padrão se aplica diretamente. Se os módulos não forem coprimos dois a dois, o sistema ainda poderá ter uma solução válida quando os resíduos coincidirem módulo os máximos divisores comuns relevantes.
Uma mensagem de incompatibilidade significa que as congruências não têm uma solução inteira em comum. Na prática, pelo menos duas condições de resto exigem respostas diferentes módulo um fator compartilhado.
Use o Teorema Chinês do Resto quando precisar combinar várias condições de resto para o mesmo número inteiro desconhecido.
Os casos de uso comuns incluem:
O teorema é mais útil quando cada condição é naturalmente escrita como uma congruência. Se o problema envolver desigualdades, números reais, erro de medição ou dados aproximados, o TCR pode não ser a ferramenta adequada sem uma modelagem adicional.
O TCR é um teorema sobre números inteiros. Os resíduos e módulos devem ser inteiros, e cada módulo deve ser positivo. Um módulo igual a \(0\) ou um módulo negativo não é válido.
Esta calculadora trata o resultado como exato. Ela não arredonda valores decimais, pois o cálculo se baseia em aritmética inteira. Os resíduos informados são reduzidos à sua forma não negativa mínima, portanto um resíduo fora do intervalo usual ainda representa a mesma classe de congruência após a normalização.
Digite os valores inteiros normalmente, como 3 ou -3. Valores decimais, frações, notação científica como 1e6 e sinais de mais explícitos no início, como +3, não são compatíveis.
São necessárias pelo menos duas congruências para formar um sistema. Uma única congruência já é uma classe de soluções, portanto não há nada para combinar.
Para módulos não coprimos, uma solução existe somente quando as condições dos resíduos são compatíveis com os fatores compartilhados. Se o teste de compatibilidade falhar, não há congruência combinada a informar.
Sistemas muito grandes podem produzir módulos combinados muito grandes. O resultado algébrico ainda pode ser exato, mas grades visuais de resíduos só são práticas para módulos combinados pequenos. Esta calculadora mostra uma grade completa de resíduos somente quando o módulo combinado é no máximo \(72\); para módulos combinados maiores, visualizar exemplos de valores das soluções costuma ser mais claro do que tentar exibir todo o ciclo de resíduos.
x ≡ 2 (mod 3), x == 2 mod 3, x = 2 mod 3, 2, 3 ou 2 3.
Não. A versão padrão exige que os módulos sejam coprimos dois a dois. Módulos primos são uma maneira de garantir isso, mas módulos compostos também podem ser coprimos dois a dois.
Sim. Um sistema não coprimo pode ter uma solução quando os resíduos coincidem módulo o máximo divisor comum dos módulos envolvidos. Se os resíduos forem diferentes módulo um fator compartilhado, o sistema não terá uma solução comum.
Isso significa que toda solução é encontrada escolhendo um valor inteiro para \(k\). Valores positivos, negativos e zero de \(k\) produzem soluções válidas na mesma classe de congruência.
Quando os módulos são coprimos dois a dois, o mínimo múltiplo comum deles é igual ao produto. Quando os módulos compartilham fatores, o mínimo múltiplo comum é menor que o produto e se torna o período da classe de soluções combinada quando existe uma solução compatível.
Resíduos negativos são outra maneira de nomear a mesma classe de congruência. Por exemplo, \(-1 \pmod{5}\) é igual a \(4 \pmod{5}\), portanto um resolvedor pode normalizar \(-1\) para \(4\) antes de combinar as congruências.
Um resultado sem solução significa que as congruências entram em conflito. Para duas congruências, isso acontece quando a diferença entre os resíduos não é divisível pelo máximo divisor comum dos módulos.
Livros e livros didáticos abertos
Fontes educacionais e técnicas on-line