Teoria Função logarítmica

$$a^{\log_a x} = x$$

Quando compomos uma função com sua inversa o resultado é a função identidade $(f(x) = x)$ e este é exatamente um exemplo deste caso.

Para verificar sua veracidade basta termos a igualdade
$$\log_a x = z \Rightarrow x = a^z \Rightarrow a^z = x$$

Esta composição é muito importante no contexto do cálculo diferencial e integral, para resolver limites, derivadas e integrais.