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.
December 18, 2014 at 12:02 am
This is a really cool post, Mark!
I know it’s been quite a while, but I’m going to answer Eugenio’s question anyway. The mistake is in the x(1/x)=1 part: you forgot to evaluate this term at the integration limits. If the integral is from a to b, then this term becomes f(b) – f(a) = 1 – 1 = 0.
So you’ve used integration by parts to show that ∫(1/x)dx = ∫(1/x)dx, which is something you hopefully already knew. :)
December 18, 2014 at 12:27 am
Eugenio: when you write integration by parts that way, you’re essentially using a shorthand for a version that includes bounds of integration. This is okay most of the time, but here you run into a bit of a problem. If you make both of those integrals you’ve written into integrals from a to b, you’ll see exactly what happens: you evaluate 1 at x=b and at x=a and subtract them, getting zero. So you wind up with the statement that the integral of dx/x from x=a to x=b is equal to itself, which is true but obviously not particularly enlightening.
December 18, 2014 at 12:36 am
e^h: He’s not using the fact that the integral of 1/x is ln(x) above. It’s easy to check that the green shape is exactly the same as the orange shape, except twice as tall and half as wide, just by pure algebra.
Consider the orange region, which is the area under 1/x between x=2 and x=4. Make it half as wide by replacing x with 2x; now we’re looking at the area under 1/2x between x=1 and x=2. Then make it twice as tall by doubling it; now we’re looking at the area under 2/2x between x=1 and x=2. But 2/2x = 1/x. So if we make the green thing half as wide and twice as tall, we get exactly the orange thing, without using any calculus at all.