ForHosting KIT · Matemática

Exclusão de noves

A exclusão de noves confere uma soma ou um produto em segundos: um total declarado de 579 deixa resto 3 módulo 9, igual aos restos 6 e 6 das parcelas combinados, então passa. Uma divergência prova o erro. Grátis no seu navegador.

Grátis
Funciona no seu navegador
Sem cadastro
Seus dados não saem do seu aparelho

Executar grátis Ver a API

Use pelo WebAPIE-mailTelegramApp em breve

Exemplo resolvido

Se você digitar

Operandos: 123, 456
Resultado declarado: 579
Operação: Sum

Você obtém

Resíduos dos operandos: 6, 6
Resíduo combinado: 3
Resíduo declarado: 3
Verificação: casting_out_nines

A exclusão de noves é uma verificação aritmética clássica que usa a congruência módulo nove para detectar erros de adição e multiplicação sem refazer cada dígito à mão. Com dois ou mais operandos inteiros, um resultado reivindicado e um indicador de operação, esta capacidade reduz cada número à sua classe de resíduo módulo nove, combina esses resíduos como a operação original faria e compara o resultado com o resíduo da afirmação. Quando os dois lados discordam, a resposta reivindicada é certamente errada. Quando concordam, a afirmação só é coerente com a aritmética modular: uma transposição ou um erro de múltiplo de nove ainda pode se esconder.

O que significa excluir noves e por que o módulo 9 funciona

Todo inteiro é congruente à soma de seus dígitos decimais módulo nove, porque dez é congruente a um módulo nove e as potências superiores de dez colapsam da mesma forma. Repetir a soma de dígitos até restar um único dígito produz a raiz digital, que coincide com o resíduo módulo nove, exceto que múltiplos de nove mapeiam para nove em vez de zero quando o número é diferente de zero. A exclusão de noves usa essa congruência como checksum aritmético.

Se você soma vários números, o resíduo do total verdadeiro deve igualar a soma dos resíduos das parcelas, de novo módulo nove. Se multiplica, o resíduo do produto verdadeiro deve igualar o produto dos resíduos dos fatores, também módulo nove. Uma divergência é decisiva: nenhum total correto pode discordar dos resíduos combinados de seus operandos.

A concordância não é decisiva: você ainda pode errar em nove, dezoito ou qualquer múltiplo de nove, ou trocar dígitos que preservem a soma dos dígitos, e a verificação modular ainda passará. Essa limitação é exatamente por que os livros apresentam a exclusão de noves como filtro rápido e não como prova completa. Os resíduos são informados no conjunto fechado de zero a oito para que inteiros com sinal e o zero tenham representação uniforme; o conteúdo matemático é o mesmo do descarte clássico por soma de dígitos.

Casos de uso

Demos de aritmética modular em sala de aula

Mostre aos alunos acertos e falhas ao vivo para somas e produtos enquanto ensina somas de dígitos, raízes digitais e congruência módulo nove.

Triagem de respostas em lições e olimpíadas

Rejeite adições ou multiplicações claramente erradas que falhem a exclusão de noves antes de gastar tempo em reavaliação completa.

Checagens leves de razão e inventário

Filtre totais e produtos multioperando com uma verificação determinística módulo 9 em scripts que precisem de um filtro barato de coerência.

Perguntas frequentes

Como verifico uma soma com exclusão de noves?

A resposta compara a soma dos resíduos módulo 9 com o resíduo reivindicado e define passes em conformidade.

Como verifico um produto?

Os resíduos são multiplicados módulo 9 e comparados com o resíduo reivindicado.

O que acontece se eu enviar menos de dois operandos?

A exclusão de noves sobre um resultado multioperando reivindicado exige pelo menos dois operandos.

Uma verificação aprovada prova que a resposta está correta?

Não. A concordância só mostra coerência módulo 9. Erros de múltiplo de nove ou trocas de dígitos que preservem o resíduo ainda podem passar. Uma falha prova que a afirmação está errada.

Por que a exclusão de noves funciona?

Porque 10 deixa resto 1 na divisão por 9, todo número inteiro tem o mesmo resto módulo 9 que a soma dos seus algarismos. Assim, os restos das parcelas ou dos fatores precisam se combinar no resto do resultado correto.

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

POSThttps://api.kit.forhosting.com/numth/casting-out-nines

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/numth/casting-out-nines \
  -H "Authorization: Bearer $KIT_KEY" \
  -H "Content-Type: application/json" \
  -d '{"operands":[123,456],"claimed":579,"operation":"sum"}'

const res = await fetch("https://api.kit.forhosting.com/numth/casting-out-nines", {
  method: "POST",
  headers: {
    "Authorization": `Bearer ${process.env.KIT_KEY}`,
    "Content-Type": "application/json"
  },
  body: JSON.stringify({
    "operands": [
      123,
      456
    ],
    "claimed": 579,
    "operation": "sum"
  })
});
const { task_id } = await res.json();

import os, requests

