Solucionador de inequações logarítmicas com intervalos
Este solucionador de inequações logarítmicas trabalha com um logaritmo cujo argumento é linear em x, verifica onde esse argumento é positivo, converte a comparação para a forma exponencial e retorna a solução real final em notação de intervalo.
Executar grátis
Ele aceita logaritmos naturais, decimais e bases positivas explícitas diferentes de um. O cálculo também inverte corretamente o sentido quando a base está entre zero e um, por isso o resultado inclui a inequação transformada e a interseção com o domínio.
Insira uma inequação logarítmica compatível
Escreva o logaritmo à esquerda e uma constante numérica finita à direita. São aceitas formas como ln(2x + 1) <= 0, log(x) > 2, log10(x - 4) >= 1 e log_2(x - 1) > 3. A forma log sem indicação usa base dez, enquanto ln representa a base e. Uma base explícita vem depois do sublinhado, deve ser positiva e não pode ser igual a um. Dentro do logaritmo, o solucionador aceita um termo linear em x e uma constante opcional, com ou sem sinal de multiplicação. Essa gramática limitada mantém o resultado transparente e determinístico: toda expressão aceita é reduzida a duas inequações lineares, em vez de ser enviada a um mecanismo simbólico opaco. O lado direito precisa ser um número decimal, e a comparação deve usar um operador estrito ou inclusivo. Potências de x, produtos de variáveis, vários logaritmos, variáveis à direita ou comparações compostas são recusados com erro de entrada, sem produzir uma resposta plausível para uma forma não suportada. Esse limite torna a ferramenta adequada para aulas, conferência de respostas e testes de software nos quais um contrato bem definido importa tanto quanto o resultado.
Converta para a forma exponencial preservando o sentido correto
Quando a base é maior que um, o logaritmo é crescente. Portanto, o logaritmo de um argumento na base b ser maior que c equivale a o argumento ser maior que b elevado a c, mantendo o mesmo sinal de comparação. Uma base entre zero e um se comporta de outro modo porque seu logaritmo é decrescente. Nesse caso, toda comparação é invertida durante a conversão: se o logaritmo na base b de um argumento é maior que c, o argumento passa a ser menor que b elevado a c. A resposta apresenta a base, a monotonicidade, a forma exponencial, o limite calculado e a inequação linear transformada para deixar essa decisão visível. Por exemplo, o logaritmo de x na base um meio maior que um se converte em x menor que um meio, e não maior. Operadores inclusivos continuam inclusivos após a inversão necessária. O cálculo usa aritmética real finita e recusa limites que estourem para infinito ou caiam para zero, pois mostrar uma fronteira finita arredondada distorceria a solução. Nenhuma rede, aleatoriedade, data atual ou serviço remoto de álgebra participa; a mesma entrada válida sempre gera a mesma saída estruturada e os mesmos passos.
Respeite o domínio e interprete o intervalo
Um logaritmo real existe somente quando seu argumento é estritamente positivo. Essa restrição é calculada antes da comparação exponencial e depois intersectada com a inequação obtida na conversão. Isso é especialmente importante quando a condição transformada aponta para valores que atravessam o zero do argumento. Em ln(2x + 1) menor ou igual a zero, a conversão fornece 2x + 1 menor ou igual a um, mas o domínio também exige 2x + 1 maior que zero. A combinação produz um intervalo aberto em menos um meio e fechado em zero. A resposta informa o domínio separadamente e depois mostra uma solução legível e a notação de intervalo. Parênteses excluem extremidades, colchetes incluem extremidades finitas e o infinito sempre usa parêntese. Um resultado unilateral como x maior que nove aparece como (9, ∞), enquanto um resultado limitado pode aparecer como (-0.5, 0]. A lista de passos foi feita para explicação e auditoria: ela declara a condição de positividade, identifica se o logaritmo cresce ou decresce, mostra a conversão exponencial e registra a interseção final. O solucionador não omite o domínio mesmo quando a inequação convertida já implica positividade, pois exibi-lo faz parte da resolução correta de uma inequação logarítmica.
Casos de uso
Conferir exercícios de álgebra
Verifique a conversão exponencial, a restrição de domínio, a inclusão das extremidades e a notação de intervalo de uma inequação resolvida.
Criar exercícios determinísticos
Gere respostas estruturadas estáveis e passos explicativos para questões compatíveis com argumento linear em um aplicativo educacional.
Testar uma interface de matemática simbólica
Use os campos explícitos de domínio e inequação transformada como casos de regressão para analisadores, interfaces ou sistemas de correção.
Perguntas frequentes
Quanto custa o solucionador de inequações logarítmicas?
Você pode executá-lo grátis no navegador nesta página. Cada solicitação bem-sucedida pela API custa US$ 0,002.
Quais notações de logaritmo são aceitas?
Use ln(ax+b), log(ax+b), log10(ax+b) ou log_base(ax+b). log e log10 usam base dez; ln usa base e.
Por que o argumento do logaritmo deve ser positivo?
Um logaritmo real só é definido para argumento positivo. O solucionador intersecta essa condição estrita de domínio com a inequação convertida.
Quando o sinal da inequação é invertido?
Ele é invertido quando a base está entre zero e um, porque o logaritmo é uma função decrescente. Bases maiores que um mantêm o sinal.
A ferramenta resolve inequações não lineares ou com vários logaritmos?
Não. Esta capacidade aceita um logaritmo com argumento linear e lado direito numérico. Formas simbólicas incompatíveis são recusadas em vez de aproximadas.
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/log-inequality \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"text":"log_2(x - 1) > 3"}'const res = await fetch("https://api.kit.forhosting.com/algebra/log-inequality", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"text": "log_2(x - 1) > 3"
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/algebra/log-inequality",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"text": "log_2(x - 1) > 3"
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/algebra/log-inequality", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"text":"log_2(x - 1) > 3"}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"text":"log_2(x - 1) > 3"}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/algebra/log-inequality", 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
{
"text": "log_2(x - 1) > 3"
}Exemplo de resposta
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "algebra.log_inequality",
"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_chars | 300 |
max_abs_number | 1e+100 |
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. |