Students first encounter logarithms in Algebra 2 or their last pre-calculus course. They are usually defined as exponents and their properties “proven” by reference to the corresponding properties of exponents. This is good enough at the time, but in calculus we are ready to define logarithms properly. The result is the definition in terms of a function defined by an integral.

In fact, the definition flows naturally from the properties of inverse functions (no pun intended, because the flow is quite natural). But is this a definition? Or a proof? The solution of certain differential equations discussed in my last post may be used to derive the logarithm function.

Let’s begin by pretending we know nothing about logarithms, and investigate the inverse of *e ^{x}*.

This function *e ^{x}* contains points of the form so its inverse will contain points of the form , which, since we like the first coordinate of functions to be

*x*, we may also call , where ln(

*x*) will be the name of the inverse of

*e*. Remember, at the moment ln(

^{x}*x*) is just a notation for the inverse of

*e*, we do not know anything about logarithms (yet).

^{x}So = and . For example, (0, 1) is a point on *e ^{X}*, so (1, 0) is a point on the ln(

*x*) function, and so ln(1) = 0.

In a previous post we defined the number *e* and the function *e ^{x}* in such a way that . Now, at the derivative is

*e*, so at the corresponding point on its inverse, , the derivative is the reciprocal of the derivative of

^{X}*e*which is . That is

^{X}We can use this idea to define ln(*x*) as a function defined by an integral. Solving the differential equation by the method suggested in a recent post we get:

We can pick any positive number for *a* and a convenient one is the one we already found *a* = 1 where ln(1) = 0, so

This then is the “official definition” of the natural logarithm function. The domain is *x* > 0 (the range of *e ^{x}*) and the range is all real numbers (the domain of

*e*).

^{x}Graphically, ln(*x*) is the area between the graph of and the *t*-axis between 1 and *x*. If , then and if , .

From this definition we can prove all the familiar properties of logarithms and show that this is a function of the kind we called “logarithm” all along. This is in all the textbooks so I will not go into this here.

One of these properties tells us that for , and since ln(*a*) is a constant

Finally, you will see this antiderivative formula: . The absolute value sign is to remind you that the argument of the logarithm function must be positive, since in some situations *x* itself may be negative.