Derivatives of inverse exponential functions

$\newenvironment {prompt}{}{} \newcommand {\accordion }[0]{} \newcommand {\ungraded }[0]{} \newcommand {\xmDefaultPreamble }[0]{xmPreamble.tex} \newcommand {\xmDefaultPrintstyle }[0]{xmPrintstyle.sty} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{}$

We derive the derivatives of inverse exponential functions using implicit differentiation.

Geometrically, there is a close relationship between the plots of $e^x$ and $\ln (x)$ , they are reflections of each other over the line $y=x$ :

One may suspect that we can use the fact that $\frac {d}{dx} e^x = e^x$ , to deduce the derivative of $\ln (x)$ . We will use implicit differentiation to exploit this relationship computationally.

The Derivative of the Natural Logrithm

$\frac {d}{dx} \ln (x) = \frac {1}{x}.$

Recall

$\ln (x) = y \qquad \text {exactly when}\qquad e^y = x\qquad \text {and}\qquad x>\answer [given]{0}.$

Hence $\begin{align*} e^y &= x\\ \frac {d}{dx} e^y &= \frac {d}{dx} x &\text {Differentiate both sides.}\\ e^y \frac {dy}{dx} &= 1 &\text {Implicit differentiation.}\\ \frac {dy}{dx} &= \frac {1}{e^y} = \answer [given]{\frac {1}{x}}&\text {Solve for $\frac {dy}{dx}$.} \end{align*}$

Since $y=\ln (x)$ , $\frac {d}{dx} \ln (x) = \answer [given]{\frac {1}{x}}$ .

Compute:

$\frac {d}{dx} \left (-\ln (\cos (x))\right ) \begin{prompt} = \answer {\tan (x)} \end{prompt}$

From the derivative of the natural logarithm, we can deduce another fact:

The derivative of any logarithm Let $b$ be a positive real number. Then

$\frac {d}{dx} \log _b(x) = \frac {1}{x\ln (b)}.$

Here we need to remember that

$\log _b(x) = \frac {\ln (x)}{\answer [given]{\ln (b)}}.$

So we may write $\begin{align*} \frac {d}{dx} \log _b(x) &= \frac {d}{dx} \frac {\ln (x)}{\answer [given]{\ln (b)}}\\ &= \answer [given]{\frac {1}{x\ln (b)}}. \end{align*}$

Compute:

$\frac {d}{dx} \log _7(x) \begin{prompt} = \answer {1/(x \ln (7))} \end{prompt}$

We can also compute the derivative of an arbitrary exponential function.

The derivative of an exponential function

$\frac {d}{dx} a^x = a^x\cdot \ln (a).$

Here we need to be slightly sneaky. Note

$a^x = e^{\ln (a^x)} = e^{x\ln (a)}.$

So we may write $\begin{align*} \frac {d}{dx} a^x &= \frac {d}{dx} e^{x\ln (a)}\\ &= e^{x\ln (a)} \cdot \answer [given]{\ln (a)}\\ &= \answer [given]{a^x\cdot \ln (a)}. \end{align*}$

Compute:

$\frac {d}{dx} 7^x \begin{prompt} = \answer {7^x \ln (7)} \end{prompt}$

2025-01-06 19:51:29

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Controls

Symbols

Settings