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 x em função da saída y: y = ax
⇥1) Vamos resolver em ℝ: ax = y
⇥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 a > 0 e a ≠ 1 e y > 0:
⇥ ln(ax) = ln(y)
⇥ x·ln(a) = ln(y)
⇥ⓘ Dividimos ambos os membros por ln(a), que deve ser não nulo: a ≠ 1
⇥Solução obtida: x = ln(y)ln(a)
⇥2) Vamos resolver para a: a > 0
⇥Solução obtida: a > 0
⇥3) Vamos resolver para a: a ≠ 1 utilizando a > 0
⇥Vamos construir o quadro das diferentes soluções para encontrar a solução global:
⇥
a-∞ 0 1 +∞
a > 0❌❌✅✅✅
a ≠ 1✅✅✅❌✅
Solução global❌❌✅❌✅
⇥A interseção de a > 0 e a ≠ 1 dá a ∈ ]0 ; 1[ ∪ ]1 ; +∞[
⇥4) Vamos resolver para y: y > 0
⇥Solução obtida: y > 0
Renomeando a saída como x, a inversa é ln(x)ln(a), com domínio { x > 0 ; a ∈ ]0 ; 1[ ∪ ]1 ; +∞[ }
▶Função inversa:   ln(x)ln(a)