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 x em função da saída y: y = 4x
⇥1) Vamos resolver em ℝ: 4x = y
⇥Como o logaritmo só está definido para números estritamente positivos, aplicamos a função ln a ambos os membros, desde que y > 0:
⇥ ln(4x) = ln(y)
⇥ⓘ No domínio real da expressão inicial, a base é estritamente positiva: o logaritmo da potência é o expoente multiplicado pelo logaritmo da base: ln(4x) = x·ln(4)
⇥ x·ln(4) = ln(y)
⇥ⓘ O logaritmo de uma potência é um múltiplo do logaritmo, ln(an) = n·ln(a): ln(4) = ln(22) = 2·ln(2)
⇥ x·2·ln(2) = ln(y)
⇥ⓘ Dividimos ambos os membros por 2·ln(2)
⇥Solução obtida: x = ln(y)2·ln(2)
⇥2) Vamos resolver para y: y > 0
⇥Solução encontrada: y > 0
Renomeando a saída como x, a inversa é ln(x)2·ln(2), com domínio x > 0, a condição obtida ao isolar a entrada
▶Função inversa:   ln(x)2·ln(2)