The title of this post asks a question that many calculus students find befuddling. Here I’ll give some geometric intuition behind it. I leave small logical gaps to avoid cheating the reader of the pleasure of their discovery.

One essential feature of logarithms is that they make a multiplication problem equivalent to an addition problem, by which I mean

Meanwhile, is usually thought of geometrically as the area underneath a curve. The problem, then, is to try to see visually what an area under a curve has to do with turning multiplication into addition.

Here’s a graph of , and we’re finding, as an example, the area under it from 1 to 2.

Let’s say now that we multiply the limits of integration by two, so we’re now finding the area from 2 to 4. Here’s what that looks like.

The two portions are actually very similar to each other in their overall shape. The orange one is twice is wide as the green one, but also half as tall. Here they are overlaid.

If you take the green shape and first squash it down vertically by a factor of two then stretch it out horizontally by a factor of two, you get the orange shape exactly. (If you don’t believe this, convince yourself it works!) This means the areas of these shapes are exactly the same, even though we don’t know what that area is.

Show for yourself that this result is general. The area under from to is the same as that from to .

What, then, is the area from 1 to 6? We can break it into two parts – the area from 1 to 2 and the area from 2 to 6. But the area from 2 to 6 is the same as the area from 1 to 3, by the above reasoning.

Thus, the area from 1 to 6 is the same as the sum of the areas from 1 to 2 and from 1 to 3. Note that 6 = 3*2. Again, this is general. The area under from to is the same as the sum of the areas from to and from to .

That’s pretty good motivation for the definition

Note that this is being taken as a definition of the natural logarithm, not a proof of the relationship. Our argument about the integral of now translates to the statement

Now, step by step, we will show that all the other properties you expect of the natural logarithm follow from this definition.

It is evident that

Our definition implies that the logarithm grows without bound because if we continually multiply the argument of the logarithm by two, we continually add to the value. (i.e. ). Since we can multiply any number by two over and over, we can add to the logarithm as many times as we want. That means we can make the logarithm arbitrarily big.

This also means that starting the integral from rather than from zero was a good idea. If we start from zero, the integral is infinite. We can see this because is symmetric about the line .

This implies that the area to the left of the curve is the same as the area under the curve, like this.

We just showed that the area under the curve diverges as we move the right hand side of the integral out to infinity, so the area to the left of the curve diverges, too. If we started the integral at zero, it would be infinite.

What about taking the logarithm of numbers less than one? A good check of whether everything makes sense so far is to work out that .

Since the area under starts at zero when and goes up infinitely, it is clear that there must be some number such that . Let’s choose to call that number . We don’t know what it is yet, but it certainly exists. Thus

Again, this is definition, not proof.

It is immediately apparent that, for example, . That makes a pretty handy number. It shows us that the logarithm of a number is how many times you need to multiply to itself in order to get .

How about ? That is . So in order to understand logarithms of rational numbers, we need to understand roots of .

That’s not so hard, though.

On the other hand,

From this we deduce . Returning to the unfinished example, . It is not great leap to say that for any rational number , we have

This is important result; it is probably the definition of that you’re used to. The pieces are falling into place. The main remaining hurdle is to find the value of and show it comes to what we expect.

Before that, we should mention how the above relation works for irrational numbers. Irrational numbers are squeezed in between the rational ones, and since the definition of the logarithm as the area under a curve is evidently smooth, the logarithm of an irrational number is squeezed in tightly as well. Ultimately, the above relation holds for all positive numbers. However, the fine details of real numbers are more involved than I would like to address here. (The logarithm of a negative number or of zero isn’t defined, at least not in the real numbers. What is a difficulty with doing so?)

Finally, we would like some way of determining what is. Here is one way to do it. For small values of , we can see that

This follows from the extremely simple approximation below.

The red box is an approximation to the area of the green integral. The red box clearly has area while the green integral is . Thus

It’s crude, but it works better and better as becomes tiny. Multiplying both sides of the approximation by , we get

We know how to rewrite the left hand side. It gives

Since we have defined by , we finally see

This is the common definition of . At last we see that the reason that the integral of is is that all the properties of the two functions are exactly the same, and so they must be the same function.

Tags: calculus, geometric intuition, logarithms

December 17, 2011 at 5:12 pm

Hi, excellent blog post! I’m curious, what software do you use to make your graphs/graphics?

Thanks,

L

December 17, 2011 at 5:40 pm

Hi, and thanks you! These graphics were made with Geogebra, which is free online via a google search. I also edit them sometimes with GIMP, which is also free online.

November 1, 2012 at 4:43 am

Why can’t you use integration by parts to solve integral of 1/x?

If you do it, ∫(1/x)dx = x.(1/x) + ∫(x/x^2)dx or ∫(1/x)dx = 1 + ∫(1/x)dx or 0 = 1. Where is the mistake?

August 1, 2013 at 7:31 pm

Nice illustrations. Showing that the first area relationships hold is trivial when you already know the calculus, but any hints on showing how they hold when you know nothing of ln(x) and integrating 1/x? Or do you just do messy work with Riemann Sums (if that’s possible)? I’m wondering if there’s something slick I’m missing.

August 15, 2013 at 10:41 am

I’m not sure I understand the question, sorry.