res = requests.post(
    "https://api.kit.forhosting.com/numth/casting-out-nines",
    headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
    json={
    "operands": [
        123,
        456
    ],
    "claimed": 579,
    "operation": "sum"
},
)
task_id = res.json()["task_id"]

<?php
$res = file_get_contents("https://api.kit.forhosting.com/numth/casting-out-nines", false, stream_context_create([
  "http" => [
    "method"  => "POST",
    "header"  => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
    "content" => '{"operands":[123,456],"claimed":579,"operation":"sum"}',
  ],
]));
$task = json_decode($res, true);

body := bytes.NewBufferString(`{"operands":[123,456],"claimed":579,"operation":"sum"}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/numth/casting-out-nines", 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

{
  "operands": [
    123,
    456
  ],
  "claimed": 579,
  "operation": "sum"
}

Exemplo de resposta

{
  "task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
  "type": "numth.casting_out_nines",
  "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

por chamadaUS$ 0,002

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

O motor é puro e determinístico, roda grátis no navegador para demos didáticas e custa US$ 0,002 por item API bem-sucedido quando você precisa da mesma verificação em scripts, avaliadores ou ajudas de lição de casa.

O que significa excluir noves e por que o módulo 9 funciona

Este endpoint devolve ambos os resíduos e um booleano passes para que aprendizes vejam a comparação modular de forma explícita em vez de só ouvir que os noves foram excluídos.

Contrato de entrada, formato da resposta e modos de falha

O campo claimed é o resultado inteiro que você afirma para esses operandos. Os mesmos operandos com claimed quinhentos e setenta e oito falham porque quinhentos e setenta e oito é congruente a dois módulo nove. Um exemplo de produto é sete vezes oito reivindicado como cinquenta e seis: os resíduos sete e oito multiplicam-se a dois módulo nove, coincidindo com cinquenta e seis. Menos de dois operandos sempre falha antes de qualquer trabalho modular, alinhado ao contrato publicado de que verificações multioperando precisam de pelo menos um par. Envie um objeto JSON com três peças obrigatórias. O campo operands é um array de pelo menos dois inteiros seguros finitos; menos de dois operandos falha com invalid_input porque a exclusão de noves precisa de uma afirmação multioperando para verificar. O campo operation é o enum sum ou product para o motor saber se deve somar ou multiplicar resíduos. Os aliases numbers, values e terms são aceitos para a lista de operandos; result e total para a afirmação; op e mode para a operação. Não inteiros, campos ausentes, arrays vazios, arrays de um elemento e valores fora do intervalo de inteiros seguros falham com invalid_input e não são cobrados. No sucesso a resposta ecoa operation, operands e claimed, depois lista operand_residues, combined_residue, claimed_residue, um booleano passes, o rótulo fixo de verificação casting_out_nines e uma nota curta que explica se a coincidência só mostra coerência ou a divergência prova o erro. Exemplo: operandos cento e vinte e três e quatrocentos e cinquenta e seis com claimed quinhentos e setenta e nove e operation sum produzem resíduos seis e seis, resíduo combinado três, resíduo reivindicado três e passes true.

Onde uma API de exclusão de noves vale o investimento

Salas de aula que ensinam regras de divisibilidade e aritmética modular usam a exclusão de noves como o primeiro checksum prático que estudantes podem aplicar à mão; um oráculo automatizado permite que tutores mostrem falhas ao vivo quando uma resposta defasada em um discorda módulo nove. Treinadores de olimpíadas e plataformas de lição de casa podem filtrar respostas candidatas antes da reavaliação completa, capturando barato muitos erros de adição e multiplicação. Combine com uma calculadora de raiz digital quando só precisar do resíduo de um número, e com ferramentas aritméticas completas quando precisar da soma ou do produto exatos em vez de uma verificação modular de coerência. Cadernos de engenharia que validam totais de livro-razão ou multiplicações de inventário às vezes querem um filtro modular leve antes de uma reconciliação mais pesada; esta capacidade permanece em inteiros seguros e devolve um formato JSON estável para testes. Como a implementação é parse de nível A, cada chamada bem-sucedida custa o preço base publicado US$ 0,002 sem tokens de modelo nem rede de saída, e falhas de validação não consomem saldo.

Perguntas técnicas

Quanto custa a verificação por exclusão de noves?

A ferramenta do navegador é grátis. Solicitações API usam saldo pré-pago KIT a US$ 0,002 por item bem-sucedido; entrada inválida não é cobrada.

Ver a documentação completa do KIT →

Executar grátis

Exemplo resolvido

O que significa excluir noves e por que o módulo 9 funciona

Casos de uso

Demos de aritmética modular em sala de aula

Triagem de respostas em lições e olimpíadas

Checagens leves de razão e inventário

Perguntas frequentes

Ferramentas relacionadas

Para desenvolvedores — acesso via API

Endpoint

Chame do seu código

Exemplo de requisição

Exemplo de resposta

Preço

Erros

Notas técnicas

O que significa excluir noves e por que o módulo 9 funciona

Contrato de entrada, formato da resposta e modos de falha

Onde uma API de exclusão de noves vale o investimento

Perguntas técnicas

obrigado