# How is the Logarithm derived from the exponential function? (aren't they inverses?) I've been learn

How is the Logarithm derived from the exponential function? (aren't they inverses?)
I've been learning logs in school, and my teacher, friend, and I are stumped on something. How does one derive the logarithmic function from the exponential function? My friend thinks Tayler Series are the trick. Is he right? Is there a a better/simpler/more elegant way? Also, do calculators use taylor series to do logs? Thanks for the help
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

Hayley Mccarthy
The answer (at least, one possible answer) is in your title! You can define logarithms as inverses of exponential functions.
However, this then prompts the question: how do you define the exponential function? Again there are various ways in which you could do this. One common way is to say that the exponential function $f\left(x\right)={e}^{x}$ is the unique function which has the properties

However, this raises some questions which are usually not answered (or worse, not even asked) in basic calculus courses. Here are two:
(1) How do we know that functions of the form ${a}^{x}$ are differentiable? After all, you will have met functions such as the absolute value which are not differentiable.
(2) Even if we assume that ${a}^{x}$ is differentiable, how do we know there is any value of $a$ which makes its derivative the same function? After all, this is just asking us to find $a$ by solving an equation, and there are many equations which have no solution, for example, $a=a+1$
For these and other reasons it is often found better to do things the other way around: define the (natural) logarithm first by
$\mathrm{ln}x={\int }_{1}^{x}\frac{dt}{t}$
for $x>0$, and then define ${e}^{x}$ to be the inverse of $\mathrm{ln}x$
It's a great question to think about and I hope this gives you a useful start.
A related question, also well worth thinking about: it's easy to say what we mean by ${\pi }^{2}$, but what exactly do we mean by ${2}^{\pi }\phantom{\rule{thinmathspace}{0ex}}$?