How to use the limit definition to find the derivative on $a^x$

calculusderivativesexponential functionlimits-without-lhopital

I was wondering on how to use the limit definition to find the derivative of the function $f(x) = a^x$ without using the constant $e$ and the logarithm $\ln(x)$ but only using the the definition:

$$\lim_{h \to 0}\frac{a^{x+h} – a^x}{h}=
\lim_{h \to 0}\frac{a^{x} \cdot a^{h} – a^x}{h}=
\lim_{h \to 0}\frac{a^{x}(a^{h} – 1)}{h}=
a^x \cdot \lim_{h \to 0}\frac{a^{h} – 1}{h}$$

And here we have an indeterminate form $\frac{0}{0}$ when $h \to 0$.

How can I get past this loop hole?


Trying to substitute $f(x) = a^x$ by $f(x \ln(a)) = e^{x \ln(a)}$ is NOT an acceptable demonstration as we are invoking results we are deliberately trying to prove.

Best Answer

Using only limits you have:

$$f'(0) = \lim_{h \to 0} \frac{f(0+h) - f(0)}{h}$$ $$= \lim_{h \to 0} \frac{a^h-1}{h}$$ $$\therefore f'(x) = a^x \times f'(0)$$

However, you cannot prove that $f'(0) = \ln a$ without using the property that $e^x$ is its own derivative.

If you accept the fact as described in this answer, use the fact that $a^x = e^{x \ln a} = f(x \ln a)$. This means that $a^x$ is a horizontal transformation of $e^x$, compressed by a factor of $\ln a$ (and stretched when $\ln a < 1, a < e$). Since the vertical dimension is not transformed, using $\text{slope} = \frac{\text{rise}}{\text{run}}$ gives:

$$f'(x) = \frac{\Delta y}{\frac{1}{\ln a} \cdot \Delta x} \left(e^x \right) = \ln a \times\frac{\mathrm{d}}{\mathrm{d}x} \left(e^x \right)$$

when $\Delta y$ and $\Delta x$ are small.

Since $ \frac{d}{dx} e^x = e^x$, therefore we have that $f'(0) = e^0 \cdot \ln a = \ln a$.

Related Question