inversa de 4^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, aplicamos a função ln a ambos os membros, desde que :
⇥
⇥ⓘ No domínio real da expressão inicial, a base é estritamente positiva: o logaritmo da potência é o expoente multiplicado pelo logaritmo da base: =
⇥
⇥ⓘ O logaritmo de uma potência é um múltiplo do logaritmo, : = =
⇥
⇥ⓘ Dividimos ambos os membros por
⇥Solução obtida:
⇥2) Vamos resolver para y :
⇥Solução encontrada:
Renomeando a saída como , a inversa é , com domínio , a condição obtida ao isolar a entrada
▶Função inversa: