Because \(f(x) = x^3\) and \(g(x) = \sqrt[3]{x}\) are inverse functions, we saw that
\begin{equation*}
y=\sqrt[3]{x}~~~~\text{if and only if}~~~~x=y^3
\end{equation*}
A similar rule relates the operations of raising a base \(b\) to a power and taking a base \(b\) logarithm. You may recall from Chapter 7 that
\begin{equation*}
y = \log_b {(x)}~~~~\text{if and only if}~~~~x=b^y
\end{equation*}
So the function \(g(x)=\log_b {(x)}\) is the inverse function for \(f(x)=b^x\text{.}\) Each function undoes the effect of the other. For example, let \(f(x)=2^x\) and \(g(x)=\log_2 {(x)}\text{.}\) Start with \(x=3\text{,}\) apply \(f\text{,}\) and then apply \(g\) to the result.
\begin{equation*}
x = \alert{3}~~~~~~\rightarrow~~~~~~f(3)=2^3=8~~~~~~\rightarrow~~~~~~g(8)=\log_2{(8)} = \alert{3}
\end{equation*}
We return to the original number, 3.
And because \(f(x)=b^x\) and \(g(x)=\log_b {(x)}\) are inverse functions, we can write these operations in one expression as
\begin{equation*}
g(f(3)) = \log_2{(2^{\alert{3}})} = \alert{3}
\end{equation*}
(Remember the order of operations: do whatβs inside of parentheses first, to get \(\log_2{(8)}\text{.}\)) Because the log and the exponential are inverse functions, this identity holds for any value of \(x\) and any base \(b \gt 0\text{.}\) That is
\begin{equation*}
\blert{\log_b{(b^{x})} = x}
\end{equation*}
We can also apply the two functions in the opposite order, so that
\begin{equation*}
f(g(8)) = 2^{\log_2{(\alert{8})}} = \alert{8}
\end{equation*}
(We compute the exponent, \(\log_2{(8)} = 3\text{,}\) first, and then compute the power \(2^3\text{.}\)) And in general
\begin{equation*}
\blert{b^{\log_b{(x)}} = x}
\end{equation*}