Calculadora do teorema do resto
Ao dividir 2 - 3x + x^2 por x − 2, o resto é 0, então 2 é raiz. A calculadora obtém esse resto como p(r) pelo método de Horner, sem divisão longa, e mostra cada passo para você. Grátis no seu navegador.
- Grátis
- Funciona no seu navegador
- Sem cadastro
- Seus dados não saem do seu aparelho
Executar grátis
Roda direto no seu navegador. Grátis, sem cadastro — seus dados não são enviados para lugar nenhum.
Uma calculadora do teorema do resto encontra o resto quando um polinômio univariado p(x) é dividido por um fator linear da forma x menos r sem realizar a divisão longa. Pelo teorema do resto polinomial esse resto é o valor único p(r), e esta ferramenta calcula p(r) com a multiplicação aninhada de Horner para que potências intermediárias não explodam e cada passo permaneça auditável. Informe os coeficientes com o termo constante primeiro —assim [2, −3, 1] significa 2 − 3x + x ao quadrado— e o valor r; a resposta devolve o resto, se r é raiz, uma string legível de p(x), a string do divisor e os passos ordenados de Horner que você pode colar em tarefas ou testes unitários.
O que o teorema do resto afirma e como Horner avalia p(r)
O teorema do resto polinomial diz que, ao dividir qualquer polinômio univariado p(x) com coeficientes reais (ou racionais) pelo fator linear mônico x menos r, o resto único é a constante p(r). Algebricamente é a identidade p(x) igual a (x menos r) vezes algum quociente q(x) mais a constante p(r). Avaliar o lado direito em x igual a r recupera imediatamente o resto sem construir q(x).
O método de Horner reescreve p em forma aninhada de modo que a avaliação usa apenas multiplicações por r e adições de coeficientes sucessivos, do termo de maior grau até o constante. Esse acumulador final é exatamente p(r) e, portanto, o resto. O grau formal é o maior índice cujo valor absoluto excede um épsilon minúsculo para que poeira numérica final não infle o grau, e o polinômio nulo —todo coeficiente zero após arredondamento— é permitido com grau menos um.
Dicas práticas, limites e buscas relacionadas
Mantenha as magnitudes dos coeficientes e de r dentro da faixa absoluta publicada para que produtos sucessivos não transbordem para um acumulador não finito que o solver deva rejeitar.
Checagens clássicas de sala incluem p(x) igual a x ao quadrado menos três x mais dois em r igual a dois, que dá resto zero porque dois é raiz, e o mesmo polinômio em r igual a um, que também dá resto zero, ou um cúbico como dois menos três x mais x ao quadrado em r igual a dois com resto não nulo que você pode verificar à mão.
Esta página visa quem busca calculadora do teorema do resto, resto polinomial da divisão por x menos r, ou avaliar p(r) pelo método de Horner online; não é divisão sintética que devolve o quociente completo, nem um localizador de raízes que busca r, nem um avaliador multivariado. Prefira esta capacidade quando você já tem coeficientes e um r candidato e só precisa do resto ou de uma checagem de raiz; se precisar dos coeficientes do quociente completo, use divisão sintética em outro lugar.
Casos de uso
Checagens rápidas de raiz antes de fatorar
Tutores e solucionadores testam candidatos racionais de r e usam resto zero como filtro rápido antes de investir em fatoração completa ou graficagem.
Perguntas frequentes
Como os coeficientes são ordenados?
Termo constante primeiro: [a0, a1, a2] significa a0 + a1·x + a2·x². Horner percorre do coeficiente de maior grau até a0.
O que acontece se os coeficientes faltam ou estão vazios?
Um campo ausente ou um array vazio não é um polinômio nulo; os coeficientes são obrigatórios.
Vocês devolvem o polinômio quociente?
Não. Esta capacidade devolve apenas o resto p(r) e os passos de Horner. A divisão sintética completa de q(x) está fora do escopo.
A calculadora do teorema do resto é grátis?
A ferramenta do navegador é grátis e roda localmente.
O que significa um resto igual a 0?
Significa que x − r divide o polinômio exatamente, então r é uma raiz. Ao dividir 2 - 3x + x^2 por x − 2, o resto é 0, o que confirma que 2 é raiz.
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/algebra/remainder-theorem \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"coeffs":[2,-3,1],"r":2}'const res = await fetch("https://api.kit.forhosting.com/algebra/remainder-theorem", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"coeffs": [
2,
-3,
1
],
"r": 2
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/algebra/remainder-theorem",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"coeffs": [
2,
-3,
1
],
"r": 2
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/algebra/remainder-theorem", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"coeffs":[2,-3,1],"r":2}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"coeffs":[2,-3,1],"r":2}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/algebra/remainder-theorem", 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
{
"coeffs": [
2,
-3,
1
],
"r": 2
}Exemplo de resposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "algebra.remainder_theorem",
"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.
Limites
max_coeffs | 256 |
max_abs | 1000000000000 |
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
Listas de coeficientes ausentes ou vazias são rejeitadas com invalid_input em vez de inventar em silêncio um polinômio nulo. O caminho é aritmética determinística pura —sem rede, sem sementes aleatórias, sem dependência do relógio— de modo que o executor gratuito do navegador e a API pré-paga devolvem o mesmo JSON após arredondamento decimal fixo cada vez que você a chama para preparação de provas, katas de código ou checagens rápidas de raízes.
O que o teorema do resto afirma e como Horner avalia p(r)
Com a convenção de termo constante primeiro desta API, o array [a0, a1, …, an] significa a0 mais a1 vezes x até an vezes x à n; Horner começa em an, multiplica por r, soma a_{n−1}, multiplica por r de novo e continua até somar a0. O que nunca é permitido é um campo ausente ou um array de coeficientes vazio: vazio não é polinômio nulo; é dado faltante, e a API devolve invalid_input para que scripts de tarefa e pipelines de correção falhem de forma ruidosa em vez de tratar o silêncio como zero.
Como chamar a API e o que volta na resposta
Envie um corpo JSON com dois campos obrigatórios: coeffs (aliases coefficients, p, poly), um array não vazio de números finitos com o termo constante primeiro, e r (aliases value, at, root), o número finito que aparece no divisor x menos r. Cada array de coeficientes pode ter no máximo duzentas e cinquenta e seis entradas, e todo valor absoluto de coeficiente e de r deve ficar dentro de um trilhão para que os produtos intermediários de Horner permaneçam finitos em precisão dupla IEEE no Worker e no navegador. Números em string são aceitos quando batem com um padrão numérico finito estrito; strings de arrays codificados em JSON também são aceitas para clientes que só enviam campos de texto. Em sucesso a resposta ecoa coeffs e r arredondados, define remainder e p_of_r com o mesmo valor avaliado, is_root como true quando o resto é numericamente zero dentro do épsilon, degree como o grau formal de p, p_str e divisor_str como polinômios compactos legíveis, formula como um enunciado breve do teorema do resto com Horner, message como um resumo de uma linha do resto ou raiz, e steps como um array ordenado de linhas de acumulação de Horner que você pode assertar em testes. Validação falha —coeffs ou r ausentes, arrays vazios, não arrays, entradas não finitas, listas maiores que o máximo publicado, valores fora dos limites absolutos ou acumulação de Horner não finita— devolve invalid_input e nunca é cobrada. O preço é um US$ 0,002 fixo por requisição bem-sucedida com item unitário e preço marginal unitário zero.
Dicas práticas, limites e buscas relacionadas
Prefira enviar arrays JSON genuínos em vez de strings pré-formatadas quando você controla o cliente. Combine esses sucessos com um campo coeffs ausente ou um array de coeficientes vazio para documentar o caminho duro de invalid_input. Tarefas falhas que devolvem invalid_input não consomem saldo pré-pago, o que mantém scripts exploratórios baratos quando alunos omitem coeficientes de propósito.
Casos de integração
Checagem de lição sobre resto e raízes
Alunos informam coeficientes do livro e um r candidato, depois comparam o resto e a flag is_root com o trabalho de Horner à mão antes de entregar a lição de álgebra.
Testes unitários para avaliadores polinomiais
Gere casos conhecidos de p(r) e rejeições deliberadas por coeficientes ausentes ou vazios como valores esperados de katas de código e fixtures de integração contínua.
Perguntas técnicas
Resto zero significa que r é raiz?
Sim. Quando o resto é numericamente zero dentro do épsilon, is_root é true e (x − r) divide p(x) de forma exata.