# Teorema chinês do resto (sistema de congruências)

Resolve o sistema x ≡ rᵢ (mod mᵢ) (2–20 equações) pelo teorema chinês do resto generalizado com fusão aos pares: módulos coprimos → módulo combinado igual ao produto; não coprimos porém compatíveis → MMC; sistema incompatível → ausência de solução relatada claramente. Cada congruência é verificada contra a solução final. Clássico: x ≡ 2 (mod 3), x ≡ 3 (mod 5), x ≡ 2 (mod 7) → x = 23 (mod 105).

> Página canônica: https://elysiatools.com/pt/tools/chinese-remainder-theorem

- **Categoria:** Math & Numbers

- **Palavras-chave:** teorema chinês do resto, sistema de congruências, congruências simultâneas, aritmética modular, mmc, teoria dos números

## Visão geral

Esta ferramenta resolve sistemas de congruências lineares utilizando o Teorema Chinês do Resto (TCR) generalizado por fusão aos pares. Ela processa de 2 a 20 equações simultâneas, suportando tanto módulos coprimos quanto módulos com fatores comuns compatíveis via MMC, além de alertar claramente quando o sistema é inconsistente e verificar a solução final contra cada congruência fornecida.

## Entradas

- **Restos r (um por equação)** (text): Comma- or space-separated remainders, one per congruence; negative values are reduced mod m.
- **Módulos m (um por equação)** (text): Comma- or space-separated moduli (each m ≥ 2), matching the remainders count.

## Quando usar

- Ao resolver sistemas de congruências com módulos coprimos na aritmética modular clássica.
- Ao lidar com equações modulares cujos módulos compartilham fatores comuns compatíveis via MMC.
- Ao verificar rapidamente se um conjunto de equações simultâneas possui solução ou é incompatível.

## Como funciona

- Insira os restos r separados por vírgula ou espaço no primeiro campo.
- Insira os módulos m correspondentes (com m ≥ 2) na mesma quantidade que os restos.
- O algoritmo mescla as congruências aos pares aplicando o algoritmo de Euclides estendido e cálculo de MMC.
- Obtenha a solução única dentro do módulo combinado, acompanhada da verificação passo a passo de cada equação.

## Casos de uso

- Estudantes e professores de teoria dos números resolvendo exercícios clássicos de congruência linear.
- Desenvolvedores e pesquisadores de criptografia verificando cálculos de representação por resíduos (RNS) e RSA.
- Engenheiros de computação analisando alinhamento de fases periódicas e sincronização de eventos com ciclos de tamanhos distintos.

## Perguntas frequentes

### O que acontece se os módulos não forem coprimos?

O método generalizado verifica a compatibilidade; se a diferença dos restos for divisível pelo MDC dos módulos, o sistema é resolvido usando o MMC como novo módulo.

### Como a ferramenta lida com restos negativos?

Restos negativos são reduzidos automaticamente para a sua menor classe residual não negativa equivalente módulo m.

### Quantas equações simultâneas podem ser resolvidas de uma vez?

A ferramenta suporta a resolução de sistemas contendo entre 2 e 20 equações modulares.

### O que indica quando um sistema é incompatível?

Significa que o MDC de dois módulos não divide a diferença de seus respectivos restos, tornando matematicamente impossível encontrar uma solução inteira simultânea.

### Qual é a faixa do valor retornado na solução final?

A ferramenta apresenta a solução única normalizada no intervalo 0 ≤ x < M, onde M é o produto ou o MMC final dos módulos combinados.

## Ferramentas relacionadas

