Espaço reservado para banner responsivo (728x90 / 320x50)
Calculadora de Logaritmo
Calcule logaritmos em qualquer base válida com prova algébrica em BigInt, busca de frações contínuas, suporte simbólico à constante de Euler (e), mudança de base e resolução didática passo a passo.
Parâmetros do Logaritmo
Expressão: log_b(x) = y ⇔ b^y = x
Condição de Existência Violada
Verifique os valores informados.
Pronto para calcular
Insira o logaritmando e a base nos campos ao lado e clique em "Calcular Logaritmo" para visualizar a prova matemática em BigInt, a equivalência exponencial e o passo a passo.
Resolução Passo a Passo
As 5 Propriedades Operatórias dos Logaritmos
Propriedades válidas no conjunto dos números reais, acompanhadas das suas rigorosas condições de domínio.
log_b(x · y) = log_b(x) + log_b(y)
O logaritmo do produto é igual à soma dos logaritmos dos fatores. Exige que cada fator seja individualmente positivo.
log_b(x / y) = log_b(x) − log_b(y)
O logaritmo da divisão é igual à subtração entre o logaritmo do numerador e o do denominador.
log_b(xʳ) = r · log_b(x)
O expoente do logaritmando passa multiplicando o logaritmo da base ("regra do tombo").
log_b(ⁿ√x) = (1/n) · log_b(x)
O índice da raiz divide o logaritmo, correspondendo à potência fracionária de expoente 1/n.
log_{bᵏ}(x) = (1/k) · log_b(x)
O expoente da base passa dividindo o logaritmo. Essencial para simplificar bases que são potências conhecidas (como 4, 8, 27, 81 ou 128).
Exemplos Práticos
Clique no botão "Testar" de qualquer exemplo abaixo para carregar os valores e acompanhar a prova algébrica em BigInt e a resolução completa.
| Aplicação / Caso | Expressão | Classificação | Resultado Esperado | Ação |
|---|---|---|---|---|
| 1. Fração Racional Simples Base 8 e argumento 4 (8^p = 4^q) | log₈(4) | Exato Comprovado | = 2/3 (≈ 0,666667) | |
| 2. Denominador por Fração Contínua Base 128 (2⁷) e argumento 2 (2¹) | log₁₂₈(2) | Exato Comprovado | = 1/7 (≈ 0,142857) | |
| 3. Fração de Base e Argumento Base 2/3 e argumento 4/9 (multiplicação cruzada) | log_{2/3}(4/9) | Exato Comprovado | = 2 | |
| 4. Expoente Negativo com Inversão Base 2/3 e argumento 9/4 = (2/3)⁻² | log_{2/3}(9/4) | Exato Comprovado | = -2 | |
| 5. Expressão Simbólica Natural Base e e argumento e² | ln(e²) | Exato Comprovado | = 2 | |
| 6. Irracionalidade Comprovada Base 10 e argumento 2 (fatoração prima incompatível) | log₁₀(2) | Irracional Comprovado | ≈ 0,301030 | |
| 7. Quase Inteiro (Rejeição de Falso Positivo) Base 10 e argumento 99,9999 (arredondado para 2,000000 com ≈) | log₁₀(99,9999) | Aproximação Decimal | ≈ 2,000000 |
Definição & Condições de Existência
Dados dois números reais positivos x (logaritmando) e b (base com b ≠ 1), chama-se logaritmo de x na base b o expoente y ao qual se deve elevar a base para obter o logaritmando:
- x > 0: Não existe logaritmo de zero ou de número negativo nos números reais.
- b > 0 e b ≠ 1: A base deve ser estritamente positiva e diferente de 1.
Fórmula de Mudança de Base
Para calcular um logaritmo em qualquer base b utilizando uma calculadora científica com apenas logaritmo natural (ln) ou decimal (log₁₀), aplica-se a fórmula da mudança de base:
Essa propriedade garante que qualquer logaritmo pode ser expresso em termos da base natural de Euler (e ≈ 2,7182818...).
Perguntas Frequentes (FAQ)
Dúvidas fundamentais sobre o cálculo e propriedades dos logaritmos.
Por que a base do logaritmo não pode ser igual a 1 ou negativa?
Se a base fosse 1, teríamos 1^y = 1 para qualquer valor de y, tornando a função constante e impossível de inverter. Se a base fosse negativa (ex: -2), potências como (-2)^(1/2) resultariam em raízes quadradas de números negativos, o que não existe no conjunto dos números reais.
O que é o logaritmo natural (ln) e a constante e?
O logaritmo natural, indicado por ln(x), é o logaritmo cuja base é a constante de Euler e ≈ 2,7182818284.... Essa constante irracional surge naturalmente em modelos de crescimento contínuo, juros compostos contínuos, decaimento radioativo e cálculo diferencial e integral.
Como o KALKIO comprova algebricamente resultados exatos sem usar aproximação epsilon?
A calculadora identifica candidatos racionais via expansão em frações contínuas e executa a prova de multiplicação cruzada em BigInt: N_b^p · D_x^q == N_x^q · D_b^p. Uma aproximação próxima de um número inteiro (como log₁₀(99,9999)) falha na verificação de BigInt e é honestamente apresentada como aproximação decimal (≈ 2,000000).
Qual a diferença entre uma aproximação decimal e um número irracional comprovado?
Uma aproximação decimal é um resultado numérico cujo padrão exato não foi identificado dentro dos limites de busca. Já a classificação de irracionalidade comprovada só é atribuída quando há um teorema formal que garanta a transcendência (como o Teorema de Lindemann-Weierstrass para ln de números racionais ou fatoração prima incompatível).
Espaço reservado para banner responsivo (728x90 / 320x50)