Propriedade associativa da adição
(2 + 3) + 4 e 2 + (3 + 4) dão 9, então a propriedade associativa vale. Digite três números quaisquer e veja os dois agrupamentos calculados lado a lado, com um sim ou não claro sobre se os resultados coincidem. Grátis no seu navegador.
- Grátis
- Funciona no seu navegador
- Sem cadastro
- Seus dados não saem do seu aparelho
Executar grátis
Exemplo resolvido
- A
- 2
- B
- 3
- C
- 4
- Soma à esquerda
- 9
- Soma à direita
- 9
- Agrupamento à esquerda
- (2 + 3) + 4
- Agrupamento à direita
- 2 + (3 + 4)
A propriedade associativa da adição diz que o agrupamento não muda a soma de três números: (a + b) + c equivale a a + (b + c). Esta calculadora aceita três números finitos a, b e c, avalia o agrupamento esquerdo (a + b) + c e o direito a + (b + c) e devolve se essas duas somas coincidem, junto com os dois totais.
O que significa a propriedade associativa da adição
A adição de números reais é associativa: ao combinar três parcelas, os parênteses podem se mover sem mudar o total. Escrita como fórmula, (a + b) + c equivale a a + (b + c) para todo a, b e c reais. O agrupamento esquerdo soma primeiro a com b e depois acrescenta c; o direito soma primeiro b com c e depois acrescenta a.
Na reta numérica os dois caminhos cobrem o mesmo deslocamento líquido, e por isso os livros didáticos do ensino fundamental tratam a identidade como lei, não como coincidência de alguns exemplos. Essa mesma lei deixa um caixa totalizar uma cesta em qualquer ordem de agrupamento, uma planilha dobrar uma coluna de cima ou a partir de um par aninhado, e a álgebra reescrever a + (b + c) como (a + b) + c ao fatorar ou juntar termos semelhantes.
Esta capacidade não é um somador genérico de três números que esconde o agrupamento: calcula os dois lados de propósito e informa se coincidem. Essa distinção importa para a busca. Quem digita propriedade associativa da adição quer a conferência de agrupamento que acabou de ver numa ficha, não uma soma sem rótulo.
Quer ver (2 + 3) + 4 ao lado de 2 + (3 + 4) e um sim claro quando ambos valem nove. Também quer o resultado honesto da máquina quando as parcelas distam tanto em magnitude que o arredondamento binary64 quebra a lei. Zero, negativos e decimais são parcelas legais; só a entrada não finita é recusada.
A conferência é determinística, não usa relógio nem rede e, portanto, é segura para fixar em testes e para rodar de graça no navegador.
Onde uma conferência associativa justifica o lugar
Salas de aula e plataformas de tutoria usam um conferidor da propriedade associativa da adição para que os alunos confirmem os dois agrupamentos com a, b e c arbitrários sem deslizar um parêntese à mão e somar duas vezes. Geradores de preparação para exames precisam de um oráculo determinístico que marque uma parcela não finita como inválida em vez de coagí-la em silêncio a zero. Validação falha não consome saldo.
Mantenha as três parcelas finitas, fixe as duas somas e o indicador holds nos testes, e você obtém uma conferência de agrupamento reproduzível para dever de casa, plugins LMS e workers de borda, sem levantar uma pilha própria de álgebra computacional nem ensinar uma planilha a comparar duas fórmulas SUM aninhadas.
Casos de uso
Conferências de sala e dever de casa
Permita que os alunos enviem três parcelas e verifiquem que (a + b) + c equivale a a + (b + c), com as duas cadeias de agrupamento ao lado das somas.
Perguntas frequentes
O que é a propriedade associativa da adição?
É a identidade (a + b) + c = a + (b + c): agrupar três parcelas não muda a soma na aritmética real exata. Esta ferramenta avalia os dois agrupamentos e informa se os resultados da máquina coincidem.
O que acontece se uma parcela não for um número finito?
Valores ausentes, cadeias vazias, NaN e Infinity são recusados e não são cobrados.
Os dois agrupamentos podem dar resultados diferentes?
Na aritmética exata, nunca. Mas no computador, somar números de tamanhos muito diferentes pode arredondar de um jeito em cada agrupamento, e a calculadora mostra esse resultado real em vez de supor que a lei vale.
Posso usar números negativos ou decimais?
Sim. Zero, números negativos e decimais são aceitos. Só são recusados valores que não são números finitos, com uma mensagem indicando qual dos três precisa ser corrigido.
O que o resultado mostra?
Os dois agrupamentos escritos com os seus números, como (2 + 3) + 4 e 2 + (3 + 4), o total de cada um, aqui 9 e 9, e uma frase clara dizendo se os dois totais coincidem.
Ferramentas relacionadas
Para desenvolvedores — acesso via API
Tudo nesta página está disponível via API. Esta seção é para equipes que querem integrar a ferramenta aos próprios sistemas; quem não precisa disso pode simplesmente usar a ferramenta acima.
Endpoint
Autenticação por token Bearer. Um único POST coloca a tarefa na fila; o resultado chega por webhook ou link assinado.
Chame do seu código
curl -X POST https://api.kit.forhosting.com/math/associative-property \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"a":2,"b":3,"c":4}'const res = await fetch("https://api.kit.forhosting.com/math/associative-property", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"a": 2,
"b": 3,
"c": 4
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/math/associative-property",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"a": 2,
"b": 3,
"c": 4
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/math/associative-property", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"a":2,"b":3,"c":4}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"a":2,"b":3,"c":4}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/math/associative-property", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)Exemplo de requisição
{
"a": 2,
"b": 3,
"c": 4
}Exemplo de resposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.associative_property",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}A API é assíncrona: cada chamada devolve um task_id na hora. Se preferir polling, consulte o status a até 1 requisição por segundo.
Preço
Preço publicado, sem tokens nem créditos escondidos. Tarefa que falha não é cobrada.
Erros
| HTTP | Código | O que significa |
|---|---|---|
401 | unauthorized | Token ausente ou inválido. Confira o header Authorization. |
402 | insufficient_balance | Saldo insuficiente para esta tarefa. Faça uma recarga e tente de novo. |
404 | unknown_type | Esse tipo de tarefa não existe. Confira o campo type no catálogo. |
429 | rate_limited | Muitas requisições em pouco tempo. Espere um instante e tente de novo. |
Notas técnicas
Alunos, professores e ferramentas de preparação para exames precisam de uma conferência rápida de que os dois agrupamentos produzem de fato o mesmo resultado, inclusive nos casos incômodos em que o arredondamento de ponto flutuante faz as duas somas IEEE divergirem. Valores não finitos, campos ausentes e cadeias vazias falham com invalid_input e não são cobrados.
O que significa a propriedade associativa da adição
Ao devolver as duas somas, as cadeias de agrupamento, um indicador holds e uma mensagem de uma linha, o endpoint torna a lei inspecionável em vez de presumida.
Contrato de entrada, forma da resposta e erros
Se um agrupamento transborda para um valor não finito, a tarefa é recusada em vez de serializada como null. Mantenha os pedidos em três escalares. Envie um corpo JSON com três números finitos obrigatórios: a, a primeira parcela; b, a segunda; e c, a terceira. Cada campo pode chegar como número JSON ou como cadeia numérica. Os aliases x, first para a, y, second para b, e z, third para c são aceitos quando o nome canônico é omitido, assim um formulário rotulado first, second, third ainda vincula. Campos ausentes, cadeias vazias, booleanos, objetos, NaN e Infinity falham com invalid_input nomeando o campo e não são cobrados. No sucesso o corpo ecoa as parcelas analisadas a, b e c; devolve left_sum como (a + b) + c; devolve right_sum como a + (b + c); define holds como true quando esses dois números coincidem e false quando o arredondamento IEEE-754 os fez diferir; lista left_grouping e right_grouping como cadeias de exibição tais como (2 + 3) + 4 e 2 + (3 + 4); reitera a identidade em formula; e inclui uma mensagem curta. Exemplo: a vale dois, b vale três, c vale quatro produz left_sum nove, right_sum nove e holds true. Exemplo: a vale um vezes dez à dezesseis, b vale o oposto disso e c vale um produz left_sum um e right_sum zero, então holds é false — um contraexemplo clássico de binary64, não um defeito do conferidor. Combine a carga com seus próprios rótulos ou um esboço da reta; este endpoint não emite gráficos nem prosa de sala passo a passo além das cadeias de agrupamento e da mensagem. Não há campo de precisão: a comparação é igualdade IEEE exata, o contrato honesto de uma conferência automática de uma lei dos reais.
Onde uma conferência associativa justifica o lugar
Scripts de contabilidade e estoque que dobram três valores com parentizações diferentes podem chamar a mesma conferência antes de assumir que os dois subtotais coincidirão na aritmética IEEE. Como a implementação é parse pura de nível A, cada chamada bem-sucedida custa o preço-base publicado US$ 0,002 sem tokens de modelo e sem rede de saída.
Casos de integração
Provas e correção automática LMS
Corrija itens de propriedade associativa com um oráculo determinístico que recusa entrada não finita e nunca inventa uma coincidência quando o arredondamento IEEE separa as duas somas.
Testes de regressão de bibliotecas numéricas
Fixe left_sum, right_sum e holds para triples de sala e para o contraexemplo 1e16, -1e16, 1 ao refatorar ajudantes de adição.
Perguntas técnicas
Quais três números devo enviar?
Envie números finitos a, b e c (aliases first/second/third ou x/y/z). A API devolve left_sum = (a+b)+c, right_sum = a+(b+c) e holds true quando essas somas coincidem.
A conferência pode devolver false?
Sim. A adição binary64 não é associativa. Um caso clássico é a = 1e16, b = -1e16, c = 1: o agrupamento esquerdo vale 1 e o direito vale 0, então holds é false.
Quanto custa o conferidor da propriedade associativa?
A ferramenta do navegador é gratuita. Pedidos API usam saldo pré-pago KIT a US$ 0,002 por chamada bem-sucedida; entrada inválida não é cobrada.