- [Calculadora da função de Carmichael λ(n)](https://elysiatools.com/pt/tools/carmichael-function): Calcula a função de Carmichael λ(n) — o expoente do grupo multiplicativo (Z/nZ)*, ou seja, o menor k com a^k ≡ 1 (mod n) para todo a coprimo com n. Construída a partir da fatoração prima (λ(2)=1, λ(4)=2, λ(2^k)=2^(k−2) para k ≥ 3, λ(p^k)=φ(p^k) em potências ímpares, depois mmc), junto com φ(n), a existência de raiz primitiva e o critério de Korselt para detectar números de Carmichael. Clássicos: λ(561) = 80 (561 é o menor número de Carmichael) e λ(8) = 2 < φ(8) = 4.
- [Gerador de permutações / combinações / subconjuntos (com repetições)](https://elysiatools.com/pt/tools/combinatorial-generation): Gera permutações, combinações e subconjuntos de um multiconjunto com deduplicação automática em ordem lexicográfica: as permutações usam next_permutation com contagem exata n!/Π(mᵢ!); as combinações dão as k-subseções distintas do multiconjunto, contadas como coeficiente de x^k em Π(1+x+…+x^mᵢ) (C(n,k) se todos os elementos forem distintos); os subconjuntos enumeram cada subseção com contagem Π(mᵢ+1) (2ⁿ se todos distintos), incluindo o vazio. Até 12 elementos, exibição limitada a 200 entradas mas contagem sempre exata; o modo combinações exige 1 ≤ k ≤ n. Clássicos: permutações de \[A, A, B\] → 3!/2! = 3 (AAB, ABA, BAA); subconjuntos de \[A, A, B\] → (2+1)(1+1) = 6.
- [Calculadora da função totiente de Euler φ(n)](https://elysiatools.com/pt/tools/euler-totient-function): Calcula a função totiente de Euler φ(n) — quantos inteiros em \[1, n\] são coprimos com n. Fatora n por divisão de tentativa e avalia exatamente φ(n) = n · Π(1 − 1/p) (n ≤ 10¹²), com opção de listar os primeiros 60 coprimos e o lembrete do teorema de Euler a^φ(n) ≡ 1 (mod n). Clássicos: φ(36) = 12 (36 = 2² × 3²); se n for primo, φ(n) = n − 1, p. ex. φ(97) = 96.
- [Conversor de Fração Decimal](https://elysiatools.com/pt/tools/fraction-decimal-converter): Converta entre frações e decimais com suporte para números mistos, frações impróprias e vários formatos decimais
- [Resolvedor de jogos de soma zero (ponto de sela / programação linear)](https://elysiatools.com/pt/tools/game-theory-zero-sum): Resolve jogos de soma zero 2–6 × 2–6 (a matriz de pagamentos pertence ao jogador linha, o maximizador; o jogador coluna paga): primeiro o teste de ponto de sela (se o maximin dos mínimos das linhas iguala o minimax dos máximos das colunas, há equilíbrio em estratégias puras e todas as células de sela são listadas); caso contrário a matriz é deslocada para que todas as entradas sejam ≥ 1 e um simplex monofásico (base de folgas, regra de Bland) resolve max Σz s.a. Bz ≤ 1: o primal dá a estratégia mista q do jogador coluna e os preços duais de sombra são exatamente a solução y do jogador linha; o valor é deslocado de volta e x, q, v são verificados numericamente (xᵀA ≥ v, Aq ≤ v) junto com a igualdade minimax. Clássico: cara ou coroa \[\[1,-1\],\[-1,1\]\] → valor 0 com misturas 0.5/0.5.
- [Calculadora de transformada inversa de Laplace (frações parciais)](https://elysiatools.com/pt/tools/inverse-laplace-calculator): Calcula a transformada inversa de Laplace de F(s) = N(s)/D(s) (fração própria, denominador de grau ≤ 6): acha as raízes do denominador agrupadas por multiplicidade e pares conjugados, resolve o sistema linear de coeficientes para a decomposição em frações parciais e inverte termo a termo com os pares padrão (A/(s−r)→Ae^(rt), A/(s−r)^j→At^(j−1)e^(rt)/(j−1)!, (Bs+C)/((s−α)²+β²)→e^(αt)\[Bcos(βt)+…sin(βt)\]). Clássicos: 1/(s²+3s+2) → e^(−t)−e^(−2t); (3s+5)/(s²+4) → 3cos(2t)+2,5sin(2t).
- [Calculadora de transformada de Laplace (tabela de pares)](https://elysiatools.com/pt/tools/laplace-transform-calculator): Obtém por tabela a transformada de Laplace F(s) = ∫₀^∞ e^(−st)f(t)dt: 14 pares padrão (1, t, tⁿ, e^(at), tⁿe^(at), sin/cos(kt) e seus deslocamentos exponenciais, sinh/cosh, t·sin/t·cos, δ(t)), com substituição de parâmetros, região de convergência (p. ex. s > a), nota de derivação e avaliação numérica opcional num ponto s (com verificação de convergência). Exemplo: L{e^t} = 1/(s−1), s>1, F(2) = 1.
- [Ordem multiplicativa módulo n (ordem do elemento)](https://elysiatools.com/pt/tools/order-of-element-mod-n): Calcula a ordem multiplicativa ord\_n(a) — o menor k ≥ 1 com a^k ≡ 1 (mod n) (exige mdc(a, n) = 1). O algoritmo parte de φ(n) e vai removendo fatores primos testando a^(ord/p); a saída inclui a tabela de potências de a, a prova de minimalidade (a^(k/p) ≢ 1 para cada primo p | k), o subgrupo cíclico gerado , e indica se a é raiz primitiva (ord = φ(n)) ou atinge a ordem máxima (ord = λ(n)). Clássicos: ord\_7(3) = 6 = φ(7), 3 é raiz primitiva mod 7; ord\_15(2) = 4 < φ(15) = 8.

## Exemplos

- [Exemplos de NATS Message System](https://elysiatools.com/pt/samples/nats-samples): Exemplos do sistema de mensageria NATS incluindo pub/sub, request-reply, grupos de fila e JetStream para aplicações modernas cloud-native
- [Exemplos de Processamento de Imagem Web Python](https://elysiatools.com/pt/samples/web-image-processing-python): Exemplos de processamento de imagem Web Python usando PIL/Pillow incluindo leitura, salvamento, redimensionamento e conversão de formato
- [Exemplos de Texto Misto Chinês-Inglês](https://elysiatools.com/pt/samples/text-chinese-english-mixed-samples): Arquivos de texto de amostra com conteúdo misto chinês-inglês para testar ferramentas de espaçamento automático
- [Amostras de Texto com Chinês](https://elysiatools.com/pt/samples/text-with-chinese-samples): Texto multilíngue contendo caracteres chineses para testar a extração de chinês