inversa de f(x)=a^x
Uma exponencial de base positiva diferente de 1 e expoente afim não constante é estritamente monótona em ℝ e assume todos os valores estritamente positivos
Vamos exprimir a entrada em função da saída :
⇥1) Vamos resolver em :
⇥Como o logaritmo só está definido para números estritamente positivos e uma base igual a 1 dá sempre 1, aplicamos a função ln a ambos os membros, desde que e e :
⇥
⇥
⇥ⓘ Dividimos ambos os membros por , que deve ser não nulo:
⇥Solução obtida:
⇥2) Vamos resolver para a :
⇥Solução obtida:
⇥3) Vamos resolver para a : utilizando
⇥Vamos construir o quadro das diferentes soluções para encontrar a solução global:
⇥
| ❌ | ❌ | ✅ | ✅ | ✅ | |||
| ✅ | ✅ | ✅ | ❌ | ✅ | |||
| Solução global | ❌ | ❌ | ✅ | ❌ | ✅ |
⇥A interseção de e dá
⇥4) Vamos resolver para y :
⇥Solução obtida:
Renomeando a saída como , a inversa é , com domínio
▶Função inversa: