# Calculadora de aritmética modular (soma / subtração / produto / inversa / potência)

Calcula soma, subtração, produto, inversa e potência rápida módulo m com aritmética BigInt exata (até 10¹⁸). As operações básicas mostram a redução passo a passo e devolvem o representante canônico em [0, m−1]; a inversa usa o algoritmo de Euclides estendido e avisa quando gcd(a, m) ≠ 1; a potência rápida exibe a tabela de elevar-ao-quadrado-e-multiplicar para os bits do expoente. Exemplos: 17⁵ mod 13 = 10; 5⁻¹ mod 18 = 11.

> Página canônica: https://elysiatools.com/pt/tools/modulo-arithmetic-converter

- **Categoria:** Math & Numbers

- **Palavras-chave:** aritmética modular, módulo, congruência, inversa modular, potência rápida, euclides estendido, teoria dos números, resto

## Visão geral

A Calculadora de Aritmética Modular executa operações exatas de adição, subtração, multiplicação, inverso modular e exponenciação rápida sob um módulo m, utilizando representação BigInt para valores até 10¹⁸. O sistema exibe o representante canônico no intervalo [0, m−1] e detalha o processo algébrico, seja pela identidade de Bézout no algoritmo de Euclides estendido ou pela decomposição binária do expoente no método de elevar ao quadrado e multiplicar.

## Entradas

- **Operação** (select)
- **Valor a** (text): First operand (the base in power mode, the value being inverted in inverse mode).
- **Valor b** (text): Second operand — the exponent in power mode; unused in inverse mode.
- **Módulo m** (text): Modulus, m ≥ 2. Results are reduced to the canonical range \[0, m−1\].

## Quando usar

- Calcular potências modulares elevadas sem risco de estouro de precisão numérica.
- Encontrar o inverso multiplicativo modular de um número para resolver congruências lineares.
- Verificar o passo a passo da redução canônica e da identidade de Bézout em estudos de teoria dos números.

## Como funciona

- Selecione a operação modular desejada: adição, subtração, multiplicação, inversa ou potência.
- Insira o operando principal a, o operando ou expoente b (quando aplicável) e o módulo m (m ≥ 2).
- A ferramenta processa o cálculo com aritmética BigInt e gera a saída reduzida em \[0, m−1\] com os passos da decomposição ou algoritmo estendido de Euclides.

## Casos de uso

- Resolução de exercícios acadêmicos de álgebra abstrata e teoria dos números.
- Validação manual de cálculos em algoritmos criptográficos como RSA e Diffie-Hellman.
- Conferência de operações aritméticas de precisão para desafios de programação competitiva.

## Perguntas frequentes

### O que ocorre se gcd(a, m) ≠ 1 no cálculo da inversa?

O sistema identifica que os valores não são primos entre si e informa que o inverso modular não existe.

### Qual é o intervalo do resultado canônico?

Todos os resultados finais são reduzidos e apresentados estritamente dentro do intervalo canônico [0, m−1].

### Como a exponenciação rápida calcula o resultado?

O expoente b é decomposto em binário e o algoritmo realiza elevações ao quadrado sucessivas multiplicando apenas os bits ativos.

### Qual é o valor máximo suportado para as entradas?

A ferramenta processa valores inteiros exatos com aritmética BigInt de até 10¹⁸.

### O operando b é necessário para todas as operações?

Não, o operando b é utilizado nas operações de adição, subtração, multiplicação e potência, sendo desconsiderado no cálculo do inverso.

## Ferramentas relacionadas

