Resolvedor de equação exponencial

Uma equação exponencial da forma b elevado à potência x igual a y pede o expoente real que transforma uma base positiva fixa em um valor positivo fixo. A solução real única, quando existe, é o logaritmo de y na base b, que toda calculadora científica avalia pela identidade de mudança de base: x igual ao logaritmo natural de y dividido pelo logaritmo natural de b, ou de forma equivalente o logaritmo decimal de y dividido pelo logaritmo decimal de b. Este resolvedor aceita dois números finitos, impõe o domínio clássico de que a base seja positiva e diferente de um e de que o valor seja positivo, e devolve tanto uma aproximação decimal limpa quanto uma string exata: um inteiro quando a resposta é um número inteiro, uma racional simples quando é uma fração pequena, ou um quociente de logaritmos explícito caso contrário. Bases inválidas e valores não positivos falham com um erro claro de validação em vez de um NaN silencioso.

Como logaritmos resolvem b à x igual a y

Parta do enunciado exponencial real base b elevado à potência x igual ao valor y. Ao tomar o logaritmo dos dois lados em qualquer base fixa maior que zero e diferente de um obtém-se x vezes o logaritmo de b igual ao logaritmo de y, de modo que x é o logaritmo de y sobre o logaritmo de b. Escolher o logaritmo natural é o caminho usual de máquina: x igual a ln de y dividido por ln de b.

A mesma identidade com logaritmo decimal ou com o logaritmo explícito na base b é algebricamente equivalente; só muda a chamada de função intermediária. O domínio é estrito. A base deve ser positiva para que potências reais permaneçam contínuas para todo expoente real, e não deve ser um porque um elevado a qualquer potência real é sempre um, o que ou não tem solução quando y não é um ou tem infinitas soluções quando y é um.

O valor y deve ser positivo porque o logaritmo real não é definido em zero nem em números negativos. Dentro desse conjunto aberto o mapa x para b à x é bijetivo dos reais sobre os reais positivos, de modo que sempre existe exatamente uma solução real.

Esta implementação avalia a fórmula de mudança de base com logaritmos de ponto flutuante ordinários e classifica o resultado numérico: se está dentro de uma tolerância apertada de um inteiro o campo exact é esse inteiro; se está dentro da tolerância de uma fração reduzida com denominador no máximo trinta e dois o campo exact é essa fração; caso contrário o campo exact é o quociente logaritmo de y sobre logaritmo de b.

Um pequeno bloco de verificação recalcula b à x informada e indica se recupera y dentro do ruído relativo, o que detecta erros de domínio cedo quando clientes constroem pipelines.

O que você envia e o que recebe de volta

Envie dois números finitos nos campos b e y representando a base e o valor em b elevado a x igual a y. Ambos os campos são obrigatórios. Quando b não é positivo, quando b é essencialmente um, ou quando y não é positivo, a requisição falha com uma mensagem que nomeia a regra de domínio, para que os clientes possam corrigir o formulário em vez de adivinhar.

As strings formula e domain reexpressam a forma fechada e o conjunto aberto para rótulos de interface. Checagens clássicas de livro incluem b igual a dois e y igual a oito com exact três; b igual a quatro e y igual a dois com exact um meio; b igual a dez e y igual a mil com exact três; e b igual a dois e y igual a dez com forma exact logarítmica não inteira perto de três vírgula três dois.

Onde resolvedores de equação exponencial aparecem no trabalho real

Cursos de álgebra do ensino médio e da faculdade atribuem sem parar exercícios de mudança de base, rearranjos de juros compostos e perguntas de meia-vida que se reduzem a base elevada ao tempo igual a um quociente; um único oráculo confiável que devolve formas exatas e decimais acelera a correção e a montagem de demos.

Problemas de contest de programação e aquecimentos de entrevista muitas vezes escondem uma exponencial sob tempos de dobramento, contagens de profundidade de bits ou modelos de crescimento, e engenheiros precisam de rejeição honesta quando a base é um ou o valor não é positivo em vez de um NaN silencioso de um logaritmo não verificado.

Notebooks de finanças e ciência invertem fórmulas de crescimento e decaimento exponencial —principal vezes um mais taxa à n, ou massa inicial vezes e à menos k t— e devem informar um expoente limpo sem inventar logaritmos complexos para massa negativa.

Se mais tarde precisar de formas fechadas quadráticas ou cúbicas, sistemas de duas equações exponenciais ou reescrita simbólica de a vezes b à x mais c igual a zero, trate-os como intenções de busca e landings separados em vez de sobrecarregar esta página do resolvedor exponencial de uma só base.