- [Simplificador de álgebra booleana (mapa de Karnaugh)](https://elysiatools.com/pt/tools/boolean-algebra-simplifier): Simplifica funções booleanas para a SOP mínima: introduza uma expressão (A–D, + OU, · E, ' NÃO, ≤ 4 variáveis) ou a lista de minterms Σm; o algoritmo de Quine-McCluskey obtém os implicantes primos, toma os essenciais e completa uma cobertura mínima exata; são exibidos a SOP mínima, o mapa de Karnaugh em código Gray (2–4 variáveis), a forma canônica Σm e uma verificação sobre todas as atribuições. Clássicos: AB + A'B → B; Σm(0,1,2,4,5,6) (3 variáveis) → B' + C'.
- [Conversor de Razão de Diluição (1:X ↔ 1/X ↔ %)](https://elysiatools.com/pt/tools/dilution-ratio-converter): Converte entre as notações de diluição de laboratório: proporção 1:X, fração 1/X e porcentagem, com o fator de diluição e as partes de soluto/diluente. Aceita as duas convenções de 1:X (X = partes totais, ou 1 parte de soluto + X de diluente); informando o volume final, calcula os volumes a misturar. Exemplo clássico: 1:5 = 1/5 = 20 %; para 100 mL, misturar 20 mL de concentrado + 80 mL de diluente.
- [Algoritmo de Euclides estendido (ax + by = mdc(a, b))](https://elysiatools.com/pt/tools/extended-euclidean-algorithm): Resolve a identidade de Bézout a·x + b·y = mdc(a, b) para inteiros de qualquer sinal: entrega a tabela completa de passos de divisão (cada linha satisfaz r = a·s + b·t), o mdc e o mmc. Com o lado direito opcional c, torna-se um solucionador de equações diofantinas: se mdc | c dá a solução particular e a geral x = x₀ + (b/g)t; caso contrário, informa claramente que não há solução inteira. Clássico: 240 × (−9) + 46 × 47 = 2.
- [Calculadora de inversa modular (Euclides estendido)](https://elysiatools.com/pt/tools/modular-inverse-calculator): Calcula a⁻¹ mod m pelo algoritmo de Euclides estendido: fornece os coeficientes de Bézout a·x + m·y = gcd(a, m), a tabela completa de coeficientes diretos (cada linha satisfaz r = a·s + m·t) e a verificação a × a⁻¹ ≡ 1 (mod m). Aceita números do tamanho do RSA (até 10⁵¹²) e avisa claramente quando gcd(a, m) ≠ 1 torna a inversa inexistente. Clássico: no RSA, 17⁻¹ mod 3120 = 2753.
- [Gerador de tabelas-verdade](https://elysiatools.com/pt/tools/truth-table-generator): Gera a tabela-verdade completa de uma expressão booleana (até 6 variáveis, 64 linhas): suporta + OU, ^ XOR, ·/*/& ou justaposição E, !/~/' NÃO e parênteses; as variáveis são listadas alfabeticamente, cada linha mostra a atribuição e o valor F, e são dadas as formas canônicas Σm (minterms) e ΠM (maxterms). Clássicos: AB + A'C tem Σm(1,3,6,7); A ^ B ^ C é a função de paridade ímpar Σm(1,2,4,7).
- [Conversor de Velocidade Angular (rad/s / rpm / deg/s / Hz)](https://elysiatools.com/pt/tools/angular-velocity-converter): Conversão de velocidade angular: rad/s (base SI) ↔ rpm (1=2π/60 rad/s) ↔ grau/s (1=π/180 rad/s) ↔ Hz (1 rotação/s=2π rad/s). Hz aqui = rotação por segundo. Conversão via rad/s com os quatro equivalentes. Ref.: vinil 33⅓ rpm≈3,49 rad/s, marcha lenta ~800 rpm≈83,8 rad/s.
- [Calculadora de Dimensionamento de Duto (vazão e velocidade)](https://elysiatools.com/pt/tools/duct-size-calculator): Dimensiona um duto a partir da vazão Q e velocidade de projeto v: seção A=Q/v. Circular: diâmetro D=√(4A/π). Retangular com razão r=a/b: b=√(A/r), a=r·b, diâmetro equivalente ASHRAE D_eq=1,30·(a·b)^0,625/(a+b)^0,25. Vazão em m³/s/m³/h/CFM; resultados em mm e polegadas.
- [Calculadora de Limite de Fadiga (Goodman/Gerber/Soderberg)](https://elysiatools.com/pt/tools/fatigue-limit-calculator): Fator de segurança em fadiga com correção por tensão média. Dados σ_a, σ_m e σ_uts, σ_-1, σ_y: três critérios clássicos — Goodman modificado (linear, conservador), Gerber (parabólico, melhor para dúcteis) e Soderberg (via σ_y, o mais conservador). O menor é o valor governante; indica se o ponto está dentro da linha de Goodman.

## Exemplos

- [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 Processamento de Imagem Android Java](https://elysiatools.com/pt/samples/android-image-processing-java): Exemplos de processamento de imagem Android Java incluindo leitura/escrita, dimensionamento e conversão de formato
- [Exemplos de Processamento de Imagem Android Kotlin](https://elysiatools.com/pt/samples/android-image-processing-kotlin): Exemplos de processamento de imagem Android Kotlin incluindo leitura/escrita, dimensionamento e conversão de formato
- [Exemplos de Processamento de Imagem Web Rust](https://elysiatools.com/pt/samples/web-image-processing-rust): Exemplos de processamento de imagem Web Rust incluindo leitura/gravação, redimensionamento e conversão de formato